Definition:Real Star-Algebra

Definition

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$

Also see

• Results about real $*$-algebras can be found here.

Sources

• John C. Baez: The Octonions (2002): 2.2 The Cayley-Dickson Construction