# minimal unitizations of algebras with additional structure

Given a (non-unital) algebra (http://planetmath.org/Algebra) there is a procedure to add an unit to it (parent entry (http://planetmath.org/Unitization^{})). When the algebra has some additional structure (topological structure, for example), it is often useful to endow the same structure on the minimal unitization of the algebra.

All the algebras are to be considered non-unital.

## 0.1 Topological Algebras

Let $\mathcal{A}$ be a topological algebra^{} algebra over a (topological) field $\mathbb{K}$. Let $\stackrel{~}{\mathcal{A}}$ be its minimal unitization.

Then $\stackrel{~}{\mathcal{A}}=\mathcal{A}\oplus \mathbb{K}$ is a topological algebra with the product topology.

## 0.2 Normed and Banach Algebras

Let $\mathcal{A}$ be a normed algebra over $\mathbb{K}$ ($=\mathbb{R}$ or $\u2102$) with norm $\parallel \cdot \parallel $. Let $\stackrel{~}{\mathcal{A}}$ be its minimal unitization.

Then $\stackrel{~}{\mathcal{A}}$ is a normed algebra under the norm $\parallel \cdot {\parallel}_{u}$:

$${\parallel a+\lambda \parallel}_{u}=\parallel a\parallel +|\lambda |,a\in \mathcal{A},\lambda \in \mathbb{K}$$ |

Moreover, if $\mathcal{A}$ is a Banach algebra^{}, then $\stackrel{~}{\mathcal{A}}$ is a Banach algebra with the norm $\parallel \cdot {\parallel}_{u}$.

## 0.3 *-algebras

Let $\mathcal{A}$ be a *-algebra over an involutory field (http://planetmath.org/InvolutaryRing) $\mathbb{K}$. Let $\stackrel{~}{\mathcal{A}}$ be its minimal unitization.

Then $\stackrel{~}{\mathcal{A}}$ is a *-algebra with involution^{} given by:

$${(a+\lambda )}^{*}={a}^{*}+\overline{\lambda}\mathit{\hspace{1em}\hspace{1em}\u2006}a\in \mathcal{A},\lambda \in \mathbb{K}$$ |

## 0.4 Topological *-algebras, Normed *-algebras and Banach *-algebras

Let $\mathcal{A}$ be a topological *-algebra over $\u2102$. Let $\stackrel{~}{\mathcal{A}}$ be its minimal unitization.

Then $\stackrel{~}{\mathcal{A}}$ is a topological *-algebra with the product topology and the involution defined above.

Also, if $\mathcal{A}$ is a normed *-algebra (Banach -*algebra), then $\stackrel{~}{\mathcal{A}}$ is also a normed *-algebra (Banach *-algebra) under the above involution and the norm $\parallel \cdot {\parallel}_{u}$.

## 0.5 C*-algebras

Let $\mathcal{A}$ be a ${C}^{*}$-algebra (http://planetmath.org/CAlgebra) with norm $\parallel \cdot \parallel $. Let $\stackrel{~}{\mathcal{A}}$ be its minimal unitization.

Then $\stackrel{~}{\mathcal{A}}$ is ${C}^{*}$-algebra under the norm $\parallel \cdot {\parallel}_{L}$:

$${\parallel a+\lambda \parallel}_{L}=\underset{\parallel b\parallel =1}{sup}\parallel ab+\lambda b\parallel ,a\in \mathcal{A},\lambda \in \u2102$$ |

This norm comes from regarding elements of $\stackrel{~}{\mathcal{A}}$ as left on $\mathcal{A}$. The norm $\parallel \cdot {\parallel}_{L}$ is to the norm $\parallel \cdot {\parallel}_{u}$.

Title | minimal unitizations of algebras with additional structure |
---|---|

Canonical name | MinimalUnitizationsOfAlgebrasWithAdditionalStructure |

Date of creation | 2013-03-22 17:46:29 |

Last modified on | 2013-03-22 17:46:29 |

Owner | asteroid (17536) |

Last modified by | asteroid (17536) |

Numerical id | 6 |

Author | asteroid (17536) |

Entry type | Result |

Classification | msc 46L05 |

Classification | msc 46K05 |

Classification | msc 46H05 |

Classification | msc 16W99 |

Classification | msc 16B99 |

Defines | minimal unitization of a topological algebra |

Defines | minimal unitization of a Banach algebra |

Defines | minimal unitization of a Banach-* algebra |

Defines | minimal unitization of a ${C}^{*}$-algebra |