 Every such M as defined above is a semisimple algebra, i.e.it contains no nilpotent ideals.Suppose "M" ≠ 0 lies in a nilpotent ideal of M. Since "M*" ∈ M by assumption, we have "M*M", a positive semidefinite matrix, lies in that nilpotent ideal.