Category:Nicely Normed Star-Algebras

This category contains results about Nicely Normed Star-Algebras.
Definitions specific to this category can be found in Definitions/Nicely Normed Star-Algebras.

Let $A = \struct {A_F, \oplus}$ be a star-algebra whose conjugation is denoted $*$.

Then $A$ is a nicely normed $*$-algebra if and only if:

$\forall a \in A: a + a^* \in \R$

$\forall a \in A, a \ne 0: 0 < a \oplus a^* = a^* \oplus a \in \R$