Closure Under the Operation

All of these groups have a closed binary operation. For example in (${\displaystyle \mathbb {Z} }$, +) any two integers added together will be another integer. In other words if n,m ∈${\displaystyle \mathbb {Z} }$ then (n+m)∈${\displaystyle \mathbb {Z} }$.

In general for (G, *) to be a group where G is a set and * is a binary operation, if a,b are in G then (a*b) is also in G. This is called closure. Notice that all of the groups in the above examples are closed under their respective operations.

Associativity

With the integers under addition

${\displaystyle 2+(11+5)=(2+11)+5\,}$

With the non-zero real numbers under multiplication

${\displaystyle 3*(2*5)=(3*2)*5\,}$

This is called associativity and is required for a structure to be a group. In general if (G,*) is a group and a,b,c∈G then

${\displaystyle a*(b*c)=(a*b)*c\,}$

Identity

When we look at ${\displaystyle \mathbb {Z} }$ there's something special about the element 0. Notice that for any integer m

${\displaystyle 0+m=m+0=m\,}$

Zero is the only element in this group with this property and it's called the identity of the group.

Zero is also the identity in the groups ${\displaystyle \mathbb {Q} }$, and ${\displaystyle \mathbb {R} }$.

In ${\displaystyle \mathbb {R} }$* the element ${\displaystyle 1}$ is the identity as

${\displaystyle 1*a=a*1=a}$

for all a in ${\displaystyle \mathbb {R} }$.

In general if (G,*) is a group then there exists an identity element e in G such that for any g in G

${\displaystyle e*g=g*e=g}$

This element is called the identity of G or e_G.

Inverses

In ${\displaystyle \mathbb {Z} }$ if ${\displaystyle m}$ is an integer consider

${\displaystyle m+x=0}$

It would then follow that ${\displaystyle x=(-m)}$ and in fact ${\displaystyle x}$ is an integer as well.

In ${\displaystyle \mathbb {R} }$^* if r is a non-zero real number then

${\displaystyle r*x=1}$

has a solution. Further ${\displaystyle x=1/r=r^{-1}}$ and x is also a non-zero real number.

In general if (G, *) is a group with identity ${\displaystyle e}$ and ${\displaystyle a}$ is an element of G then there exists an element ${\displaystyle a^{-1}}$ also in G such that

${\displaystyle a*a^{-1}=e=a^{-1}*a}$.

Note that ${\displaystyle a^{-1}}$ at this point is purely notational. If we are looking at the group of integers under addition then ${\displaystyle 3^{-1}}$ means ${\displaystyle -3}$ since

${\displaystyle 3+(-3)=0}$.

It does not mean ${\displaystyle 1/3}$ in this group.

Possible Misconceptions

In all of the above examples the underlying set of the groups are infinite, but groups need not be infinite. Note that with the requirement of an identity element the underlying set cannot be the empty set.

All of the groups above are commutative. That is that ${\displaystyle a*b=b*a}$. This is not true of all groups in general. Groups that are commutative are called Abelian Groups.

Non-groups

To solidify our understanding let's look at some structures that aren't groups.

Firstly ({0,1,2,3},+) is not a group as ${\displaystyle 2+3=5}$ and ${\displaystyle 5}$ is not in {0,1,2,3} and this set is not closed under our operation.

Consider ${\displaystyle \mathbb {N} }$ under addition. This set is closed but it doesn't have inverses therefore it is not a group.

Consider the set of all matricies under addition. This is not a group because not all matricies can be added. Consider for example a 2x2 matrix and a 3x3 matrix.

Consider (${\displaystyle \mathbb {R} }$, *). This is not a group because 0 doesn't have an inverse and since ${\displaystyle 0*1\neq 1}$, there is no identity.

Notational Notes

Since groups are associative it is common place to drop the parentheses when one is working with something shown to be a group. If a structure has yet to be shown to be associative do not drop the parentheses when working with elements of it. Do not however drop parentheses when working with inverses. For example ${\displaystyle (ab)^{-1}}$ and ${\displaystyle ab^{-1}}$ are not necessarily the same. Note that ${\displaystyle ab^{-1}}$ is assumed to mean ${\displaystyle a*(b^{-1})}$.

Since groups only have one operation it is usually dropped much like multiplication in elementary algebra. For example:

${\displaystyle a*b=c}$ becomes ${\displaystyle ab=c}$.

Dropping both the parentheses and the operation symbol leads to long strings of elements being unambiguous. For example any interpretation of ${\displaystyle abcx}$ is equivalent. I.e.

${\displaystyle a*(b*(c*x)))=(a*b)*(c*x)=((a*b)*c)*x}$

In most groups ${\displaystyle e}$ is assumed to be the identity and is used in arbitrary groups where the identity is unknown.

When strings of the same element are being multiplied we use exponent notation to represent it. For example

${\displaystyle a*a*a*a=a^{4}}$

Do note that we must be careful not to assume elements commute. Thus

${\displaystyle a*b*b*a*b=a*b^{2}*a*b}$ but can be simplified no further.

In abelian groups (commutative groups) and later on in the study of Rings additive notation can be used in place of multiplicative. For example

${\displaystyle a^{2}*b*c^{-1}}$ becomes ${\displaystyle 2a+b-c}$.

Multiplying

Note that "=" is an equivalence relation and thus we can substitute. For example in a group G suppose ${\displaystyle a,b,c\in G}$ such that ${\displaystyle a=b}$. Then by closure ${\displaystyle ac\in G}$, and by reflexivity ${\displaystyle ac=ac}$. We may substitute to arrive at ${\displaystyle ac=bc}$. Thus

${\displaystyle a=b\implies ac=bc}$

This is called multiplying on the right by ${\displaystyle c}$. Similarly

${\displaystyle a=b\implies ca=cb}$

is called multiplying on the left.

Advice

Now we may begin to play with some equations. Moving on it is best to try to "forget" our assumptions about algebra we have learned from our elementary courses and only use what is explicitly proven.

Uniqueness of the Identity Element

An important theorem to begin with is the uniqueness of the identity. More precisely stated: Let G be a group. If

${\displaystyle \exists e,e'\in G}$ such that

${\displaystyle (\forall g\in Ga*e=a=e*a)\land (\forall g\in Ga*e'=a=e'*a)}$

then

${\displaystyle e=e'}$

Proof

Cancellation

This theorem lets us cancel elements exactly opposite of how we multiply them.

Right Cancellation Theorem: ${\displaystyle ac=bc\implies a=b}$.

Right Cancellation Proof

Left cancellation is similarly proven. Theorem: ${\displaystyle ca=cb\implies a=b}$.

Uniqueness of Inverses

This theorem states that each element has only one inverse. Theorem: Let G be a group. Then if ${\displaystyle g,a,b\in G}$ such that ${\displaystyle a}$ and ${\displaystyle b}$ are both inverses of ${\displaystyle g}$ then ${\displaystyle a=b}$.

Proof

Socks and Shoes

This theorem is a way to distribute inverses.

Theorem: For group elements ${\displaystyle a}$ and ${\displaystyle b}$,

${\displaystyle (ab)^{-1}=b^{-1}a^{-1}}$.

Induction can be used to prove the more powerful socks and shoes theorem.

Theorem: For groups elements ${\displaystyle a_{1},a_{2},\ldots ,a_{n}}$

${\displaystyle (a_{1}*a_{2}*\ldots *a_{n})^{-1}=a_{n}^{-1}*\ldots *a_{2}^{-1}*a_{1}^{-1}}$.

Proof

Arithmetic Examples

In ${\displaystyle \mathbb {Z} _{8}}$

${\displaystyle 2+2=4}$

${\displaystyle 5+5=2}$

${\displaystyle 7+1=0}$

In ${\displaystyle \mathbb {Z} _{5}}$

${\displaystyle 4+4=3}$

${\displaystyle 1+1=2}$