Unitization of a C-star algebra ($\tilde{A}=A\oplus \mathbb{C}1$)

For a nonunital C-star algebra, adjoining an identity gives multiplication $(a,\lambda )(b,\mu )=(ab+\lambda b+\mu a,\lambda \mu )$ and involution $(a,\lambda {)}^{\ast }=(a^{\ast },\overline{\lambda })$. Its standard C-star norm extends that of $A$, with the new identity of norm one. It can be constructed by adjoining the identity operator to a faithful nondegenerate operator representation and taking the operator norm. The original algebra is a closed ideal. The usual spectrum of an element in a nonunital algebra is taken in this unitization, permitting unital spectral arguments without requiring the original algebra to contain an identity.

The left multiplication representation of a C-star algebra is isometric: test $L_a$ on $a^{\ast }/\Vert a\Vert$ to get $\Vert L_a\Vert =\Vert a\Vert$. For a nonunital algebra, its closed image plus the identity operator is the algebraic unitization. For a formal $z=a+\lambda 1$ and $b\in A$, $\Vert zb{\Vert }^2=\Vert b^{\ast }{z}^{\ast }zb\Vert \le \Vert b\Vert \Vert L_{z^{\ast }z}b\Vert$. Thus $\Vert L_z{\Vert }^2\le \Vert L_{z^{\ast }z}\Vert \le \Vert L_{z^{\ast }}\Vert \Vert L_z\Vert$; applying the same estimate to $z^{\ast }$ proves the algebra involution is isometric and the C-star identity holds. This gives a unitization without first assuming an operator representation on a Hilbert space.