[Math] Proving that a set of matrices is an abelian group

abelian-groupsabstract-algebragroup-theorymatrices

Prove that the set of matrices in the form of
$\left[\begin{array}{cc}\cos \alpha & -\sin \alpha \\ \sin \alpha
&\cos \alpha \end{array}\right]$ (while $\alpha \in R$) with the
operation of matrix multiplication is an abelian group.

Could someone please point me some direction? I know how to multiply matrices or what's the definition of an abelian group but… How can I apply it here? And show such thing, for such a large group of possible alphas?

EDIT: OK, so thanks to your advices, I tried to move a little but I think I don't get the idea behind it… On Wikipedia, one can find that "For all a, b in A, the result of the operation a • b is also in A." – does that mean I have to try multiply every term from the matrix by every other? I mean: $cos \alpha \cdot sin \alpha$ and so on? Or did I get it all wrong?

Best Answer

The addition formulas for $\sin$ and $\cos$ yield $$ \begin{align} &\begin{bmatrix} \cos(\alpha)&-\sin(\alpha)\\ \sin(\alpha)&\cos(\alpha) \end{bmatrix} \begin{bmatrix} \cos(\beta)&-\sin(\beta)\\ \sin(\beta)&\cos(\beta) \end{bmatrix}\\ &= \begin{bmatrix} \cos(\alpha)\cos(\beta)-\sin(\alpha)\sin(\beta) &-\sin(\alpha)\cos(\beta)-\cos(\alpha)\sin(\beta)\\ \sin(\alpha)\cos(\beta)+\cos(\alpha)\sin(\beta) &\cos(\alpha)\cos(\beta)-\sin(\alpha)\sin(\beta) \end{bmatrix}\\ &=\begin{bmatrix} \cos(\alpha+\beta)&-\sin(\alpha+\beta)\\ \sin(\alpha+\beta)&\cos(\alpha+\beta) \end{bmatrix} \end{align} $$ The rest of the group requirements are pretty immediate after this.