On considère l’ensemble $F$ des matrices carrées d’ordre 2 de la forme: $$M_{\alpha}=\begin{pmatrix} \cos{\alpha}&-\sin{\alpha}\\ \sin{\alpha}&\cos{\alpha} \end{pmatrix}$$ Montrer que $~~(F,\times)~~$ est un groupe commutatif.