Category:Real Star-Algebras

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

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

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

$\forall a \in A: a^*= a$