A2 - elementary properties of a group

uniqueness of identity

\begin{matrix} a e_{1} = e_{1} a = a \\ ⟹ e_{2} e_{1} = e_{2} \\ a e_{2} = e_{2} a = a \\ ⟹ e_{1} e_{2} = e_{1} \\ ⟹ e_{1} = e_{2} \end{matrix}

right and left cancellation

if $a, b, c \in G :$
- right cancellation: $b a = c a ⟹ b = c$
- left cancellation: $a b = a c ⟹ b = c$

\begin{matrix} b a = c a \\ b (a a^{'}) = c (a a^{'}) \\ b e = c e \\ ⟹ b = c \end{matrix}

uniqueness of inverses

if $G$ has an identity $e$ , and $a \in G$ , there exists a unique $b \in G$ such that $a b = b a = e$

\begin{matrix} b_{1} b_{2} = b_{2} b_{1} = e \\ b_{2} b_{1} = b_{1} b_{2} = e \\ ⟹ b_{1} = b_{2} \end{matrix}

inverse of the product

\begin{matrix} LHS a b = (a b)^{'} a b = e \\ RHS a b = b^{'} a^{'} a b = b^{'} e b = b^{'} b = e \end{matrix}

order of a group

$| G |$ denotes the order of a group, which is the number of members in it

order of an element

for $a \in G$ , its order $| a | = n$ such that it is the smalles integer for which $a^{n} = e$