Definition:Nicely Normed Star-Algebra

Definition

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$

This page has been identified as a candidate for refactoring of basic complexity. Until this has been finished, please leave {{Refactor}} in the code. New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code.

Real Part

Let $a \in A$ be an element of a nicely normed $*$-algebra.

Then the real part of $a$ is given by:

$\map \Re a = \dfrac {a + a^*} 2$

Imaginary Part

Let $a \in A$ be an element of a nicely normed $*$-algebra.

Then the imaginary part of $a$ is given by:

$\map \Im a = \dfrac {a - a^*} 2$

Norm

Let $a \in A$ be an element of a nicely normed $*$-algebra.

Then we can define a norm on $a$ by:

$\norm a^2 = a \oplus a^*$

Also see

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

Sources

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