# 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 ()). 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 $\widetilde{\mathcal{A}}$ be its minimal unitization.

Then $\widetilde{\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 $\mathbb{C}$) with norm $\|\cdot\|$. Let $\widetilde{\mathcal{A}}$ be its minimal unitization.

Then $\widetilde{\mathcal{A}}$ is a normed algebra under the norm $\|\cdot\|_{u}$:

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

Moreover, if $\mathcal{A}$ is a Banach algebra  , then $\widetilde{\mathcal{A}}$ is a Banach algebra with the norm $\|\cdot\|_{u}$.

## 0.3 *-algebras

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

 $(a+\lambda)^{*}=a^{*}+\overline{\lambda}\,\qquad 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 $\mathbb{C}$. Let $\widetilde{\mathcal{A}}$ be its minimal unitization.

Then $\widetilde{\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 $\widetilde{\mathcal{A}}$ is also a normed *-algebra (Banach *-algebra) under the above involution and the norm $\|\cdot\|_{u}$.

## 0.5 C*-algebras

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

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

 $\|a+\lambda\|_{L}=\sup_{\|b\|=1}\|ab+\lambda b\|\,,\qquad a\in\mathcal{A},\;% \lambda\in\mathbb{C}$

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

Title minimal unitizations of algebras with additional structure MinimalUnitizationsOfAlgebrasWithAdditionalStructure 2013-03-22 17:46:29 2013-03-22 17:46:29 asteroid (17536) asteroid (17536) 6 asteroid (17536) Result msc 46L05 msc 46K05 msc 46H05 msc 16W99 msc 16B99 minimal unitization of a topological algebra minimal unitization of a Banach algebra minimal unitization of a Banach-* algebra minimal unitization of a $C^{*}$-algebra