Introduction to Abstract Algebra (Math 113)

Alexander Paulin

Contents
1 Introduction 2
1.1 What is Algebra? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Sets and Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Equivalence Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2 The Structure of + and on Z 6

2.1 Basic Observations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 Factorization and the Fundamental Theorem of Arithmetic . . . . . . . . . . 8
2.3 Congruences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

3 Groups 12
3.1 Basic Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.2 Subgroups, Cosets and Lagranges Theorem . . . . . . . . . . . . . . . . . . 14
3.3 Finitely Generated Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.4 Permutation Groups and Group Actions . . . . . . . . . . . . . . . . . . . . 19
3.5 The Oribit-Stabiliser Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.6 Finite Symmetric Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.7 Symmetry of Sets with Extra Structure . . . . . . . . . . . . . . . . . . . . . 28
3.8 Normal Subgroups and Isomorphism Theorems . . . . . . . . . . . . . . . . . 30
3.9 Direct Products and Direct Sums . . . . . . . . . . . . . . . . . . . . . . . . 36
3.10 Finitely Generated Abelian Groups . . . . . . . . . . . . . . . . . . . . . . . 37
3.11 Finite Abelian Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

4 Rings and Fields 45

4.1 Basic Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.2 Ideals, Quotient Rings and the First Isomorphism Theorem for Rings . . . . 47
4.3 Properties of Elements of Rings . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.4 Polynomial Rings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.5 Field of Fractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.6 Characteristic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.7 Ring Extensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.8 Principal, Prime and Maximal Ideals . . . . . . . . . . . . . . . . . . . . . . 57

1
 4.9 Factorisation in Integral Domains . . . . . . . . . . . . . . . . . . . . . . . . 58
4.10 Principal Ideal Domains . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.11 Factorization in Polynomial Rings . . . . . . . . . . . . . . . . . . . . . . . . 65

5 Field Extensions and Galois Theory 70

5.1 Field Extensions and Minimal Polynomials . . . . . . . . . . . . . . . . . . . 70
5.2 Splitting Fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.3 Galois Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75

1 Introduction
1.1 What is Algebra?
If you ask someone on the street this question the most likely response will be: Something
horrible to do with x, y and z. If youre lucky enough to bump into a mathematician
then you might get something along the lines of: Algebra is the abstract encapsulation
of intuition for composition. When I say composition, I mean the concept of two object
coming together to form a new one. For example adding two numbers, or composing real
valued single variable functions.
Algebra is deep. In this context, deep means that it permeates all of our mathematical
intuitions. In fact the first mathematical concepts we ever encounter are the foundation of
the subject. Let me summarize the first six to seven years of your mathematical education:

The concept of Unity. The number 1.

You probably always understood this, even as a little baby.

N := {1, 2, 3...}, the natural numbers. N comes equipped with two natural operations +
and .

Z := {... 2, 1, 0, 1, 2, ...}, the integers.
We form these by using geometric intuition thinking of N as sitting on a line. Z also comes
with + and . Addition on Z has particularly good properties, e.g. additive inverses exist.

Q := { ab |a, b Z, b 6= 0}, the rational numbers. We form these by taking Z and formally
dividing through by non-negative integers. We can again use geometric insight to picture Q
as points on a line. The rational numbers also come equipped with + and . This time,
multiplication is has particularly good properties, e.g non-zero elements have multiplicative
inverses.

2
We could continue by going on to form R, the real numbers and then C, the complex numbers.
This process is of course more complicated and steps into the realm of mathematical analysis.

Notice that at each stage the operations of + and gain additional properties. These
ideas are very simple, but also profound. We spend years understanding how + and
behave on Q. For example

a+b=b+a a, b Q,
or
a (b + c) = a b + a c a, b, c Q.
The central idea behind Abstract Algebra is to define a larger class of objects (sets with
extra structure), of which Z and Q are definitive members.

(Z, +) Groups
(Z, +, ) Rings
(Q, +, ) F ields

In Linear Algebra the analogous idea is

(Rn , +, scalar multiplication) V ector Spaces over R

The amazing thing is that these vague ideas mean something very precise and have far far
more depth than one could ever imagine.

1.2 Sets and Functions

A set is any collection of objects, e.g. six dogs, all the protons on Earth, every thought
youve ever had, N, Z, Q, R, C. Observe that Z and Q are sets with extra structure coming
from + and . In this whole course all we will study are sets with some extra structure.

Basic Logic and Set Notation

Writing mathematics is fundamentally no different than writing english. It is a language
which has certain rules which must be followed to accurately express what you mean. Because
mathematical arguments can be highly intricate it is necessary to use simplifying notation
for frequently occurring concepts. I will try to keep these to a minimum, but it is crucial we
all understand the following:

1. Let P and Q be two statements, then P Q means that if P is true then Q is true.
For example: x odd x 6= 2.

2. If P Q and Q P then we write P Q, which should be read as P is true if

and only if Q is true.

3
 3. The symbol should be read as for all.

4. The symbol should be read as there exists. The symbol ! should be read as there
exists a unique.

Let S and T be two sets.

1. If s is an object contained in S then we say that s is an element, or a member of S. In

mathematical notation we write this as s S. For example 5 Z. Conversely s /S
means that x is not contained in S. For example 12 / Z.

2. If S has finitely many elements then we say it is a finite set. We denote its cardinality
by |S|.

3. The standard way of writing down a set S is using curly bracket notation.

S = { Notation for elements in S | Properties which specifies being in S }.

The vertical bar should be read as such that. For example, if S is the set of all even
integer then

S = {x Z | 2 divides x}.
We can also use the curly bracket notation for finite sets without using the | symbol.
For example, the set S which contains only 1,2 and 3 can be written as

S = {1, 2, 3}.

4. If every object in S is also an object in T , then we say that S is contained in T . In

mathematical notation we write this as S T . Note that S T and T S S = T .
If S is not contained in T we use the same dash notation as in (1).

5. If S T then T \ S := {x T | x
/ S}. T \ S is called the compliment of S in T .

6. The set of objects contained in both S and T is call the intersection of S and T . In
mathematical notation we denote this by S T .

7. The collection of all objects which are in either S or T is call the union on S and T .
In mathematical notation we denote this by S T .

8. S T = {(a, b)|a S, b T }. We call this new set the (cartesian) product of S and
T . We may naturally extend this concept to finite collections of sets.

9. The set which contains no objects is called the empty set. We denote the empty set
by . We say that S and T are disjoint if S T = .

4
Definition. A map (or function) f from S to T is a rule which assigns to each element of
S a unique elements of T . We express this information using the following notation:

f :S T
x 7 f (x)

Here are some examples of maps of sets:

1. S = T = N,

f :N N
a 7 a2

2. S = Z Z, T = Z,

f :ZZ Z
(a, b) 7 a + b

This very simple looking abstract concept hides enormous depth. To illustrate this observe
that Calculus is just the study of certain classes of functions (continuous, differentiable or
integrable) from R to R.

Definition. Let S and T be two sets,and f : S T be a map.

1. We say that S is the domain of f and T is the codomain of f .

2. We say that f is the identity map if S = T and f (x) = x, x S. In this case we

write f = IdS .

3. f is injective if f (x) = f (y) x = y x, y S.

4. f is surjective if given y T there exists x S such that f (x) = y.

5. If f is both injective and surjective we say it is bijective. Intuitively this means f gives
a one to one correspondence between elements of S and T.

Observe that if R, S and T are sets and g : R S and f : S T are maps then we may
compose them to give a new function: f g : R T . Not that this is only possible if the
domain of f is naturally contained in the codomain of g.

Exercise. Let S and T be two sets. Let f be a map from S to T . Show that f is a bijection
if and only if there exists a map g from T to S such that f g = IdT and g f = IdS .

5
1.3 Equivalence Relations
Within a set it is sometimes natural to talk about different elements being related to each
other. For example, on Z we could say that x, y Z are related if x y is divisible by 2.
Said another way, x and y are related is they are both odd or both even. This idea can be
formalized as something called an equivalence relation.
Definition. An equivalence relation on a set S is a subset U S S satisfying:
1. (x, y) U (y, x) U . This is called the symmetric property.
2. x S, (x, x) U . This is called the reflexive property
3. Given x, y, z S, (x, y) U and (y, z) U (x, z) U . This is called the transitive
property.
If U S S is an equivalence relation then we say that x, y S are equivalent if and
only if (x, y) U . In more convenient notation we write x y to mean that x and y are
equivalent.
Definition. Let be an equivalence relation on the set S. Let x S. The equivalence class
containing x is the subset

[x] := {y S | y x} S.
Remarks. 1. Notice that the reflexive property implies that x [x]. Hence equivalence
classes are non-empty and their union is S.
2. The symmetric and transitive properties imply that y [x] if and only if [y] = [x].
Hence two equivalence classes are equal or disjoint.
Definition. Let S be a set. Let {Xi } be a collection of subsets. We say that {Xi } forms a
partition of S if each Xi is non-empty, they are pairwise disjoint and their union is S.
Weve shown that the equivalence classes of an equivalence relation naturally form a
partition of the set. Actually there is a converse: any partition of a set naturally gives rise
to an equivalence relation whose equivalence classes are the members of the partition. The
conclusion of all this is that an equivalence relation on a set is the same as a partition. In
the example given above, the equivalence classes are the odd integers and the even integers.

2 The Structure of + and on Z

2.1 Basic Observations
We may naturally express + and in the following set theoretic way:
+:ZZ Z
(a, b) 7 a + b

6
 :ZZ Z
(a, b) 7 a b
Here are 4 elementary properties that + satisfies:
1. (Associativity): a + (b + c) = (a + b) + c a, b, c Z
2. (Existence of additive identity) a + 0 = 0 + a = a a Z.
3. (Existence of additive inverses) a + (a) = (a) + a = 0 a Z
4. (Commutativity) a + b = b + a a, b Z.
Here are 3 elementary properties that satisfy:
1. (Associativity): a (b c) = (a b) c a, b, c Z
2. (Existence of multiplicative identity) a 1 = 1 a = a a Z.
3. (Commutativity) a b = b a a, b Z.
The operations of + and interact by the following law:
1. (Distributivity) a (b + c) = (a b) + (a c) a, b, c Z.
From now on well simplify the notation for multiplication to a b = ab.

Remarks
1. Each of these properties is totally obvious but will form the foundations of future
definitions: Groups and Rings.
2. All of the above hold for + and on Q. In this case there is an extra property that
non-zero elements have multiplicative inverses:
Given a Q\{0}, b Q such that ab = ba = 1.
This extra property will motivate the definition of a Field.
3. The significance of the Associativity laws is that summing and multiplying a finite
collection of integers makes sense, i.e. is independent of how we do it.
It is an important property of Z (and Q) that the product of two non-zero elements is again
non-zero. More precisiely: a, b Z such that ab = 0 either a = 0 or b = 0. Later this
property will mean that Z is something called an integral domain. This has the following
useful consequence:

Cancellation Law: For a, b, c Z, ca = cb and c 6= 0 a = b.

This is proven using the distributive law together with the fact that Z is an integral do-
main. I leave it an exercise to the reader.

7
2.2 Factorization and the Fundamental Theorem of Arithmetic
Definition. Let a, b Z. Then a divides b c Z such that b = ca. We denote this
by a|b and say that a is a divisor (or factor) of b.

Observe that 0 is divisible by every integer. The only integers which divide 1 are 1 and -1.
Any way of expressing an integer as the product of a finite collection of integers is called a
factorization.

Definition. A prime number p is an integer greater than 1 whose only positive divisors are
p and 1. A positive integer which is not prime is called composite.

Remark. Z is generated by 1 under addition. By this I mean that every integer can be
attained by successively adding 1 (or 1) to itself. Under multiplication the situation is
much more complicated. There is clearly no generator of Z under multiplication in the above
sense.

Definition. Let a, b Z. The highest common factor of a and b, denoted HCF (a, b), is the
largest positive integer which is a common factor of a and b. Two non-zero integers a, b Z
are said to be coprime if HCF (a, b) = 1.

Here are four important elementary properties of divisibility dating back to Euclid (300BC),
which Ill state without proof. It would be a good exercise to try and prove them yourselves:

Proposition. (Division Algorithm) Given a, b Z, if b > 0 then ! q, r Z such that

a = bq + r with 0 r < b.

Theorem. Given a, b Z, u, v Z such that au + bv = HCF (a, b).

Proposition. Given a, b1 , ..., br Z all non-zero, a is coprime to each bi a is coprime to

b1 b2 ...br .

Proposition. Let a Z

1. Let b1 , ...br be pairwise coprime integers. If bi |a i b1 b2 ...br |a.

2. Let p Z be a prime. If b1 , ...br Z such that p|b1 b2 ...br p|bi for some i.

Using these we can prove the following very important property of Z:

The Fundamental Theorem of Arithmetic. Every positive integer, a, greater than 1

can be written as a product of primes:

a = p1 p2 ...pr .

Such a factorization is unique up to ordering.

8
Proof. If there is a positive integer not expressible as a product of primes, let c N be the
least such element. The integer c is not 1 or a prime, hence c = c1 c2 where c1 , cc N, c1 < c
and c2 < c. By our choice of c we know that both c1 and c2 are the product of primes. Hence
c much be expressible as the product of primes. This is a contradiction. Hence all positive
integers can be written as the product of primes.
We must prove the uniqueness (up to ordering) of any such decomposition. Let
a = p1 p2 ...pr = q1 q2 ...qs
be two factorizations of a into a product of primes. Then p1 |q1 q2 ...qs . By the second part
of the above proposition we know that p1 |qi for some i. After renumbering we may assume
i = 1. However q1 is a prime, so p1 = q1 . Applying the cancellation law we obtain
p2 ...pr = q2 ...qs .
Assume, without loss of generality, that r < s. We can continue this process until we have:
1 = qr+1 ..qs .
This is a contradiction as 1 is not divisible by any prime. Hence r = s and after renumbering
pi = qi i.
Using this we can prove the following beautiful fact:
Theorem. There are infinitely many distinct prime numbers.
Proof. Suppose that there are finitely many distinct primes p1 , p2 .....pr . Consider c =
p1 p2 ...pr + 1. Clearly c > 1. By the Fundamental Theorem of Arithmetic, c is divisible
by at least one prime, say p1 . Then c = p1 d for some d Z. Hence we have
p1 (d p2 ...pr ) = c p1 p2 ..pr = 1.
This is a contradiction as no prime divides 1. Hence there are infinitely many distinct
primes.
The Fundamental Theorem of Arithmetic also tells us that every positive element a Q can
be written uniquely (up to reordering) in the form:
a = p1 1 pnn ; pi prime and i Z
The Fundamental Theorem also tells us that two positive integers are coprime if and only
if they have no common prime divisor. This immediately shows that every positive element
a Q can be written uniquely in the form:
a = , , N and coprime.

We have seen that both Z and Q are examples of sets with two concepts of composition (+
and ) which satisfy a collection of abstract conditions. We have also seen that the structure
of Z together with is very rich. Can we think of other examples of sets with a concept of
+and which satisfy the same elementary properties?

9
2.3 Congruences
Fix m N. By the Division Algorithm, if a Z, ! q, r Z such that a = qm + r and
0 r < m. We call r the remainder of a modulo m. This gives the natural equivalence
relation on Z:

a b a and b have the same remainder modulo m m|(a b)

Exercise. Check this really is an equivalence relation!

Definition. a, b Z are congruent modulo m m|(a b). This can also be written:

a b mod m.

Remarks. 1. The equivalence classes of Z under this relation are indexed by the possible
remainder modulo m. Hence, there are m distinct equivalence classes which we call
residue classes. We denote the set of all residue classes Z/mZ.

2. There is a natural surjective map

[ ] : Z Z/mZ
a 7 [a] (1)

Note that this is clearly not injective as many integers have the same remainder modulo
m. Also observe that Z/mZ = {[0], [1], ...[m 1]}.

The following result allows us to define + and on Z/mZ.

Propostion. Let m N. Then,a, b, a0 , b0 Z :

[a] = [a0 ] and [b] = [b0 ] [a + b] = [a0 + b0 ] and [ab] = [a0 b0 ].

Proof. This is a very good exercise.

Definition. We define addition and multiplication on Z/mZ by

[a] [b] = [a b] a, b Z [a] + [b] = [a + b] a, b Z

Remark. Note that there is ambiguity in the definition, because it seems to depend on making
a choice of representative of each residue class. The proposition shows us that the resulting
residue classes are independent of this choice, hence + and are well defined on Z/mZ.

Our construction of + and on Z/mZ is lifted from Z, hence they satisfy the 8 elementary
properites that + and satisfied on Z. In particular [0] Z/mZ behaves like 0 Z:

[0] + [a] = [a] + [0] = [a], [a] Z/mZ;

10
and [1] Z/mZ behaves like 1 Z:

[1] [a] = [a] [1] = [a], [a] Z/mZ.

We say that [a] Z/mZ is non-zero if [a] 6= [0]. Even though + and on Z/mZ share the
same 8 elementary properties with + and on Z, they behave quite differently in this case.
As an example, notice that

[1] + [1] + [1] + + [1](m times)= [m] = [0]

Hence we can add 1 (in Z/mZ) to itself and eventually get 0 (in Z/mZ).
Also observe that if m is composite with m = rs, where r < m and s < m then [r] and
[s] are both non-zero (6= [0]) in Z/mZ, but [r] [s] = [rs] = [m] = [0] Z/mZ. Hence we
can have two non-zero elements multiplying together to give zero.

Proposition. For every m N, a Z the congruence

ax 1 mod (m)

has a solution (in Z) iff a and m are coprime.

Proof. This is just a restatement of the fact that a and m coprime u, v Z such
that au + mv = 1.

Observe that the congruence above can be rewritten as [a] [x] = [1] in Z/mZ. We say that
[a] Z/mZ has a multiplicative inverse if [x] Z/mZ such that [a] [x] = [1]. Hence
we deduce that the only elements of Z/mZ with muliplicative inverse are those given by [a],
where a is coprime to m.
Recall that on Q had the extra property that all non-zero elements had multiplicative
inverses. When does this happen in Z/mZ?. By the above we see that this can happen
{2, , m 1} are all coprime to m. This can only happen if m is prime. We have
thus proven the following:

Corollary. All non-zero elements of Z/mZ have a multiplicative inverse m is prime.

Later this will be restated as Z/mZ is a field m is a prime. These are examples of
things called finite fields.

Key Observation: There are naturally occuring sets (other than Z and Q) which come
equipped with a concept of + and , whose most basic properties are the same as those of
the usual addition and multiplication on Z or Q.

11
3 Groups
3.1 Basic Definitions
Definition. Let G be a set. A binary operation is a map of sets:

: G G G.

For ease of notation we write (a, b) = a b a, b G. Any binary operation on G gives a

way of combining elements. As we have seen, if G = Z then + and are natural examples
of binary operations.

Definition. A group is a set G, together with a binary operation , such that the following
hold:

1. (Associativity): (a b) c = a (b c) a, b, c G.

2. (Existence of identity): e G such that a e = e a = a a G.

3. (Existence of inverses): Given a G, b G such that a b = b a = e.

Remarks. 1. We have seen five different examples thus far: (Z, +), (Q, +), (Q\{0}, ),
(Z/mZ, +), and (Z/mZ \ {[0]}, ) if m is prime. Another example is that of a real
vector space under addition. Note that (Z, ) is not a group. Also note that this gives
examples of groups which are both finite and infinite. The more mathematics you learn
the more youll see that groups are everywhere.

2. A set with a binary operation is called a monoid if only the first two properties hold.
From this point of view, a group is a monoid in which every element is invertible.
(Z, ) is a monoid.

3. Observe that in all of the examples Ive given the binary operation is commutative, i.e.
a b = b a a, b G. We do not include this in our definition as this would be too
restrictive as well see later. For example the set of invertible n n matrices with real
coefficients forms a group under matrix multiplication. However we know that matrix
multiplication does not commute in general.

So a group is a set with extra structure. In set theory we have the natural concept of a map
between sets (a function). The following is the analogous concept for groups:

Definition. Let (G, ) and (H, ) be two groups. A homomorphism f , from G to H is a

map of sets f : G H, such that f (x y) = f (x) f (y) x, y G. If G = H and f = IdG
we call f the identity homomorphism.

Remarks. 1. Intuitively one should thing about a homomorphism as a map of sets which
preserves the underlying group structure. Its the same idea as a linear map between
vector spaces.

12
 2. A homomorphism f : G H which is bijective is called an isomorphism. Two
groups are said to be isomorphic if there exists an isomorphism between them. Intu-
itively two groups being isomorphic means that they are the same group, but viewed
from different points perspectives.
3. A homomorphism from a group to itself (i.e. f : G G) is called an endomorphism.
An endomorphism which is also an isomorphism is called an automorphism.
Proposition. Let (G, ), (H, ) and (M, ) be three groups. Let f : G H and g : H M
be homomorphism. Then the composition gf : G M is a homomorphism.
Proof. Let x, y G. gf (x y) = g(f (x) f (y)) = gf (x)gf (y).
Remark. Composition of homomorphism gives the collection of endomorphisms of a group
the structure of a monoid. The subset of automorphisms has the stucture of a group under
composition. We denote it by Aut(G).
Proposition. Let (G, ) be a group. The identity element is unique.
Proof. Assume e, e0 G both behave like the identity. Then e = e e0 = e0 .
Proposition. Let (G, ) be a group. For a G there is only one element which behaves like
the inverse of a.
Proof. Assume a G has 2 inverses, b, c G. Then:
(a b) = e
c (a b) = ce
(c a) b = c (associativity and identity)
eb = c
b = c

The first proposition tells us that we can write e G for the identity and it is well defined.
Similarly the second proposition tells us that for a G we can write a1 G for the inverse
in a well defined way. The proof of the second result gives a good example of how we prove
results for abstract groups. We can only use the axioms, nothing else.

We also have an analogue of the cancellation law:

Proposition. Let a, b, c G a group. Then
a c = a b c = b and c a = b a c = b
Proof. Compose on left or right by a1 G, then apply the associativity and inverses and
identity axioms.
Definition. A group (G, ) is called Abelian if it also satisfies
a b = b a a, b G.
This is also called the commutative property.

13
3.2 Subgroups, Cosets and Lagranges Theorem
In Linear Algebra, we can talk about subspaces of vector spaces. We have an analogous
concept in group theory.
Definition. Let (G, ) be a group. A subgroup of G is a subset H G such that
1. e H

2. x, y H x y H

3. x H x1 H
Remarks. 1. A subgroup is naturally a group under the induced binary operation. It
clearly has the same identity element.

2. If m N, then the subset mZ := {ma|a Z}is a subgroup of (Z, +).

3. If V is a vector space over R then it is naturally an abelian group under addition. If

W is a subspace then it is also under a subgroup under addition.
Proposition. H, K G subgroups H K G is a subgroup.
Proof. 1. As H, K subgroups, e H and e K e H K.

2. x, y H K x y H and x y K x y H K.

3. x H K x1 H and x1 K x1 H K.

This result clearly extends to any collection of subgroups of G.

Let (G, ) be a group and let H G be a subgroup. Let us define a relation on G us-
ing H as follows:

Given x, y G, x y x1 y H

Proposition. This gives an equivalence relation on G.

We need to check the three properties of an equivalence relation:
1. (Reflexive )e H x1 x H x G x x

2. (Symmetric) x y x1 y H (x1 y)1 H y 1 x H y x

3. (Transitive) x y, y z x1 y, y 1 z H (x1 y) (y 1 z) H x1 z
Hxz
Definition. We call the equivalence classes of the above equivalence relation right cosets
of H in G.

14
Proposition. For x G the equivalence class containing x equals
xH := {x h|h H} G
Proof. The easiest way to show that two subsets of G are equal is to prove containment in
both directions.
x y x1 y H x1 y = h for some h H y = x h xH. Therefore
{Equivalence class containing x} xH.
y xH y = x h for some h H x1 y H y x. Therefore xH
{Equivalence class containing x}.
This has the following very important consequence:
Corollary. Hence for x, y G, xH = yH x1 y H.
Proof. By the above proposition we know that xH = yH x y x1 y H.
It is very very important you understand and remember this fact. An immediate conse-
quence is that y xH yH = xH. Hence cosets can in general be written with different
representatives at the front. This is very important. Also observe that the equivalence class
containing e G is just H. Hence the only equivalence class which is a subgroup H, as no
other contains the identity. If H = {e} then the right cosets are singleton sets.
Remarks. Let G = R3 , thought of as a group under addition. Let H is a two dimensional
subspace. Recall this is a subgroup under addition. Geometrically H is a plane which contains
the origin. Geometrically the right cosets of H in R3 are the planes which are parallel to H.
Definition. Let (G, ) be a group and H G a subgroup. We denote by G/H the set of
right cosets of H in G. If the size of this set is finite then we say that H has finite index
in G. In this case we write
(G : H) = |G/H|,
and call it the index of H in G.
For m N, the subgroup mZ Z has index m. Note that Z/mZ is naturally the set of
residue classes modulo m previously introduced. If G is infinite and H = {e} then H is not
of finite index in G.
Proposition. Let x G. The map (of sets)

: H xH
h x h

is a bijection.
Proof. We need to check that is both injective and surjective. For injectivity observe that
for g, h H, (h) = (g) x h = x g h = g. Hence is injective. For surjectivity
observe that g xH h H such tat g = x h g = (h).

15
Now lets restrict to the case where G is a finite group.

Proposition. Let (G, ) be a finite group and H G a subgroup. Then x G , |xH| = |H|.
Proof. We know that there is a bijection between H and xH. Both must be finite because
they are contained in a finite set. A bijection exists between two finite sets if and only if
they have the same cardinality.

Lagranges Theorem. Let (G, ) be a finite group and H G a subgroup. Then |H|
divides |G|.

Proof. We can use H to define the above equivalence relation on G. Because it is an equiv-
alence relation, its equivalence classes cover G and are all disjoint. Recall that this is called
a partition of G.
We know that each equivalence class is of the form xH for some (clearly non-unique in
general) x G. We know that any right coset of H has size equal to |H|. Hence we have
partitioned G into subsets all of size |H| |H| divides |G|.
This is a powerful result. It gives tight control on the behavior of subgroups of a finite group.
For example:

Corollary. Let p N be a prime number. Let (G, ) be a finite group of order p. Then the
only subgroups of G are G and {e}.

Proof. Let H be a subgroup of G. By Lagrange |H| divides p. But p is prime so either

|H| = 1 or |H| = p. In the first case H = {e}. In the second case H = G.

3.3 Finitely Generated Groups

Definition. Let G be a group and X G be a subset. Then we define the subgroup
generated by X to be the intersection of all subgroups of G containing X. We denote it by
gp(X) G.

Remarks. 1. gp(X) is the minimal subgroup containing X. By minimal we mean that if

H G is a subgroup such that X H then gp(X) H.

2. A more constructive way of defining gp(X) is as all possible finite compositions of

elements of X and their inverses. I leave it as an exercise to check that this subset is
indeed a subgroup.

3. Let us consider the group (Z, +) and X = {1} Z. Then gp(X)=Z. This is the
precise sense in which Z is generated by 1 under addition.

Definition. We say a group (G, ) is finitely generated if X G finite such that

gp(X)=G.

Remarks. 1. Clearly all finite groups are finitely generated.

16
 2. The fact that there are infinitely many primes implies that (Q\{0}, ) is not finitely
generated.

Definition. A group (G, ) is said to be cyclic if x G such that gp({x}) = G, i.e. G can
be generated by a single element. In concrete terms this means that G = {xn |n Z}.

By the above observations (Z, +) and (Z/mZ, +) are examples.

Let G be a group (not necessarily cyclic. For r, s Z and x G, xr xs = xr+s = xs+r = xs xr .

Hence gp({x}) G is Abelian. We deduce that all cyclic groups are Abelian.

Theorem. Let G be a cyclic group. Then

1. If G is infinite, G
= (Z, +)
2. If |G| = m N, then G
= (Z/mZ, +)
Proof. We have two cases to consider.

1. If G = gp({x}), then G = { x2 , x1 , e, x, x2 }. Assume all elements in this set

are distinct, then we can define a map of sets:

:G Z
xn n

Then,a, b Z, (xa xb ) = (xa+b ) = a + b = (xa ) + (xb ) so is a homomorphism

which by assumption was bijective. Thus, (G, ) is isomorphic to (Z, +).

2. Now assume a, b Z, b > a such that xa = xb . Then x(ba) = e x1 = x(ba1)

G = {e, , xna1 }. In particular G is finite. Choose minimal m N such that
xm = e. Then G = {e, x, , xm1 } and all its elements are distinct by minimality of
m. Hence |G| = m.

Define the map

: G Z/mZ
xn [n] for n {0, ...m 1}

This is clearly a surjection, hence a bijection because |G| = |Z/mZ| = m. Again a, b

{0, ...m 1} we know (xa xb ) = (xa+b ) = [a + b] = [a] + [b] = (xa ) + (xb ) is a
homomorphism. Hence (G, ) is isomorphic to (Z/mZ, +).

17
Hence two finite cyclic groups of the same size are isomorphic. What are the possible
subgroups of a cyclic group?
Proposition. A subgroup of a cyclic group is cyclic.
Proof. If H is trivial we are done. Hence assume that H is non-trivial. By the above we
need to check two cases.
1. (G, ) = (Z, +). Let H Z be a non-trivial subgroup. Choose m N minimal such
that m H(m 6= 0). Hence mZ = {ma|a Z} H. Assume n H such that
n/ mZ. By the remainder theorem, n = qm + r, r, q Z and 0 < r < m r H.
This is a contradiction by the minimality of m. Therefore mZ = H. Observe that
gp({m}) = mZ Z. Hence H is cylic.
2. (G, )
= (Z/mZ, +). Let H Z/mZ be a non-trivial subgroup. Again, choose n N
minimal and positive such that [n] H. The same argument as above shows that the
containment gp({[n]}) H is actually equality. Hence H is cyclic.

Proposition. Let (G, ) be a finite cyclic group of order d. Let m N such that m divides
|G|. Then there is a unique cyclic subgroup of order m.
Proof. Because |G| = d we know that G = (Z/dZ, +). Hence we need only answer the
question for this latter group. Let m be a divisor of d. Then if n = d/m then gp({[n]})
Z/dZ is cyclic of order m by construction. If H Z/dZ is a second subgroup of order
m then by the above proof we know that the minimal n N such that [n] H must be
n = d/m. Hence H = gp({[n]}).

Let (G, ) be a group (not necessarily cyclic) and x G. We call gp({x}) G the subgroup
generated by x. By definition it is cyclic.
Definition. If |gp({x})| < we say that x is of finite order and its order, written ord(x)
equals |gp({x})|. If not we say that x is of infinite order.
Remarks. 1. Observe that by the above we know that if x G is of finite order, then
ord(x) = minimal m N such that xm = e
2. e G is the only element of G of order 1.
3. The only element with finite order in Z is 0.
Proposition. Let (G, ) be a finite group and x G. Then ord(x) divides |G| and x|G| = e.
Proof. By definition ord(x) = |gp({x})|. Therefore, by Lagranges theorem, ord(x) must
divide |G|. Also note that by definition xord(x) = e. Hence
|G| |G|
x|G| = x(ord(x) ord(x) ) = e ord(x) = e.

18
3.4 Permutation Groups and Group Actions
Definition. Let S be a set. We define the group of permutations of S to be the set of
bijections from S to itself, denoted (S), where the group binary operation is composition
of functions.
Remarks. 1. By composition of functions we always mean on the left, i.e. f, g (S)
and s S (f g)(s) = f (g(s)).
2. Associativity clearly has to hold. The identity element e of this group is the identity
function on S, i.e. x S, e(s) = s. Inverses exist because any bijective map from a
set to itself has an inverse map.
3. Let n N. We write Symn := ({1, 2, ..., n}). If S is any set of cardinality n then
(S) is isomorphic to Symn , the isomorphism being induced by writing a bijection from
S to {1, 2, ..., n}. We call these groups the finite symmetric groups.
4. Observe that given (S) we can think about as moving S around. In this
sense the group (S) naturally acts on S. Lets make this precise.
Definition. Let (G, ) be a group and S a set. By a group action of (G, ) on S we mean
a map:
:GS S
such that
1. x, y G, s S, (x y, s) = (x, (y, s))
2. (e, s) = s
If the action of the group is understood we will write x(s) = (x, s)x G, s S. This
notation makes the axioms clearer: (1) becomes (x y)(s) = x(y(s)) x, y G, s S and
(2) becomes e(s) = s s S.
Remarks. 1. Notice that there is a natural action of (S) on S:
: (S) S S
(f, s) f (s)

This is where the definition comes from.

2. Let (G, ) be a group. There is a natural action of G on itself:

:GG G
(x, y) x y

Property (1) holds as is associative. Property (2) holds because e x = x x G.

This is called the left regular representation of G.

19
 3. We define the trivial action of G on S by

:GS S
(g, s) s s S, g G

4. There is another natural action of G on itself:

:GG G
(x, y) x y x1

Property (1) holds because of associativity of and that (g h)1 = h1 g 1 . Property

(2) is obvious. This action is called conjugation.

Let : G S S an action of a group G on a set S. Any g G naturally gives rise to a

map:

g : S S
s 7 g(s)

Observe that property (1) of being an action implies that gh = g h g, h G. Here

the second term is composition of functions. Similarly property (2) tell is that e = IdS ..

Proposition. g is a bijection.
Proof. Given g , if we can find an inverse function, then we will have shown bijectivity. By
the above two observations it is clear that g1 is inverse to g .

Hence gives rise to a map of sets:

: G (S)
g g

Proposition. is a homomorphism.
Proof. As we have just seen, property (1) of being an action h g = hg h, g G.
This is precisely the statement that is a homomorphism.

So an action of a group G on a set S gives a homorphism : G (S). It is in fact

true that any such homorphism gives comes from a unique group action. Hence an action of
G on S is the same thing as homomorphism from G to the permutation group of S - both
concepts are interchangeable.

Definition. An action of G on S is called faithful if

20
 : G (S)
g 7 g

is injective.

Notice that if G and H are two groups and f : G H is an injective homomorphism then
we may view G as a subgroup of H by identifying it with its image in H under f . Hence if
G acts faithfully on S then G is naturally isomorphic to a subgroup of (S).

Cayleys Theorem. Let G be a group. Then G is isomorphic to a subgroup of (G). In

particular if |G| = n N, then G is isomorphic to a subgroup of Symn .
Proof. The result will follow if we can show that the left regular representation is faithful.
Let : G (G) be the homomorphism given by the left regular representation. Hence for
g, s G, g (s) = g s. Forh, g G, suppose h = g . Then h s = g s s G h = g.
Hence is injective.

3.5 The Oribit-Stabiliser Theorem

Definition. Let (G, ) be a group, together with an action on a set S. We can define an
equivalence relation on S by

s t g G such that g(s) = t

Remarks. This is an equivalence relation as a consequence of the group axioms, together

with the definition of an action. I leave it as an exercise to check this.

Definition. Let (G, ) be a group, together with an action on a set S. Under the above
equivalence relation we call the equivalence classes orbits, and we write

orb(s) := {t S|g G such that g(s) = t} S

for the equivalence class containing s S. We call it the orbit of s.

It is important to observe that orb(s) is a subset of S and hence is merely a set with no
extra structure.

Definition. Let (G, ) be a group, together with an action on a set S. We say that G acts
transitively on S is there is only one orbit. Equivalently, is transitive if given s, t S,
g G such that g(s) = t.

An example of a transitive action is the natural action of (S) on S. This is clear because
given any two points in a set S there is always a bijection which maps one to the other. If
G is not the trivial group (the group with one element) then conjugation is never transitive.
To see this observe that under this action orb(e) = {e}.

21
Definition. Let (G, ) be a group, together with an action on a set S. Let s S. We
define the stabiliser subgroup of s to be all elements of G which fix s under the action. More
precisely
Stab(s) = {g G|g(s) = s} G
For this definition to make sense we must prove that stab(s) is genuinely a subgroup.
Proposition. Stab(s) is a subgroup of G.
Proof. 1. e(s) = s e Stab(s)
2. x, y Stab(s) (x y)(s) = x(y(s)) = x(s) = s x y Stab(s).
3. x Stab(s) x1 (s) = x1 (x(s)) = (x1 x)(s) = e(s) = s x1 Stab(s)

Thus we may form the right cosets of stab(s) in G:

G/stab(s) := {x(stab(s))|x G}.

Recall that these subsets of G are the equivalence classes for the equivalence relation:
Given x, y G, x y x1 y stab(s),
hence they partition G into disjoint subsets.
Proposition. Let x, y G then x(stab(s))=y(stab(s)) x(s) = y(s).
Proof. Recall that x and y are in the same right coset x1 y stab(s). Hence
x1 y(s) = s. Composing both sides with x and simplifying by the axioms for a group action
implies that x(s) = y(s).
We deduce that there is a well defined map (of sets):

: G/stab(s) orb(s)
x(stab(s)) x(s)
Proposition. is a bijection.
Proof. By definition, orb(s) := {x(s) S|x G}. Hence is trivially surjective.
Assume (x(stab(s)) = (y(stab(s)) for some x, y G. This implies the following:

x(s) = y(s) x1 (y(s)) = s

(x1 y)(s) = s
x1 y stab(s)
x(stab(s)) = y(stab(s))
Therefore is injective.

22
This immediately gives the following key result:
Orbit-Stabiliser Theorem. Let (G, ) be a group together with an action, , on a set S.
Let s S such that the orbit of s is finite (|orb(s)| < ). Then stab(s) G is of finite
index and
(G : Stab(s)) = |orb(s)|
Proof. Immediate from previous proposition.
We have the following corollary:
Corollary. If (G, ) is a finite group acting on a set S and s S then |G| = |stab(s)|
|orb(s)|.
Proof. In this case (G : Stab(s)) = |G|/|stab(s)|. Applying the orbit-stabiliser theorem
yields the result.
The orbit-stabiliser theorem allows us to prove non-trivial results about the structure
of finite groups. As an example let us consider the action of G (a finite group) on itself
by conjugation. The orbits under this action are called conjugacy classes. Concretely, for
g 1 |g G}. If C1 , , Cr G are the distinct conjugacy
h G, conj(h) := orb(h) = {g h P
classes then we deduce that |G| = ri=1 |Ci | and |Ci |||G| i {1, , r}.
Theorem. Let G be a finite group of order pn , for p a prime number and n N. Then the
center (defined in HW2) is non-tivial.
Proof. Let G act on itself by conjugation. Let C G denote the center. We know it is a
subgroup. Observe that h C orb(h) = {h}. Recall that orb(e) = {e}. Assume
that C = {e}. Then by the above remark we know that h 6= e p|orb(h). Because the
conjugacy class form a partition of G we deduce that m N such that pn = 1 + p.m. This
is not possible, hence C cannot be trivial.
Let H G be a subgroup (G not necessarily finite). Let G/H denote the set of right cosets
of H. There is a natural action of G on G/H :

: G G/H G/H
(g, xH) (g x)(H)

Lemma. is transitive.
Proof. By definition of G/H it is clear that orb(H) = G/H.

Lemma. Stab(H) = H
Proof. gH = H g H.

23
Theorem. Let (G, ) be a group; H G a subgroup. Then a set S and an action of G
on S such that s S such that

1. stab(s) = H

2. The action is transitive.

Proof. Set S = G/H with above action. s = H G/H.

Hence every subgroup can be realized as the stabilizer of an element in a set upon which
the group acts transitively. This is a useful result. For example it will allow us to prove the
folllowing result:

Theorem. Let (G, ) be a group and H, K G two subgroups of finite index. Assume that
(G : H) = r and (G : K) = s. Then H K is of finite index in G and (G : H K) rs.

Proof. By the above theorem let S be a set on which G acts transitively such that for s S,
stab(s) = H. Similarly, let T be a set on which G acts transitively such that for t T ,
stab(t) = K. By the orbit stabiliser theorem we know that |S| = r and |T | = s. Then
there is a natural action of G on S T given by g(x, y) = (g(x), g(y)) fora all g G, x S
and y T . Observe that |S T | = rs and by construction H K = stab(s, t). By the
orbits-stabiliser the we deduce that

(G : H K) = |orb(s, t)| rs.

3.6 Finite Symmetric Groups

As we have proven, if (G, ) is a finite group of order n. Then G is isomorphic to a subgroup
of Symn , the symmetric group on {1, 2...n}. Hence to properly understand finite groups we
must under stand these finite symmetric groups.

Proposition. For n N, |Symn | = n!.

Proof. Any permutation of {1, 2...n} is totally determined by a choice of (1), then of (2)
and so on. At each stage the possibilities drop by one. Hence the number of permutations
is n!.
We need to think of a way of elegantly representing elements of Symn . For a {1, 2...n}
and Symn we represent the action of on a by a cycle:

(abc...f ) where b = (a), c = (b)...(f ) = a.

We know that eventually get back to a because has finite order. In this way every Symn
can be written as a product of disjoint cycles:

24
 = (a1 ...ar )(ar+1 ...as )...(at+1 ...an ).

This representation is unique up to ordering the cycles.

E.g. Let n = 5 then = (123)(45) corresponds to

1 2
2 3
: 3 1
4 5
5 4

If an element is fixed by we omit it from the notation.

E.g. Let n = 5 then = (523) corresponds to

1 1
2 3
: 3 5
4 4
5 2

This notation makes it clear how to compose two permutations: E.g. Let n = 5 and
= (23), = (241), then = (241)(23) = (1234) and = (23)(241) = (1324). Observe
that we are keeping our composition on the left notation when composing permutations.
This example also shows that in general Symn is not Abelian.
Hence given Symn , we naturally get a well defined partition of n, taking the lengths
of the disjoint cycles appearing in .
Proposition.
P Let Symn decompose as the disjoint product of cycles of length n1 , ..nm
(so ni = n). Then ord() = LCM (n1 , ...nm ), where LCM denotes the lowest common
multiple.
Proof. Let = (a1 , , ar )(ar+1 , , as ) (at+1 , , an ), be a representation of as the
disjoint product of cycles. We may assume that r = n1 , etc, without any loss of generality.
Observe that a cycle of length d N must have order d in Symn . Also recall that if G is
a finite group then for any d N, x G, xd = e ord(x)|d. Also observe that for
all d N, d = (a1 , , ar )d (ar+1 , , as )d (at+1 , , an )d . Thus we know that d = e
ni |d i. The smallest value d can take with this property is LCM (n1 , ...nm ).
Definition. Suppose that Symn can be represented as the disjoint product of 1 cycles
of length 1, 2 cycles of length 2, ....., and r cycles of length r. In this case we say that
has cycle structure equal to 11 22 ... rr . Note that this is not a number, it is a formal
symbol.

25
Theorem. Two permutations are conjugate in Symn they have the same cycle struc-
ture.

Proof. Let , Symn have the same cycle structure. Hence we may represent both in the
form:
= (a1 , , ar )(ar+1 , , as ) (at+1 , , an ),
= (b1 , , br )(br+1 , , bs ) (bt+1 , , bn ).
Define Symn such that (ai ) = bi i. By construction 1 = . Going through the
above process in reverse, the converse is clear.

Corollary. Conjugacy classes in Symn are indexed by cycle structure.

Proof. Immediate from the above.

Definition. A transposition is a cycle of length 2.

Observe that we can write any cycle as a product of transpositions:

(a1 as ) = (a1 as ) (a1 a3 )(a1 a2 )

Hence any permutation Symn may be written as the (not necessarily disjoint) product
of transpositions. This representation is non-unique as the following shows:
e.g. n=6, =(1 2 3)=(1 3) (1 2)=(4 5)(1 3)(4 5)(1 2)
Notice that both expressions involve an even number of transpositions.

Theorem. Let Symn be expressed as the product of transpositions in two potentially

different ways. If the first has m transpositions and the second has n transpositions then
2|(m n).
Proof. First notice that a cycle of length r can be written as the product of r1 transpositions
by the above. Let us call even if there are an even number of even length cycles (once
expressed as a disjoint product); let us call odd if there are an odd number of even length
cycles. We also define the sign of , denoted sgn(), to be +1 or 1 depending on whether
is even or odd.
Consider how sign changes when we multiply by a transposition (1 i). We have two cases:

1. 1 and i occur in the same cycle in . Without loss of generality we consider (1 2 i

r) as being in .

(1 i)(1 2 i r)=(1 2 i 1)(i i + 1 r)

If r is even then either we get two odd length cycles or two even length cycles. If
r is odd then exactly one of the cycles on the right is even length. In either case,
sgn((1 i)) = sgn().

26
 2. 1 and i occur in distinct cycles. Again, without loss of generality we may assume that
(1 i 1)(i r) occurs in . In this case

(1 i)(1 2 i 1)(i r)=(1 r).

In either of the cases r even or odd, we see that the number of even length cycles must
drop or go up by one. Hence sgn((1 i)) = sgn() as in case 1.

We deduce that multiplying on the left by a transposition changes the sign of our permuta-
tion. The identity must have sign 1, hence by induction we see that the product of an odd
number of transpositions has sign 1, and the product of an even number of transpositions
has sign 1.
Note that if we write any product of transpositions then we can immediately write down
an inverse by reversing their order. Let us assume that we can express as the product of
transpositions in two different ways, one with an odd number and one with an even number.
Hence we can write down as the product of evenly many transpositions and 1 as a
product of an odd number of transpositions. Thus we can write e = 1 as a product of
an odd number of transpositions. This is a contradiction as sgn(e) = 1.

We should observe that from the proof of the above we see that , Symn , sgn( ) =
sgn()sgn( ). Observe that we may view the set {1, 1} as a group under multiplication.
It is cyclic of order 2, generated by -1. Let us denote it by C2 . What this shows is that we
may view sgn as a group homomorphism:

sgn : Symn C2
sgn()

In particular this shows that the set of even elements of Symn is closed under composition
and taking inverse. Hence we have the following:

Definition. The subgroup of Altn Symn consisting of even elements is called the Alter-
nating group of rank n.

Observe that Altn contains all 3-cycles (cycles of length 3).

Proposition. Altn is generated by 3-cylces.

Proof. By generate we mean that any element of Altn can be expressed as the product of
three cycles. As any element of Altn can be written as the product of three cycles we only
have to do it for the product of two transpositions. There are two cases:

1. (i j)(k l) = (k i l)(i j k).

2. (i j)(i k) = (i k j).

27
 n!
Proposition. |Altn | = 2
.

Proof. Recall that |Symn | = n!, hence we just need to show that (Symn : Altn ) = 2. Let
, Symn . Recall that

Altn = Altn 1 Altn .

But sgn( 1 ) = sgn()sgn( ), hence

Altn = Altn sgn() = sgn( ).

Hence Altn has two right cosets in Symn , one containing even permutations and one odd
permutations.

3.7 Symmetry of Sets with Extra Structure

Let S be a set and (S) its permutation group. The permutation group completely ig-
nores the fact that there may be extra structure on S. Today we are going to look at the
permutations which preserve certain geometric structures.
Within mathematics there are objects which have internal structure. For example, a cube
sitting in R3 is not just a set of points, it has some sort of geometric structure. So far in this
course we have already encountered sets with exact structure, namely groups. We defined
maps between groups which preserved their structure - we called these homomorphisms. Let
(G, ) be a group. The collection of automorphisms from G to itself form a group (under
composition), hence they naturally form a subgroup aut(G) (G). Similarly, the collection
of invertible linear maps from Rn to itself form a subgroup of (Rn ). Both of these examples
are for abstract algebra, but there is a much more obvious class:

Symmetry in Euclidean Space

Observe that in R2 we have a natural concept of the distance between two points : if
x = (x1 , x2 ) and y = (y1 , y2 ) then by Pythagoras theorem the distance from x to y is
v
u 2
uX
d(x, y) = t (xi yi )2 .
i=1

Similarly in R3 we can again us Pythagoras to show that for x = (x1 , x2 , x3 ) and y =

(y1 , y2 , y3 ), v
u 3
uX
d(x, y) = t (x y )2 . i i
i=1

28
For n N we may extend this concept of distance to Rn as follows: for x = (x1 , xn ) and
y = (y1 , yn ) we define the distance between x and y to be
v
u n
uX
d(x, y) = t (xi yi )2 .
i=1

This gives a good concept of distance on Rn because it shares many good properties with
the usual concept in R2 and R3 . For example d(x, y) = 0 x = y. In the language of
analysis d is a metric on Rn . It is called the Euclidean metric on Rn .
Definition. The set Rn together with the Euclidean metric d is called Euclidean space of
dimension n.
This gives the set Rn some extra structure which is fundamentally geometric. Note that
this is more structure than the fact that Rn is a vector space over R.
Definition. An isometry on Rn is a map of sets f : Rn Rn (not necessarily linear) such
that x, y Rn , d(x, y) = d(f (x), f (y)).
Intuitively an isometry preserves distance. In R3 examples include rotations around any
line, or reflections in any plane. In R2 we have rotation around points and reflections in any
line. We can also translate by x Rn i.e.

fx : Rn Rn
y y + x.

This example clearly shows that an isometry need not be linear, taking x 6= 0.

We denote the collection of all isometries of Rn by Isom(Rn ). It is clear that Isom(Rn )

is closed under composition and contains the identity map.
We must address wether isometries are bijective. It is clear from the definition that if
f Isom(Rn ) is injective. Let us restrict for a moment to the case when n = 2. Assume
we are given three points x1 , x2 , x3 R2 which form the corners of a triangle. Observe that
given any y R2 it is uniquely determined by its distance from x1 , x2 and x3 . This tells
us that given f Isom(R2 ), f (y) is uniquely determined by f (x1 ), f (x2 ) and f (x3 ). Con-
versely, because f is an isometry f (x1 ), f (x2 ) and f (x3 ) must form the corners of a triangle
in R2 which is congruent to the one with corners x1 , x2 and x3 . Hence given z R2 , it is
uniquely determine by its distance from f (x1 ), f (x2 ) and f (x3 ). Because the two triangles
are congruent there exists a unique y R2 with these same distances from x1 , x2 and x3 .
This forces f (y) = z., and hence f is surjective, and thus bijective. Clearly its inverse is an
isometry also. This basic argument can be extended to Rn for any n N. We deduce that
Isom(Rn ) (Rn ) is a subgroup. The subgroup of isometries is often called the Euclidean
group.

Let X Rn be a subset (not necessarily a subspace) .

29
Definition. We define the Symmetry group of X to be the subgroup Sym(X) Isom(Rn )
with the property that f Sym(X) f (X) = X.
There is a natural action of Sym(X) on the set X, coming from the fact there is a natural
homomorphism Sym(X) (X). Lets do some examples:

The Dihedral Group

Let m N and n = 2. Let X R2 be the regular m-gon. We call the symmetry group of
X the dihedral group of rank m, and we denote it by Dm . First observe that every element
of Dm must fix the center of X. Also observe that f Dm is totally determined by what it
does to the vertices of X. By the above we see that it must permute the m vertices (i.e. Dm
acts on the m vertices) and the action must be faithful. Hence there is a natural injective
homomorphism Dm Symm . The subset of rotations about the center forms a subgroup
or order m, which we denote by Rot Dm . Note that using rotation we can move from one
vertex to any other hence the action is transitive. Also observe that given any vertex s the
stabiliser subgroup is {e, } Dm , where is the reflection through s and the center. Thus
by orbit-stabiliser we deduce that |Dm | = 2m. So Rot has two right cosets in Dm , Rot itself
and Ref , the subset of reflections.

The Cube
Let X R3 be a solid cube. What potential isometries can preserve X. They clearly
have to fix the center. They also have to fix the 8 vertices, and by the above permute
them. Again by the above distinct elements of Sym(X) must induce distinct permutations
of the vertices. This induces an injective homomorphism Sym(X) Sym8 Can we think of
any other subsets of X which must be permuted? The central points of each face must be
permuted also. There are six such points and again this induces an injective homomorphism
Sym(X) Sym6 . Clearly both actions are transitive. In the If s is a vertex then stab(s)
is naturally isomorphic to D3 . It t is the center of a face then stab(t) is isomorphic to D4 .
Orbit-stabiliser in either case shows that |Sym(X)| = 48.

Interesting Question:
Let (G, ) be an abstract group. When is it true that we can find X Rn , for some n N
such that
G = Sym(X)?
Heuristically: when can an abstract group be realised in geometry?

3.8 Normal Subgroups and Isomorphism Theorems

In Linear Algebra the predominant objects we study are the maps between vector spaces,
and not the vector spaces themselves. Somehow the structure preserving maps between
vector spaces are more interesting than the spaces themselves. This a deep observation - it

30
is true far beyond the confines of linear algebra. Philosophically its saying that an object
in isolation is uninteresting; its how it relates to whats around it that matters. The world
of group theory is no different. Here the objects are groups and the maps between them
are homomorphisms. Today well study homomorphisms between abstract groups in more
detail.
Let G and H be two groups. Well suppress the notation as it will always be obvious
where composition is taking place. Let eG and eH be the respective identity elements.
Recall that a homomorphism from G to H is a map of sets f : G H such that x, y G,
f (xy) = f (x)f (y).

Lemma. Let f : G H be a homomorphism. Then x G, f (x1 ) = f (x)1 .

Proof. Recall that f a homomorphism f (eG ) = eH . Hence f (xx1 ) = f (x)f (x1 ) = eH =

f (x1 x) = f (x1 )f (x).

Definition. Given f : G H a homomorphism of groups, we define the kernel of f to be:

ker(f ) := {x G|f (x) = eH }

We define the image of f to be:

Im(f ) := {y H|x G such that f (x) = y}

Proposition. Given a homomorphism f : G H, ker(f ) G and im(f ) H are sub-

groups.
Proof. First we will show true for ker(f ):

1. f (eG ) = eH eG ker(f ).

2. Suppose x, y ker(f ). Then f (xy) = f (x)f (y) = eH xy ker(f ).

3. Given x ker(f ), f (x1 ) = e1

H = eH x
1
ker(f ).

Now we will show that Im(f ) is a subgroup:

1. f (eG ) = eH so eH Im(f ).

2. f (xy) = f (x)f (y)x, y G so Im(f ) is closed under composition.

3. Note that f (x)1 = f (x1 ) y Im(f ) y 1 Im(f ).

Proposition. A homomorphism f : G H is injective if and only if ker(f ) is trivial.

31
Proof. f injective ker(f ) = {eG } trivially. Now assume ker(f ) = {eG }. Suppose x, y G
such that f (x) = f (y).

f (x) = f (y) f (x)f (y)1 = eH

f (x)f (y 1 ) = eH
f (xy 1 ) = eH
xy 1 = eG
x=y

Thus f is injective.

Recall that for m N the set of right cosets of mZ in Z, denoted Z/mZ naturally inher-
ited the structure of a group from + on Z. It would be reasonable to expect that this was
true in the general case, i.e. given G a group and H, a subgroup, the set G/H naturally
inherits the structure of a group from G. To make this a bit more precise lets think about
what naturally means. Let xH, yH G/H be two right cosets. Recall that x and y are not
necessarily unique. The only obvious way for combining xH and yH would be to form (xy)H.

Warning: in general this is not well defined. It will depend on the choice of x and y.

Something very special happens in the case G = Z and mZ = H.

Definition. We call a subgroup H G normal if, for all g G, gHg 1 = {ghg 1 |g

G, h H} = H.

Remarks. 1. Observe that this is not saying that given g G and h H, then ghg 1 =
h. It is merely saying that ghg 1 H. A normal subgroup is the union of conjugacy
classes of G.

2. If G is Abelian, every subgroup is normal as ghg 1 = hg, h G.

3. Let G=Sym3 , H = {e, (12)}. Then (13)(12)(13) = (23)

/H
Hence H is not normal in Sym3 , so in general not all subgroups of a group are normal.

Proposition. Let G and H be two groups. Let f : G H a homomorphism. Then

ker(f ) G is a normal subgroup.

Proof. Let h ker(f ) and g G. Then f (ghg 1 ) = f (g)f (h)f (g 1 ) = f (g)eH f (g)1 =
eH ghg 1 ker(f ).
In general Im(f ) H is not normal.

Definition. We say a group G is simple if its only normal subgroups are {e} and G.

32
Cyclic groups of prime order are trivially simple by Lagranges theorem. It is in fact true
that for n 5, Altn is simple, although proving this will take us too far afield.

The importance of normal subgroups can be seen in the following:

Proposition. Let H G be a normal subgroup. Then the binary operation:
G/H G/H G/H
(xH, yH) 7 (xy)H
is well defined.
Proof. As usual the problem is that hat coset representatives are not unique and thus we
could have two representatives giving different maps. Thus our goal is to show:
x1 , x2 , y1 , y2 G such that x1 H = x2 H and y1 H = y2 H, then (x1 y1 )H = (x2 y2 )H
By assumption we know x1 1
1 x2 , y1 y2 H. Consider

u = (x1 y1 )1 (x2 y2 ) = y11 x1

1 x2 y 2

Hence uy21 y1 = y 1 (x1 1

1 x2 )y. Therefore, by the normality of H, uy2 y1 H u H
(x1 x2 )H = (y1 y2 )H.

This shows that if H G normal, G/H can be endowed with a natural binary operation.
Proposition. Proposition Let G be a group; H G a normal subgroup. Then G/H is a
group under the above binary operation. We call it the quotient group.
Proof. Simple check of three axioms of being a group.
1. x, y, z G, (xy)z = x(yz) (xH yH) zH xH (yH zH).
2. xH H = xH = H xH H G/H is the identity.
3. xH x1 H = xx1 H = eH = H = x1 xH = x1 H xH inverses exist.

Proposition. The natural map

: G G/H
x xH
is a homomorphism with ker() = H.
Proof. Observe that x, y G, (xy) = xyH = xHyH = (x)(y) is a homomorphism.
Recall that the identity element in G/H is the coset H. Hence for x ker()
(x) = xH = H x H. Hence ker() = H.
Observe that this shows that any normal subgroup can be realised as the kernel of a group
homomorphism.

33
The First Isomorphism Theorem
Let G and H be groups, with respective identities eG and eH . Let : G H be a homomor-
phism. Recall that ker() G is a normal subgroup. Hence we may form the quotient group
G/ker(). Let x, y G such that they are in the same right coset of ker(). Recall that
xker() = yker() x1 y ker() (x1 y) = eH (x1 )(y) = eH
(x)1 (y) = eH (x) = (y). In summary, (x) = (y) xker() = yker()
Hence is constant on each coset of ker().

Hence we get a map of sets :

: G/ker() Im()
xker() (x)

This is well define precisely because of the above observations.

The First Isomorphism Theorem. Let G and H be two groups. Let : G H be a

homomorphism, then the induced map

: G/ker() Im()
xker() (x)

is an isomorphism of groups.
Proof. Firstly we observe that the induced is by definition of Im() surjective. Note that
given x, y G, (xker()) = (yker()) (x) = (y) xker() = yker(),
hence var is injective.
It is left for us to show that is a homomorphism. Given x, y G, (xker()yker()) =
(xyker()) = (xy) = (x)(y) = (xker())(yker()).
Therefore : G/ker Im is a homomorphism, and thus an isomorphism

The Third Isomorphism Theorem

Let G be a group and N a normal subgroup. The third isomorphism theorem concerns the
connection between certain subgroups of G and subgroups of G/N .
Let H be a subgroup of G containing N . Observe that N is automatically normal in
H. Hence we may form the quotient group H/N = {hN |h H}. Observe that H/N is
naturally a subset of G/N .

Lemma. H/N G/N is a subgroup.

Proof. We need to check the three properties.

34
 1. Recall that N G/N is the identity in the quotient group. Observe that N H
N H/N .
2. Let x, y H. By definition xy H. Thus xN yN = (xy)N H/N .
3. Let x H. By definition x1 H. Thus (xN )1 = x1 N H/N .

Conversely, let F G/N be a subgroup. Let HM G be the union of the right cosets
of M .
Lemma. H G is a subgroup.
Proof. We need to check the three properties.
1. Recall that N G/N is the identity in the quotient group. Hence N M N HM .
N is a subgroup hence eG N eG HM .
2. Let x, y HM . This implies that xN, yN M . M is a subgroup, hence xN yN =
xyN M . This implies that xy HM .
3. Let x HM . Hence xN M . M is a subgroup, hence (xN )1 = x1 N M . This
implies that x1 HM .

Hence we have two maps of sets:

: {Subgroups of G containing N } {Subgroups of G/N }

H H/N
and
: {Subgroups of G/N } {Subgroups of G containing N }
M HM
Proposition. These maps of sets are inverse to each other.
Proof. We need to show that composition in both directions gives the identity function.
1. Let H be a subgroup of G containing N . Then (H) = (H/N ) = H. Thus is
the identity map on {Subgroups of G containing N }.
2. Let M be a subgroup of G/N . then (M ) = (HM ) = M . Thus is the identity
map on {Subgroups of G/N }.

We deduce that both and are bijections and we have the following:
The Third Isomorphism Theorem. Let G be a group and N G a normal subgroup.
There is a natural bijection between the subgroups of G containing N and subgroups of G/N .
Proof. Either map or exhibits the desired bijection.

35
3.9 Direct Products and Direct Sums
Let G and H be two groups, with respective identities eG and eH . We may form the direct
product G H = {(x, g)|x G g H}. Let x, y G and g, h H. Observe that there is
a natural binary operation on G H given by:

(x, g) (y, h) := (xy, gh).

Lemma. G H is a group under the natural binary operation.

Proof. 1. Associativity holds for both G and H associativity hold for G H.

2. (eG , eH ) is the identity.

3. For g G and h H (g, h)1 = (g 1 , h1 ).

There is an obvious generalization of this concept to any finite collection of groups. Let G
be a group and H, K G two subgroups. Let us furthermore assume that

1. h H k K hk = kh.

2. Given g G there exist unique h H, k K such that g = hk.

Under these circumstances we say that G is the direct sum of H and K and we write
G = H K. Observe that the second property is equivalent to:

3. H K = {eG } and for g G there exist h H, k K such that g = hk.

Proposition. If G is the direct sum of the subgroups H, K G then G

= H K.
Proof. Define the map

: H K G
(h, k) hk

Let x, y H and g, h K. By property one ((x, g)(y, h)) = (xy, gh) = xygh = xgyh =
(x, g)(y, h). Hence is a homomorphism. Property two ensures that is bijective.
The concept of direct sum has a clear generalization to any finite collection of subsets of
G. Example: (Z/15Z, +) is the direct sum of gp([3]) and gp([5]).

36
3.10 Finitely Generated Abelian Groups
Let G be an Abelian group. We shall use additive notation to express composition within
G. In particular we will denote the identity by 0 (not to be confused with 0 Z). We do
this because we are very familiar with addition on Z being commutative. For a G n N
we will use the following simplifying notation:

a + a + a + + a (n times) = na

It is clear that we may naturally extend this to all n Z. We have the identities:

1. m(a + b) = ma + mb

2. (m + n)a = ma + na

3. (mn)a = m(na)

a, b G; m, n Z

Now assume that G is finitely generated. Hence {a1 , , an } G such that gp({a1 , , an }) =
G. In other words, because G is Abelian, every x G can be written in the form

x = 1 a1 + + n an i Z.

In general such an expression is not unique. For example is G is of order m N then

(m + 1)a = a for all a G. This is because ma = 0 A reasonable goal would be to find
a generating set such that every expression of the above form was unique (after possibly
restricting 0 1 < ord(ai )) for a given x G. Such a generating set is called a basis for
G. Observe that it is not clear that such a basis even exists at present. If {a1 , , an } G
were a basis then letting Ai = gp(ai ) G we have the direct sum decomposition:

G = A1 An .
Conversely, if G can be represented as the direct sum of cyclic subgroups then choosing a
generator for each gives a basis for G.

Definition. Let G be an Abelian group. x G is torsion is it is of finite order. We denote

the subgroup of torsion elements by tG G, called the torsion subgroup.

Lemma. tG G is a subgroup.

Proof. This critically requires that G be Abelian. It is not true in general.

1. ord(0) = 1 0 tG

2. Let g, h tG n, m N such that ng = mg = 0 nm(g + h) = (mng + nmh) =

m0 + n0 = 0 g + h tG.

37
 3. ng = 0 (ng) = n(g) = 0. Hence g tG g tG.

Clearly if G is finite then tG = G.

Definition. If tG = G we say that G is a torsion group. If tG = {0} we say that G is

torsion free.

Proposition. If G is torsion an finitely generated then G is finite.

Proof. Let {a1 , , an } G be a generating set. Each element is of finite order hence every
element x G can be written in the form

x = 1 a1 + + n an , i Z, 0 1 < ord(ai ).

This is a finite set.

Proposition. G/tGis a torsion free Abelian group.

Proof. Firstly note that tG G is normal as G is Abelian, hence G/tG is naturally an

abelian group. Let x G. Assume that x + tG G/tG is torsion. Hence n N such
that n(x + tG) = nx + tG = tG. Hence nx tG so m N such that mnx = 0. Hence
x tG xtG = tG.

Definition. An finitely generated abelian group G is said to be free abelian if there exists a
finite generating set {a1 , , an } G such that every element of G can be uniquely expressed
as

1 a1 + n an where i Z.
In other words, if we can find a basis for G consisting of non-torsion elements.

In this case

G = gp(a1 ) gp(an )
= Z Z Z
= Zn .
Proposition. Let G be a finitely generated free abelian group. Any two bases must have the
same cardinality.

Proof. Let {a1 , , an } G be a basis. Let 2G := {2x|x G}. 2G G is a subgroup.

Observe that 2G = {1 a1 + n an | 2]z}. Hence (G : 2G) = 2n . But the left hand side
is defined independently of the basis. The result follows.

Definition. Let G be a finitely generated free Abelian group. The rank of G is the size of
a any basis.

Theorem. A finitely generated abelian group is free Abelan it is torsion free.

38
Proof. is trivial.

Assume G is torsion-free, let {a1 , , an } G generate G. We will prove the result by

induction on n.
Base Case: n = 1. G = gp(a) = (Z, +) which is free abelian. Therefore result is true for
n = 1.
If {a1 , , an } G is a basis we have nothing to prove. Suppose that it is not a basis. then
we have a non-trivial relation:
1 a1 + 2 a2 + + n an = 0
If d Z such that d|i for all i, then have d( 1da1 + 2da2 + + ...) = 0. As G is torsion-free,
( 1da1 + 2da2 + + ...) = 0. We can therefore assume that the i are collectively coprime.
If 1 = 1, then we can shift terms to get a1 = (2 a2 + 3 a3 + + n an ). Therefore, G
is generated by the {a2 , , an } G and the result follows by induction. We will reduce
to this cases as follows: Assume |1 | |2 | > 0. By the remainder theorem we may choose
Z such that |1 2 | < |2 |. Let a02 = a2 + a1 and 01 = 1 2 , then

01 a1 + 2 a02 + + n an = 0.

Also observe that {a1 , a02 , , an } G is still a generating set and {01 , , n } are still
collectively coprime. This process must must eventually terminate with one of the coefficients
equal either 1 or 1. In this case we can apply the inductive step as above to conclude that
G is free abelian.
Proposition. Let G be finitely generated and Abelian. Then G/tG is a finitely generated
free Abelian group.
Proof. G/tG is torsion free. We must show that G/tG is finitely generated. Let {a1 , , an }
G generate G. Then {a1 + tG, , an + tG} G/tG forms a generating set. By the above
theorem G/tG is free Abelian.
Definition. Let G be a finitely generated Abelian group. We define the rank of G to be the
rank of G/tG.
Let G be finitely generated and Abelian. Let G/tG be of rank n N and let f1 , , fn
be a basis for G/tG. Let : G G/tG be the natural quotient homomorphism. Clearly
is surjective. Choose {e1 , , en } G such that (ei ) = fi i {1, , n}. None of the fi
have finite order none of the ei have finite order. Moreover
(1 e1 + + n en ) = 1 f1 + + n fn G/tG.
Because {f1 , , fn } is a free basis for G/tG we deduce that 1 e1 + + n en = 0
i = 0i F := gp{e1 , , en } G is free abelian with basis {e1 , , en } F is torsion
free. Therefore F tG = {0}.
Let g G. By definition, 1 , , n Z such that (g) = 1 f1 + + n fn . Then we
have:

39
 (g) = 1 f1 + + n fn (g) = (1 e1 + + n en )
(g (1 e1 + + n en )) = 0
g (1 e1 + + n en ) ker = tG
h tG s.t. g = (1 e1 + + n en ) + h

Hence every x may be written uniquely in the form x = f + g where f F and g tG.

Proposition. Every finitely generated Abelian group can be written as a direct sum of a free
group and a finite group.
Proof. By the above, we may write
G = F tG
Define the homomorphism :

G = F tG tG
f + h h

This is surjective with kernel F , hence by the first isomorphism theorem tG is isomorphic to
G/F . The image of any generating set of G is a generating set for G/F under the quotient
homomorphism. Hence tG is finitely generated and torsion, hence finite. F is free abelian
by construction.

Hence we have reduced the study of finitely generated Abelian groups to understanding finite
Abelian groups.

3.11 Finite Abelian Groups

Definition. A finite group G (not necessarily Abelian) is a p-group, with p N a prime,
if every element of G has order a power of p.

It is not clear that the order of a p-group is a power of p. This is in fact true but we will not
prove it in the general case. From now on let G be a finite Abelian group. Let p N be a
prime. We define Gp := {g G|ord(p) is a power of p} G.

Theorem 1. Gp G is a subgroup.
Proof. 1. ord(0) = 1 = p0 0 Gp .

2. Let g, h Gp r, s N such that pr g = ps h = 0 pr+s (g +h) = ps (pr g)+pr (ps h) =

0 + 0 = 0 g + h Gp .

40
 3. Let g Gp r N such that pr g = 0 pr g = pr (g) = 0 g Gp

This critically relies on G being Abelian. By definition Gp is a p-group. Recall that g G,

ord(g)||G| by Lagranges Theorem. Therefore Gp = 0 unless possibly if p divides |G|. At
this point it is in no way obvious that if p divides the order of G, there is an element of
order p. Gp G is the maximal p-subgroup contained in G. The importance of the maximal
p-subgroups is the following theorem.

Theorem. Let G is a finite Abelian group. Let {p1 , , pr } be the primes dividing |G|.
Then

G = Gp1 Gpr

Moreover this is the unique way to express as the direct sum of p-subgroups for distinct
primes.
Proof. Let |G| = n = a1 a2 ar where ai = pi i . Let Pi = n/ai . {P1 , , Pr } Z are
collectively coprime Q1 , , Qr Z such that
P1 Q1 + + Pr Qr = 1 (Extension of Euclid)
Let g G and gi = Pi Qi g. Clearly g = g1 + g2 + + gr and pi i gi = Qi (ng) = 0. Hence
gi Gpi .
We must prove the uniquness of this sum. Assume we had

g = g10 + + gr0 , gi0 Gpi .

Therefore x = g1 g10 = (g20 g2 ) + (g30 g3 ) + + (gr0 gr ). The right hand size has order
dividing P1 , the left hand side has order dividing Q1 . P1 and Q1 are coprime u, v Z
such that up1 + vq1 = 1 x = u(p1 x) + v(q1 x) = 0 + 0 = 0 g1 = g10 . Similarly we find
gi = gi0 for all i {1, , r}, hence the sum is unique and we deduce

G = Gp1 Gpr .
Let {qi , , qs } be a finite collection of distinct primes. Assume that G can be expressed
as the direct sum

G = H1 Hs
= H1 Hs
where Hi is a finite qi -subgroup. Clearly Gqi = Hi and if p is a prime not in {q1 , , qs }
Gp = {0}. Thus {p1 , , pr } = {q1 , , qs } and any such representation is unique.

Observe that we have still not shown that just because p divides |G| then Gp is non-trivial.
We have however reduced the study of finite abelian groups to finite abelian p-groups.

Theorem 1. Every finite Abelian p-group is a direct sum of cyclic groups.

41
Proof. Let G be a finite Abelian p-group. If G is cyclic, we are done, otherwise take a
cyclic subgroup B = gp(b) of maximal order, say pn . Our strategy is to show that there is a
p-subgroup D G such that G = B D. We apply the following inductive hypothesis: For
any finite Abelian p-group F of size less than |G|, if M F is a maximal cyclic subgroup
then there exists N F such that M N = F . This is clearly true for F trivial.

We claim that there is a subgroup C of order p such that B C = {0}. Recall that because
G is Abelian G/B is naturally an Abelian p-group. Let c G \ B and suppose cB G/B
has order pr for r > 0. Observe that the maximal order of any element in G/B is less than
or equal to pn . Thus we know n r. By definition pr (cB) = B pr c B. Thus there
exists s N such that pr c = sb. By maximality of the order of b we know 0 = pn c = spnr b.
But ord(b) = pn , hence pn |spnr . Therefore we have p|s, say s = ps0 . Hence c1 = pr1 c s0 b
has order p and is not in B. Therefore C = gp(c1 ) is the required subgroup.

Let BC = {ab|a B, b C}. We claim that BC G is a subgroup.

1. eG B and eG C eG BC.

2. Let a1 , a2 B, b1 , b2 C. Then (a1 b1 )(a2 b2 ) = (a1 a2 )(b1 b2 ) BC. Hence BC is closed

under composition.

3. Let a1 B, b1 C. Then (a1 b1 )1 = b1 1 1 1

1 a1 = a1 b1 BC. Hence BC is closed
under taking inverses.

First observe that |G/C| < |G|. Hence the inductive hypothesis applies to G/C. Ob-
serve that BC G is a subgroup containing C. Observe that BC/C is cyclic, generated by
bC BC/C. Because B C = {0} we also know that |BC/C| = pn . Note that the size of the
maximal cyclic subgroup of G must be larger than or equal to the size of the maximal cyclic
subgroup of G/C. However we have constructed a cyclic subgroup BC/C G/C whose
order equals that of a B. Hence BC/C G/C is a maximal cyclic subgroup. Thus by our
inductive hypothesis N G/C such that BC/C N = G/C. By the third isomorphism
theorem we know that N = D/C for a unique subgroup D G containing C. We claim
that G is the direct sum of B and D.

Let g G. Then gC G/C is uniquely expressible in form g + C = (a + C) + (d + C) =

(a + d) + C, where a B and d D. Hence g = a + d + e for some c C. However C D so
this expresses g as a sum of elements of B and D. Let x B D. Hence xC BC/C D/C.
Assume that x 6= 0. Note that x / C. Hence xC is non-zero on BC/C and D/C. However
by construction BC/C D/C = {C}. This is a contraction. Hence B D = {0} and we
deduce that G = B D.

Thus we have shown that given any finite Abelian p-group G and a maximal cyclic sub-
group B G, there exists a subgroup D G such that G = B D. Observe that D is a

42
finite Abelian p-group, thus we can continue this process until eventually it must terminate.
The end result will be an expression of G as a direct sum of cyclic p-groups.

Corollary. For any finite Abelian p group G , there exist a unique decreasing sequence of
natural numbers {r1 , , rn } N such that

G
= Z/pr1 Z Z/prn Z.
Proof. By the previous theorem we know that G is the direct sum of cyclic groups each
of p-power order. Thus we know that such integers exist . We will prove uniqueness by
induction on |G|. Assume that there is are isomorphisms

= Z/pr1 Z Z/prn Z
G = Z/ps1 Z Z/psm Z,
where the r and Psj are a decreasing
Pn i Pn sequence
Pm of natural numbers. We therefore see that
m
ri sj
|G| = p i=1 =p j=1 . Hence i=1 ri = j=1 sj .
Let pG = {pg|g G}. It is a straightforward exercise (which we leave to the reader) to
prove that pG is a subgroup of G. Note that for r > 1, Z/pr1 Z = p(Z/pr Z), where the
isomorphism is given by sending a + pr1 Z to pa + pr Z. We deduce therefore that there are
isomorphisms

pG
= Z/pr1 1 Z Z/prn 1 Z
= Z/ps1 1 Z Z/psm 1 Z.
Observe now that |pG| < |G|, thus by induction we deduce that the ri and sj agree
Pn when
restricted
Pm to entries strictly greater than 1. This, together with the fact that i=1 ri =
j=1 sj , implies that the two sets are the same and thus uniqueness is proven.

Hence if G is a finite Abelian p-group this shows that |G| = pn for some n N.

Proposition. Let G is an Abelian group such that p N is a prime dividing |G|. Then Gp
is non-trivial.

Proof. Recall that if {p1 , , pr } are the primes dividing |G| then

G
= Gp1 Gpr .
Hence |G| = |Gp1 | |Gpr |. By the above corollary pi divides |G| if and only if Gpi is
non-trivial.

Basis Theorem for Finitely Generated Abelain Groups. Every finitely generated
Abelian group G can be written as a direct sum of cyclic groups:

G = 1 r

where each i is either infinite or of prime power order, and the orders which occurs are
uniquely determined.

43
Proof. G=F tG. F is free and finitely generated, hence the direct sum of infinite cyclic
groups (Z, +). The number equals the rank of G. tG is finite Abelian, hence the is the
unique direct sum of p-groups for distinct primes p. Each p-group is the unique direct sum
(up to order) of p-power cyclic groups.

Note that we could have stated this theorem with direct product in place of direct sum.
Thus we have classified all finitely generate Abelian groups up to isomorphism.

44
4 Rings and Fields
4.1 Basic Definitions
A group (G, ) is a set with a binary operation satisfying three properties. The motivation
for the definition reflected the behavior of (Z, +). Observe that Z also comes naturally
equipped with multiplication . In the first lectures we collected some of the properties of
(Z, +, ). Motivated by this we make the following fundamental definition:

Definition. A ring is a set R with two binary operations, +, called addition, and , called
multiplication, such that:

1. R is an abelian group under addition.

2. R is a monoid under multiplication (inverses do not necessarily exist).

3. + and are related by the distributive law:

(x + y) z = x z + y z and x (y + z) = x y + x z x, y, z R

The identity for + is zero, denoted 0R (often just written as 0), and the identity for is
one, denoted 1R (often just written as 1).

Remarks. 1. To simplify the notation we will write x y = xy for all x, y R.

2. Distributivity implies that we can multiply together finite sums:

P P P
( xi )( yj ) = xi yj

in a well-defined way.

Here are some examples of rings:

1. The integers under the usual addition and multiplication.

2. Z/mZ under the addition and multiplication described in 2.3.

3. Let S be a set and P(S) be the set of all subsets. This is called the power set of S. On
P(S) define + and by

X + Y = (X Y 0 ) (X 0 Y ), XY = X Y

Where X 0 denotes the complement of X in S. Then P(S) is a ring with = 0 and

S = 1. This strange looking ring has applications to mathematical logic.

4. In linear algebra the collection of linear maps from Rn to Rn is the set Mnn (Rn ). This
has the structure of a ring under the usual addition and multiplication of matrices.

45
Note that matrix multiplication is not commutative in general. So it is perfectly possible for
a multiplication not to be commutative in a ring.
Definition. Let R be a ring with multiplication . If is commutative, i.e. xy = yx x, y
R then we say that R is a commutative ring.
Definition. Let R and S be two rings. A homomorphism from R to S is a map of sets
: R S such that x, y R
1. (x + y) = (x) + (y)
2. (xy) = (x)(y)
3. (1R ) = 1S
Once again, if R = S and = IdR then we call it the identity homomorphism.
Note that R and S are abelian groups under + so is a group homomorphism with respect
to + so (0R ) = 0S . We have to include (3) as (R, ) is only a monoid so it does not follow
from (2) alone that (1R ) = 1S .
Remarks.

1. As for groups, the composition of two ring homomorphisms is again a ring homomor-
phism.
2. As before, an isomorphism is a bijective homomorphism, or equivalently one with
an inverse homomorphism. A homomorphism from R to itself is called an endomor-
phism. An endomorphism which is also an isomorphism is called an automorphism.
This is exactly the same terminology as for groups.

In any ring R we have the following elementary consequences of the axioms:

x0 = x(0 + 0) = x0 + x0 x0 = 0
Similarly, 0x = 0 for all x R.

If R consists of one element, then 1 = 0, conversely if 1 = 0 then x R, x = x1 = x0 = 0,

hence R consists of one element. The ring with one element is called the trivial ring.

In a ring we abbreviate expressions like

a + a + a + + a (n times) = na(n N)

It is clear that we may naturally extend this to all n Z.

Similarly,
a a a (n times) = an f or n N.
By the Distributive Law, we have the identities

46
 1. m(a + b) = ma + mb
2. (m + n)a = ma + na
3. (mn)a = m(na)

a, b R and m, n Z.
Definition. Given R and S two rings we say that S is a subring of R if it is a subset
and is a ring under the induced operations (with same 0 and 1). Eg. (Z, +, ) (Q, +, ).
More precisely,

1. R is a subgroup of S under addition.

2. R is closed under multiplication.
3. 1S R.

Remarks. As with subgroups, an arbitrary intersection of subrings is again a subring.

4.2 Ideals, Quotient Rings and the First Isomorphism Theorem

for Rings
Let G and H be groups and : G H a group homomorphism. Recall that ker() G is a
normal subgroup, thus the set of right coset G/ker() naturally forms a group (the quotient
group). Recall that all normal subgroups arise in this manner. The 1st Isomorphism theorem
states that there is a natural isomorphism

G/ker()
= Im().
Does something analogous hold for rings?

Let R and S be two rings. Let : R S be a ring homomorphism.

Definition. The kernel of is the subset
ker() := {r R|(r) = 0S } R.
The image of is the subset
Im() := {s S|r R s.t. (r) = s} S.
Remember that is a group homomorphism with respect to the additive Abelian group
structures on R and S. With respect to this structure these definitions are exactly the same
as in group theory. In particular we know that
ker() = {0R } is injective .
We also know that ker() R and Im() S are subgroups under addition.

47
Proposition. Im() S is a subring.
Proof. We need to check that Im() is closed under multiplication and contains 1S . Let
s1 , s2 Im(). Hence r1 , r2 R such that (r1 ) = s1 and (r2 ) = s2 . But s1 s2 =
(r1 )(r2 ) = (r1 r2 ). Hence s1 s2 Im(). Hence Im() is closed under multiplication.
By definition (1R ) = 1S . Hence 1S Im(). Thus Im() is a subring.

If S is non trivial then because (1R ) = 1S we know that 1R

/ ker(). Hence in this case
ker() R is not a subring. What properties does it satisfy?

1. ker() R is a subgroup under +.

2. Let a ker() and r R. Observe that (ra) = (r)(a) = (r)0S = 0S . Hence
ra ker(). Similarly ar ker(). Hence ker() is closed under both left and right
multiplication by all of R.

Definition. Let R be a ring. An ideal I R is a subset which is a subgroup under addition

and is closed under both left and right multiplication by all of R. More precisely, if x I
then xr, rx I for all r R.
We have just shown that the kernel of a homomorphism is always an ideal. An ideal is
the ring theoretic analogue of normal subgroup in group theory.

Let I R be an ideal. Recall that (R, +) is an abelian group, Hence (I, +) (R, +)
is a normal subgroup. Hence the right cosets R/I naturally have a group structure under
addition. We have completely ignored the multiplicative structure on R. Let us define a
multiplication by:

(a + I) (b + I) := (ab) + I, a, b R.
Lemma. This binary operation is well defined.
Proof. Let a1 + I = a2 + I and b1 + I = b2 + I where a1 , a2 , b1 , b2 R. Observe that

a1 b1 a2 b2 = a1 (b1 b2 ) + (a1 a2 )b2

is contained in I because I is an ideal. Thus

a1 b1 + I = a2 b2 + I.

Proposition. R/I is a ring under the natural operations. We call it the quotient ring.
Proof. This is just a long and tedious exercise to check the axioms which all follow because
they hold on R. Unsurprisingly 0 + I is the additive identity and 1 + I is the multiplicative
identity.

48
As in the case of groups there is a natural surjective quotient ring homomorphism

: R R/I.

From the definitions we see that ker() = I. We deduce that ideals of a ring are precisely
the kernels of ring homomorphisms. This is totally analogous to the group theory situation.

The First Isomorphism Theorem. Let : R S be a ring homomorphism. Then the

induced map

: R/ker() Im()
a + ker() (a)

is a ring isomorphism.

Proof. The first isomorphism theorem for groups tells us that it is an isomorphism of additive
group. Hence we merely need to check that it is a ring homomorphism.
Let a, b R. ((a + ker())(b + ker())) = (ab + ker()) = (ab) = (a)(b) =
(a + ker())(b + ker()). Also (1 + I) = (1) = 1.
Hence is a ring homomorphism and we are done.

Definition. An injective ring homomorphims : R S is called and embedding. By the

first isomorphism theorem, R is isomorphic to the subring Im() S.

4.3 Properties of Elements of Rings

Definition. Let R be a ring. An element a R is said to be invertible, or a unit, if it
has a multiplicative inverse, i.e. a0 R such that a0 a = aa0 = 1. We know that such an
inverse is unique if it exists, hence we shall write it as a1 . Note that if 1 6= 0 then 0 is
never invertible. We denote the set of units in R by R .

It is clear that for any ring R, (R , ) is a group.

Definition. A non-trivial ring R in which every non-zero element is invertible (i.e R\{0} =
R ) is called a division ring (or skew field). If R is a commutative division ring then R
is called a field.

Remarks. 1. (Q, +, ) is the canonical example of a field. Other natural examples in-
clude (R, +), (C, +, ) and (Z/pZ, +, ), where p is a prime number. There are
examples of division rings which are not fields (i.e. not commutative) but we will not
encounter them in this course.

2. All of linear algebra (except the issue of eigenvalues existing) can be set up over an
arbitrary field. All proofs are exactly the same, we never used anything else about R or
C.

49
 In an arbitrary ring it is possible that two non-zero elements can multiply to give zero.
For example, in M22 (R), the non-zero matrices
   
0 1 0 2
A= and B =
0 0 0 0
multiply to give the zero matrix.
Definition. Let R be a non-trivial ring. Given a R \ {0}, if there exists b R \ {0} such
that ab = 0 or ba = 0, then a is said to be a zero-divisor. Note that 0 is not a zero-divsor.
Definition. A non-trivial ring R with no zero divisors is said to be entire; a commutative
entire ring is called an integral domain. More concretely: R is entire if and only if 1 6= 0
and x, y R, xy = 0 x = 0 or y = 0.
(Z, +, ), (Q, +, ) are integral domains. (Z/m, +, ) is an integral domain m prime.
The above example shows that M2 (R) is not entire.
Theorem. A ring R is entire its set of non-zero elements forms a monoid under
multiplication. Another way to state this is that R entire R \ {0} is closed under
multiplication.
Proof. In any ring R observe that if x, y R are two non-zero divisors then by definition
xy R must be a non-zero divisor. Hence, If R is non-trivial the non-zero divisors of R
are a monoid under multiplication. If R is entire the set of non-zero divisors is precisely
R\{0}, which implies it is a monoid under multiplication. Conversly if R\{0} is a monoid
then firstly it is non-empty so R is non-tivial. But if x, y R\{0} then xy R\{0}. Hence
R is entire by definition.

Corollary. Any field F is an integral domain.

Proof. If x, y F , x 6= 0 6= y then x1 , y 1 F such that xx1 = x1 x = 1 = yy 1 = y 1 y,
therefore xy is invertible so is non-zero.
Hence, non-zero elements are closed under multiplication, so F is entire. F is a field so F is
commutative, so it is an integral domain.
Cancellation Law:

Let R be a ring. If c R is not a zero-divisor, then for any a, b R such that ca = cb or

ac = bc, then a = b.

This is because ca cb = c(a b) and ac bc = (a b)c. In particular, if R is entire,

then we can cancel any non-zero element. It is important to note that we cannot do this
in an arbitrary ring.
Theorem. Every finite integral domain R is a field.

50
Proof. We need to show that R = R \ {0}. Let a R \ {0}. Define the following map of
sets:
: R \ {0} R \ {0}
r 7 ra.
is well define because R is an integral domain. By the cancellation law for integral domains,
we know thatgiven r1 , r2 R r1 a = r2 a r1 = r2 injective. Since R \ {0} is finite,
is surjective b R \ {0} such that ba = ab = 1. Hence a has a multiplicative inverse.
Therefore, R = R \ {0}.

4.4 Polynomial Rings

Let R be a ring.

Definition. The polynomial ring in X with cofficients in a ring R consists of formal

expressions of the form:

g(X) = b0 + b1 X + b2 X 2 + + bm X m , bi R, m N

If f (X) = a0 +a1 X + +an X n is another polynomial then we decree that f (X) = g(X)
ai = bi i. Note that we set ai = 0 if i > n and bj = 0 if j > m. We refer to X as the
indeterminant.

Addition and multiplication are defined by the rules

1. f (X) + g(X) = (a0 + b0 ) + (a1 + b1 )X + + (an + bn )X n (if m n)

2. f (X) g(X) = (a0 b0 ) + (a0 b1 + a1 b0 )X + (a0 b2 + a1 b1 + a2 b2 )X 2 + + an bm X n+m

We will denote this ring by R[X].

Exercise. Check this genuinely gives a ring structure on the set of polynomials in X with
coefficients in R.

Note that there is a natural embedding:

: R R[X]
a a (polynomial with m = 0 and a = a0 )

Remarks. 1. The zero and one elements in R[X] are the image of the zero and one
element in R under .

2. R commutative R[X] commutative.

51
 3. Given f (X) R[X] we can construct a map (of sets):
f : R R
a 7 f (a),
where f (a) R is the element of R given be replacing X by a. For a general ring R
this process can be quite subtle as we shall see.
Definition. Let R be a ring and f R[X] be a non-zero polynomial. We say that a R is
a root, or zero, of f if f (a) = 0.
Definition. Let R be a ring and f R[X] be a non-zero polynomial. Hence we may write
f = cn X n + cn1 X n1 + + c0 , ci R, cn 6= 0. We call n the degree of f and write
deg(f )=n. If in addition cn = 1, we say that f is monic. Elements of degree 0 are called
constant polynomials.
Theorem. If R is entire then R[X] satisfies:
1. f, g R[X] \ {0}, deg(f + g) max{deg(f ), deg(g)}
2. f, g R[X] \ {0} f g 6= 0 and deg(f g) = deg(f ) + deg(g).
Proof. By the definition of degree, (1) is clear. For (2):
Let deg(f ) = n, deg(g) = m. Then suppose an , bm the leading coefficients of f and g
respectively. Hence f g has maXimal power of X given by an bm X n+m . As R is entire,
an bm 6= 0 f g 6= 0 and deg(f g) = n + m = deg(f ) + deg(g).
Corollary. R entire R[X] entire.
Proof. Immediate from above.

Corollary. R an integral domain R[X] and integral domain.

Proof. Immediate from above.

The process of adjoining indeterminants to a ring R can be iterated to form polynomials

in more than one variable with coefficients in R. We of course use another symbol for the
indeterminants, ie. R[X][Y ], polynomials in X and Y with coefficients in R, e.g. X 2 +
Y 2X + X 3Y 6.
We simplify this notation to R[X][Y ] = R[X, Y ]. Inductively, we define
R[X1 , , Xn ] = R[X1 , , Xn1 ][Xn ]
f R[X1 , , Xn ] has a unique eXpression of the form
f = ai1 in X i1 Xnin (ai1 in R)
P

where the sum is finite.

Expressions of the form m(i) = X1i1 Xnin are called monomials. The example well study
most deeply is when R is a field.

52
4.5 Field of Fractions
What is the process by which we go from (Z, +, ) to (Q, +, )? Intuitively, we are divid-
ing through by all non-zero elements. Let us think more carefully about what is actually
happening and try to generalize the construction to R an integral domain. What is an el-
ement of Q? We usually write it in the form ab with a, b Z, b 6= 0. This is not unique.
a
b
= dc ad bc = 0.
As we are all aware, we define + and by the following rules:
a c ad+cb
1. b
+ d
= bd
a c ac
2. b
d
= bd

We should therefore think of elements of Q as pairs of integers (a, b) such that b 6= 0, up to

an equivalence relation.

(a, b) (c, d) ad cb = 0

Hence, Q can be thought of as (Z Z \ {0}/ ). The well-definedness of + and is not

obvious and needs checking, i.e. choosing different elements of the same equivalence class
should give the same results.

Let us now generalise this construction. Let R be an integral domain. We define the relation
on R R\{0} by:

(a, b) (c, d) ad bc = 0.

Proposition. is an equivalence relation.

Proof. 1. (a, b) (a, b) as ab ab = 0 since R is commutative.

2. (a, b) (c, d) ad bc = 0 bc ad = 0 (c, d) (a, b)

3. Let (a, b) (c, d) and (c, d) (e, f ). Then ad bc = 0, cf de = 0. Consider

(af be)d = adf bed

= f (ad bc) + b(cf de)
= f 0 + b0 = 0

d 6= 0 af be = 0 (a, b) (e, f )

Let us denote the equivalence classes by (R (R \ {0}))/ . It is convenient to use the usual
notation: for (a, b) R (R \ {0}) we denote the equivalence class containing (a, b) by ab .
Let us define multiplication and addition on R R \ {0}/ by

53
 a c ad+bc a c ac
b
+ d
= bd b
d
= bd

Proposition. + and are well-defined on (R (R \ {0}))/ .

Proof. The first thing to note is that if b, d R \ {0} bd R \ {0} as R is an integral
domain. We just need to check that choosing different representatives gives the same answer.
Its just an exercise in keeping the notation in order - you can do it.

Proposition. 0 (R (R \ {0}))/ is given by the equivalence class containing (0, 1).

1 R (R \ {0})/ is given by the equivalence class containing (1, 1).
Proof. For all (a, b) (R (R \ {0})),
a 0 a1+b0 a
+ = = .
b 1 b 1) b

a 1 a1 a
= =
b 1 b1 b
Both operations are clearly commutative because R is commutative. Hence we are done.

It is a straight forward exercise to check that under these operations (R (R \ {0}))/ is a

commutative ring. Also observe that (a, b) (R (R \ {0})) is in the zero class if and only
if a = 0. Similarly (a, b) give the one class if and only in a = b. This is good. Its the same
as in Q, so weve done something right.

Theorem. (R (R \ {0}))/ is a field.

Proof. We just need to check non-zero elements have multiplicative inverses. Let ab (R
(R\{0}))/ be non-zero. By the above this implies that a 6= 0. Hence ab (R(R\{0}))/ .
But
a b ab 1
= = .
b a ab 1
Hence we are done. Multiplication:
Let (a1 , b1 ) (a2 , b2 ) and (c1 , d1 ) (c2 , d2 ).

Definition. Let R be an integral domain. The field of fractions of R is the field F rac(R) :=
(R (R \ {0}))/ .

The canonical example is F rac(Z) = Q.

Definition. Given an integral domain R and indeterminants {X1 , , Xn } we know that

R[X1 , , Xn ] is an integral domain. We define

R(X1 , , Xn ) := F rac(R[X1 , , Xn ]).

54
Theorem. The map
: R F rac(R)
a 7 a1
is an embedding.
Proof. We need to check that is a homomorphism first.
a+b a b
1. Given a, b R, (a + b) = 1
= 1
+ 1
= (a) + (b).
ab a b
2. Given a, b R, (ab) = 1
= 1
1
= (a)(b).

3. (1) = 11 .
To check it is surjective we just need to show that the kernel (as a homomorphism of Abelain
groups) is trivial.
(a) = a1 = 10 a = 0. Thus the kernel is trivial and so is injective.
Corollary. Every integral domain may be embedded in a field.
Proposition. Let R be a field. The natural embedding R F rac(R) is an isomorphism.
Proof. We must show is surjective. Let denote the natural embedding R F rac(R).
Let ab F rac(R). R is a field so there exist b1 , a multiplicative inverse to b. But ab =
ab1
1
= (ab1 ). Hence is surjective. Therefore phi is an isomorphism.
This is backed up by our intuition. Clearly taking fractions of rationals just gives the rationals
again.

4.6 Characteristic
Let R be entire (non-tvial with no zero-divisors). Recall that (R, +) is an abelian group,
hence given a R we may talk about its additive order. Recall that if a R does not have
finite order, then we say it has infinite order.
Theorem. In an entire ring R, the additive order of every non-zero element is the same.
In addition, if this order is finite then it is prime.
Proof. Let a R \ {0} be of finite (additive) order k > 1, i.e. k is minimal such that ka =
0. This implies (k 1R )a = 0 k 1R = 0 as R is entire and contains no zero-divisors.
Therefore if we choose b R \ {0} then kb = (k 1R )b = 0 b = 0 every element has
order dividing k. Choosing a with minimal order k > 1 ensures that every nonzero element
must have order k. If no element has finite order, all elements must have infinite order.
Now assume that 1R R has finite order k > 1 and that we have factored k = rs in N.
Then k1R = (rs)1R = (r1R )(s1R ) = 0. Since R entire, either r1R = 0 or s1R = 0. However,
since k is the minimal order of 1R , r = k or s = k. Therefore, k must be prime.

55
Definition. Suppose R an entire ring. R has characteristic zero if all of its non-zero
elements have infinite additive order, denoted char(R)=0. If all non-zero elements of R are
of additive order p N, then R is characteristic p, or char(R)=p. In this case, R is
finite characteristic.

When studying abstract fields, the characteristic is very important.

Eg. Q, R, C are all fields (hence entire) of characteristic zero. If p is a prime number Z/pZ
is a field of characteristic p. We denote this later field by Fp .

Theorem. There is an embedding of Q in any field F of characteristic 0.

Proof. Let 1F denote the multiplicative identity in F . Let 0F denote the additive identity in
F . We must find a suitable embedding of Q in F . Because char(F ) = 0 the natural map
homomorphism:
:ZF
n 7 n1F
is injective. We claim that it is a homomorphism (of rings). Let a, b Z, then (ab) =
ab1F = ab1F 1F = a1F b1F = (a)(b); (a + b) = (a + b)1F = a1F + b1F =(a) + (b).
(1) = 1F . Thus is an injective homomorphism.
Now we will extend this notion to Q. We define the following map:
:QF
n
m
7 (n)(m)1
We must check that is well defined and is an embedding.
n
For a, b, n, m Z, m = ab nb am = 0. Therefore

(nb am) = (0) = 0F = (nb) (am) (nb) = (am)

(n)(b) = (a)(m)
(n)(m)1 = (a)(b)1
n a
( ) = ( )
m b
This shows that is well defined.
Next: is a homomorphism.
a n am + bn
( + ) = ( )
b m bm
= ((a)(m) + (b)(n))(bm)1
= (a)(b)1 + (n)(m)1
a n
= ( ) + ( )
b m

56
 an an
( ) = ( )
bm bm
= (an)(bm)1
= (a)(n)(b)1 (m)1
= (a)(b)1 (n)(m)1
a n
= ( )( )
b m
By definition ( 11 ) = 1F . Thus we have a homomorphism. We claim that it is injective.
n
We must show that the kernel (as a homomorphism of Abelian groups) is trivial. Let m Q
n 1
such that ( m ) = 0. Then (n)(m) = 0 (n) = 0 n = 0 as was already shown to
be injective. Therefore the kernel is trivial, so is an embedding.

Theorem. Let p be a prime number. There is an embedding of Fp in ant field F of charac-

teristic p.
Proof. Note that {0F , 1F , , (p 1)1F } F is closed under + and , hence forms a
subring. Clearly Fp is isomorphic to this subring under the embedding

: Fp F
[a] a1F

4.7 Ring Extensions

let R be a subring of S. Recall that this means R is a subgroup under addition, is closed
under multiplication and contains 1S .

Definition. The ring extension of R by {1 , , n } S is the subring

R[1 , , n ] = {f (1 , , n )|f R[X1 , , Xn ]}

This is the intersection of all subrings containing R and the subset {1 , , n }.

4.8 Principal, Prime and Maximal Ideals

Definition. An ideal I R is proper if I 6= R.

Note that I R is proper if and only if R/I is the trivial ring.

Definition. Let R be a commutative ring. We say an ideal I R is principal if there exist

a R such that I = {ra|r R}. In this case we write I = (a).

57
Definition. Let R be a commutative ring. We say an ideal I R is prime if it is proper
and given a, b R such that ab I then either a I or b I.

Proposition. Let R be a commutative ring. Let I R be an ideal. Then I is prime if and

only if R/I is an integral domain.

Proof. I is a proper ideal hence R/I is non-trivial.

Observe that R commutative trivially implies that R/I is commutative. Let I R be
prime and assume that R/I has zero divisors. Then there exists a, b R such that a, b /I
but (a + I)(b + I) = 0 + I. But this trivially implies that ab I. But this contradicts the
fact that I is prime.
Assume that R/I is an integral domain but I is not prime. Hence we can find a, b R
such that ab I but a, b / I. But then (a + I) and (b + I) are zero divisors, which is a
contradiction.

Definition. Let R be a commutative ring. We say that an ideal is maximal if it is maximal

among the set of proper ideals. More precisely I R is a maximal ideal if given an ideal
J R such that I J, then either I = J or J = R.

Proposition. Let R be a commutative ring. Let I R be an ideal. Then I is maximal if

and only if R/I is a field.

Proof. First observe that R commutative trivially implies that R/I is commutative.
Assume that I R is maximal. Take a non-zero element of R/I, i.e. a + I for a / I.
Consider the ideal (a) R. Consider the following new ideal:

(a) + I = {ra + b|r R, b I}.

Note that this is certainly an ideal because it is closed under addition and scalar multipli-
cation by all R. Note that by construction I (a) + I and a (a) + I. Hence I is strictly
contained in (a) + I. But I is maximal. Hence (a) + I = R. Thus there exist r R and
b I such that ra + b = 1. Hence (r + I)(a + I) = ra + I = 1 + I. Thus (a + I) has a
multiplicative inverse. Hence R/I is a field.

Assume that R/I is a field. Assume that J is a proper ideal of R which strictly contains I,
i.e. I is not maximal. Let a J and R / I. Thus (a + I) is non-zero in R/I. Thus it has a
multiplicative inverse. Hence there exists b R such that ab + I = 1 + I. This implies that
ab 1 I, which in turn implies that ab 1 J. But a J, hence 1 J, which implies
that J = R. This is a contradiction. Hence I is maximal.

Corollary. Let R be a commutative ring. Let I R be an ideal. Then I maximal implies

that I is prime.

Proof. I maximal R/I is a field R/I is an integral domain I prime.

58
4.9 Factorisation in Integral Domains
Let R be a ring. In Z we have the Fundamental Theorem of Arithmetic - every non-zero
element of Z is 1 times a unique product of prime numbers. Does something analogous
hold for R? Clearly, if R is not commutative or has zero-divisors the issue is very subtle.
Hence we will resrict to the case when R is an integral domain.
The first issue to address is what does a prime element of R mean? The problem, as we
will see, is that we can easily come up with several different natural definitions which are
equivalent in Z, but in R may not be.

Let a, b R. As in Z, a|b will mean that c R such that b = ac.

Definition. Two non-zero elements a, b in an integral domain R are associated if a|b and
b|a, i.e. c, d R such that b = ac and a = bd.

Theorem. In R an integral domain, and a, b R be two non-zero elements. Then, a and b

are associated a = bu for u R
Proof. Association of a and b a|b and b|a c, d R such that a = bd and b = ac
a = acd a = 0 or cd = 1. If a = 0 b = 0, which is not true by assumption. Thus we
have cd = 1 c, d are inverses of each other and thus units.

Theorem. Let R be an integral domain with a, b R. Then (a) (b) b|a. Hence a
and b are associated if and only if (a) = (b).

In Z, m and n are associated if and only if n = m.

Definition. We call a R\{0} an irreducible element if it is a non-unit and is NOT

the product of two non-units.

If a is irreducible then so are all its associates. In Z, m is irreducible if and only if it is 1

times a prime. The FTOA says that every m Z can be factored into irreducible elements
in essentially one way. Here, essentially means up to switching irreducibles for associated
irreducibles, i.e. 10 = 2 5 = (2) (5). This motivates the important definition:

Definition. A unique factorization domain (UFD)is an integral domain in which every

element NOT zero or a unit can be written as the product of irreducibles. Moreover, given
2 complete factorizations of the same element

X = a1 an = b 1 b m ,

into irreducibles, n = m and after renumbering ai is associated to bi for all i {1, , n}.

Clearly Z is a UFD by the Fundamental Theorem of Artithmetic. A natural question to ask

is whether all integral domains are UFDs. The answer, rather surprisingly, is no.
Let R be a UFD. Many of the properties of Z carry over to R. For example we can talk about
highest common factor (HCF) and least common multiple (LCM) for two a, b R \ {0}.

59
Definition. Given a, b R \ {0} a highest common factor of a and b is element d R such
that
1. d|a and d|b

2. Given d0 R such that d0 |a and d0 |b, then d0 |d.

Definition. Given a, b R \ {0} a lowest common multiplie of a, b R is an element c R
such that

1. a|c and b|c

2. Given c0 R such that a|c0 and b|c0 , then c|c0 .

Remarks. 1. It should be observed that there is no reason to believe that HCFs and LCMs
exist in an arbitrary integral domain. Indeed it is not true in general.

2. Clearly a HCF (if it exists) is NOT unique: If d is an HCF of a and b then so is d0 for
d0 associated to d. Similarly for LCM. Hence when we talk about the HCF or LCM of
two elements we must understand they are well defined only up to association.
Theorem. In a UFD any two non-zero elements have a HCF. Moreover, if a = up1 1 pr r
and b = vp1 1 pr r where u, v are units, and the pi are pairwise non-associated irreducible
elements, then HCF (a, b) = p11 pr r where i = min(i , i ).
Proof. Let d be a common factor of a and b. By the uniqueness of complete factorisation
Qr ofipi for i {1, pr }. Without loss of
we know that (up to association) d is a product
generality we may therefore assume that d = i=1 pi . Again by the uniqueness of complete
factorisation d is a common factor of a and b i i and i i i. Therefore,
i i HCF (a, b) = p11 pr r .
Proposition. In a UFD any two non-zero elements have a LCM. Moreover, if a = up1 1 pr r
and b = vp1 1 pr r where u, v are units, and the pi are pairwise non-associated irreducible
elements, then LCM (a, b) = p11 pr r where i = maX(i , i ).
Proof. Exactly the same argument as above works in this case observing that d = ri=1 pi i
Q
is a common multiple of a and b if and only if i i and i i for all i {1, pr }.
Remarks. If a R a unit then
HCF (a, b) = 1, LCM (a, b) = b b R \ {0}
Even if we know that R is a UFD, there is no easy way to completely factor any element.
This is clearly apparent in Z. Fortunately for certain rings there is a faster way to determine
the HCF of two elements.
Definition. If R is an integral domain, R is Euclidean if it admits a function : R\{0}
N {0} such that

60
 1. (ab) (a)a, b R \ {0}

2. For any a, b R, if b 6= 0, then q, r R such that a = bq + r where either r = 0 or

(r) < (b).

Remarks. 1. This is intended to model the behavior of the function

: Z \ {0} N {0} a |a|

The second property is just a generalization of the remainder theorem on Z. Hence we

see that Z is Euclidean.

2. We include 0 in the codomain as this enlarges the collection of rings under considera-
tion.
Lemma. The second axiom of a Euclidean Ring is equivalent to the following:

(2): a, b R\{0}; if (a) (b) then c R such that either a = bc or (a bc) < (a)
or a = bc.

Proof. (2) (20 ).

Suppose (2) holds. Then we have (a) (b) q, r such that a = qb + r where where
either r = 0 or (r) < (b). If r = 0 q = c and we are done . Otherwise (r) =
(a qb) < (b) (a) so we are done with c = q.
(20 ) (2)
Given a, b R \ {0} if b|a we are done. Therefore, assume b 6 |a. Hence a bq 6= 0 q R.
Choose c R such that (a bq) is minimal. Note that by assumption b 6 |(a bq). If
(a bq) (b) c R such that (a bq bc) < (a bq). This is a contradiction by
the minimality condition. Therefore (a bq) < (b), i.e. setting r = a bq we have
a = bq + r with (r) < (b)
hence (2) holds.

Theorem. F field F [X] Euclidean

Proof. Define:

: F [X] \ {0} N {0}

f deg(f )

Property (1):
As F is a field, F [X] is an integral domain deg(f g) = deg(f ) + deg(g) deg(f )g, f
F [X] \ {0} (f g) (f )f, g F [X] \ {0}.
Property (20 )

61
Let f = a0 + a1 X + + an X n , g = b0 + b1 X + + bm X m where ai , bj F, n, m N {0},
and an 6= 0, bm 6= 0.
Assume (f ) (g) n m n m 0 X nm F [X] X nm b1 m an g has leading
term an X n deg(f X nm b1 m na g) < deg (f ).
Hence setting c = an b1m X nm
we have (f cg) =deg(f cg) <deg(f ) = (f ). Therefore,
0
Property (2 ) is satisfied.

Remarks. Note that to get this proof to work we need bm 6= 0 to have an inverse. This
critically relied on F being a field. If we relax this condition we will not necessarily get a
Euclidean Domain.

This shows that despite the fact that Z and F [X] (F a field) are very different rings they
share an important property. Euclidean domains have many pleasant properties.

Theorem. Let R be Euclidean, with Euclidean function . Any two a, b R have an HCF,
(a, b). Moreover, it can be expressed in the form (a, b) = au + bv where u, v R.
Proof. Without loss of generality assume that (a) (b). Apply property (2) to get

a = bq1 + r1 ,

where either r1 = 0 or (r1 ) < (b). If r1 = 0 then we know that HCF (a, b) = b and we are
done setting u = 0 and v = 1. If not then applying property (2) again we get

b = q2 r1 + r2 ,

where either r2 = 0 or (r2 ) < (r1 ). If r2 = 0 stop. If not continue the algorithm. We claim
that after a finite number of steps this process must terminate with the remainder reaching
zero. To see this observe that we have a strictly decreasing sequence

(b) > (r1 ) > (r2 )

in N {0}. Hence it must have finite length so the algorithm must terminate. Assume it
terminates at the nth stage, i.e. rn+1 = 0. We claim that rn can be written in form ua + vb
for some u, v R. We do it by induction on n. If we set r0 = b then the result is true for
r0 andr1 . Assume it is true for ri1 and ri2 . By definition ri = qi ri1 + ri2 . hence the
result must be true for ri . Hence by induction we know that we may write rn in the form
ua + vb.
Now we claim that rn must divide both a and b. By construction rn |rn1 rn rn2 .
Inductively rn |ri for all i. In particular rn |b and rn |r1 rn |a Hence rn is a common divisor
of both a and b. Let d R such that d|a and d|b. Hence d|(ua + vb) d|rn . Hence
HCF (a, b) = rn = ua + vb.

Remarks. This procedure is known as the Euclidean Algorithm.

Corollary. Let R be Euclidean ring. Then any a, b R \ {0} have a LCM.

62
Proof. By the above HCF (a, b) = au + bv for u, v R. We will define m = HCFab(a,b) . Note
that this makes sense as HCF (a, b)|a. It is clear that a|m and b|m. Let m0 be a common
multiple, i.e. a|m0 , b|m0 . Then ab|bm0 and ab|am0 ab|aum0 + bvm0 ab|(au + bv)m0
ab|(a, b)m0 HCF (a, b)m|HCF (a, b)m0 . Because a and b are non-zero HCF (a, b) is non-
zero. Because R is an integral domain we can cancel resulting in m|m0 . Therefore m is an
LCM of a, b.

It is worth mentioning that as of yet we have only shown Euclidean rings admit HCFs
and LCMs. We do not yet know if they are UFDs.

4.10 Principal Ideal Domains

Definition. Let R be an integral domain. We say that a R is a principal ideal domain
is every ideal of R is principal. More precisely, if I R is an ideal then there exists a I
such that I = (a). We write PID for short.

Theorem. R Euclidean R a PID.

Proof. . Let I R be an ideal. If I is the zero ideal then I = (0). Assume that I is not the
zero ideal. Choose a I such that (a) (b) for all b I. We aim to prove that I = (a).
Assume this is not the case. Hence there exists r I such that r / (a). This means that a
does not divide r. Hence by the Euclidean property there exist q, s R such that r = qa + s
where (s) < (a). However, s = r qa I. This contradicts the minimality of (a). Thus
no such r exists and I = (a).

Definition. Let R be an integral domain and I1 , I2 , I3 , be a sequence of ideals. Assume

that
I1 I2 I3
We call this an ascending chain of ideals. We say that it is stationary if there exists
some n N such that In = Im for all m n.

Theorem. If R is a PID then every ascending chain of ideals is stationary.

Proof. Let

I1 I2 I3
be an ascending chain of ideals in R. Let I be the union of all the Ii . We claim that
this is an ideal. Observe that 0 I as it is contained in each Ii . Similarly r I r Ii
for some i r Ii r I. Let r, s I. Hence r Ii and s Ij for some i and j.
Without loss of generality assume that i j. Hence r, s Ij r + s Ij r + s I.
Hence I is a subgroup under addition.
If r I then r Ii for some i. Thus given any a R, ar Ii I. We deduce that I is
an ideal.

63
 Because R is a PID there exists b I such that I = (b). This means that b In for some
n. Hence (b) In . Hence we have I In and In I implying that In = I. This implies
that Im = In for all m n.

Theorem. If R is a PID then every non-zero non-units can be factored into irreducible
elements.
Proof. We will begin by showing that every non-zero, non-unit admits an irreducible factor.
Let a R be a non-zero, non-unit. If a is irreducible we are done. Assume, therefore
that a = b1 a1 , where b1 and a1 are non-units. This implies that

(a) (a1 )
Note that because b1 is a non-unit a and a1 are not associated by the cancellation law.
Hence this is a strict inclusion. If a1 is irreducible we are done. If not then we can repeat this
process with a1 . This would give a factorization a1 = b2 a2 , where b2 and a2 are non-units.
Thus we again get a strict inclusion

(a1 ) (a2 ).
If a2 is irreducible we are done. If not we can repeat the process. This builds an ascending
chain of ideals. Because R is a PID we know that this ascending chain must be stationary.
This can only happen if we eventually get an irreducible factor. We deduce that a must
admit an irreducible factor.
Now we show that a is the product of a finite number of irreducible elements of R. If a
is not irreducible then by the above we can write a = p1 c1 where p1 is irreducible and c1 is
not a unit. Thus (a) is strictly contained in the ideal (c1). If c1 is irreducible we are done.
If c1 is not irreducible then c1 = p2 c2 where p2 is irreducible and c2 is not a unit. We can
build a strictly ascending chain of ideals :

(a) (c1 ) (c2 )

Because R is a PID we know that this chain is stationary, which means eventually cr must
be an irreducible. Hence a = p1 p2 pr cr .

Let us now introduce another natural generalisation of prime number to an arbitrary

integral domain.

Definition. Let R be an integral domain. We say that p R is a prime element if:

/ R and p 6= 0
1. p

2. a, b R, p|ab p|a or p|b

Remarks. 1. In Z prime elements are the prime numbers and their negatives.

64
 2. All elements associated to a prime are themselves prime.

Proposition. Let R be an integral domain, p R. Then p prime p irreducible.

Proof. Let p R be prime and p = ab for some a, b R. Then p|a or p|b. Say p|a
a = pc = abc for some c R. Note that a 6= 0(p 6= 0), therefore by the cancellation law,
1 = bc b is a unit. Hence p is irreducible.

We shall see that for a general integral domain the converse does not always hold. How-
ever in the case of PIDs we have the following:

Theorem. Let R be a PID and p R. Then p irreducible p prime.

Proof. By the previous proposition we only need to show that p irreducible p prime. We
will begin by showing that if p is irreducible then (p) R is maximal.
First observe that p is not a unit. Hence (p) is a proper ideal of R. Assume now that
there exists I R a proper ideal such that (p) I. Because R is a PID, there exists a I
such that (a) = I. Note that a is no a unit. Hence (p) (a) and we deduce that p = ab
for some b R. Observe that because p is irreducible b must be a unit. Hence p and a are
associated implying that I = (a) = (p). We deduce that (p) is maximal.
Observe now that R/(p) is a field. Hence R/(p) is an integral domain implying that (p)
is a prime ideal.
Now assume that p|ab for some a, b R. Hence ab (p). Because (p) is prime either
a (p) or b (p). These imply that p|a or p|b respectively. Hence p is prime.

Theorem. An integral domain is a UFD iff

/ R can be factored into irreducibles (has a

1. Every a R such that a 6= 0 and a
complete factorization)

2. Every irreducible element is prime

Proof. First suppose R is a UFD. Then, by definition, (1) holds. Suppose p1 R irreducible.
Then suppose a, b R such that p1 |ab. If a = 0, p1 |a trivially, so we will assume a, b 6= 0. R
UFD means we can uniquely factor a, b
a = up1 1 pr r , b = vp1 1 p2 2 pr r ,
where u, v are units, i , i N {0}. and the pi are pairwise non-associated irreducible
elements. It follows that ab can be factored into uvp1 1 +1 pr r +r . Suppose p1 |ab, then
by the uniqueness of factorization present in a UFD, this forces (1 + 1 ) > 0 1 or
1 > 0 p|a or p|b. Therefore p1 is prime.
Conversely, suppose R is an integral domain and (1) and (2) hold. Then we need to show that
every non-zero, non-unit has a unique factorization into irreducibles, and the factorization
is unique up to association. Let c R such that c 6= 0 and c / R . By (1) we know we can
factor into irreducibles. So let us consider two factorizations of c.

65
 c = a1 ar , c = b1 bs
We must show r = s and each bi associated to ai after renumbering. Let us use induction
on r. r = 1 a1 = b1 bs b1 |a1 a1 = b1 u, u R . Then if s > 1, we cancel to get
u = b2 bs b2 R which is a contradiction since b2 is an irreducible by assumption.
Therefore s = 1 and we are done.
Let r > 1. By hypothesis (ii) a1 is prime and a1 |b1 bs a1 |bj for some j. WLOG assume
j = 1. b1 is irreducible and b1 = a1 u u R b1 u1 = a1 b1 |a1 a1 and b1 are
associated.
By the cancellation property, we have
u1 a2 ar = b2 bs
u1 a2 is irreducible and hence this gives a complete factorization of the same element. By
induction, r 1 = s 1 r = s and we can renumber such that ai is associated to
bi i {2, , r}. Weve just seen this holds for i = 1, hence R is a UFD.

Theorem. Every PID is a UFD.

Proof. In a PID every non-zero non-unit can be factored into irreducibles. In addition every
irreducible is prime. This a PID is a UFD.

Theorem. Every Euclidean ring is a UFD

Proof. . Every Euclidean ring is a PID. Every PID is a UFD. Hence every Euclidean ring is
a UFD.

4.11 Factorization in Polynomial Rings

Theorem. For any field F , the polynomial ring F [X] is a UFD.
Proof. F field F [X] Euclidean F [X] is a UFD.

From now on fix F a field. Let us return to trying to understand factorization in the poly-
nomial ring F [X].

Our first task is to determine the irreducible elements in F [X].

Proposition. F [X] = F , where we view F F [X] as the degree zero polynomials (the
constant polynomials).

Proof. The unit element in F [X] is 1 F F [X]. If f F [X] and def (f ) > 0 then
deg(f g) > 0 g F [X] \ {0}. Thus all invertible elements of F [X] must be degree zero, so
constant polynomials. Because F is a field we deduce that F [X] = F .

Definition. We call f F [X] such that deg(f )=1 linear.

66
 Clearly every linear polynomial must be irreducible for reasons of degree. Here is a partial
converse:
Theorem. Given F field, the only irreducible elements of F [X] are linear iff every positive
degree polynomial has a zero (or root) in F
Proof.
Assume every irreducible in F [X] is linear. Then take f F [X]; deg(f ) > 0. As F [X] is a
UFD (since F is a field), we can factor f into linear factors. Choose ax + b F [X] to be
one such factor, a 6= 0. Choose x = b a
to be a root of f .

Suppose every positive degree polynomial has a root in F . Then take p F [X] to be
irreducible, deg(p) > 0. By our assumption, there must exist F such that p() = 0.
Since F is a field, we know that F [X] is Euclidean. Hence we know that (x )|p. To see
why let us apply property (2) of the Euclidean degree function. If (x ) did not divide
p then we know that there exists q, r F [X] such that p = q(x a) + r where r 6= 0 and
deg(r) < deg(x ) deg(r) < 1 r is a constant. If r 6= 0, then p() 6= 0, so (x )|p.
We deduce that c F [X] such that p = (x )c but since p is irreducible, c must be a
unit, i.e. c F . Thus p is linear.
Note that this is a property of the field F . It is not always true. For example if F = Q,
then X 2 + 1 does not have a root in Q[X] and consequently cannot be reducible. Dont let
this example mislead you: there are reducible polynominals in Q[X] which do not have a
root in Q. For example (X 2 + 1)(X 2 + 1).
Definition. Given F a field, we call F algebraically closed if every f F [X] such that
deg(f ) > 0 has a root in F .
Remarks. 1. By the above theorem, F algebraically closed Any f F [X] such
/ F [X] , f 6= 0 can be factored into linear terms.
that f

2. The Fundamental Theorem of Algebra says that C is algebraically closed. C is

defined analytically so it is unsurprising that all proofs rely on some form of analysis.
R and Q are not algebraically closed as the above example demonstrates. Gauss gave
about four proofs of this fact in his PhD thesis at age 21!
It is important to realize how miraculous it is that C is algebraically closed. C is formed
from R by jumping only one dimension. Well see later that this almost never occurs in
general.

Fact: Every field can be embedded in an algebraically closed field.

For example both Q and R naturally embed in C. This tells us that something analogous is
true even for more exotic fields like Fp .
Proposition. If f R[X] is irreducible then it is either linear or quadratic (degree 2).

67
Proof. Let f R[X] be irreducible. Note that we may naturally consider f as being in
C[X]. Hence we may factor f as follows.
Y
f = a (x i ),
i

where a C and i C i. By the uniqueness of this factorisation we know that a is
unique and the i are unique up to reordering. Because f R[X] we also know that a R.
Because f R[X], taking complex conjugation gives two linear factorisations :
Y Y
f = a (x i ) = a (x i ),
i i

where i denotes complex conjugation. Observe that two monic linear polynomials in C[X]
are associated if and only if they are equal. Therefore, by uniqueness of irreducible factorisa-
tion we know that either i R or they occur in complex conjugate pairs. Note that for any
C, (x )(x ) R[X]. Hence f be written as the product of linear and quadratic
real polynomials. Hence either f is linear or quadratic.
What about other fields? The most natural place to start is F = Q. A naive belief would be
that because Q is relatively simple, Q[X] is easy to understand. You could not be further
from the truth. To see this for Q, observe that we have linked the issue of factorisation in
Q[X] to finding rational roots of positive degree polynomials. As you are no doubt aware
this second problem can be very difficult and subtle to understand. The point of departure
for algebraic number theory (the algebraic study of Q) is trying to determine the structure
of Q[X].

Recall that Q = F rac(Z). Hence there is a natural inclusion Z[X] Q[X]. Let us ad-
dress the problem of factorisation in Z[X] first. The fundamental theorem of arithmetic says
that Z is a UFD. Thus let R be a UFD and consider R[X]. It is a fact that R[X] is again a
UFD. Ill get you to prove this in the homework.

Definition. f R[X] \ {0} is primitive if deg(f ) > 0 and its coefficients do not have an
irreducible common factor.
e.g. R = Z, f = 5x3 + 3x2 + 10

Gauss Lemma. Let R be a UFD. The product of two primitive polynomials in R[X] is
again primitive.
ai x i , g = bj xj for ai , bj R. Because
P P
Proof. Let f, g R[X] be primitive. Thus f =
R is an integral domain, so is R[X]. Thus f g 6= 0. Assume that f g is not primitive. Thus
R irreducible and h R[X] such that f g = h. Because f and g are primitive does
not divide
Pall the ai and bj . Choose r and s minimal such that does not divide ar and bs .
Let h = ck xk .

68
Thus

cr+s = a0 br+s + + ar bs + + ar+s b0 ar bs = cr+s a0 br+s ar+s b0

By the minimality of r and s we deduce that divides every term in the sum on the
right. Hence divides ar bs . But R is a UFD, which implies that is prime. Thus must
divide either ar or bs . This is a contradiction. Hence f g is primitive.
This is a fantastic proof - its got Gauss written all over it! It has some profound consequences
as well see in a moment.
Definition. Let R be a UFD and f R[X] \ {0} . The content of f is the HCF of
its coefficients, i.e. If f = g where R and g primitive, is the content of f . e.g.
R = Z, f = 9x3 + 3x + 18, the content of f is 3.
Observe that because R is a UFD the content of f R[X] \ {0} always exists. Also observe
that the content is only unique up to association.
Proposition. Let R be a UFD. Suppose f, g R[X]\{0} with contents , R respectively.
Then the content of f g is .
Proof. f = f1 , g = g1 f g = ()f1 g1 . By Gauss Lemma, f1 g1 is also primitive so
is the content of f g.
The following theorem illustrates the real meaning of Gauss Lemma.
Theorem. Let R be a UFD, and F = F rac(R). Choose f R[X] F [X]. Then f is
irreducible in R[X] f is irreducible in F [X].
Proof. Assume f R[X] can be factored into non-units in F [X]. This implies that f = gh
for some g, h F [X], where deg(g), deg(h) > 0. Clearing denominators and pulling out the
content, we can obtain
f = g1 h1 ,
where , R and g1 , h1 R[X] primitive.
Let be the content of f , i.e. f = f1 , where f1 is primitive. Because the content is well
defined deduce that = (perhaps after changing by a unit). Therefore f = g1 h1
f = g1 h1 . Observe that deg(g) = deg(g1 ) and deg(h) = deg(h1 ). Also observe that just as
for a field R[X] = R . Thus g1 , h1 R[X] are not units. Thus f is reducible in R[X].

We should note that in general the converse is not true. For example 3(x 2) is reducible
in Z[X], but irreducible in Q[X]. This is because 3 / Z[X] , but 3 Q[X] . This theorem
has the surprising consequence:
Corollary. Let f = a0 + a1 x + + an xn Z[X] have a ratonal zero where and are
coprime integers. Then |an and if 6= 0, |a0 . In particular, if an = 1, all rational zeros
are integral.

69
Proof. f ( ) = 0 (X )|f in Q[X] g Q[X] such that f = (X )g. Observe that
X is primitive, hence by the proof of the theorem we deduce that (X )|f |an
and if 6= 0, |a0 . Hence if an = 1 1 Z
Conclusion: All Rational zeroes of a monic polynomial with integer coefficients
MUST be integers.

This is kind of amazing. Its not at all obvious from the definitions.
Theorem (Eisensteins Criterion). Let f = a0 + a1 x + a2 x2 + an xn Z[X] \ {0}. If
there is a prime number p N such that
1. (i) p 6 |an

2. (ii) p|ai 0 i < n

3. (iii) p2 6 |a0
then f is irreducible over Q.
Proof. By the above f reducible over Q f reducible over Z. Suppose that f satisfies
the conditions (i), (ii), and (iii) but is reducible over Q and hence over Z. By the proof of
the above theorem we know that there exist g, h Z[X] such that deg(g), deg(h) > 0 and
f = gh. Let us write
g = b0 + b1 x + + br x r , h = c 0 + c 1 x + + c s x s
when r + s = n =deg(f ), r, s > 0. We have a0 = b0 c0 . Because p|a0 and p2 6 |a0 p 6 |b0 or
p 6 |c0 . Without loss of generality assume that p|b0 and p 6 |c0 . Furthermore, br cs = an is not
divisible by p p 6 |br and p 6 |cs . Hence the first coefficient of g is divisible by p but not
the last.
Let i {1, , r} be minimal such that p 6 |bi . Observe that i r < n. Note that
ai = bi c0 + bi1 c1 + + b0 ci bi c0 = ai bi1 c1 b0 ci . But p|ai by (ii) and
p|bij cj j {1, , i} by minimality p|bi c0 p|bi or p|c0 which is a contradiction.
Hence f is irreducible in Q[X].

Corollary. There are irreducible polynomials of arbitrary degree in Q[X].

Proof. Let p N be a prime. Let n N and define f = p + px + px2 + + xn Q[X]. By
Eisensteins Criterion, f is irreducible of degree n.

Remarks. 1. Eisensteins Criterion works (with same proof ) for any UFD and its field
of fractions.

2. Remember irreducible polynomials in R[X] or C[X] are of degree 2 or less. Q[X] is

very different.

70
 3. Heres a useful analogy from chemistry: Let F be a field. One should think about
f F [X] \ {0}, f / F [X] (up to association) as a molecule. One should think about
the irreducible such f (up to association) as atoms. The fact that F [X] is a UFD
says that every molecule is constructed from a unique finite collection of atoms. Trying
to determine the irreducible elements of F [X] is the same as trying to construct the
period table. So for every F we have an equivalent of a period table. How complicated
this periodic table is depends on F . F being algebraically closed says that the atoms
are indexed by elements of F , i.e. every irreducible is associated to one of the form
(x ) for a unique F . Hence for algebraically closed fields the period table is very
easy. The further from being algebraically closed F is the more complicated it becomes.
For Q the periodic table is bewilderingly complicated. The atoms can have a enormous
internal complexity. There is far more depth to Q than meets the eye!
Lets now study the zeros of polynomials over a field.
Theorem. Let F be a field and f F [X] \ {0} have distinct roots 1 , , n F . Then
(x 1 ) (x n )|f .
Proof. We have already proven that f (i ) = 0 (xi )|f . Recall that for , F , (x)
and (x ) are associated if and only if = . As i 6= j i 6= j x i and x j
non-associated irreducible factors of f i, j. F [X] is a UFD (x 1 ) (x n )|f.
Corollary. Let F be a field and f F [X] be a polynomial of degree n N. The number of
distinct roots of f in F is at most n.
Proof. Assume that deg(f ) = n and {1 , n+1 } F are n + 1 distinct reoots of f in F .
By the theorem g = (x 1 ) (x n+1 ) divides f . By the first Euclidean property of the
degree function this implies that deg(f ) deg(g) = n + 1. This is a contradiction. Hence
the number of distinct zeros of f in F cannot exceed n.
Corollary. If F is a field and f, g F [X] such that deg(f ), deg(g) n and f and g agree
on at least n + 1 values of F then f = g.
Proof. f g F [X] is a polynomial of degree less than or equal to n. By assumption it has
n + 1 roots in F . Hence it is the zero polynomial.
Corollary. Let F be an infinite field. Let f, g F [X] such that f (a) = g(a) for all a F
then f = g
Proof. Immediate from the preceding corollary.
Remarks. This is not true if F is finite!. For example Ill get you to show that over Fp the
polynomial xp x is zero for every value of Fp . This is why thinking about polynomials as
functions is a bad plan.
Theorem. Let F be an infinite field. Let f F [X1 , , Xn ]. If f (1 , , n ) = 0 for all
i F , then f = 0.

71
Proof. Well use induction on n. The previous corollary says that the result is true for n = 1.
Let n > 1 and write f as a polynomial in X1 with coefficients in F [X2 , , Xn ].

f (x1 , , xn ) = a0 + + ak xk1 ,
where ai = ai (x2 , , xn ). Fix 2 , , n F . Then f (x1 , 2 , n ) vanishes for all values
of F .By the preceding corollary we deduce that

ai (2 , , n ) = 0 i.

But the j were arbitrary. Hence by the induction hypothesis ai = 0 for all i. Hence
f = 0.

5 Field Extensions and Galois Theory

5.1 Field Extensions and Minimal Polynomials
Definition. Let E be a field and F E a subfield, i.e. a subring which is a field. Then we
call E an extension of F and we write E/F .

Let F be a field. Recall that a vector space V over F is an Abelian group with a good
concept of scalar multiplication by F . If we have an extension of fields E/F then we may
naturally regard E as a vector space over F . This is because there is a natural concept of
scalar multiplication on E by F . The properties of a vector space are automatically satisfied
by the ring axioms for E. If youve only ever seen vector spaces over R or C, dont worry -
all of the theory is identical. A trivial observation is that E is a vector space over itself.

Definition. Let E/F be a field extension. We say that E/F is finite if E is a finite dimen-
sional vector space over F , i.e. there is a finite spanning set for E over F . If E/F is finite
then we call the dimension of E over F the degree of the extension, written [E : F ].

Concretely this means that we may find a finite subset {x1 , , xn } E such that

E = {1 x1 + n xn |i F }.

Hence if [E : F ] = n, then as an F -vector space E

= F n . We should be careful of this
definition for the following reason:

If E/F is a finite extension then (F, +) (E.+) is a subgroup as an Abelian group. It

is not necessarily true that (F, +) is of finite index in (E, +). Ill get you to prove this in the
homework.

Let E/F be en extension of finite fields. Trivially we can see that the extension is finite.
Hence if [E : F ] = n, then as an F -vector space E
= F n |E| = |F |n . Hence |E| = |F |[E:F ] .
From this observation we deduce that

72
Theorem. Let E be a finite field of characteristic p N. Then |E| = pn for some n N.

Proof. char(E) = p Fp E. Hence E/Fp is a finite extension. Hence |E| = |Fp |[E:Fp ] =
p[E:Fp ] .

Definition. Let E/F be a field extension. Let E. We say that is algebraic over
F is f F [X] such that f () = 0. If every E is algebraic over F we say that the
extensionE/F is algebraic. If is not algebraic then we say that it is transcendental. e.g.
over Q, 2 is algebraic, whereas is transcendental.

Proposition. Let E/F be a finite field extension. Then E/F is algebraic.

Proof. Let E. Assume that [E : F ] = n. Thus any set subset of E of cardinality greater
than n must be linearly dependent (over F ). Thus {1, , , n } E must be linearly
dependent over F . Hence {bo , , bn } such that

b0 + b1 + + bn n = 0.
Let f = b0 + b1 x + + bn xn F [X]. By construction f () = 0. Thus is algebraic over
F.
The converse is not true. Ill give you an example in the homework.

Definition. Let E/F be a field extension. Let E be algebraic (over F ). Then the monic
polynomial f F [X] of minimal degree such that f () = 0 is called the minimal polynomial
of (over F ).

Proposition. Let E/F be a field extension. Let E be algebraic (over F ). The minimal
polynomial of (over F ) is irreducible (in F [X]).

Proof. Let F F [X] be the minimal polynomial of . Recall that f is reducible if and
only if we can find g, h F [X] such that f = gh and deg(g), deg(h) < deg(f ). However, if
such a factorisation exists, we know that f () = g()h() = 0. But E is a field and is thus
an integral domain. Consequently either g() = 0 or h() = 0. But this contradicts the
minimality of deg(f ).

Corollary. Let E/F be a field extension. Let E be algebraic (over F ). The minimal
polynomial of (over F ) is unique.

Proof. Let g, f F [X] both be monic of minimal degree such that f () = g() = 0. Recall
that monic polynomials in F [X] are associated if and only if they are equal. Thus if f 6= g,
then by the unique factorisation property of F [X], we know they are coprime (HCF(f,g)
=1). If this were the case then y the Euclidean property of F [X] u, v F [X] such that
f u + gv = 1. But this would imply that f ()u() + g()v() = 1. But the left hand side
equals 0, which is a contradiction because E is a field so is by definition non-trivial. Thus
f = g.

73
Corollary. Let E/F be a field extension. Let E be algebraic (over F ). Then is the
root of a unique irreducible monic polynomial in F [X]

Proof. The above two results shows that the minimal polynomial of (over F ). is irreducible
and necessarily unique. The proof of the corollary shows that it must be the only monic
irreducible polynomial with as a root.

Definition. Let E/F be a field extension. Let E (not necessarily algebraic over F ).
We define the subfield generated by to be the minimal subfield of E containing F and .
We denote this subfield by F ().

Proposition. Let E/F be a field extension. Let E be algebraic (over F ). Let F [] :=

{f ()|f F [X]} E. Then F [] = F (). Moreover the the degree of F () over F equals
the degree of the minimal polynomial of over F

Proof. We should first observe that F [] E is the minimal subring of E containing F and
: it is clearly closed under addition and multiplication because g()h() = (gh)() and
g() + h() = (g + h)() for all g, h F [X]. We need to show therefore
Pn1 that it is actually
n i
a subfield. Note that F [] is an F -vector space. Let f = x + i=0 bi x F [X] be the
minimal polynomial of . We claim that the subset {1, , , n1 } F [] is an F -basis.

Spanning

Let SpF (1, , , n1 ) F [] be the F -linear span of {1, , , n1 }. We will show

that all positive powers of are in SpF (1, , , n1 ) by induction.PLet k N. If k < n
n1
then k is trivially in the span. Observe that because f () = n + i=0 bi i = 0 we see
that n is in SpF (1, , , n1 ) Hence SpF (1, , , n1 , n ) = SpF (1, , , n1 ). Fi-
nally assume that k > n. Inductively we may assume that k1 SpF (1, , , n1 ). But
then k SpF (1, , , n1 , n ) = SpF (1, , , n1 ). Thus all positive powers of are
contained in SpF (1, , , n1 ). Ever element of F [] is an F -linear combination of such
terms, hence SpF (1, , , n1 ) = F [].

Linear Independence

If {1, , , n1 } were linearly dependent over F , then the minimal polynomial of over
F would have degree strictly less than n. This is a contradiction.

Now we must show that F [] is a subfield of E. Let f F [X] and = f () 6= 0. By

the above we know that the set {1, , , n } F [] is linearly dependent over F . Hence
we may know that {a0 , , an } F such that

a0 + a1 + + an n = 0.
Because 6= 0 we conclude that there exists k N and g F [X] such that g() = 0 and

74
 g = 1 + b1 x + + bk xk , bi F.
But then

1 = (b1 bk k1 ).
Thus b1 bk k1 F [] is the multiplicative inverse of in E. We conclude that
F [] is a field and thus F [] = F ().

Proposition. Let R be a Euclidean domain. Let a R be an irreducible element. Then the

principal ideal (a) R is maximal.
Proof. Recall that (a) = {ar|r R}. First observe that a is a non-unit so (a) is proper.
Now observe that if I R is an ideal and b I such that b R then I = R. This is
clear because I is closed under multiplication by all R. Hence any proper ideal of R cannot
contain any units. Assume that (a) is not maximal and that I R is a proper ideal of R
strictly containing (a), i.e. (a) 6= I. Let b I such that b
/ (a). Hence a does not divide
b, which is a non-zero, non-unit. But R is Euclidean, which in particular implies that it
is a UFD. Hence HCFs exist and by construction HCF (a, b) = 1. We also know that by
the Euclidean property u, v R ua + vb = 1. But by construction a, b I. This implies
therefore that 1 I. This is a contradiction as I is proper. Hence (a) is maximal.

5.2 Splitting Fields

Theorem. Let F be a field. Let f F [X] be a non-constant polynomial. Then there exists
a field extension E/F such that f has a root in E. Moreover E can be chosen to be finite
over F .
Proof. The key observation is that F [X] is Euclidean. As a result F [X] is a UFD, hence
we may factor f into irreducible polynomials in F [X]. Without loss of generality we may
therefore assume that f itself is irreducible. By the above we know that the ideal (f (X))
F [X] is maximal. This implies that the quotient E := F [X]/(f (X)) is a field. There is a
natural ring homomorphism:

F E
+ (f (X))

E is injective because it has trivial kernel. Hence we may naturally think of E as a field
extension of F . Let g F [X]. Let a(X) + (f (X)) E. By definition g(a(X) + (f (X))) =
g(a(X)) + (f (X)). consider X + (f (X)) E. f (X + (f (X))) = f (X) + (f (X)) = (f (X)).
But (f (X)) E is the additive identity. Thus X + (f (X)) is a root of f in E.
Finally we need to show that E/F is finite. Assume that deg(f ) = n. We claim that
{1 + (f (X)), X + (f (X)), , X n1 + (f (X))} E forms a spanning set for E over F .

75
 Given any g F [X] we have the element g(X) + (f (X)) E. Remember that the degree
function on F [X] is Euclidean. Hence we have a version of the remainder theorem: either
g(X)|f (X) of q(X), r(X) F [X] such that g(X) = q(X)f (X)+r(X) where deg(r(X)) < n.
In the first case g(X) (f (X)) which implies that g(X) + (f (X)) is zero in E. In the second
case we have g(X) + (f (X)) = r(X) + (f (X)). But r(X) + (f (X)) is clearly in the F -span
of {1 + (f (X)), X + (f (X)), , X n1 + (f (X))}. Thus E/F is finite.

Corollary. Let F be a field. Let f F [X] be a non-constant polynomial. Then there exists
a finite field extension E/F such that f splits into linear factors in E[X].

Proof. Well use induction on the degree of f . Clearly if f is linear the result is true. Assume
therefore that deg(f ) > 1. By the above theorem we may find a finite field extension K/F
such that K such that f () = 0. This implies that f = (X )g for some g K[X].
By construction deg(g) < deg(f ). By induction we know that there is a finite field extension
E/K in which g, and thus f , splits into linear factors. Because both E/K and K/F are
finite E/F is finite.
This is beautiful result. In particular it facilitates the following fundamental definition:

Definition. Let F be a field. Let f F [X]. A splitting field for f is a finite extension E/F
of minimal degree over F such that f splits into linear factors in E[X].

Theorem. Let F be a field and f F [X]. Let E and E 0 be two splitting fields of f . Then
E is isomorphic to E 0

Proof. We dont quite have enough time to prove this. It isnt too hard though. Intuitively
it is unsurprising because a splitting field is some kind of minimal field generated by F and
the roots of f . You will prove it in a second course in abstract algebra.

When we are thinking about Q we are lucky enough to have a natural embedding of Q in C
which is algebraically closed. This means the splitting field of any polynomial f Q[X] can
naturally be considered a subfield of C. Concretely, if {1 , , n } C are the roots of f in
C then the minimal subfield of C containing Q and {1 , , n }, denoted Q(1 , , n )
C, is a splitting field for f .

5.3 Galois Groups

Now we can do something that looks innocent at first but holds mind blowing depth. Let
E/F be a finite extension.

Definition. Let E/F be a finite extension. We say that E/F is normal if E is a splitting
field for some f F [X].

From now on restrict to F of characteristic zero. In this case we call any finite normal
extension E/F a Galois extension.

76
Definition. Let E/F be a Galois extension. The Galois group of E/F , denoted Gal(E/F ),
is the group of field automorphisms of E which fix F ,i.e. Gal(E/F ) is a field automor-
phism : E E such that () = F . Composition is given by composition of
functions.
This concept was first introduced by Evariste Galois (1811-1832). Here are some nice facts
about Galois groups:
1. Galois groups are finite. Moreover |Gal(E/F )| = [E : F ].
2. The Fundamtental Theorem of Galois theory states that there is a natural bijection
between subfields of E containing F and subgroups of Gal(E/F ).
This idea is ingenious for the following reason:

To try and understand the roots of f F [X], we first construct a splitting field E , then we
associate to this (in a canonical fashion) a finite group Gal(E/F ). Hence we have converted
questions about roots of polynomials into questions about finite groups! The fundamental
theorem is a bridge between these two perspectives.
Let me illustrate with an outline of Galois proof of why the quintic cannot be solved by
radicals.
From now on let F = Q. Let f Q[X]. We say that f is soluble by radicals if we can
construct its roots in C by taking the coefficients of f and successively summing, multiplying
or taking nth roots. E.g for f = 3X 2 + 2X + 1 its roots are given by
p
2 (22 4 3 1)
= .
23
This is of course the quadratic equation. What the quadratic equation means is that every
polynomial of degree 2 in Q[X] can be solved by radicals. In 1500ish it was shown that the
same was true for degree 3 and 4 polynomials. What about 5? A degree 5 polynomial is
called a quintic. The answer, rather amazingly, is no! Galois gave the following reason:
If f Q[X] is soluble by radicals then its splitting field E/Q has some very nice proper-
ties. They are easy but we dont have time for me to tell you. Anyway, by the fundamental
theorem these translate into a nice property of Gal(E/Q), namely that it is a soluble group.
This isnt too hard to explain: Gal(E/Q) soluble means that there exists subgroups:

{e} G1 Gm1 Gal(E/Q)

such that Gi Gi+1 is normal for all i and Gi+1 /Gi is Abelian. Not every finite group is
soluble. For example it is not hard to show that Sym5 is not soluble. Galois idea is to find
a quintic which has a Galois group which is not soluble. After a bit of work one can show
that the splitting field of f (x) = 2x5 5x4 + 5 has Galois group Sym5 . Hence f (x) cannot
be solved by radical! Heres something even more amazing:
Conjecture. Let G be any finite group. There exists a polymnomial f Q[X] such the
Galois group associated to the splitting field of f is isomorphic to G.

77
This is saying that any concept of finite symmetry is contained in Q!

Galois was a genius - he died at 21 in a duel over a woman. He wrote all this down the
night before he died, running out of time in the end. Hermann Weyl, one of the greatest
mathematicians of the 20th century, said of this testament,

This letter, if judged by the novelty and profundity of

ideas it contains, is perhaps the most substantial piece
of writing in the whole literature of mankind.

78