Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is it true that product of two normal operators is normal if and only if they commute. If yes How can I show that.

share|cite|improve this question
Being commutative is the sufficient, not necessary condition. – chaohuang Nov 20 '12 at 20:35

It is not true. For instance, unitaries are normal and the product of unitaries is unitary, so normal. But they don't have to commute. For example, $$ V=\frac1{\sqrt2}\begin{bmatrix} 1 &1\\-1&1\end{bmatrix}, \ W=\begin{bmatrix}1&0\\0&-1\end{bmatrix}; $$ then $$ VW=\frac1{\sqrt2}\begin{bmatrix} 1&-1\\-1&-1\end{bmatrix},\ WV=\frac1{\sqrt2}\begin{bmatrix} 1&1\\1&-1\end{bmatrix} $$

Edit: for the other implication, which is indeed true. If $A,B$ are normal and they commute, then $AB=BA$, so $A^*B^*=B^*A^*$. Now you can use Flugede-Putnam or the fact that commuting normal operators can be simultaneously unitarily diagonalized, to deduce that $AB^*=B^*A$. Then $$ (AB)^*AB=B^*A^*AB=ABB^*A^*=AB(AB)^*. $$

share|cite|improve this answer
Thank you for answer. But How can I prove that if they commute then the product has to be normal. – shane Nov 21 '12 at 17:32
I edited the answer to include that. – Martin Argerami Nov 21 '12 at 17:38

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.