Group Dictionary
A group is a set of elements and an associated binary operation , such that given any two elements ; this is a property called closure. In particular, a group is defined by a series of axioms. It must:

Have an identity element

Every element has an inverse
Sidenote: The 'right' inverse and 'left' inverse are distinct. If they are equal, the the element is said to be invertible. 
The elements are closed under

Associativity
We denote the order of the group, the number of elements in the group, as . This page will outline other properties and terminology about groups and group theory. The group operation can be any binary operation that is associative. This is typically referred to and denoted by multiplication, which we will use throughout these notes, though isn't restricted to multiplication. If the operation is also commutative, then we say that the group is abelian, otherwise it is nonabelian.
There is only a single group operation which uniquely defines a given group. This can be prooved from the cancellation law, namely: which can be proved in both cases by left or right multiplication with the inverse .
Common Groups
There are two main groups that come up often in the study of group theory. Their group operations are common binary operations in mathematics: matrix multiplication and function composition.

The General Linear Group:
This is defined as the group of matrices combined under matrix multiplication. 
The Symmetric Group:
Given a function on a set , , is said to be a permutation if it is bijective. Permutations of forma group under permutation, and we denote by the group of permutations on a set of order .
The group is of particular interest because it is the smallest nonabelian group. If we define two elements, the cyclic permutation , and the transposition , then the group has and we have elements All combinations of can be shown to be equal to the elements above using the multiplication rules given above that. These are called defining rules of the group.
What makes these groups especially interesting is that they other groups are often subgroups of these larger groups.
Subgroup
A subgroup of a group is defined as a subset such that is also a group; it is closed and each element has an inverse. A proper subgroup is defined as a non trivial subgroup i.e .
Maximal Subgroup
A maximal subgroup is defined, in group theory, is a proper subgroup of such that no other proper subgroup of G contains
Cyclic Groups
These are an important category of subgroups generated by an element of the group . The cyclic subgroup of is defined as This is the smallest subgroup of that contains , and is often denoted as the group generated by .
The order of the cyclic group is also referred to as the order of the element that generates the group; this can in fact be infinite if . The identity element has order 1, and is the only element with order 1. In fact, we can show the following property of cyclic groups

Denote by the set of integers .
In this case the group of integers under addition. This we can see as . We can also show obviosuly that if .

Two powers , are equal iff
 Let be a proper subgroup. Then such that , where is the smallest positive integer in .
Consider also the case where is an element with finite order in a group and take an integer . We thus have
 iff
 For greatest common divisior of and , the order of is .
Generating Sets
The subgrup of that can be generated by a subset is defiend as the smallst subgroup , and all elements of can be expressed as a combination of the elements in and their inverses. We call the generator of the group .
Homomorphisms
iven a pair of groups , then a homomorphism is a function that maps an element of to an element of , such that i.e. the map respects the law of composition of the two groups. Important examples og Homomorphisms include
 The determinant
 The sign homomorphism
 The exponential map
 The map for an element
 The absolute value map
We can also define two types of 'useless' homomorphism, the trivial homomrphism , and the inclusion map . We also note that as a consequence on its definition, and .
Related to the homomorphism, we can define two important subgroups the image and the kernel. We define the image , and the kernal . As interesting examples, we can se that the image of the 4th example above is the cyclic subgroup . We can also show tht the kernal of the determinant map is the special linear group, matrices with determinant 1, and that the 'Alternating' group is the image of the sign map.
The kernel can also be used because it can tell us which pairs of elements have the same image in G'. In particular, consider a coset of a subgroup . AS with inverses, we distinguish between the left and right cosets, but generally they are given as , that is is an element of not in the subgroup. Now consider . This is equivalent to stating that , which in turn means and . This can be extended to prove that a homomorphism is injective iff .
The kernel can also be relate to a group operation called conjgution. Specifically, the conjugate of with respect to is defined as . A subgroupo is called normal if . We can then show that the kernel of a homomorphism is a normal subgroup. Given any , then and the conjugate of is also in the kernel. This in tern implies the special linear group is a normal subgroup of the linear, and the alternating group is a normal subgroup of the permutation group. Subgroups of any abelian group are normal by definition, but this is not the case for nonabelian groups. For example, the cyclic group of in is not. Related to conjugation, we can define a new subgroup called the cetnre of , which is given by the set of elements that commute with all elements of . It is definitionally a normal subgroup.
Isomorphisms
These are defined as morphisms which are bijective, and respect the group conjugation rules. To check that a morhpism is an isomorphism, we require that , and that . That is to say, the map is surjective and injective. Because the map is biejctive, we can define a corresponding inverse map that is also an isomprohism, which can be simply shown. We require , which we can write as . As is bijective, we need to show that , we we can show as . This suggests that the two groups behave identically under the group law. Isomorphism between groups is denoted . Often when discussing isomorphic groups we freely switch between which representation we use as they have the same group structure.
All the groups isomporphic to a group are called the isomorphism class of . An important example of an isomporphism class are all groups of prime order p, which are all cyclic. There are also two isomorphism classes of groups order 4 and 5 classes of group order 12.
Automorphisms
These are a special class of isomorphism defined as a map , that is they map a group to itself. A particularly important automorphism is the conjugation map. This is trivial for abelian groups, but not for nonabelian groups. Because the conjugate of an element, , is the image of under an automorphism, it follows that the conjugate has similar properties e.g. the same order as the element .
Group commutation
Related to determining if two elements are conjugate is the relation . We can define an operation called the commutator of two group elements , such that .
Equivalence Relations and Partitions
Paritioning a set means to subdivide it into a collection of disjoint, nonempty subsets . An equivalence relation is a relation that holds between pairs of elements of , and can be written . These relations are transitive, and , symmetruc , and reflexive . Conjugacy is a good example of such an equivalence relation. Suppose , and . In this case,. Partitioning sets usually relies on defining an equivalence relation between items in each subset. In fact, given an equivalence relation on the equivalence classes of the elements define a partiion of S.
Given a partition of a set , we can define a related set whose elements are the partitions of . We denote a subset as when we are referring to the corresponding element of . For any equivalence relation, we can define a surjective map , which maps an element of to its equivalence class. We can also denote as . One disadvantage of this notation is that there are multiple elements in the same equivalence class, so it can be helpful to define a representative element.
Equivalence Relations and Maps
In fact, any map defines an equivalence relation on the domain . We can define the inverse image of an element as the set . In general, the inverse image cannot be written unless is bijective, in which case the inverse image is trivial. These are also referred to as the fibres of the map , and nonempty fibres are the equivalence classes of under . The equivalence classes of can in turn be seen as the image .
The equivalence relation defined by a group homomorphism is usually denoted , and is referred to by the term congruence. Thus, elements are congruent if and only if is in the coset of the kernel . We can in fact show that the fibre of that contains an element is equivalent to the coset . These cosets partition the group, and correspond to the elements of the iamge of .
Cosets
We have already discussed cosets above, but to summarise given a subgroup and an element , the left and right cosets of are given by and respectively. Cosets form the equivalence classes of the congruence operation, namely if for some . Thus, the left cosets of a subgroup partition the group . The number of left cosets in a group is called the index of in and is denoted .
We can show that all cosets of a group have the same order, as they are all produced from a map that is invertible. Fro this, we can define the Counting Formula, namely that . This implies for example that . This leads to Lagrange's theorem, namely that the order of a subgroup divides the order of the group . This in turn implies the same about the order of the elements of a finite order group, because the corresponding cyclic group is a subgroup of . This in turn is what implies that any group of prime order is a cyclic group.
We can also use the counting formula in the case of a group homomorphism using the cosets of the kernel. In this case, we have , and . This has the consequence that divides and divides and .
The index has a multiplicative rule given a sequence of subgroups. In particular, given , then .
Right Cosets
The above discussions, including the congruence relation, were defiend using the left cosets of the subgroup . We can in turn define the right cosets, . We thus have the right congruence relation for some . These are distinct from the left cosets unless the subgroup is normal. The following propositions are equivalent
 is a normal subgroup such that
 Every left coset of is also a right coset
We can prove the third statement by noting that cosets partition the group, and thus if is equal to any other coset it must be .
We can also show that, given a subgroup of and an element , then the conjugate of is also a subgroup. If has only one subgroup of order , then this group is normal. These properties follow from the fact that conjugation is an automorphism.
The Correspondence Theorem
Consider a group homomorphism , and . We define the restriction of to the domain as . The kernel of this restricted homomorphism is given by the intersection , and it's image . From the counting formila, we know that the image of divides and . If they have no common factor, then the image of must be the idenity and is entirely contained in the kernel.
An example, consider restricting the sign homomorphism to a subgroup of . has order 2, and thus any subgroup with odd order is contained in the kernel of . This is true when is a cyclic subgroup generated by a permutation with odd order in the group, which is thus an even permutation. A permutation with even order can be even or odd.
Now, consider consider with kernel , and . In this case, . If is a normal subgroup, then so is . If is surjective and is a normal subgroup, then so is . A consequence of this proposition is, for example, that the Special Lienar group is a normal subgroup of , which we can see as the determinism map as it's range in , an abelian group.
The proof of this proposition requires we remember is not a map, but the set of elements in taken to the range of we are acting on. We know that . As it is a subgroup, , and thus contains the kernel. We can further show that, due to the properties of the homomorphism, is a subgroup.
In turn, if is normal, then for any given , is a conjugate of and is contained in . This in turn implies , and thus is normal. Consider the other direction: for a surjective , given , we know that . As , we know that is a normal subgroup.
This leads to the correspondence theorem: given a surjective group homomorphism , there is a bijective correspondence beteen subgroups of and subgroups of that contain . If and are corresponding subgroups, then one is normal iff the other is normal, and .
Product Groups
Consider a pair of groups . The product set with pairs of elements can be made in to a group by defining a cartesianproductified group product
The group under this operation is called the product of and . It is related to and by a set of 4 homomorphisms, which we can define as:
It is always interesting to determine a product decomposition of a group , such that . The factors will have a simpler structure generally than the wider group. This is not always possible, but there are some examples. E.g consider a cyclic group of order 6 , which is in fact isomorphic to a product .This is in fact generally true for any cyclic group of order , such that and have no common factor (are relatively prime).
We can define product groups by examining the following propositions. Consider two subgroups , and define the multiplicative map define by . We thus have . We thus have that
 is injective iff
 is a homomorphism from the product group to iff elements of commute with
 If is a normal subroup, then HK is a subgroup of
 is an isomoprhism from to iff , , and are normal subgroups of .
We note that the multiplication map can be bijective without being a group homomorphism, as is the case for with subgroups and .
Now consider the proof of the above propositions. Firstly, if contains a nontrivial element , then and thus , and is not an injective map. If instead the intersection is only , then if , we can leftmultiply and rightmultiply by and respectively to obtain , which as the left side is in and the right in means they must both equal idenity. hus, .
Secondly, given two pairs in the product group , their product is , and . However, and thus these are equal iff . Relatedly, let be a normal subgroup. Then we note that , and . As is normal . We can further show is closed under multiplication and inverses, and this .
Finally, suppose and are normal subgroups that satisfy . We need . Given the commutator and under associativty we can write . As these are normal subgroups, the left side is in and the right side is in , and thus as this means the commutator must equal idenity, giving .
As an example, we can use this to show their are two isomorphism classes of group order : the order4 cyclic groups, and the groups isomorphic to .