nLab
normal operator

Definition

An element $a\in A$ in a C-star algebra is called normal of its commutes with its star-adjoint:

$$a{a}^{*}=a^{*}a.$$a a^* = a^* a \,.

Properties

The spectral theorem asserts, roughly, that (bounded) normal operators can be diagonalized