Definition:Normal Element of *-Algebra

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {A, \ast}$ be a $\ast$-algebra.

Let $a \in A$.


We say that $a$ is normal if and only if:

$a^\ast a = a a^\ast$


Sources