In mathematics, an element of a *-algebra is called normal if it commutates with its adjoint.[1]
Let be a *-Algebra. An element is called normal if it commutes with , i.e. it satisfies the equation .[1]
The set of normal elements is denoted by or .
A special case of particular importance is the case where is a complete normed *-algebra, that satisfies the C*-identity ( ), which is called a C*-algebra.
Let be a *-algebra. Then:
Let be a normal element of a *-algebra . Then:
Let be a normal element of a C*-algebra . Then: