# Abelian Groups

Recall from the Groups page that a group is a set $G$ paired with a binary operation $* : G \times G \to G$ where:

- For all $a, b \in G$ we have that $(a * b) \in G$ (Closure under $*$).

- For all $a, b, c \in G$ we have that $(a * b) * c = a * (b * c)$ (Associativity of $*$).

- There exists an element $e \in G$ such that $a * e = a$ and $e * a = a$ (The existence of an identity for $*$).

- For all $a \in G$ there exists a $a^{-1} \in G$ such that $a * a^{-1} = e$ and $a^{-1} * a = e$ (The existence of inverses for each element in $G$).

We will now look at groups that contain an addition property - namely that the operation $*$ is commutative.

Definition: If $(G, *)$ is a group where $*$ is commutative for all $a, b \in S$ then $(G, *)$ is called an Abelian Group. |

*The term " Commutative Group" means the same thing as "Abelian Group".*

The group $(\mathbb{R}, +)$ and $(\mathbb{C}, +)$ are clearly abelian groups as the reader should verify. One such example of a group that is not abelian is the group $(G, *)$ where $G$ is the set of $2 \times 2$ matrices with real entries whose determinants are nonzero and $*$ is defined to be matrix multiplication.

We first show that $G$ is not commutative. Consider the following matrices $A, B \in S$ where $A = \begin{bmatrix} 1 & 1\\ 0 & 1 \end{bmatrix}$ and $B = \begin{bmatrix} 1& 1\\ 1 & 0 \end{bmatrix}$. Then:

(1)We also have that

(2)Therefore $A * B \neq B * A$ and $*$ is not commutative on $G$.

We now show that the three properties of a group hold. From linear algebra, recall that matrix multiplication is associative and so for all $A, B, C \in S$ we have that $A * (B * C) = (A * B) * C$.

The identity element in $G$ is the matrix $I = \begin{bmatrix} 1 & 0\\ 0 & 1 \end{bmatrix}$ (where $\det I = 1 \neq 0$. Furthermore, since $\det A, \det B \neq 0$ we have that inverse matrices $A^{-1}, B^{-1}$ exist where $\det A^{-1}, \det B^{-1} \neq 0$ and $AA^{-1} = I$ and $A^{-1}A = I$ for all $A \in S$.

The product of any two $2 \times 2$ matrices is a $2 \times 2$ matrix, and since inverse elements exist, we have that $A*B \in S$ because the the product $B^{-1} * A^{-1}$ has $\det (B^{-1} * A^{-1}) \neq 0$ implying $\det (A * B) \neq 0$, so $G$ is closed under the operation $*$.

Therefore $(G, *)$ is a group that is not abelian.