Notes on Group Theory
David K. Zhang
Last Modified 2022-03-15
Introduction
Group theory is the first subject in a branch of mathematics known as abstract algebra (or modern algebra). Abstract algebra is one of the main branches of modern pure mathematics, and it is a standard requirement in the university mathematics curriculum. Every professional mathematician and theoretically-oriented physical scientist (i.e., physicists and chemists) should know a thing or two about group theory.
The goal of abstract algebra is to study the general properties of algebraic systems and the interrelations between them. That might not mean a lot if you haven’t studied abstract algebra before, so let me contextualize this statement.
In grade school, you learned about a handful of different number systems, including the integers Z, the rational numbers Q, the real numbers R, and possibly (if you were an advanced student) the complex numbers C. You also learned that there are several algebraic properties that these systems satisfy, such as the commutative property of addition, x+y=y+x, and the associative property of multiplication, x⋅(y⋅z)=(x⋅y)⋅z.
In abstract algebra, we ask what other number systems support a notion of addition, negation, multiplication, or some other operation, that satisfies the commutative, associative, distributive, etc. property.
Each of the number systems mentioned above supports the four basic arithmetic operations of addition, subtraction, multiplication, and (with the exception of the integers) division. Of course, subtraction and division are merely the inverses of addition and multiplication, so in each case, there are really only two fundamental arithmetic operations. [TODO: Finish writing introduction.]
A group is an algebraic structure ⟨G;1,−1,⋅⟩ consisting of:
- a set G, called the underlying set;
- a distinguished element 1∈G, called the identity element;
- a unary operation −1:G→G, written as x↦x−1, called inversion;
- a binary operation ⋅:G×G→G, written as (x,y)↦x⋅y, called the group operation or group product;
satisfying the following requirements:
- Associative property: (x⋅y)⋅z=x⋅(y⋅z) for all x,y,z∈G.
- Identity property: 1⋅x=x⋅1=x for all x∈G.
- Inverse property: x⋅x−1=x−1⋅x=1 for all x∈G.
An abelian group is a group ⟨G;1,−1,⋅⟩ that satisfies the following additional requirement:
- Commutative property: x⋅y=y⋅x for all x,y∈G.
Let G be a group, and let H≤G be a subgroup. A left coset of H is a set of the form
gH:={gh:h∈H}for some fixed element g∈G. Similarly, a right coset of H is a set of the form
Hg:={hg:h∈H}for some fixed element g∈G. The collection of all left cosets of H is denoted by G/H, while the collection of all right cosets of H is denoted by H\G.
This definition introduces a new notational convention. Whenever we apply a group operation, such as gH or H−1, to a subset of a group, we mean the set formed by applying that operation to each element of the subset. For example:
gHH−1g1Hg2:={gh:h∈H}:={h−1:h∈H}:={g1hg2:h∈H}Note that we can write g1Hg2 without ambiguity, since the associative property guarantees that (g1H)g2=g1(Hg2).
Let G be a group, and let H≤G be a subgroup. The index of H in G, denoted by ∣G:H∣, is the cardinality of the
Theorem: Let G be a group, and let H≤G be a subgroup.
Proof:
Suppose two cosets xH and yH of H intersect, i.e., there exists an element z∈xH∩yH
Let G be a group. We say that a subgroup H≤G is normal if for all g∈G and h∈H, we have g−1hg∈H.
left conjugation — this is a left action
gx:=gxg−1
h(gx)=h(gxg−1)=h(gxg−1)h−1=(hg)x(hg)−1=hgx
right conjugation — this is a right action
xg:=g−1xg
(xg)h=(g−1xg)h=h−1(g−1xg)h=(gh)−1x(gh)=xgh
Let G be a group. An element g∈G is central if g commutes with every element of G. The set of all central elements of G is called the center of G, and is denoted by Z(G).
Z(G):={g∈G:∀h∈G, gh=hg}
Theorem: Let G be a group. Its center Z(G) is a subgroup of G.
Proof: We must show that Z(G) contains the identity element 1 and is closed under taking inverses and products.
- Clearly, 1∈Z(G), since the identity element 1 commutes with everything.
- Let a∈Z(G) and g∈G. By definition, we have ag=ga. By multiplying on the left and right by a−1, we obtain ga−1=a−1g. Hence, a−1 commutes with g. Since g∈G was arbitrary, this proves that a−1∈Z(G).
- Let a,b∈Z(G) and g∈G. Because a and b are central, we can write abg=agb=gab. Hence, ab commutes with g. Again, because g∈G was arbitrary, this proves that ab∈Z(G). □
Theorem: Let G be a group. Its center Z(G) is a normal subgroup of G.
Proof: Let g∈G and z∈Z(G). Because z is central, we have g−1zg=zg−1g=z∈Z(G). □
Theorem: Let G be a group. Its center Z(G) is a normal subgroup of G.
Proof: Let g∈G and z∈Z(G). Because z is central, we have g−1zg=zg−1g=z∈Z(G). □