Professional Documents
Culture Documents
Apuntes Introducion Teoria de Galois
Apuntes Introducion Teoria de Galois
November 9, 2018
2
Contents
3
4 CONTENTS
Appendices 147
A Course prerequisites 149
A.1 Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
A.2 Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
A.2.1 Cyclic group . . . . . . . . . . . . . . . . . . . . . . . . 153
A.2.2 Group action . . . . . . . . . . . . . . . . . . . . . . . 153
A.2.3 Direct product . . . . . . . . . . . . . . . . . . . . . . 154
A.2.4 Sylow theorems . . . . . . . . . . . . . . . . . . . . . . 156
A.2.5 Abelian group . . . . . . . . . . . . . . . . . . . . . . . 156
A.3 Permutations . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
A.4 Rings and Fields . . . . . . . . . . . . . . . . . . . . . . . . . 162
6 CONTENTS
Index 175
Introduction
The document keeps lecture notes on Introduction to Galois theory that was
provided by Ekaterina Amerik (Higher School of Economics) via Coursera.
Each chapter corresponds to one lecture (or one week on Coursera). The
appendix keeps useful info for the course that is absent in it i.e. requirements
that are necessary for the course understanding.
I also tried to make all my comments as footnotes or inside brackets '()'
whenever it was possible.
All not clear (for me) or in-completed proofs are marked as ???
Several examples use GAP [8].
7
8 CONTENTS
Chapter 1
Generalities on algebraic
extensions
We introduce the basic notions such as a eld extension, algebraic element,
minimal polynomial, nite extension, and study their very basic properties
such as the multiplicativity of degree in towers.
• Right distributivity: (x + y) · z = x · z + y · z
• Left distributivity: z · (x + y) = z · x + z · y
Example 1.2 (Field of complex numbers C). The eld of complex numbers
C can be considered as a K-algebra over the eld of real numbers R.
1
The denition in the lectures is more common and assumes that K is a ring but later
K will be mostly a Field. Therefore A has to be a Vector space over K in the case.
9
10 CHAPTER 1. GENERALITIES ON ALGEBRAIC EXTENSIONS
f (x) − f (y) = 0A ,
f (x − y) = 0A ,
−1 x−y
f (x − y)f ((x − y) ) = f = f (1K ) = 1A = 0A
x−y
that is impossible.
There are some comments on the results. We have got that a Homomor-
phism can be set between eld K and its K-algebra. The Homomorphism is
Injection therefore we can allocate a sub-eld A0 ⊂ A for that we will have
the Homomorphism is a Surjection and therefore we have an Isomorphism
between original eld K and a sub-eld A0 . This means that we can say that
the original eld K is a sub-eld for the K-algebra.
2L in the denition is not the same object with L from denition 1.3. Because L in
the denition is a K -algebra i.e. a ring but L in the denition 1.3 is a eld.
3 But the statement is not valid for groups. In that case the homomorphism is injection
if and only if the kernel is trivial and consists of only one element - identity. See theorem
A.136.
1.1. FIELD EXTENSIONS: EXAMPLES 11
No other possibilities exist. The Q and Fp are the prime elds. Any eld is
an extension of one of those.
Claim 1.12. 7
Let K is a eld and a∈K then K [X] / (X − a) is also a
eld and there exists an Isomorphism between the eld and K i.e.
K [X] / (X − a) ∼
=K (1.1)
5
I.e. (P ) = {Q = GP } where G ∈ K [X]
6
As soon as P is irreducible in K [X] then there is only one possibility for Q and P
to have common divisors: if Q = GP where G ∈ K [X] but this is in contradiction with
Q∈ / (P )
7 The claim is not a part of the lectures but it's very usefully in future lectures.
1.2. ALGEBRAIC ELEMENTS. MINIMAL POLYNOMIAL 13
The φ dened by (1.2) is Field homomorphism. For the proof of the claim
lets take P1 , P2 ∈ K [X] / (X − a). Clear that
and
12 + 1 + 1 = 1 6= 0
The polynomial has the following residues: X̄ = X + (X 2 + X + 1) and
X + 1 = X + 1 + (X 2 + X + 1). Thus the eld F2 / (X 2 + X + 1) consists of
4 elements: {0, 1, X̄, X + 1}.
It's easy to see that the third element (X̄ ) is a root of P (X) = X 2 +X +1:
X̄ 2 + X̄ + 1 = 0̄,
therefore
X̄ 2 = −X̄ − 1 = X̄ + 1 = X + 1.
This is because we are in eld F2 where
2 (X + 1) mod 2 = 0
and thus
−X̄ − 1 = X̄ + 1 = X + 1
Also
2
X + 1 = X̄,
and they are inverse each other
X + 1X̄ = 1,
Arguments for the Example 1.13 can also be found in the following remark
(not part of the lectures)
Remark 1.14 (About quotient eld). Consider an arbitrary eld L (L = F2
at the Example 1.13) and P (X) = X + an−1 X n−1 + an−2 X n−2 + · · · + a0 ∈
n
or
αn = −an−1 αn−1 − · · · − a0 .
Therefore ∀l ≥ n, ∃li ∈ L such that
n−1
X
αk = li αi
i=0
We can say that we have the following basis: {{L}, α, . . . , αn−1 } where {L}
- L basis. For Example 1.13 we have {L} = {F2 } = {0, 1}, α = X̄ and as
result K = F2 / (X 2 + X + 1) will have the following basis {0, 1, X̄}.
gap> x:=Indeterminate(Rationals,"x");;
gap> alpha:=Sqrt(2);;
gap> MinimalPolynomial(Rationals, alpha);
x^2-2
I.e. Pmin (α, Q) = X 2 − 2.
1, α, α2 , . . . , αn , . . . .
1. α is algebraic over K
where ak ∈ K . Then
αd = −ad−1 αd−1 − a1 α − a0
10 The example is not a part of the lectures and it uses GAP [8].
11 Contrary to the example 1.8 we see that K -algebra is a eld there.
1.3. ALGEBRAIC ELEMENTS. ALGEBRAIC EXTENSIONS 17
17
Proof. It is clear because Pmin (α, K) ∈ L [X].
Example 1.25. 18
K = R, L = M = C. α = i ∈ M is algebraic over
K =R and therefore using the proposition 1.24 it is algebraic over L = C.
2
Moreover Pmin (α, L) = X − i and it divides Pmin (α, K) = X + 1.
[M : K] = [M : L] [L : K] .
Proof. Let [M : K] < ∞ but any linear independent set of vectors {m1 , m2 , . . . , mn }
over L is also linear independent over K thus
[M : K] < ∞ ⇒ [M : L] < ∞
17
Thus ∃PL ∈ L [X] such that PL (α) = 0 i.e. α is algebraic over L.
As soon as Pmin (α, K) ∈ L [X] then using About minimal polynomial existence
(Lemma 1.16) one can get that Pmin (α, L) divides Pmin (α, K).
18 The example is not a part of the lectures.
1.4. FINITE EXTENSIONS. ALGEBRAICITY AND FINITENESS 19
then ∀i:
d
X
cij εj = 0.
j=1
Thus ∀i, j : cik = 0 that nishes the proof the linear independence. The
number of linear independent vectors is n × d i.e.
[M : K] = [M : L] [L : K] .
Minimal polynomial
√
2, Q = x3 − 2.
3
Pmin
√3
√ √ √
2 is generated over Q by 1, 3 2, 3 4 thus Q 3 2 : Q = 3.
Q
√ √ √
But 3 ∈/ Q 3 2 because otherwise Q 3 : Q = 2 must devide
√
Q 3 2 : Q = 3 that is impossible.
2
√3
Therefore x − 3 is irreducible over Q 2 and
√ √
2 = x2 − 3.
3
Pmin 3, Q
h √ √ i
3
Q 2, 3 : Q = 3 · 2 = 6.
if α is algebraic.
19 Pd−1
Pmin (α, L) = i=0 li αi where li ∈ L and each li is algebraic over K by algebraic
extension denition 1.22. By theorem 1.29 there are nite number of li and they forms an
algebraic extension E = K (l0 , l1 , . . . , ld−1 ). The E (α) is nite over E and therefore nite
over K . As soon as EP (α) has a nite dimension over K thus there exists a relation for
n
powers of α such that i=0 ki αi = 0 i.e. α is algebraic.
1.6. A DIGRESSION: GAUSS LEMMA, EISENSTEIN CRITERION 21
α + β, α · β ∈ K [α, β]
20
Lemma 1.34 (Gauss). Let P ∈ Z [X], i.e. a polynomial with integer coef-
cients, then if P decomposes over Q (P = Q · R, degQ, R < degP ) then it
also decomposes over Z.
QR ≡ x100 mod 2,
therefore
Q ≡ xk mod 2,
R ≡ xl mod 2,
or
Q = xk + · · · + 2 · m
and
R = xl + · · · + 2 · n
thus
QR = x100 + 4 · nm
that is impossible because n, m ∈ Z and nm 6= − 12 .
1.6. A DIGRESSION: GAUSS LEMMA, EISENSTEIN CRITERION 23
K [X] / (P ) ∼
= E.
25
26CHAPTER 2. STEM FIELD, SPLITTING FIELD, ALGEBRAIC CLOSURE
Proposition 2.2 (About stem eld existence). The stem eld exist and if
0
we have 2 stem elds E and E which correspond 2 roots of P : E = K [α],
E = K [α ] then ∃!f : E ∼
0 0 0
= E (Isomorphism of K-algebras) such that f (α) =
0
α.
φ : K [X] / (P ) ∼
=x→α E,
ψ : K [X] / (P ) ∼
=x→α0 E 0 ,
thus
ψ ◦ φ−1 : E ∼
=α→x→α0 E 0 .
4
4. If E is not a stem eld but contains root of P then [E : K] > degP
3 First of all if we have an isomorphism f between two K algebras K [α] and K [α0 ] it
should preserve the K -algebra structure, especially ∀k ∈ K : k1K[α] →f k1K[α0 ] . As soon
as k ∈ K [α] we can write the following
f k1K[α] = f (k) f 1K[α] = f (k) 1K[α0 ] .
i.e. ∀k ∈ K : f = id.
α forms a basis such that ∀β ∈ E = K [α] we have β = i ki αi where ki ∈ K . We also
P
i i
have f (β) = i ki [f (α)] = i ki [α0 ] . Thus if ∃f 0 isomorphism such that f 0 (α) = α0
P P
i
then f 0 (β) = i ki [α0 ] = f (β) i.e. the isomorphisms are the same.
P
4 Let E 0 is a stem eld of P . In the case we have E 0 ⊂ E as soon as any element of E 0
is an element of E because E contains a root of P . From other side E 6= E 0 as soon as E
is not a stem eld. Thus deg E > deg E 0 = deg P .
2.2. SPLITTING FIELD 27
[M : K] = [M : L] [L : K] = md
L1 = K (α) ∼
= K (β) = M1 ,
and S = φ (R).
9 via the existent Isomorphism between K [α] and K [β]
10 Induction steps are the following: we have a polynomial P with deg P = n. For n = 1
the isomorphism exists by proposition 2.2. We suppose that the isomorphism is proved
for polynomial with degree n − 1.
11 Lukas Heger comment about the prove: We can consider another roots: α for R and
2
β2 for S and there is an isomorphism between the 2 stem elds also. Continue in the way
we will get the 2 following chains
K ⊂ L1 ⊂ L2 ⊂ · · · ⊂ Ln ⊂ L
K ⊂ M1 ⊂ M2 ⊂ · · · ⊂ Mn ⊂ M
On each step we have an isomorphism between Li and Mi and as result the isomorphism
between resulting elds L and M (via φ) as Ln algebras and therefore as K algebras.
2.3. AN EXAMPLE. ALGEBRAIC CLOSURE 29
2 3
√
3
Q Q 2, j = L
3 2
√
3
Q 2
√
3
As soon as L is a stem eld for Q (j) and for Q 2 then 2 types of
automorphism exist:
√
3
2 3
√
1. Q 2Automorphism. We have X + X + 1 as Pmin j, Q 2 . The
2
polynomial has 2 roots: j and j and there is an Automorphism that
12
exchanges the roots. Lets call it τ
√
3
2. Q (j) √
Automorphism. In this case the automorphism of exchanging 2
3 13
and j 2. . Lets call it σ
Aut (L/K) ,→ S3 .
12 j → j 2 thus . Therefore
j 2 → j 4 = j√ 2
13
√ √ √ j ↔ j 2√ √ √
3
2 → j 2 produces j 2 → j 2 and j 3 2 → j 3 3 2 = 3 2. This statement
3 3 2 3
corresponds
√ √the fact that
√ the minimal polynomial is X − 2 there and thus we have 3
3
roots: 2, j 2 and j 2
3 3 2 3
30CHAPTER 2. STEM FIELD, SPLITTING FIELD, ALGEBRAIC CLOSURE
It's embedded because the automorphism exchanges the roots of X 3 −2. More-
over
Aut (L/K) = S3 ,
because σ and τ generates S3 because
√ √ √ √
• σ : 3 2 → j 3 2 → j 2 3 2 → 3 2. This is a circle.
√ √ √
• τ - it keeps 3 2 and exchanges j and j 2 : 3 2j ↔ 3 2j 2 (see note 12).
This is a transposition.
Proof. Lets discuss the strategy of the prove. First construct K1 such that
∀P ∈ K [X] has a root in K1 . There is not a victory because K1 can introduce
new coecients and polynomials that can be irreducible over K1 . Then
construct K2 such that ∀P ∈ K1 [X] has a root in K2 and so forth. As result
we will have
K ⊂ K1 ⊂ K2 ⊂ · · · ⊂ Kn ⊂ . . .
Take K̄ = ∪i Ki and we claim that K̄ is algebraically closed. Really ∀P ∈
K̄ [X] ∃j : P ∈ Kj [X] thus it has a root in Kj+1 and as result in K̄ .
Now howcan we construct K1 . Let S be a set of all irreducible P ∈ K [X].
Let A = K (XP )P ∈S - multi-variable (one variable XP for each P ∈ S )
polynomial ring.
14 If L is algebraic closure of K then the following conditions are valid
• ∀P ∈ L [X] ∃α ∈ L such that P (α) = 0 (see denition of Algebraically closed eld)
• ∀α ∈ L ∃P ∈ K [X] such that P (α) = 0 (see denition of Algebraic extension)
2.3. AN EXAMPLE. ALGEBRAIC CLOSURE 31
where λi ∈ A and the sum is the nite (see denition A.72). As soon as
the sum
Qn is nite then I can take the product of the polynomials in the sum:
P = i Pi and I can create a Splitting eld L for the polynomial P over K
(see theorem 2.7).
A is a polynomial ring and it's very easy produce a homomorphism be-
tween polynomial algebra and any other algebra. Therefore there is a homo-
morphism between rings A and L such that φ : A → L where XPi → αi 16 if
P = Pi and XPi → 0 otherwise. From (2.1) we have
n
X n
X
φ(1A ) = λi φ (Pi (Xpi )) = λi Pi (αi ) = 0
i i
that is impossible.
Fact: Any Proper ideal I ⊂ A is contained in the Maximal ideal m (see
proposition 2.16 below) and A/m is a eld (see theorem A.94).
Thus I can take K1 = A/m and continue in the same way to construct
K2 , K3 , . . . , Kn , . . . .
15 I = i λi Pi (XPi ), where λi ∈ A
P
16 α is a root of P
i i
32CHAPTER 2. STEM FIELD, SPLITTING FIELD, ALGEBRAIC CLOSURE
Proof. We can use Zorn (Lemma 2.15) to prove that any proper ideal is in
a Maximal ideal.
Let P is the set of proper ideals in A containing I . The set is not empty
because it has at least one element I . Any Chain C = {Iα } 17 has an upper
bound: it's ∪α Iα (exercise that the union is an ideal). So P has a maximal
element m and I ⊂ m.
K ⊂ K1 ⊂ K2 ⊂ · · · ⊂ Ki−1 ⊂ Ki ⊂ . . .
Proof. Apply Zorn (Lemma 2.15) to the following set (of pairs)
E = {(N, ψ) : L ⊂ N ⊂ M, ψ extends φ}
(N, ψ) ≤ (N 0 , ψ 0 ) ,
17 The order is the following Iα ≤ Iβ if Iα ⊂ Iβ
18 We refer to it as a theorem with denition provided in A.94. The comments can be
considered as a simple prove of the fact.
19 i.e. m is not a maximal ideal in the case
20 see also example 3.3.
2.4. EXTENSION OF HOMOMORPHISMS. UNIQUENESS OF ALGEBRAIC CLOSURE33
35
36 CHAPTER 3. FINITE FIELDS. SEPARABILITY, PERFECT FIELDS
√
2. φ2 : α → − 2
Let √
2 = Q [Y ] / Y 4 − 2 ,
4
M =Q
M = L [Y ] / Y 2 − α
Remark 3.7. n
Also Fpn : K → K such that Fpn (x) = xp is also homomor-
phism (a power of Frobenius homomorphism (Remark 3.6) . )
n
Proof. Note that Fpn : x → xp is a Homomorphism (see remark 3.7) as
result the following set {x | Fpn (x) = x} is a eld containing Fp 8 i.e.
Fp ⊂ {x | Fpn (x) = x}
×
x|Fp | = xp−1 = 1
and nally get Fpn (x) = x. Thus ∀x ∈ Fp we also have x ∈ {x | Fpn (x) = x}
9 If Q has a multiple root β then it is divisible by (X − β)2 and the Q0 is divisible
n n
by (at least) (X − β) thus the (X − β) should be a part of gcd.
10 Really we have the following one Q0 = pn X pn −1 − 1 ≡ −1 mod p but the sign is not
n
really matter because gcd (Qn , −1) = gcd (Qn , 1) = 1.
11 K × = K \ {0}
38 CHAPTER 3. FINITE FIELDS. SEPARABILITY, PERFECT FIELDS
or n = x · d i.e. d | n
Conversely if d | n then n = x · d or pn = xi=1 pd thus if xp = x then
Q d
Qx Qxi=2 pd Qx
pn i=1 p
d pd pd d
x =x x =x i=2 = · · · = xp = x,
Theorem 3.10. Fpn is a Stem eld and a Splitting eld of any Irreducible
polynomial P ∈ Fp of degree n.
12 up to Isomorphism
13 as soon as any root of P also a root of Qn
3.2. PROPERTIES OF FINITE FIELDS 39
X (X + 1) X 2 + X + 1 = X 4 + X = X 4 − X
X 2 − X = X (X − 1) ,
X 4 − X = X (X − 1) X 2 + X + 1 ,
X 8 − X = X (X − 1) X 3 + X + 1 X 3 + X 2 + 1 ,
X 16 − X = X (X − 1) X 2 + X + 1
X4 + X + 1 X4 + X3 + 1 X4 + X3 + X2 + X + 1 .
You can compare the example with example 3.12 but you have to take into
consideration the following fact 1 = −1 mod 2
14 Since stem eld is Fpd ⊂ Fpn (see theorem 3.9 and proof at the theorem 3.10)
15 As soon as Fp [X] is Unique factorization domain then any polynomial can be written
as a product of irreducible elements, uniquely up to order and units this means that each
P ∈ Pd (where d | n) should be in the factorization of Qn . It should be only one time
because there is no multiply roots.
16 We also can say that 2 irreducible polynomial P , P ∈ F [X] should not have same
1 2 p
roots. For example if α is the same root - it cannot be in Fp because in the case the
polynomials will be reducible. Thus it can be only in an extension of Fp from other side
gcd(P1 , P2 ) = 1 and therefore with Bezout (Lemma A.85) one can get that ∃Q, R ∈ Fp [X]
such that P1 Q+P2 R = 1 and setting α into the equation leads to fail statement that 0 = 1.
17 The example is not a part of the lectures.
40 CHAPTER 3. FINITE FIELDS. SEPARABILITY, PERFECT FIELDS
gap> x:=Indeterminate(GF(2),"x");;
gap> Factors(x^8-x);
[ x, x+Z(2)^0, x^3+x+Z(2)^0, x^3+x^2+Z(2)^0 ]
gap> x:=Indeterminate(GF(2),"x");;
gap> Factors(x^2-x);
[ x, x+Z(2)^0 ]
gap> Factors(x^4-x);
[ x, x+Z(2)^0, x^2+x+Z(2)^0 ]
gap> Factors(x^8-x);
[ x, x+Z(2)^0, x^3+x+Z(2)^0, x^3+x^2+Z(2)^0 ]
gap> Factors(x^16-x);
[ x, x+Z(2)^0, x^2+x+Z(2)^0, x^4+x+Z(2)^0, x^4+x^3+Z(2)^0,
x^4+x^3+x^2+x+Z(2)^0 ]
gap>
18 The example is not a part of the lectures and it uses GAP [8].
19 Not every nite group is cyclic. For instance the non-abelian group S3 (see example
A.56) consists of 6 elements but it is not cyclic.
If we want to have a cyclic group it should be Abelian group in the case it can be
represented in the form of a cyclic group or a direct sum of cyclic groups accordingly The
fundamental theorem of nitely generated abelian groups (Theorem A.47) . Another
important requirement is that the orders of the cyclic group have to be coprime.
For example there are 2 groups of order 4: the cyclic one - Z/4Z and V4 - Klein four group
V4 = Z/2Z ⊕ Z/2Z is non-cyclic because the orders are not coprime: gcd(2, 2) = 2 6= 1.
(From the sta) But a product of two cyclic groups is again cyclic, if their orders are
coprime. For example, consider the element (1, 1) ∈ Z/2Z × Z/3Z. It's order is 6, so it
generates the whole group. Thus as it's mentioned Z/N Z is a cyclic group.
3.3. MULTIPLICATIVE GROUP AND AUTOMORPHISM GROUP OF A FINITE FIELD41
Proof. Idea is to compare G and the Cyclic group Z/N Z where N = |G|. 20
Let ψ (d) - is the number of elements of order d ( see also Order
P of element
in group) in G. We need ψ (N ) 6= 0 21 and we know that N = ψ (d).
Let also φ (d) - is the number of elements of order d ( see also Order of
element in group) in Z/N Z. 22 As Z/N Z contains a single (cyclic) subgroup
of order d for each d | N . 23 φ (d) is the number of generators of Z/dZ i.e.
the number of elements between 1 and d − 1 that are prime to d. We know
that φ (N ) 6= 0.
We claim that either ψ (d) = 0 or ψ (d) = φ (d) 24 If no element of order
d in G then ψ (d) = 0 otherwise if x ∈ G has order d then xd = 1 or x is a
root of the following polynomial xd − 1. The roots of the polynomial forms
a cyclic subgroup of G (by Cyclic group denition). So G as well as Z/N Z
has a single cyclic subgroup of order d (which is cyclic) or no such group at
all. 25
If ψ (d) 6= 0 then exists such a subgroup and ψ (d) is equal to the number
of generators of that group or φ (d) 26 In particular
P ψ (d) ≤P φ (d) 27 but there
should be equality because the sum of both ψ (d) = φ (d) = N . In
particular ψ (N ) 6= 0 and we proved the theorem.
29
Proof. We can take α = generator of K ×
φ : K (α) → K (β)
29 This is because from theorem 3.15 K × = hαi i.e. any element of K except 0 can be
got as a power of α. Moreover α ∈ / Fp (in other case we will got K = Fp ) i.e. we really got
K = Fp (α). α is an Algebraic element because we can consider 1, α, . . . , αn−1 as a basis
and αn can be represented via the basis. I.e. ∃P ∈ Fp [X] such that P (α) = 0. By lemma
1.16 there exists an irreducible polynomial Pmin (α, Fp ).
30 because
n n−1 n−1 n
(Fp ) (x) = (Fp ) (Fp (x)) = (Fp ) (xp ) = · · · = xp = x
31 because operates only with pm elements i.e. not of all elements of Fpn .
32 Each automorphism converts the root α into another one of n roots of the irreducible
polynomial
33 We have n dierent elements of cyclic group hF i. The generator of the group is an
p
automorphism and as result each of n elements is also an automorphism.
3.4. SEPARABLE ELEMENTS 43
Proposition 3.19. r
Q0 6= 0 i.e. gcd(Q, Q0 ) = 1
Let P (X) = Q X p and
r
then Q does not have multiple roots but all roots of P have multiplicity p .
r
Proof. If λ is a root of P then λ: P (X) = (X − λ)R Thus µ = λp is the
root of Q 36 as result Q(Y ) = (Y − λp )S(Y ) therefore
r
r r r r r
P (X) = X p − λp S X p = (X − λ)p S X p
pr .
34 Let P has multiply roots. As soon as it's irreducible a multiply root is in an extension
of K . In this case the root should be also a root for P 0 thus by lemma 1.16 (or theorem
A.89) one can get that P | P 0 in K [X] but that is impossible because deg P 0 < deg P and
can be only possible if P 0 = 0.
35 The example is not a part of the lectures.
36 Q (µ) = Q λpr = P (λ) = 0
37 This is because Q does not have multiply roots and as result µ = λpr is not a root of
r
S or in other words S X p X=λ 6= 0
44 CHAPTER 3. FINITE FIELDS. SEPARABILITY, PERFECT FIELDS
in general
HomK K (α) , K̄ = dsep Pmin (α, K)
because K̄ is also L̄ (Algebraic closure over L) thus for the total number of
homomorphisms one can get the following equations
[M : K]sep = HomK M, K̄ = HomK L, K̄ HomL M, K̄ =
HomK L, K̄ HomL M, L̄ = [M : L] [L : K]
sep sep
40
We have the following inequality
[E : K]sep ≤ [E : K] . (3.1)
40The inequality can be proved by induction using the fact that it's true for K (α)
because from general case of proposition 3.25
HomK K (α) , K̄ = dsep Pmin (α, K) ≤ deg Pmin (α, K) = [K (α) : K]
Then let it was proved for E = K (α1 , . . . , αn−1 ) and we want to prove it for
K (α1 , . . . , αn−1 , αn ) = E (αn ). It's easy because Ē = K̄ and we can use the same
approach as for the rst induction step.
46 CHAPTER 3. FINITE FIELDS. SEPARABILITY, PERFECT FIELDS
47
but as soon as my eld is perfect then I can extract p-root of ai and do it
r
repeatedly. I.e. ∃bi ∈ K such that bpi = ai . Therefore
!p r
X pr pr
i X r
i p
X
P (X) = bi X = bi X = bi X i .
i i i
51 Corollary 3.16 says that there exists an irreducible polynomial of degree pr with x as
r
the root. Theorem A.89 says that the polynomial should divide our polynomial X p − a
as soon as they have the same root. The two polynomial have same degree and as result
they are the same (up to a constant). Therefore the considered polynomial is irreducible.
52 Because we found an irreducible polynomial that is not separable because has a root
of multiplicity pr
Chapter 4
Tensor product. Structure of
nite K-algebras
This is a digression on commutative algebra. We introduce and study the
notion of tensor product of modules over a ring. We prove a structure the-
orem for nite algebras over a eld (a version of the well-known "Chinese
remainder theorem").
49
50CHAPTER 4. TENSOR PRODUCT. STRUCTURE OF FINITE K-ALGEBRAS
f
M ×N P
φ f˜
M ⊗A N
The property
characterize the pair (φ, M ⊗ N ). Really if have another
pair φ, M ⊗ N like this one then by denition we have mutually inverse
homomorphisms of A-modules between them
Lemma 4.3 (About uniqueness of object dened by universal property).
2
If we have two objects(φ, M ⊗ N ) and φ, M ⊗ N which both satises
Universal property than there is an unique Isomorphism between them:
(φ, M ⊗ N ) ∼
= φ, M ⊗ N
M ⊗A N
The uniqueness does not mean existence and we should proof that such
object exists.
Lemma 4.4 (About tensor product existence). Tensor product dened via
Universal property exists
δm,n : M × N → A
such that
δm,n (m, n) = 1,
δm,n (m , n ) = 0 if (m, n) 6= (m0 , n0 )
0 0
Then E is a A-Free module with basis δm,n . Thus we have a map of sets
M × N → E such that (m, n) → δm,n which is not bilinear but we can make
it bilinear by means of changing E .
Let F ⊂ E a submodule generated by δm+m0 ,n − δm,n − δm0 ,n , δm,n+n0 −
δm,n − δm,n0 , δam,n − aδm,n , δm,an − aδm,n . 4
3 Another explanation is the following: thus if we x g and choose ḡ = g −1 we will get
g ◦ ḡ = idM ⊗A N that satised all requirements. The choice is nal because we don't have
a possibility to choose any other ḡ (it should be unique).
4 The basis is chosen to be a bilinear mod F , for instance δ
m+m0 ,n = δm,n + δm0 ,n
mod F
52CHAPTER 4. TENSOR PRODUCT. STRUCTURE OF FINITE K-ALGEBRAS
With the same approach one can get the following relations
M ⊗A N ∼
= N ⊗A M
(m, n) → m ⊗ n α
M ⊗A N
With the same construction we can also get the inverse map a−1 that
sends N ⊗A M to M ⊗A N :
(m, n) → m ⊗ n
M ×N M ⊗A N
(m, n) → n ⊗ m α−1
N ⊗A M
Also
Corollary 4.7.
A ⊗A M ∼
=M
A ⊗A M M
In the diagrams m ∈ M , as usual, and a ∈ A.
Proposition 4.8. Let M and N are Free modules with corresponding basises
e1 , e2 , . . . , en and 1 , 2 , . . . , m than M ⊗A N is also free module with basis
ei ⊗ j where 1 ≤ i ≤ n and 1 ≤ j ≤ m.
Lets dene fi0 ,j0 : M × N → A as a map that sends ( ai ei , bj j )
P P
Proof.
to ai0 bj0 . It's bilinear 8 so it factors through the tensor product f˜i0 ,j0 :
M ⊗A N → A. The map f˜i0 ,j0 sends ei0 ⊗ j0 to 1 and all others to 0. 9 So if
X
αij ei ⊗ j = 0
10
then applying f˜i0 ,j0 for all indices one can get that ∀i, j : αij = 0.
In particular for the Vector space the tensor product is dened in the
same way (as just proved in the proposition 4.8): the tensor product of 2
vector spaces with basises e1 , e2 , . . . , en and 1 , 2 , . . . , m is another vector
space with the following basis ei ⊗ j i.e. the denition does not take into
consideration the Universal property.
8 for example ( (ai + a0i )ei , bj j ) is sent to (aj0 + a0j0 )bj0 .
P P
9 Because fi0 ,j0 = f˜i0 ,j0 φ i.e.
X X
ai0 bj0 = fi0 ,j0 ai ei , bj j =
X X
= f˜i0 ,j0 φ ai ei , bj j =
X X X
= f˜i0 ,j0 ai ei ⊗ bj j = ai bj f˜i0 ,j0 (ei ⊗ j ).
i,j
(M1 ⊗A M2 ) ⊗A M3 ∼
= M1 ⊗A (M2 ⊗A M3 )
b · (b0 ⊗ m) = (b · b0 ) ⊗ m
Rn → Cn = C ⊗ Rn → R2n
n
X n
X n
X
x= ci ⊗ ri ei = ci ri 1C ⊗ ei = c0i 1C ⊗ ei ,
i=1 i=1 i=1
where ci , c0i = ci ri ∈ C, ri ∈ R. Thus we just got Cn . From other side we can write ci as
56CHAPTER 4. TENSOR PRODUCT. STRUCTURE OF FINITE K-ALGEBRAS
so there exists a linear map f˜i0 (homomorphism) such that fi0 = f˜i0 φ or
n
! n
!!
X X
fi 0 b, mi ei = f˜i0 φ b, mi ei
i=1 i=1
n
! n
!
X X
= f˜i0 b⊗ mi ei = bf˜i0 1B ⊗ mi ei = bmi0
i=1 i=1
i.e.
P it sends 1B ⊗ ei0 to 1 and all others 1B ⊗ ei to 0. Thus the following sum
αi 1B ⊗ ei is equal to 0 if and only if αi = 0 i.e. αi 1B ⊗ ei forms a basis.
15
I.e. the homomorphisms are the same or in other words the corresponding
groups of homomorphisms are isomorphic:
HomA (M, N ) ∼
= HomB (B ⊗A M, N )
B ⊗A M idB ⊗ g B ⊗A N
One can conclude, as soon as the diagram commutes
M g N
α µ
B ⊗A M idB ⊗ g B ⊗A N
β̄ : B ⊗A M → M/IM
i.e.
β̄ : A/I ⊗A M → M/IM
22
that sends ā ⊗ m to am
¯ Ones check again that this inverse to ᾱ.
Several examples:
Z/2Z⊗Z ∼
=Z/3Z /(2)·Z/3Z
23
but 2 is invertible: 2−1 = −1 mod 3 thus (2)Z/3Z = Z/3Z and as result
Z/2Z⊗Z ∼
=Z/3Z /Z/3Z = 0
19 1̄ = 1A + I
20 because ī = 0 mod I
21 the Base-change (Theorem 4.13) says that homomorphism of A-modules M → N
is isomorphic to homomorphism of B modules B ⊗A M → N . Using N = M/IM we can
get that B ⊗A M → M/IM is isomorphic (i.e. the same) to M → M/IM . We also can
get the same result just ignore B : B ⊗A M → M → M/IM .
22 For example β̄ (ᾱ (m̄)) = β̄ (1̄ ⊗ m) = 1 · m = m̄
23 I.e. there exist an invertible element 2−1 ∈ Z/3Z = F therefore 1
3 F3 ∈ 2 · F3 or
2 · F3 = F3 and as result (2) · F3 = F3 . I.e. (2) is not a Proper ideal in F3 because it is
equal to F3 .
4.4. EXAMPLES. TENSOR PRODUCT OF ALGEBRAS 59
B ⊗A A [X] ∼
= B [X]
B ⊗A A [X] /(P ) ∼
= B [X] /(P ),
(b ⊗ c) · (b0 ⊗ c0 ) = (b · b0 ) ⊗ (c · c0 ) (4.1)
α : A → B,
β : A → C,
φ : B −−−−−→ B ⊗A C,
b→b⊗1C
ψ : C −−−−−→ B ⊗A C
c→1B ⊗c
f : B ⊗A A [X] −−−P
−−−−→
i
B [X]
b→ bi X
f φ ψ
g
B C
α β
A
Thus if we have h then we can dene f = h · φ and g = h · ψ . And
conversely if I have f and g then I can dene h by the following rule:
h (b ⊗ c) = f (b) · g(c)
The main point for us is that the tensor product of the A-algebras is
itself an A-algebra by this very simple rule, component-wise multiplication
(see (4.1)).
Let consider next example. We will start with the following
C∼ = R [X]/ X 2 + 1
.
Another proof (not a part of the lecture) of the fact that C ⊗R C is not
a eld consider the following one
C ⊗R C ∼
=C[X] /(X 2 +1)
but the polynomial X 2 + 1 = (X + i) (X − i) is reducible in C [X] i.e. is not
a Maximal ideal (see theorem A.90) and with the theorem A.94 the quotient
by the polynomial is not a eld (see also claim 1.11).
4.5. RELATIVELY PRIME IDEALS. CHINESE REMAINDER THEOREM61
3. If I, J relatively prime then Ik and Jl are also relatively prime for any
l and k.
x = xi + xj ∈ IJ
i.e. I ∩ J ⊂ IJ .
thus ∀x ∈ A we have
x = 1A x = i1 i2 x + (j1 i2 + j2 i1 + j1 j2 ) x ∈ I1 I2 + J,
27
3. is obvious
i.e. π is surjective.
28
See First isomorphism (Theorem A.134) where G = A, H = A/I1 × · · · × A/In ,
φ = π and with lemma 4.19 (as soon as Ik pairwise relatively prime)
ker φ = ker π = I1 ∩ · · · ∩ In = I1 . . . In .
4.6. STRUCTURE OF FINITE ALGEBRAS OVER A FIELD. EXAMPLES63
Proof. Well, I shall prove only the rst part, the second part is just a conse-
quence of denitions. In fact, a factor over a prime ideal, a quotient over a
prime ideal is an integral domain, and a quotient over a maximal ideal is a
eld. 29 If you don't know this, please look it up in any book.
Lets prove the rst part. Integral domain means that there is no zero
divisors i.e. ∀a ∈ A 30 multiplication by a is Injection. A is nite dimen-
sional Vector space (see above) that implies that ×a is an Isomorphism, 31
in particular Surjection i.e. ∃b ∈ A such that b × a = 1 i.e. a is invertible
therefore A is eld.
3. A∼
= A/mn1 1 × · · · × A/mnr r for some n1 , . . . , nr .
A/m1 . . . mi ∼
= A/m1 × · · · × A/mi .
· · · ⊆ J k ⊆ · · · ⊆ J 2 ⊆ J.
and the sequence should stop somewhere 39 i.e. ∃n such that J n = J n+1 .
We claim that J n = 0 in the case. Indeed if not we have the following
basis of J n : e1 , . . . , es . And as soon as J n = JJ n we can write a vector
ei ∈ J n as a vector from J n multiplied on an object from J i.e.
X
ei = λij ej ,
It's possible over ring to nd a matrix M̃ such that M̃ M = det M · id,
40
i.e.
e1
..
det M · . = 0. (4.3)
es
But det M = 1 + λ where λ ∈ J . 41 Since J = m1 ∩ · · · ∩ mr then
∀i : λ ∈ mi so @i such that 1 + λ ∈ mi 42 thus 1 + λ is invertable 43
therefore e1 = · · · = es = 0 44
3. Using part 2 ∃n1 , . . . , nr such that mn1 1 . . . mnr r = 0 (for example we can
assume ni = n). Then by Chinese remainder (Theorem 4.20)
A∼
= A/mn1 1 × · · · × A/mnr r .
Remark 4.24. The ni s are not uniquely dened. For example (see also
example 5.1)
A =K[X] /(X 2 (X+1)3 ) .
We have 2 ideals there: m1 = (X) and m2 = (X + 1). We of course have
A∼
= A/m21 × A/m32
40 If M is a matrix over a eld we can consider the following 2 cases:
(a) det M = 0: we can assume that M̃ = 0
(b) det M 6= 0: at the case ∃M −1 and therefore M̃ = det M · M −1 will work.
For more common case we have to look at Adjugate matrix [60]
41 Because the det consists of the following items Q(1 − λ ) = 1 + (−1)s Q λ and
ii ii
λij . The sum of the items (det) consists of 1 and another sumP inQ
which all items are
Q
from J . Thus the second sum is an element of J i.e. det M = 1 + λij = 1 + λ.
42 We have that m is a Maximal ideal and therefore (by its denition) it is a Proper
i
ideal i.e. 1 ∈/ mi . From other side if 1 + λ ∈ mi then 1 + λ − λ ∈ mi as soon as λ ∈ mi .
I.e. we have a contradiction.
43 0 ∈ m thus if 1 + λ ∈/ mi then 1 + λ 6= 0.
i
44 Because det M = 1 + λ 6= 0
45 Because A = A/{0}. For example if I = {0} and x ∈ A then x̄ ∈ A/I if x̄ = x + I .
In our case x̄ = x + {0} = x i.e. ∀x ∈ A we have x ∈ A/{0}. (See also Quotient ring)
46 As soon as {m } - Maximal ideals and as result Prime ideals then with lemma 4.19
i
n
one can get that ∀i 6= j mni i is relatively prime with mj j .
66CHAPTER 4. TENSOR PRODUCT. STRUCTURE OF FINITE K-ALGEBRAS
And you see that those algebras are Cartesian products of elds. So all ni 's
may be taken equal to 1 48 . In other words, we don't have Nilpotent elements
in our algebra 49 . So, it is a reduced algebras. Reduced, by denition, is with-
out nilpotents. It's general phenomena because the presence of nilpotents is
due to the inseparability of extensions come from inseparable extensions.
47 (X)3 ⊂ (X)2 - this is true for any polynomial P (X) because if P (X) ∈ (X)3 then
P (X) = X 3 P 0 (X) = X 2 P̄ (X) ∈ (X)2 where P̄ (X) = XP 0 (X)
(X)2 ⊂ (X)3 is the more complex one and it does not true for any polynomial ring
2
but this is true for our A. Let P (X) ∈ (X) ⊂ K [X] then P (X) = X 2 P 0 (X) but
X 2 P 0 (X) ≡ 0 mod X 2 . From other side X 4 P 0 (X) ≡ 0 mod X 2 therefore
A = K [X] / (F )
A∼ k k
= K [X] / (P1 ) 1 × · · · × K [X] / (Pr ) r ,
1 See also remark 4.24 and theorem 4.23
67
68CHAPTER 5. STRUCTURE OF FINITE K-ALGEBRAS CONTINUED
2
where K [X] / (Pi )ki = A/mki i and mi = (Pi mod F ) - an ideal.
A∼
= A/mk11 × · · · × A/mkr r
5
∀i : ki = 1. Or if A is a product of elds.
Denition 5.4 (local). Ring A is called local if it has only one Maximal
∼
ideal i.e. A = A/mk .
C ⊗R C = C × C
2Using denition A.83 one can get that Pi ∈ K [X] corresponds to Pi mod F in
A = K [X] / (F ) therefore we have (Pi ) is a Maximal ideal for K [X] and
ki k
A/ (Pi ) = K [X] / (Pi mod F ) i .
K [X] / (F ) ∼
k k
= K [X] / (P1 ) 1 × · · · × K [X] / (Pr ) r .
or √ √
Q 2 ⊗Q Q (i) = Q i, 2
that is a eld and if we start producing similar examples then mostly they
are reduced. Well, why? Because in fact the presence of nilpotents has to do
with inseparability. The presence of nilpotents reects inseparability.
So let me give you one more example: tensor product of extensions which
is not reduced. Let K be a eld of characteristic p, for instance Fp . Consider
a eld of rational functions over K 8 : K (X). We will consider K (X) as
an extension of K (X p ) (or with new variable Y = X p - K (Y ). We will be
interested in K (X) ⊗K(Y ) K (X) where X is a pth root of Y so 9
where T is another variable. As result we have got a ring with nilpotents for
example T − X and of course the reason is that our extension K (X) is pure
inseparable extension (see denition 3.28) of K (Y ).
HomK (L, E) ∼
= HomE (L ⊗K E, E) .
Remark 5.5. 10
We have that A = L ⊗K E ∼
= E ⊗K L is a free E module
as soon as L is a free K module and with proposition 4.11 we have that
[A : E] < ∞ (as soon as [L : K] < ∞) and as result with theorem 4.23 one
can get that there are nitely many maximal ideals mi and
A∼
= A/mk11 × · · · × A/mkr r
A∼
= A/mk11 × · · · × A/mkr r
Reduced algebra Ared is dened by the following equation
11
We have that
Ared = A/η (A)
where η (A) is an Ideal of nilpotents in A.
It is clear that
[Ared : E] < [A : E] .
10 The remark is not a part of the lectures but it is important to understand the below
content.
11 i.e. nilpotents become zeros in the A
red .
12 It requires some clarication. Consider a homomorphism φ ∈ Hom (A, E). ∀x, y ∈
E
A, φ(xy) = φ(x)φ(y). Let x ∈ η (A) i.e. x is a nilpotent then x 6= 0A , xk = 0A . We have
0E = φ(xk ) = φ(x)k
i.e. φ(x) = 0E . Therefore all nilpotents go to zero and, instead of A (as the set the φ acts
on), we can consider Ared . As result, we will get that φ(0Ared ) = 0E and all other properties
of homomorphism are also hold, for instance ∀x̄, ȳ ∈ Ared : φ(x̄ + ȳ) = φ(x̄) + φ(ȳ). Really
x̄ = x + η(A), x̄ = x + η(A) and
as soon as φ(η(A)) = 0E .
5.2. SEPARABILITY AND BASE CHANGE 71
A/mi ∼
=E (5.1)
A∼
= A/m1 × · · · × A/mr
but Hom (A/mi , E) = {0} if [A/mi : E] > 1. This is because a eld homo-
morphism is always injective. A eld homomorphism a homomorphism of
elds which are extensions of E an E -homomorphism is injective. So you
cannot map an E -vector space of dimension greater than 1 into an E -vector
space of dimension 1.
Lets take E = K̄ then automatically we will get A/mi ∼ = E because an
algebraically closed eld does not have a non trivial nite extension.
So what have we had (see also example 5.9)?
A = L ⊗K K̄,
r
Y
Ared = K̄. (5.2)
i=1
The
following
14 one A = Ared is the same to r is maximal and equal to [L : K] =
A : K̄ . In the case
r = HomK̄ A, K̄ = HomK L, K̄
13 as it was mentioned above A = L ⊗K E is a nite E -algebra i.e. A is a E -extension.
The A/m is also E -algebra (see remark 4.22) i.e. also E -extension.
From other hand we consider Hom (A/mi , E) i.e. there is a homomorphism (injection)
from A/mi → E and as result A/mi ∼ = E . These arguments are also used in the text
below for the fact explanation.
14 It is because there are [L : K] = r roots of a polynomial and all the roots are in K̄ .
Each root αi forms a polynomial X − αi which creates an ideal mi = (X − αi ). We also
have L = K (α1 , . . . , αr ) and
A = L ⊗K K̄ ∼
= K̄ ⊗K L = K̄ ⊗K K (α1 , . . . , αr ) .
So this explains why seperability is the same thing as the absence of nilpo-
tents. So let me formulate it as a theorem.
Theorem 5.7. Let L is a nite extension over K then
φ : L ⊗K K̄ → K̄ n
which sends
φ (l ⊗ k) = (kφ1 (l) , . . . , kφn (l))
where φi are distinct homomorphisms from L to K̄ , is an isomorphism.
L ⊗K Ω ,→ L ⊗K Ω̄ = L ⊗K K̄.
There is a sub-ring and so one easily checks, that a sub-ring of a reduced
algebra is reduced and same for local.
15 If we have L = K (α) (see theorem 3.29) then there exists a minimal polynomial
Pmin (α, K) of degree r = [L : K]. The polynomial splits and has r roots: α1 , . . . , αr .
Thus we have r maximal ideals m1 = (X − α1 ) , . . . , mr = (X − αr ). For each maximal
ideal we have A/mi ∼= A (see claim 1.12) thus with theorem 4.23 and (5.1) we have
r
A∼
Y
= K̄
i=1
16 Qr
From (5.2), if A = Ared , one can get dimK̄ A = dimK̄ Ared = dimK̄ i=1 K̄ = r =
[L : K].
17 i.e. we can setup an Injection and structure preserving map f : L ⊗ Ω → L ⊗ Ω̄
K K
(see denition A.133)
5.2. SEPARABILITY AND BASE CHANGE 73
18
3. Leave as an excises
Remark 5.8. In general for modules M , N and P over a ring R not true
that if M ,→ N (M is a sub module of N ) then M ⊗R P ,→ N ⊗R P . But
this become the truth if R is a eld and as result M, N, P are Vector spaces.
So, for my eld extensions, I can say that if I have an extension and then I
take a base change, then it remains an extension, but you should not think
that the same thing is true for arbitrary modules over a ring.
Example
√ 5.9. 19
The example was taken from [5]. Consider extension
Q 2 over Q. Since
√
2 ∼= Q [X] / X 2 − 2
Q
that should hold for any ki and as result for any l. By theorem A.98 we can conclude that
∀k : ck = 0. As result we have the set {vi } as linear independent. The size of the set is
n = dim K̄ n i.e. {vi } is the K̄ basis of K̄ n .
19 The example is not a part of the lectures.
74CHAPTER 5. STRUCTURE OF FINITE K-ALGEBRAS CONTINUED
√
Q̄ [X] / X ± 2 ∼= Q̄
ei = (0, 0, . . . , 1, . . . , 0) ,
where ki ∈ K̄ .
23 we have the following equation
K̄ m ,→ K̄ n
5.4. EXAMPLES. NORMAL EXTENSIONS 75
Proof. And this is easy to see, of course, because if L and K are innite, then
L cannot be a union, a nite union of proper subextension. A vector space
over an innite eld is not a nite union of proper subspaces. For instance a
plane is not a nite union of lines. 24
If L and K are Finite elds, then we have already described this situation
completely. We have described all nite extensions and have seen that they
are generated by one element. 25
√ √ √ √ √ √ β2 − 1
2β = 2 2+ 3 =2+ 2 3= .
2
Therefore
√ β2 − 1
2=
2β
and
√ β2 − 1
3=β− .
2β
[K (x, y) : K (xp , y p )] = p2 .
2. L is Normal extension
32
3. All Homomorphisms from L to K̄ have the same image.
30 There is a set of polynomials (can be only one polynomial in the set) and the polyno-
mials not necessary to be irreducible.
Example Q/Q - is a normal extension because there
is a set of polynomials split in it : X − 1, X 2 − 1 . Note that any irreducible polynomial
(another denition below) that has a root in it also splits, for instance X − a, where a ∈ Q
is an irreducible, has a root a ∈ Q and splits in it. From other side an arbitrary polynomial
( for example X 3 − 1 ) can have a root in Q but does not necessary split in it.
31 Another good denition of a normal extension [22] can also be used. Normal extension
E/K is such algebraic extension in which every irreducible polynomial P (X) ∈ K [X] that
has a single root in E splits in E .
32 And the image is L as soon as id is also a Homomorphism
There are 2 sta's comments about the claim:
• You can't naturally identify L with a particular subeld of K (unless L is given as
a subeld of K a priori). But from the lecture 2.5 (see theorem About extension
of homomorphism (Theorem 2.17) ) we know, that there exists an embedding
L ,→ K since L is algebraic over K . And the theorem says that images of all such
embeddings are equal if L is normal over K .
• My previous answer was a little bit misleading. I meant, if you have an arbitrary
algebraic extension of K , there is no canonical embedding into K .
If we identify roots of polynomials which dene L with some elements of K (up to
a permutation for each polynomial), then the image is L itself.
As conclusion [1] (p. 54), we can say that if L is a splitting eld of a polynomial
P (just another denition of normal extension [1]) with roots α1 , α2 , . . . , αn , then L =
K (α1 , α2 , . . . , αn ) and as soon as the homomorphism φ permutes the roots of P (if L ⊂ K̄
or if we identify roots of polynomials which dene L with some elements of K ) :
φ (L) = φ (K (α1 , α2 , . . . , αn )) =
K (φ (α1 ) , φ (α2 ) , . . . φ (αn )) = K (α1 , α2 , . . . , αn ) = L
78CHAPTER 5. STRUCTURE OF FINITE K-ALGEBRAS CONTINUED
Proof. 1 implies 2: Take (Pi )i∈I = {Pmin (x, K) | x ∈ L} - the set of polyno-
mials (i.e. the family of polynomials). L will be a splitting eld of the set
(Pi )i∈I and therefore (by denition 5.15) L is normal.
2 implies 3: Let S = {roots of Pi , i ∈ I in L} and S 0 = roots of Pi , i ∈ I in K̄
33
then any homomorphism φ : L → K̄ sends S to S 0 , but S generates L over
K , so φ (S) determines φ (L) 34 .
3 implies 4: Let j, j 0 ∈ HomK L, K̄ (i.e. we took 2 homomorphisms)
then they send L isomorphically to its image L0 . So, these are isomorphisms
from L to L0 . So
L0
j0 j −1
L j −1 j 0 L
take j −1 · j 0 ∈ Aut (L/K) and it sends j to j 0 35 .
4 implies 1: I have this Transitive group action and I have to prove that
any minimal polynomial splits. Consider Pmin (x, K). α1 , . . . , αn - roots in
K̄ . Then I have map K (x) → K (αi ) that extends to ji : L −−−→ K̄ . This is
x→αi
by About extension of homomorphism (Theorem 2.17) . ∃θi ∈ Aut (L/K)
such that j1 θi = ji 36 thus αi ∈ j1 (L) 37 or all roots are in j1 (L) and the
polynomial Pmin x, K̄ splits over j1 (L) but this means that it splits over L
38
{s }. We have l =
0
lik si where lik ∈ K . For the homomorphism φ we have φ(l) =
Pi k k
lik s0 i i.e. the image φ(L) consists of elements of the following form: lik s0 i . For
P
any homomorphism we will have the same form for the image or in other words - any
homomorphism has the same image.
35 We have got that ∀j, j 0 ∈ Hom
K L, K̄ , ∃g ∈ Aut (L/K) such that g(j) = j , for
0
instance g = j j and
−1 0
g(j) ≡ jg = jj −1 j 0 = j 0 . (5.4)
|Aut (L/K)| ≤ [L : K] .
The rst inequality become equality if L is normal and the second one if L
is separable 42 , thus
|Aut (L/K)| ≤ [L : K]
and equality holds if L is both normal and separable i.e. if it's Galois exten-
sion.
3. If the group Aut (L/K) xes (see denition A.28) some element x ∈ /K
then x is pure inseparable (see denitions 3.23 and 3.24) i.e. Pmin (x, K)
has a single root x. Thus if L is Galois extension (i.e. is separable)
then the set of elements which are xed by the automorphisms of L
over K is just K itself: LAut(L/K) = K (see denition 5.20). 46
Denition 5.22 (Galois group). If L is Galois extension then Galois group
G = Gal (L/K) is the group of automorphisms Aut (L/K).
Thus we can write
LGal(L/K) = K. (5.5)
43 Ekaterina really said that but may be more better to say that φ extends to a map
from L to K̄ ???
44 Consider L ⊂ L ⊂ L ⊂ K̄ we have a homomorphism φ : L → L (our isomor-
1 2 1 1 2
phism) that accordingly theorem 2.17, can be extended to homomorphism L1 → K̄ and
the last one can be extended to φ˜1 : L → K̄ . We can also consider L2 ⊂ L1 ⊂ L ⊂ K̄ and
homomorphism φ2 : L2 → L1 that can extended (using the same approach) to φ˜2 : L → K̄ .
Both φ˜1,2 has the same image L as soon as L - normal extension (see theorem 5.17). Thus
we have an Automorphism.
45 In the case we have Transitive group action i.e. for any roots x, y we have an isomor-
phism of stem elds φ such that φ(x) = y (see proposition 2.2). This isomorphism extends
to an automorphism accordingly the prev. remark.
46 Another explanation is the following. Let x ∈ L \ K then g ∈ Aut (L/K) such that
g 6= id permutes roots of irreducible Pmin (x, K) and g(x) = x0 6= x. The only thing that
works for ∀g ∈ Aut (L/K) is K i.e. ∀k ∈ K and ∀g ∈ Aut (L/K) we have g(k) = k . This
is because Pmin (x, K) = X − k i.e. only one root possible.
5.6. ARTIN'S THEOREM 81
2. If |G| = n < ∞ then L : LG = n and G is a Galois group
Remark 5.24. Well notice, that acting with nite orbits and being nite
is not the same thing. So, a short remark before giving a proof: notice
that nite orbits does not mean niteness because it's typical for Galois
groups to act with nite orbits. If we have some G, which is Galois of L
over K : G = Gal (L/K), and x ∈ L, then x is a root of a polynomial of
some nite degree and it's splitting eld is nite over K , so, the orbit of x
is also nite because it's always sent to another root of the same polynomial
and so consists of roots of the Pmin (x, K). But of course the Galois group
itself Gal (L/K) can be innite when L is not nite over K . For instance, if
K = Fp and L = Fp . It is very easy to compute all the Galois groups, and
in fact we shall see shortly what is exactly this Galois group of L over K is
innite. 47
nite than it should be cyclic. Thus we can conclude that Gal F̄p /Fp is not nite
48 I.e. ∀g ∈ G : g (P (X)) = P (X)
49 x is a root of the following polynomial P (X) = Qk (X − x ), where x ∈ Orb(x).
i=1 i i
The polynomial has degree and G
deg P = |Orb(x)| ≤ n deg P min x, L ≤ deg P ≤ n
therefore L (x) : L ≤ n.
G G
50 because x, y are algebraic elements and using theorem 1.29 and proposition 1.21 we
can conclude that LG (x, y) is nite over L.
82CHAPTER 5. STRUCTURE OF FINITE K-ALGEBRAS CONTINUED
thus LG (x) = LG (z) so y ∈ LG (x) and since I can do this for any y ,
I eventually conclude that L = LG (x), and in particular, L : LG ≤
n. Well, now if this is strictly less than n , then L cannot have n
automorphisms over L G
but G ⊂ Aut L/L G
so this is a contradiction.
Therefore L : L = n and G = Aut L/L (see theorem 5.19).
G
G
Chapter 6
Galois correspondence and rst
examples
We state and prove the main theorem of these lectures: the Galois corre-
spondence. Then we start doing examples (low degree, discriminant, nite
elds, roots of unity).
83
84CHAPTER 6. GALOIS CORRESPONDENCE AND FIRST EXAMPLES
We also seen at last lecture the following denition (see denition 5.20):
LG = {x ∈ L | ∀g ∈ G : gx = x}
is a xed eld
LAut(L/K) = K
1Extensions with degree 2.
2Because a if we have 2 roots x1 , x2 ∈ L ⊃ K then there exists the following relation
x2 = k1 + k2 x1 where k1 , k2 ∈ K . I.e. if we know one root then the other is easy computed
and located in the same extension as the rst one.
6.2. THE GALOIS CORRESPONDENCE 85
This is because of the group of automorphisms was permuting the roots over
the minimal polynomial of x over K (see item 3 in remark 5.21).
We also have seen (see
theorem 5.23) that if G is nite the L is Galois
extension over L and L : L = |G|.
G G
F → Gal (L/F )
LH ← H
Proof. 1. Most work have been done before. What have we got by now?
4
LGal(L/F ) = F (see (5.5)). We also have H ⊂ Gal L/L H
. Artin
(Theorem 5.23) gives us L :
LH = |H| but with theorem 5.19 we also
3 The fact is explained at the end of the proof of the theorem and is used in the claim
8.16 validation.
4 Ekaterina called the fact obvious but let try to explain it. From (5.5) we have
Gal(L/LH )
thus it should also satisfy therefore H ⊂
H H
L = L ∀h ∈ H h ∈ Gal L/L
Gal L/L . H
86CHAPTER 6. GALOIS CORRESPONDENCE AND FIRST EXAMPLES
soon as the subset H has the same cardinality as the set Gal L/LH
itself.
This means that the maps that we have in the theorem : F → Gal (L/F )
and LH ← H are mutually inverse 5 and if a map is invertible then there
is a Bijection.
I.e. ∀F such that K ⊂ F ⊂ L we can construct H = Gal (L/F ) then we can construct
LH such that (by theorem 5.23) K ⊂ LH ⊂ L.
6 g ∈ Gal (L/K) operates on L ⊃ F .
7 We have the following fact: x ∈ F then also g(x) ∈ F i.e. g(F ) ⊂ F . For equality
g (F ) = F we have to proof that ∀g ∈ Gal (L/K) : F ⊂ g (F ). Really let g ∈ Gal (L/K)
then g −1 ∈ Gal (L/K) and g −1 (F ) ⊂ F therefore F = id(F ) = g g −1 (F ) ⊂ g(F ) i.e.
F ⊂ g(F ).
8 see also 2d remark 5.21 that says that if F is normal then Gal(L/F ) acts transitively
on the roots of any irreducible polynomial P ∈ F [X].
9 More clear explanation is below. We have to prove that F is normal and separable.
Normality: ∀Pmin (x, K) splits in F thus the theorem 5.17 gives us the required normality.
About separability. We have K ⊂ F ⊂ L. L is separable over K as soon as L is Galois
extension. Thus theorem 3.29 gives us F separability.
10 The map g −1 acts as follows g −1 : g(F ) → F i.e. h in ghg −1 operates on F only
g(F )
6.3. FIRST EXAMPLES (POLYNOMIALS OF DEGREE 2 AND 3) 87
This is a Surjection by theorem 2.17 11 and the kernel ker φ = Gal (L/F ) by
denition because the kernel consists of things which are identity on F .
Remark 6.8. If L over K is not nite then Galois correspondence is not
Bijection i.e. the maps which are in the theorem still make sense, but they
will not be mutually inverse bijections and we shall see an example (see
section 6.4.2 about it).
What can we say about the Gal (L/K). It consists of 2 elements and there
12
is only one cyclic group of 2 elements : Z/2Z. Therefore
Gal (L/K) ∼
= Z/2Z.
The elements of the group is identity and an element that exchanges the 2
√ √
roots i.e. permutes ∆ and − ∆.
therefore
ghg −1 g(F ) = ghF g −1 g(F ) = gg −1 g(F ) = id
If you see a cubic polynomial how will you decide is its Galois group is
cyclic or S3 ? This is determined by a discriminant of polynomial which is a
subject of next section (see example 6.13 and proposition 6.12).
14
this quantity is preserved only by even (and not by odd) permutations.
Proposition
√ 6.12. Let G = Gal (P ) - Galois group then G ⊂ An 15
if and
only if ∆ ∈ K.
Proof. Since if the Galois group is even then, this will be preserved by an
element of Galois group and so will be in K and conversely, if it is an element
of K , then it must be preserved by the Galois group, but we know it is
preserved only by even permutations.
14 You can see from denition A.50 and example A.51 that for even permutations each
insertion is equivalent to a root exchange. If the number of such exchange is even then we
can return the changed root of a discriminant to its original form with event steps. Each
step changes the sign and as result the even steps will not change the sign.
15 A is a group of even permutations
n
16 X 2 element can be always hidden via a variable change. Thus the polynomial can be
considered as a common case for cubic polynomials.
17 The below explanation was taken from [67]. The discriminant is a polynomial of
degree 6. p can be represented as a polynomial of degree 2. q = −X 3 − pX is a polynomial
of degree 3. The discriminant therefore can be represented as follows ∆ = ap3 + bq 2 where
a, b are numbers. Let p = −1, q = 0 then the polynomial X 3 − X has 3 roots: −1, 0, 1. It
is easy to compute discriminant ∆ = (0 + 1)2 (0 − 1)2 (1 + 1)2 = 4 therefore a = −4. For
the case p = 0, q = −1 we will get the polynomial X 3 − 1 with roots 1, ζ, ζ 2 . We also have
ζ2 + ζ + 1 = 0
therefore
2
(ζ − 1) = ζ 2 − 2ζ + 1 = −3ζ
and
2
(ζ + 1) = ζ 2 + 2ζ + 1 = ζ
thus
2 2 2
∆ = (ζ − 1) ζ2 − 1 ζ2 − ζ =
2 2 2 2 2
= (ζ − 1) (ζ − 1) (ζ + 1) ζ (ζ − 1) =
3
= (−3ζ) ζ 3 = −27.
As result b = −27.
18 See example A.56 about groups S and Alternating group A .
3 3
90CHAPTER 6. GALOIS CORRESPONDENCE AND FIRST EXAMPLES
What can we say about sub-extensions for the two cases? Let M is a
splitting eld of P over K then for the rst case there is no any sub-extension.
For the second case there are several sub-extensions (they are determined by
sub-groups of the Galois group: S3 for our case). Especially we have 3 sub-
19
extension of degree 3: K (x1 ), K (x2 ) and K (x3 ), xed by non-normal
20
sub-groups of order 2 - because M is degree 2 over K (x1,2,3 ). And we have
√
one quadratic sub-extension (of degree 2) xed by A3 ⊂ S3 this is K ∆ .
21
F̄hF
p
pi
= Fp
but
Gal F̄p /Fp =6 hFp i
19
because x1 , x2 , x3 are roots of a cubic polynomial
20
K (xi ) = M Gal(M/K(xi )) and Gal (M/K (xi )) has order 2, as soon as [M : K (xi )] = 2,
i.e. Gal (M/K (xi )) ∼ = Z/2Z - transposition of roots
21 The extension should be K (α) where α is a root of a quadratic polynomial and
√ √
α∈ /√K but α ∈ M . √ ∆ is a good choice for the sub-extension generator because ∆ ∈ /K
but ∆ ∈ M and ∆ - is a root of a quadratic polynomial i.e. it generates a quadratic
√ √ √
extension. In the case K ∆ = M Gal(M/K ( ∆)) = M A3 i.e. Gal M/K ∆ = A3 .
22 The group generated by one element F is denoted as hF i.
p p
23 It required some explanation. hFp i consists of powers of Frobenius map:
F n
Fp , Fp2 , . . . , Fpn , . . . , we also have that F̄p p = Fpn (This is because ∀x ∈ Fpn : Fpn (x) =
n
xp = x). Therefore
F̄hF
p
pi
= ∩n Fpn = Fp
6.4. DISCRIMINANT. DEGREE 3 (CONT'D). FINITE FIELDS 91
26 n+1
For example consider Fp2 and let x ∈ x ∈ Fp2n . We have
n+1 n n n
Fp2 (x) = Fp2 ·2 (x) = Fp2 +2 (x) =
n
n
n
n n n
= Fp2 Fp2 (x) = Fp2 x2 = Fp2 (x) = x2 = x.
27 ??? We can say that φ maps L to L. If equation (6.2) holds for an arbitrary large N
(i.e. informally Fp2N very close to L) then it also holds ∀n < N because (6.1)
28 i.e. φ ∈
/ hFp i
29 Using (6.2) informally one can get
n
φ = φ|L = lim φ|F n
= lim F an = F 1+2+4+···+2 +...
n→∞ p2 n→∞
92CHAPTER 6. GALOIS CORRESPONDENCE AND FIRST EXAMPLES
X2 − 1
Φ2 = =X +1
X −1
X3 − 1
Φ3 = = X2 + X + 1
X −1
X4 − 1
Φ4 = = X2 + 1
(X − 1) (X + 1)
Φ5 = X 4 + X 3 + X 2 + 1
gap> x:=Indeterminate(Rationals,"x");;
gap> zeta:=E(7);;
gap> MinimalPolynomial(Rationals, zeta);
x^6+x^5+x^4+x^3+x^2+x+1
gap>
gap> x:=Indeterminate(Rationals,"x");;
gap> CyclotomicPolynomial(Rationals,7);
x^6+x^5+x^4+x^3+x^2+x+1
Proposition 6.18.
Q
1. Pn = d|n Φd
we can get
Xn − 1
Φn = Q
d|n,d6=n Φd
using the fact that d|n,d6=n Φd has integer coecients (by induction hypothe-
Q
sis) we can conclude that Φn has coecients in Q. Then using Gauss (Equa-
tion 1.34) we can conclude that Φn ∈ Z [X].
Finally using
Y
Pn = X n − 1 = P n mod p = (Φd mod p)
d|n
one can conclude that if charK = p then Φn is the reduction mod p of the
n-th cyclotomic polynomial over Z.
Proof. We have to prove that all Primitive roots of unity have the same
minimal polynomial over Q. It must be Φn by degree reason.
Let x one primitive root ζ and all others have the form ζ a where a is
prime to n: (a, n) = 1. 35 If we can show these for a prime then we can also
35 as it was mentioned at the section 6.5.
6.6. IRREDUCIBILITY OF CYCLOTOMIC POLYNOMIAL.THE GALOIS GROUP95
36
show this for all a. Thus we may assume that a is a prime number l and
suppose
Pmin (ζ, Q) 6= Pmin ζ l , Q .
Remark 6.20. Statements of theorem 6.19 are not true if char(K) > 0. I.e.
over Fp Φn is not always irreducible.
For instance Φ8 = X 4 + 1 is reducible over Fp for any p. For instance
p = 2 39 In fact it splits in Fp2 . This is because if p is odd then 8 | p2 − 1 so
the Multiplicative group F× p2 contains a cyclic subgroup of order 8 which is
exactly the group of 8 roots of unity.
The main theorem about cyclotomic extensions is the following
Proof. 1. All n-th roots of unity are powers of ζ so they are in K (ζ).
l
g l (X) = (an X n + · · · + a1 X + a0 ) =
ln
= an X + · · · + a1 X l + a0 + l · (. . . ) ≡ gl mod l
40
(Z/8Z)× = 4
1 ×
(Z/nZ) consists of elements which are invertible in Z/nZ. The numbers which are
prime to n are invertible.
97
98CHAPTER 7. GALOIS CORRESPONDENCE AND FIRST EXAMPLES. EXAMPLES C
(Z/8Z)× = {1, 3, 5, 7} .
2
So our Galois group also has 4 elements :
4
i.e. there is a quadratic extension.
Our Galois group has 3 subgroups of order 2 so we have 3 quadratic sub-
√
extensions. One o them we have already found (Q 2 ) lets nd 2 others.
5
√
Q (ζ8 )σ3 = Q ζ8 + ζ83 = Q i 2 .
2 There is a well known Klein four group V4 - the only non-cyclic group of order 4
(really there are 2 groups of order 4: the rst one is the Klein four group, the second one
is the cyclic group of order 4). We will also see the group when we will investigate the
solvability of group S4 at example 8.7.
3 First of all by the Galois correspondence (Theorem 6.7) for any normal sub-
group of the Galois group (V4 in our case) there exists a sub-extension that is xed by
the normal sub-group. For our V4 (see Klein four group) we have 3 normal subgroups:
{id, σ3 }, {id, σ5 }, {id, σ7 }. Lets consider the last one i.e. lets nd the extension that cor-
responds to {id, σ7 }. The extension has the following form (we are using triviality of id:
Lid = L)
{id,σ7 } σ
Q (ζ8 ) = Q (ζ8 ) 7
σ
To calculate Q (ζ8 ) 7 we have to nd a Primitive element (Example 5.13) ν such that
ν∈/ Q, ν ∈ Q (ζ8 ) and σ7 (ν) = ν (i.e. σ7 xes Q (ν)). Using the fact that ζ̄8 = ζ87 , it can
be easy to check that
σ7 ζ8 + ζ̄8 = σ7 ζ8 + ζ87 =
i.e. we can take ν = ζ8 + ζ̄8 as an element that generates the required extension.
4 In the expression we used the following fact
Q (ζ8 ) ∩ R = Q (Re (ζ8 )) = Q ζ8 + ζ̄8 .
7 8
that is a Cyclic group of order 4. It is generated by ζ5 → ζ52 and it has
only one Proper subgroup ∼
= Z/2Z (see theorem A.25) so our eld Q (ζ5 ) has
only one sub-eld dierent from Q of course and this going to be a real part
all of the complex conjugation which are part of Galois group. Now this is
2π
the same as the real part Q (ζ5 ) ∩ R = Q ζ5 + ζ̄5 = Q cos 5 .
d = min i | αi ∈ K . (7.1)
and
σ5 ζ8 · ζ85 = ζ85 · ζ825 = ζ85 · ζ83·8+1 = ζ85 · ζ8 .
8 Gal = hζ5 i and the group action on an element is just a multiplication by ζ5 i.e.
id → ζ5 , ζ5 → ζ52 , ζ52 → ζ53 , ζ53 → ζ54 , ζ54 → id
9 case char(K) = 0 is also included because it is used only one time to prove separability
(see note 11)
100CHAPTER 7. GALOIS CORRESPONDENCE AND FIRST EXAMPLES. EXAMPLES C
Proof. It's clear that K (α) is Galois because all the n-th roots of unity are
in K . So K (α) contains all roots of X n − a. 10 Therefore K (α) is a splitting
eld of X n − a thus it's normal. The extension is also separable because
(char(K), n) = 1. 11 Thus K (α) is Galois extension.
Lets dene a Homomorphism f : Gal (K (α) /K) −−−−→ µn . This is
g(α)
g→ α
g(α)
correct because g sends α to another root of X n − a thus the quotient α
is
a root of unity: 12 n
g (α)
= 1.
α
The homomorphism f is Injection because g (α) determines g . 13 What's
the image? It should be a Subgroup of a Cyclic group µn but the subgroup
should be also cyclic. 14 Letδ is the order of the image and we want to show
that δ = d. Consider g αδ = f (g)δ · αδ = αδ because f (g) is a root of 1
√
(f (g) = δ 1). 15 Thus αδ ∈ K ( see (5.5)). And αi ∈ / K for i < δ since
otherwise deg Pmin (α, K) = i < δ . But this is impossible because
We also have that ∀k1 6= k2 : αk1 6= αk2 because ζ k1 6= ζ k2 . Therefore we have n distinct
roots i.e. all roots are in K (α)
11 If P = X n − a then P 0 = nX n−1 6= 0 as soon as (char(K), n) = 1 and as result
n n
(Pn , Pn0 ) = 1 and Pn does not have multiple roots and therefore it is separable. As result
the extension K (α) is also separable.
The case char(K) = 0 is obvious because such extensions are always separable (see
section 3.4).
12 g n (α) − αn = g n (α) − a = 0
13 If we have g 6= g then g (α) 6= g (α) because in the case g (α) and g (α) are 2
1 2 1 2 1 2
dierent roots of X n − a. As result the homomorphism f is Injection.
14 see Fundamental theorem of cyclic groups (Theorem A.24)
15 Using g (α) g (α) = g (α · α) = g α2 :
δ g δ (α) g αδ
f (g) = = .
αδ αδ
Proposition 7.4. And conversely (to 7.3) for all cyclic extension of degree
√
n such that (char(K), n) = 1 is generated by n
a for some a ∈ K.
Denition 7.6 (Cyclic extension). The Galois extension is called cyclic ex-
tension if the corresponding Galois group is cyclic.
as soon as α is a root of X p − X − a.
23
Lets show that f (x) , f 2 (x) . . . , f p−1 (x) is linearly independent. For k ∈ K, x ∈ L we
can get
applying f p−1
one can get that k1 = 0, applying f p−2 gives us k2 = 0. Continue the way
we get that all ki = 0. That proves the linear independence. Therefore rg (f ) ≥ p − 1. The
vector y = f p−1 (x) , f p−1 (x) . . . , f p−1 (x) is not zero but f (y) = 0 therefore y ∈ ker f .
This means that dim ker f ≥ 1. Using Ranknullity theorem (Theorem A.115) one can
conclude that only possible choice there is dim ker f = 1 and rg (f ) = p − 1.
27 In F we have
p
p
(σ − id) = σ p − id = 0
as soon as hσi has order p.
28 see also denition A.104 and example A.105
29 As soon as f 6= 0 exists x ∈ L such that y = f p−1 (x) 6= 0 but f (y) = f p (x) = 0,
therefore y ∈ ker f . Using the fact that dim ker f = 1 (follows from rg(f ) =p − 1 and
Ranknullity theorem (Theorem A.115) ) and y ∈ Im f (y = f f p−2 (x) ) one can
conclude that the Kernel must be included into Image.
30 This is because 1 ∈ K but K ⊂ ker (f ) ⊂ Im (f ) therefore 1 ∈ Im (f ).
31 The remark is not a part of the lectures but it is important to understand the below
content.
104CHAPTER 7. GALOIS CORRESPONDENCE AND FIRST EXAMPLES. EXAMPLES C
L1 ⊗K L2
i.e.
dimL2 (L1 L2 ) ≤ dimK L1 = n.
K ,→ L1 ,→ L1 L2
34 From proposition 1.24) we know that Pmin (x, L2 ) is a divisor of Pmin (x, K). There-
fore if Pmin (x, K) does not have multiply roots then Pmin (x, L2 ) (its divisor) will also
have only non-multiply roots.
The inseparability is obvious because if the Pmin (x, K) has only one root the same will
be the truth for Pmin (x, L).
35 i.e. the polynomial splits in L if it splits in K ⊃ L
2 2
36 From Base-change (Theorem 4.13) one can get
HomK L1 , K̄ = HomL L2 ⊗K L1 , K̄
2
and
HomL
2
L2 ⊗K L1 , K̄ = [L2 ⊗K L1 : L2 ] = dimL2 (L1 ⊗K L2 )
37Using Ranknullity theorem (Theorem A.115) one can conclude that for j : L1 ⊗K
L2 → L1 L2 , dim Im j ≤ dim L1 ⊗K L2 (the equal sign is when dim ker j = 0).
106CHAPTER 7. GALOIS CORRESPONDENCE AND FIRST EXAMPLES. EXAMPLES C
and all properties except normality are preserved in the towers so follows
from property 7.10. 38
Normality is obvious because if L1 is a splitting eld of the family poly-
nomials {Pi }i∈I and L2 is a splitting eld of the family polynomials {Qj }j∈J
then L1 L2 is a splitting eld of the union of those families {Pi , Qj }i∈I,j∈J . So
normality is obviously preserved.
1. L1 ⊗K L2 is a eld
2. j is Injection
When L1 nite over K then all the statements are equivalent to [L1 L2 : L2 ] =
[L1 : K] or in other words [L1 L2 : K] = [L1 : K] [L2 : K] 39
Denition 7.13 (Linearly disjoint extensions). In the case L1 and L2 are
called linearly disjoint extensions
40
Proof. Equivalence 1 and 2 is clear because we have that L1 L2 = Im j .
38 From property 7.10 follows that if L1 is separable over K then L1 L2 is separable
over L2 . If L2 is separable over K then theorem 3.29 about separability says the L1 L2 is
separable over K as soon as K ⊂ L2 ⊂ L1 L2 .
About degrees: if n = [L1 : K] and m = [L2 : K] then from property 7.10 follows that
[L1 L2 : L2 ] ≤ n. Using theorem 1.27 [L1 L2 : K] = [L1 L2 : L2 ] [L2 : K] ≤ nm.
39 Using theorem 1.27 we have [L L : K] = [L L : L ] [L : K].
1 2 1 2 2 2
40 By the Universal property j is a Homomorphism, but by lemma About homomorphism
of elds (Lemma 1.6) the homomorphism is injection if L1 ⊗K L2 is a eld i.e. if the
homomorphism is a Field homomorphism.
If j is injection then from the fact L1 L2 = Im j we can conclude that for any x ∈
L1 ⊗K L2 such that x 6= 0 there exists y ∈ L1 ⊗K L2 such that j(x)j(y) = 1 as soon as
L1 L2 = K (L1 ∪ L2 ) is a eld (both L1 and L2 are algebraic). Therefore xy = 1 and for
any non zero element of L1 ⊗K L2 we can the the inverse one. This means that L1 ⊗K L2
is a eld.
7.5. LINEARLY DISJOINT EXTENSIONS. EXAMPLES 107
Example 7.14. First of all, the extensions which have relatively prime de-
grees are always linearly disjoint.
[L1 : K] = n, [L2 : K] = m and (m, n) = 1 then L1 and L2 are
I.e. if
linearly disjoint. Indeedm and n must divide [L1 L2 : K] ≤ mn. With our
conditions [L1 L2 : K] = mn but this is one of denition of linearly disjoint
43
extensions (see denition 7.13).
√5
√
In particular Q 2 and Q 5 1 are linearly disjoint extensions because
√ √
2 : Q = 5 and Q 5 1 : Q = 4. 44
5
the degrees are Q
√5 2πi
From the other side with 1 = e 5 the following extensions are not
√5
2πi √
linearly disjoint: Q 2 and Q e 5 · 5 2 . Indeed in both cases L1 L2 is a
splitting eld of X 5 − 2 and (for the rst case) [L1 L2 : Q] = 4 · 5 = 20. In
the second case both [L1,2 : Q] = 5 and 5 · 5 6= 20.
So, you see that the dierence is rather subtle. Well, the obvious reason
in the second case is that those extensions are generated by rules of the same
polynomial, but, still some eort is needed to formalize why this is not linearly
In the case if φ(g) = id then g|L1 = id and g|L2 = id or as it was mentioned in the lectures
g = id. This nishes the proof that φ is injective.
See also theorem A.136.
7.7. ON THE GALOIS GROUP OF THE COMPOSITE 109
So now lets nd the image of φ. If g (x) = x, ∀g ∈ Gal (L1 L2 /L2 ) then
x ∈ L2 by Galois correspondence (Theorem 6.7) . So if also x ∈ L1 then
it should be x ∈ K 0 = L1 ∩ L2 . So if L1 is nite over K then by Galois
correspondence (Theorem 6.7) we can conclude that Im φ = Gal (L1 /K 0 )
50
because the Fixed eld is K 0 .
In general 51 we have to nd nite sub-extension of L1 : let denote it as
L01 . We also have a nite Galois sub extension of L1 that contains L01 . We
denote this Galois sub-extension as L001 . 52
We have L001 and L2 are linearly disjoint over K 0 53 then it follows that L1
and L2 are also linearly disjoint over K 0 (see theorem 7.12 point 3).
Several additional comments about the Im φ. Let γ ∈ Gal (L1 /K 0 ) then
exists an element in Gal (L1 L2 /L2 ) which is sent by φ to γ . 54 We have
j : L1 ⊗K L2 ∼ = L1 L2 and we can take j · (γ ⊗ idL2 ) · j −1 - this will be the
element of the required Galois group. 55
50 In the lectures Ekaterina marked it as Im φ = Gal (L/K 0 ) but really we should have
L1 instead of L there.
51 not nite L over K
1
52 ??? The claim require a proof. Ekaterina provided only initial ideas about how the
proof can look like: You can take the union of all images of L01 by all automorphisms. And
this will be a nite union since L01 was nite, so there are nitely many possible roots of
minimal polynomials so there are not really many possibilities for the images of this L01 .
So I shall leave it as an exercise , but the solution is more or less what I just have told
you.
53 As soon as j is injection, the theorem 7.12 gives us that L00 and L are linearly disjoint
1 2
over K 0 .
54 The element exists if Im φ = Gal (L /K 0 ).
1
55 I.e. there is an element g ∈ Gal (L L /L ) such that φ(g) = γ . Let x ∈ L (but
1 2 2 1
x∈/ L2 i.e. x ∈ / K 0 because for such x and ∀g ∈ Gal (L1 L2 /L2 ) it will be g(x) = x as
well as γ(x) = x i.e. obviously the required property is satised) then, using equality
x = x · 1L2 , one can get
j −1 (x) = x ⊗ 1L2
and therefore
I.e. φ(g) = γ .
110CHAPTER 7. GALOIS CORRESPONDENCE AND FIRST EXAMPLES. EXAMPLES C
56
Proof. The rst part is very sure because the injectivity of this map
is clear: if something is trivial both on L1 and L2 , then it's trivial on
the composite, 58 so I only have to prove the surjectivity. I will use the
same trick as before: L1 ⊗K L2 ∼ =j L1 L2 then j · (g1 ⊗ g2 ) · j −1 goes to
59
(g1 , g2 ).
The second part. LG1 and LG2 are both Galois 60 because G1 and G2
are normal in the product (see property A.35): G1 , G2 / G1 × G2 . What
56 Gal (L1 /K)×Gal (L2 /K) is a Direct product of 2 groups Gal (L1 /K) and Gal (L2 /K).
57 i.e. LG1 and LG2 are linearly disjoint over LG1 ∩ LG2
58 If we take an arbitrary element g ∈ Gal (L L /K) and the image of the element
1 2
is: id|L1 , id|L2 ∈ Gal (L1 /K) × Gal (L2 /K) then the taken element is the identity too:
g = id. This proves the injectivity i.e. the proof is the same as in the note 49.
See also theorem A.136.
59 Let x ∈ L then using equality x = x · 1 , one can get
1 L2
j −1 (x) = x ⊗ 1L2
and therefore
j −1 (x) = 1L1 ⊗ x
and therefore
Q (ζn ) and Q (ζm ) are linearly disjoint. 65 It can be seen as follows: we can
apply proposition 7.16 to our Galois groups then Q (ζn , ζm ) = Q (ζnm ) but by
61
Lets dene the action of g = (g1 , g2 ) ∈ G1 × G2 on L1 L2 . By denition Composite
P (1) (2)
extension, any element of L1 L2 can be represented in the form x = ij li lj , where
(1) (2)
li ∈ L1 , lj ∈ L2 (see also Theorem 7.12 (statement 4)). Thus
(1) (2)
X
g(x) = (g1 , g2 )(x) = g1 li g2 lj .
ij
We also have
(1) (2)
X
g1 (x) = g1 li lj
ij
and
(1) (2)
X
g2 (x) = li g2 lj .
ij
(1,2)
I.e. li,j ∈ K . Or in other words ∀g ∈ G : g = (g1 , g2 ) we have
X
(1) (2) (1) (2)
X
g(x) = (g1 , g2 )(x) = g1 li g2 lj = li lj = x.
ij ij
Therefore G xes LG1 ∩ LG2 , but G = Gal (L/K) thus LG1 ∩ LG2 = K .
62 We can use theorem 7.15 as soon as LG1 and LG2 are both Galois (see theorem 6.7
point 2a).
63 We can consider L = Q (ζ ), L = Q (ζ ) and L L = Q (ζ , ζ ).
1 n 2 m 1 2 n m
64 LCM - least common multiple. For instance multiples for 4 are 4, 8, 12, . . . . Multiples
for 6 are 6, 12, 18, . . . . Thus LCM (4, 6) = 12.
65 See example 7.14 where we got if ([L : K] , [L : K]) = (n, m) = 1 then L and L
1 2 1 2
are linearly disjoint.
112CHAPTER 7. GALOIS CORRESPONDENCE AND FIRST EXAMPLES. EXAMPLES C
66
the Chinese remainder (Theorem 4.20)
(Z/nmZ)× ∼ × ×
= (Z/nZ) × (Z/mZ) .
Thus Gal (Q (ζnm )) = Gal (Q (ζn )) × Gal (Q (ζm )). So the linear disjoint is
just got from the proposition 7.16.
√ √ p3
√ p
5
√
α1 = 7, α2 = 11, α3 = 2 + 3 7, α4 = 4 + 5 11.
113
114CHAPTER 8. SOLVABILITY BY RADICALS, ABEL'S THEOREM. A FEW WORDS O
Proof. For the rst property (the proof is missing in the lectures): let L =
L1 L2 where L1 and L2 are solvable i.e. L1 = K (α1 , . . . , αn ) , L2 = K (β1 , . . . , βm )
with αi , βj which satises properties from denition 8.1. In the case we
can assume L = L1 L2 = K (L1 ∪ L2 ) = K (α1 , . . . , αn , β1 , . . . , βm ) and all
properties from denition 8.1 will also be satised. Therefore the composite
extension L = L1 L2 is also solvable.
For the second property: Indeed take a composite
1 of all images of L in
K̄ or, in other words, images of L by Gal K̄/K .
1 Lets prove by induction. For the rst step we have that K (α) is solvable therefore
∃d = min{j | αj ∈ K}. Let ζd is a root of unity i.e. root of X d − 1 then by proposition
7.3, the K (ζd , α) ⊃ K (α) is a Galois extension and it has a nite degree (≤ d · d).
Using induction hypothesis we have that if K (α1 , . . . , αi ) is solvable then there exists a
Galois extension of nite degree F = K (β1 , . . . , βk ) that is solvable and K (α1 , . . . , αi ) ⊂
F . By Galois correspondence (Theorem 6.7) (item 2b) we have that ∀g ∈ G =
Gal K̄/K :
g (F ) = F.
Lg = g (F (αi+1 )) = F (βg ) ,
2 As it was mentioned at [64] there is only one group of order 3. We also have (with
theorem A.41) that A3 is Abelian group
3 There is a well known Klein four group V - the only non-cyclic group of order 4. It
4
also denoted as K4 . We have already seen it at example 7.1.
4 i.e. theorem A.41 gives us that S /A is Abelian group
4 4
5 i.e. theorem A.41 gives us that A /K is Abelian group
4
116CHAPTER 8. SOLVABILITY BY RADICALS, ABEL'S THEOREM. A FEW WORDS O
6
Proof. Indeed Gi ∩ H gives a ltration with required property.
π : G → G/H (8.1)
7
then π (Gi ) gives a ltration (G/H)i on G/H with required properties.
6 We have Hi = Gi ∩ H and as soon as Gi / Gi−1 we also get Hi / Hi−1 . Really
∀h ∈ Hi−1 we have h ∈ Gi−1 ∩ H ⊂ Gi−1 . Thus, using normality (see denition A.13)
Gi / Gi−1 ,
hGi = Gi h.
The last equation also holds for any subset of Gi−1 and especially for Hi = Gi ∩ H ⊂ Gi .
I.e. ∀h ∈ Hi−1 : hHi = Hi h or in other words, Hi / Hi−1 .
We have that Gi−1 /Gi is an Abelian group and now we have to prove that the Quotient
group Hi−1 /Hi is abelian. ∀h0 ∈ Hi−1 /Hi , ∃hi−1 ∈ Hi−1 such that h0 = {hi−1 , Hi }.
From other hand hi−1 ∈ Gi−1 and Hi ⊂ Gi therefore we can associate with h0 the
g 0 = {hi−1 , Gi } ∈ Gi−1 /Gi . I.e. we just got an injection f : Hi−1 /Hi −−0−−→
0
Gi−1 /Gi .
h →g
Obviously we have ∀h0 , h00 ∈ Hi−1 /Hi the following relation
The following property is not a part of the lectures but it's required for
the property 8.12 proof
Proof. Accordingly theorem A.47) each nite Abelian group G can be repre-
sented as
G = K1 ⊕ K2 ⊕ · · · ⊕ Kn−1 ⊕ Kn ,
where Ki is a Cyclic group. If we denote
Gi = K1 ⊕ K2 ⊕ · · · ⊕ Ki
8 ∀ḡ ∈ Ḡ = G/H we can consider it as a set of elements: ḡ = {∀h ∈ H : hg} where
g ∈ G. If we combine then we will get the following: ∪g ḡ = G. We also have
Thus from Ḡi / Ḡi−1 one can get ∀ḡ ∈ Ḡi−1 : ḡ Ḡi = Ḡi ḡ or in other words (with Gi−1 =
∪ḡ∈Ḡi−1 ḡ ) ∀g ∈ Gi−1 we have the following
H / · · · / Gi / Gi−1 / · · · / G0 = G. (8.3)
If Ḡi−1 /Ḡi is abelian, i.e. ∀ā, b̄ ∈ Ḡi−1 : āb̄Ḡi = b̄āḠi , we can get the following ∀a, b ∈ Gi−1
(as soon as (8.2) gives us Gi = Gi H )
i.e. G is solvable.
118CHAPTER 8. SOLVABILITY BY RADICALS, ABEL'S THEOREM. A FEW WORDS O
{e} = G0 / G1 / · · · / Gn = G.
The gotten ltration has cyclic quotients because (see property A.36) Gi /Gi−1 =
Ki , where Ki is a cyclic group.
Proof. This is just because a nite Abelian group is just a product of cyclic
groups (see see The fundamental theorem of nitely generated abelian groups
(Theorem A.47) ). 9
Remark 8.14. Denitions of solvable group 8.13 and 8.5 are equivalent.
Proof. Our ltration with Commutator subgroups G ⊇ G(1) ⊇ · · · ⊇ G(n) =
{e} is a ltration with abelian quotient because G/ [G, G] as well as G(i) / G(i) , G(i) =
where K (j−1) /K (j) is cyclic. The Correspondence theorem (Theorem A.18) says us that
(j) (j) (j−1) (j−1) (j)
∀K (j) , ∃Gi ⊂ Gi−1 with the same properties i.e. Gi / Gi and Gi /Gi is cyclic.
As result we can complete each Gi / Gi−1 with
(n) (j) (j−1) (0)
Gi = Gi / · · · / Gi / Gi / · · · / Gi = Gi−1
From the other hand if G/H is an Abelian group then H ⊃ [G, G]. 11 So
if a nite ltration with abelian quotient exists then the ltration given by
G(i) is also nite. It must terminate after a nite steps. So, this proves the
equivalence.
Proof. It's easy to use denition 8.13. Main steps are the following
Really
c→d
d→b→c
(a, b, c)(b, c, d) = = (a, b)(c, d)
b→c→a
a→b
(b) The transpositions that have a same element produces a 3-cycle (see example A.62)
As soon as we have even number of transposition then we will always have a translation
to a product of 3-cycles for any product of transposition pairs.
120CHAPTER 8. SOLVABILITY BY RADICALS, ABEL'S THEOREM. A FEW WORDS O
15 Really if n ≥ 5 then for any 3 elements a, b, c (which form a 3-cycle (a, b, c)) exist
2 elements e, d such that all elements a, b, c, d, e are dierent. Using the (e, d)(e, d) = id
one can get that 2 double transpositions (a, b)(d, e) and (d, e)(b, c) generate the 3-cycle
(a, b, c):
(a, b)(d, e)(d, e)(b, c) = (a, b)(b, c) = (a, b, c).
I.e. any 3-cycle can be generated by 2 double transpositions. Therefore (see note 13)
the whole An is generated by the double transpositions.
Thanks Arnur Nigmetov for the hint.
8.3. GALOIS THEOREM ON SOLVABILITY BY RADICALS 121
G = G0 ⊃ G1 ⊃ · · · ⊃ Gr = {e}
M0 = M G0 = M G = M Gal(M/L) = L
and
Mr = M Gr = M {e} = M.
Thus by Galois correspondence (Theorem 6.7) , as soon as Gr / Gr−1 / · · · / G1 / G0 = G,
we have the following tower:
L = M0 ⊂ M1 ⊂ · · · ⊂ Mr−1 ⊂ Mr = M.
If we consider Mi ⊂ Mi+1 then we can get the following: Mi contains all n-th roots of
unity as soon as K (ζn ) = L ⊂ Mi ; Mi+1 is Galois extension over Mi with Galois group
Gi /Gi+1 (we have Gi = Gal (M/Mi ), Gi+1 = Gal (M/Mi+1 ) and therefore, by claim 8.16,
122CHAPTER 8. SOLVABILITY BY RADICALS, ABEL'S THEOREM. A FEW WORDS O
√
therefore Mi+1 = Mi ni ai (see proposition 7.4). So M = K (ζn , α1 , . . . , αr )
√
where αi = ni ai . Therefore M is solvable by radicals.
For another direction: if P is solvable then G is solvable. Let E is solvable
extension containing F . We may suppose (using property 8.4) that this is
Galois. Then write E = K (α1 , . . . , αr ) where αini ∈ K (α1 , . . . , αi−1 ). Then
let L = K (ζn ) where n = LCM ({ni }) so ∀ni : ni | n. And take M = LE .
We have K (α1 , . . . , αi−1 ) ,→ K (α1 , . . . , αi ) - cyclic extension of order ni .
We have Gal (M/L) is solvable by this cyclic subgroups. Gal (M/K) is also
solvable since
Gal (M/L) ⊂ Gal (M/K)
and the quotient (see claim 8.16)
Gal (M/K) ∼
= Gal (L/K)
Gal (M/L)
24 25
which is abelian. Gal (F/K) is a quotient of Gal (M/K) thus it is
solvable too. 26
Gi /Gi+1 = Gal (Mi+1 /Mi )) which is cyclic of order ni | n and as result Mi+1 will be also
be cyclic of the same order ni | n. Therefore Mi+1 is a Kummer extension (see section
7.2) over Mi ,
24 as result the property 8.10 gives us the solvability of Gal (M/K)
25 ??? subset
26 by the property 8.8
8.4. EXAMPLES OF EQUATIONS NOT SOLVABLE BY RADICALS."GENERAL EQUATION"123
In fact, the same argument is valid for Sp with every p - prime. I.e. applies
to an arbitrary prime number p instead of 5.
So Gal (P ) = S5 - not solvable and therefore P is not solvable by radicals.
Example 8.19 (General equation of degree n). What's the general equation.
It is the following
27(1, 2) = 1 → 2 → 1
28|Orb (x)| = 5 because there are 5 dierent roots that can be permuted by the Galois
group.
124CHAPTER 8. SOLVABILITY BY RADICALS, ABEL'S THEOREM. A FEW WORDS O
P P Q
i.e. T1 = Xi , T2 = i,j Xi Xj , . . . , Tn = i Xi .
i
One has K [T1 , . . . , Tn ] ⊂ K [X1 , . . . , Xn ] (multi-variable polynomial rings).
We have the same also for eld extensions: K (T1 , . . . , Tn ) ⊂ K (X1 , . . . , Xn ).
The K (X1 , . . . , Xn ) is algebraic and a splitting eld for our general polyno-
mial. So it has degree at most n!, i.e. [K (X1 , . . . , Xn ) : K] ≤ n! (see theorem
Sn 29
2.7). On the other hand K (T1 , . . . , Tn ) ⊂ K (X1 , . . . , Xn ) so degree of
30
the extension is n! and
In particular the Galois group is Sn and our general polynomial is not solvable
by radicals if n ≥ 5. This is known as Abel theorem
32
permutations:
ρreg (h) eg = ehg .
L ⊗K K̄ ∼
= K̄ n .
33 The embeddings are also noticed asthe set of homomorphisms HomK L, K̄ . And
n
K̄ n = i=1 K̄ where n = HomK L, K̄ (accordingly (5.2)).
Q
34 This is because the Galois group acts transitively on the set of homomorphisms from
L to K̄ (HomK L, K̄ ), see theorem 5.17.
35 We have L is a Galois extension i.e., via Primitive element (Theorem 5.11) , ∃α ∈ L
such that L = K (α), where α is a root of a polynomial Pmin (α, K) of degree [L : K] = n.
The consider the set of the following vectors in K̄ n :
where φj -distinct homomorphisms such that φj (α) = αj - is another root of Pmin (α, K).
The set is linearly independent:
n n n n
!
X X X X
i−1 i−1 i−1
ci ei = ci α1 , ci α2 , . . . , ci αn =
i=1 i=1 i=1 i=1
= (P (α1 ), P (α2 ), . . . , P (αn )) ,
Pn
where P (X) = i=1 ci X i−1 . It can have α1 , α2 , . . . , αn as roots only if all ci = 0 because
the minimal polynomial ∀αi has degree n > n − 1. As result {ei } are linearly independent.
If we put the vectors into a matrix as rows we can get
φ1 (1) φ2 (1) φ3 (1) ... φn (1)
φ1 (α) φ2 (α) φ3 (α) ... φn (α)
φ1 (α2 ) 2 2
φn (α2 )
A= φ2 (α ) φ3 (α ) ... .
.. .. .. .. ..
. . . . .
φ1 (αn−1 ) φ2 (αn−1 ) φ2 (αn−1 ) . . . φn (αn−1 )
The columns are also linearly independent (as rows) and therefore
L ⊗K K̄ ∼= K̄ n ∼
= R, where R is a Regular representation of G over K̄ . In
particular ∃x ∈ L ⊗K K̄ such that gx |g∈G forms a basis of L ⊗K K̄ over K̄ .
36
And, as result, the elements of G are linearly independent in the space of
Endomorphisms EndK̄ L ⊗K K̄ 37
g(vi ) = g 1, αi , . . . , αin−1 =
(l)
We have kij are predened (because {gl } and {ei } are predened) elements of L and
therefore Xi can only be changed.
We want {gj (x)} to be linearly independent set of elements from L. Therefore the
equation
c1 g1 (x) + . . . cn gn (x) = 0,
where ci ∈ K , should holds only for c1 = c2 = · · · = cn = 0. We also can write
! !
(1) (2)
X X X X
c1 Xi kij ej + c2 Xi kij ej + · · · +
j i j i
!
(n)
X X X
+cn Xi kij ej = 0ej = 0
j i j
(l)
X
gl (ei ⊗ 1K̄ ) = gl (ei ) ⊗ 1K̄ = kij ej ⊗ 1K̄
j
(l)
i.e. all kij are the same as in the (8.6) and as result the polynomial coecients will be
the same (i.e. the polynomial will be identically zero).
41 I.e. polynomial of the following polynomial ring P ∈ L [X , . . . , X ] can vanish at
1 n
every point only if it is identically zero P = 0.
42 Therefore it is impossible to have each k ∈ K as a root of the polynomial because in
the case the number of roots |K| = ∞ > deg P .
43 Let P
n ∈ Kn = K [X1 , X2 , . . . , Xn−1 , Xn ] and we proved the statement for
any Pn−1 ∈ Kn−1 = K [X1 , X2 , . . . , Xn−1 ] i.e. if ∀k1 , k2 , . . . , kn−1 ∈ K we have
Pn−1 (k1 , k2 , . . . , kn−1 ) = 0 then Pn−1 = 0K .
We want to proof that if Pn vanishes for any choice of k1 , . . . , kn ∈ K then it is identically
0. Consider Pn as a polynomial of single variable Xn with coecients from Kn−1 . If
the polynomial is 0 for every kn ∈ K then its coecients are 0. But by the induction
hypothesis they are identically 0 (as soon as they stays zero for any ki choice). Thus the
result polynomial is also identically zero: Pn = 0K
128CHAPTER 8. SOLVABILITY BY RADICALS, ABEL'S THEOREM. A FEW WORDS O
L ⊗K L ∼
= L ⊗K K [X] / (X − α1 ) · · · · · (X − αn ) ∼ =
∼ ∼
= L [X] / (X − α1 ) · · · · · (X − αn ) =
∼
= L [X] / (X − α1 ) × · · · × L [X] / (X − αn ) ∼ =
∼
= L × ··· × L
4 5
√
5
Q Q 2, j = K
5 4
√
5
Q 2
131
132CHAPTER 9. RING EXTENSIONS, NORMS AND TRACES, REDUCTION MODULO
From that we know we can conclude that it follows that our Galois group,
contains a normal cyclic subgroup of a order 5: Z/5Z. 1 And then the
quotient is the Galois group of cyclotomic extension 2 , so this is (Z/5Z)× .
So this is a group of order 20. 3 You can show that this is noncommutative,
and from this exact sequence, you have some information about it. But what
will we do if we don't know the roots. One of the tool that we will use is the
reduction of modulo prime and this will be the subject of the lecture.
Example 9.1 (Galois group). 4 Let investigate the Galois group Gal (K/Q)
via GAP:
gap> x:=Indeterminate(Rationals,"x");;
gap> n:=5;;
gap> i:=GaloisType(x^n-2);;
gap> g:=TransitiveGroup(n,i);;
gap> g;
F(5) = 5:4
gap> Order(g);
20
αn + an−1 αn−1 + · · · + a1 α + a0 = 0, ai ∈ A.
1
√ √
We have the following towers: Q ⊂ Q (j) ⊂ Q j, 5 2 = K , where Q (j) and Q j, 5 2
are Galois extensions. By Galois correspondence (Theorem 6.7) one can get that
√
Example 9.3. 1
2
is not integral element over Z but 2 is an Integral element
over Z.
This is because the polynomial in the denition 9.2 is monic i.e. the
leading coecient is 1.
1. α is integral over A.
2. A [α] is a nitely generated A-module (see denition A.106).
Thus
pn + qan pn−1 + q 2 an−1 pn−2 + · · · + q n−1 a1 p + q n a0
=0
qn
therefore q | pn 13 which is in contradiction with (p, q) = 1. As result we have
that q is invertible and therefore x ∈ A. 14
Thus dα ∈ OK .
The second part is also easy. If we have such α ∈ OK , it is a root of some
Monic polynomial Q ∈ Z [X]. Then the Pmin | Q. So Q = Pmin R. If we pick
Pmin to be monic, then by an argument very similar to that of the Gauss
(Equation 1.34) , we conclude that both Pmin , R ∈ Z [X]. 15
and
−an pn−1 − qan−1 pn−2 − · · · − q n−2 a1 p − q n−1 a0 ∈ A
14 q −1 ∈ A and x = pq = pq −1 ∈ A.
15 I.e. we can always write
Q = mnP1 R1
9.3. NORM AND TRACE 137
P¯1 R̄1 = Q̄ = 0
where Q̄ = Q mod p, P̄1 = P1 mod p, R̄1 = R1 mod p thus P̄1 or R̄1 are equal to 0.
Let R̄1 = 0 thus all coecients of R1 are divided by p i.e. R1 = Rp2 where R2 ∈ Z [X].
Therefore
mn
Q= P1 R2
p
Continue this way we can conclude that
Q = Ps R t ,
where Ps , Rt ∈ Z [X]. As soon as Q is monic then both Ps and Rt are monic. Using the
fact that Ps = zPmin where z ∈ Z we have Ps (α) = 0 and therefore we can conclude that
Ps is the minimal polynomial.
138CHAPTER 9. RING EXTENSIONS, NORMS AND TRACES, REDUCTION MODULO
σj = g −1 σk = g −1 gσi = σi
16 [14] p. 284 gives the following denitions for norm and trace in not separable case:
[E:K]i
Y
NE/K (α) = σi (α) ,
σi :E,→K̄
X
TrE/K (α) = [E : K]i σi (α) ,
σi :E,→K̄
20
5. α integral over Z. Then NE/Q (α) , TrE/Q (α) are integers.
21
Proof. The rst property is obvious from the denition.
19 Or in other words
NE/K (α) = NF/K NE/F (α)
and
TrE/K (α) = TrF/K TrE/F (α) .
Lets also note [7] that the following expression does not make sense:
TrE/F TrF/K (α)
because TrE/F : E → F and TrF/K : F → K (see remark 9.19). The same is valid for
Norm.
20 We have K = Q in the property.
21 Let α, β ∈ E then
Y
NE/K (αβ) = σi (αβ) =
σi :E,→K̄
Y
= σi (α) σi (β) = NE/K (α) NE/K (β) .
σi :E,→K̄
NE/K : E × → K ×
If we take a, b ∈ K, σ ∈ HomK E, K̄ then one can get that σ (aα) = aσ (α). This is
because a is xed under every embedding of E over K ([14] page 286), see also remark
9.16.
Therefore one can get
The second one uses the following fact: σi (α) are roots of Pmin (α, K).
The Norm is a product and it's assigned to its constant term (an ) and the
sum is the rst coecient term (a1 ) (see also example 8.19).
The third property is somewhat less trivial, so this follows from, the
fact that if τ1 , . . . , τk are K embeddings of F into K̄ and, µ1 , . . . , µs are
F embeddings of E into K̄ then the embedings of E into K̄ are just the
compositions {τj µi }. 22
For the 4th property. Indeed if x ∈ ker T , 23 that means TrE/K (xy) =
0, ∀y ∈ E (see denition A.120), but this can't be a case when xy ∈ K \ {0}
by denition 9.18 24 TrE/K (xy) = [E : K] xy . 25
For the 5th property we know that
TrE/Q (α) = TrQ(α)/Q TrE/Q(α) (α) =
= TrQ(α)/Q ([E : Q(α)] α) = [E : Q(α)] TrQ(α)/Q (α)
but TrQ(α)/Q (α) ∈ Z because TrQ(α)/Q (α) is a coecient of Pmin (α, Q) ∈
Z [X]. 26
Why such names are used? Consider the following map (multiplication
by a)
fa : E −−−→ E
x→ax
then the TrE/K (a) is exactly the trace of the linear map (i.e. sum of diag-
onal elements of the linear map matrix in a basis) and the NE/K (a) is the
determinant 27 . Now this fa is a a K -linear map. It's an Endomorphism of
a vector space E/K , and the TrE/K (a) is the trace of this endomorphism,
and the NE/K (a) is the determinant of this endomorphism.
22 We have K ⊂ F ⊂ K̄ , and (see remark 9.16):
(
τj : F → K̄ such that ∀k ∈ K : τj (k) = k,
µi : E → K̄ such that ∀f ∈ F : µi (f ) = f.
and
det (M ) = (−1)n an = NE/K (a) .
i.e. {ei } are not linearly independent. This is in contradiction with the initial conditions.
142CHAPTER 9. RING EXTENSIONS, NORMS AND TRACES, REDUCTION MODULO
Zn ⊕ A,
this is Non-degenerate bilinear form (see 4th property 9.20) therefore ∃v1 , . . . , vn
- Dual basis (Q-basis of K ) and we have the property that TrK/Q (ei vj ) = δij .
29
30
Xn
TrK/Q (αei ) = TrK/Q αj vj ei =
j=1
n
X n
X
= αj TrK/Q (vj ei ) = αj δij = αi
j=1 j=1
9.4. REDUCTION MODULO A PRIME 143
A/pA ∼
= A ⊗Z Z/pZ = A ⊗Z Fp
roots.
Now recall that z generates k1 (i.e. k1 = Fp (z)). Thus an element of
Gal (k1 /Fp ) is determined by the image of z . 49 And we have an element of
D1 which sends z to any possible image of it. But this means that D1
Gal (k1 /Fp )
For the second part of the theorem we assume that P̄ has no multiple
roots. So α1 , . . . , αn -roots of P and ᾱ1 , . . . , ᾱn -roots of P̄ where ᾱi = αi
mod J1 .
Lets g ∈ D1 acts as id on k1 . Then, of course, g (ᾱi ) = ᾱi . But g (αi ) ∈
{α1 , . . . , αn } and it can not be dierent from αi since they will have dieent
reduction mod J1 . So ∀i, g (αi ) = αi and therefore g = id. 50 Thus
conclusion that D1 ∼ = Gal (k1 /Fp ).
By the same argument 51
Gal (k1 /Fp [ᾱ1 , . . . , ᾱn ]) = id
therefore k1 = Fp [ᾱ1 , . . . , ᾱn ] i.e. k1 is a splitting eld.
group of nite elds and we conclude that this Galois group contains an n
cycle. This is because Gal P̄ is cyclic generated by n cycle (see corollary
3.17).
Sometimes, there is no such prime, but of course, a variant of this argu-
ment exists also in other cases. Suppose, for instance that P is irreducible
of degree 5 and that P̄ = R2 R3 where Ri is irreducible of degree i. Then the
same argument, gives that Gal (P ) contains the permutation (1, 2)(3, 4, 5).
53
And in this way one can construct elements of particular type in the
Galois group and use this to show that those groups are very large.
52
See theorem 9.22 there Di ∼ = Gal (ki /Fp )
53
The Gal (P ) contains a subgroup of 2-cycle (associated with the rst 2 roots) and a
subgroup of 3-cycle (associated with the last 3 roots).
Appendices
147
Appendix A
Course prerequisites
There are several prerequisites for the course there. They consists of deni-
tions, theorems and examples mostly taken from Wikipedia.
A.1 Sets
Denition A.1 (Class). A class is a collection of sets (or sometimes other
mathematical objects) that can be unambiguously dened by a property that
all its members share.
The elements of the disjoint union are ordered pairs (x, i). Here i serves as
an auxiliary index that indicates which Ai the element x came from.
Example A.3 (Disjoint union). Let [62] we have 2 sets A0 = {1, 2, 3} and
A1 = {1, 2}. We can construct the following sets of pairs
so
149
150 APPENDIX A. COURSE PREREQUISITES
A.2 Groups
Denition A.4 (Monoid). The set of elements M with dened binary op-
eration ◦ we will call as a monoid if the following conditions are satised.
1. Closure: ∀a, b ∈ M : a ◦ b ∈ M
2. Associativity: ∀a, b, c ∈ M : a ◦ (b ◦ c) = (a ◦ b) ◦ c
1. Closure: ∀a, b ∈ G: a ◦ b ∈ G
2. Associativity: ∀a, b, c ∈ G: a ◦ (b ◦ c) = (a ◦ b) ◦ c
Theorem A.8 (Lagrange). For any nite group G, the order (number of
elements) of every subgroup H of G divides the order of G.
Theorem A.9 (Finite group of prime order). Let G is a nite group of prime
order i.e. |G| = p, where p is prime number. Then G is a Cyclic group.
Proof. Let g ∈ G such that g 6= e then, by theorem A.8, we have |hgi| | |G|.
Thus |hgi| = p because |G| = p and p is a prime number. As result we have
G = hgi and therefore G is a cyclic group.
Denition A.10 (Subgroup). Let we have a Group (G, ◦). The subset
S ⊂ G is called as subgroup if (S, ◦) is a Group.
Hg = {hg|h ∈ H}
N / G ⇔ ∀n ∈ N, ∀g ∈ G, gng −1 ∈ N
G/N = {aN : a ∈ G}
[g, h] = g −1 h−1 gh
A.2. GROUPS 153
Theorem A.30 (Orbit-stabilizer theorem). If group G and the set the group
acting X are nite then
1. G1 ∼
= (G1 , 1G2 ) and G2 ∼
= (1G1 , G2 )
See [30].
G/G1 ∼
= G2
and
G/G2 ∼
= G1
π (a · b) = π ((a1 , a2 ) · (b1 , b2 )) =
= π ((a1 b1 , a2 b2 )) = a2 b2 = π (a) π (b)
As result π is a Homomorphism.
The π is also a Surjection because ∀a2 ∈ G2 ∃a ∈ G such that π(a) = a2 .
Really we can use a = (1G1 , a2 ).
Therefore by First isomorphism (Theorem A.134) one can get
G/ ker π ∼
= G2 ,
but ∀g1 ∈ G1 we have (g1 , 1G2 ) ∈ ker π . And conversely ∀k ∈ ker π we have
k = (k1 , k2 ) where k1 ∈ G1 and k2 = 1G2 . As result (see property A.35)
Therefore
G/G1 ∼
= G2 .
156 APPENDIX A. COURSE PREREQUISITES
Theorem A.40. Let G is an Abelian group and n = |G| the group order
(number of elements) then ∀g ∈ G the following statement holds
g n = e,
xy = g n g m = g n+m = g m g n = yx,
i.e. G is abelian.
Remark A.42 (Not every Abelian group is cyclic). The theorem statement
cannot be reversed i.e. there exist abelian group that are not cyclic. For
example well known Klein four group V4 that is an Abelian group but not
Cyclic group
A.2. GROUPS 157
Denition A.43 (Klein four group). The Klein four group V4 is a group of
1
order 4 The Cayley table for the group is on the table A.2 [65].
• V4 ∼
= Z/2Z ⊕ Z/2Z
• V4 ∼
= (Z/8Z) ∼
×
= (Z/12Z)
×
Denition A.45 (Direct sum). The direct sum of two abelian groups A and
B is another abelian group A ⊕ B consisting of the ordered pairs (a, b) where
a ∈ A and b ∈ B . [31] See also Direct product.
x = n1 x1 + · · · + ns xs (A.1)
n i x i = x i + . . . xi
| {z }
ni times
Zn ⊕ Zq1 ⊕ · · · ⊕ Zqt
1 there are only 2 groups of order 4: V4 and Z/4Z (the only cyclic group of order 4)
158 APPENDIX A. COURSE PREREQUISITES
where the rank n ≥ 0, and the numbers q1 , . . . , qt are powers of (not nec-
essarily distinct) prime numbers. In particular, G is nite if and only if
n = 0. The values of n, q1 , . . . , qt are (up to rearranging the indices) uniquely
determined by G. The statement was took from [38].
A.3 Permutations
Example A.49 (Permutation). The following permutation
1→2
2→5
π= 3→4
4→3
5→1
can be also written in dierent forms. The most common one is the following:
1 2 3 4 5
π= .
2 5 4 3 1
In the permutation we can see 2 cycles: 1 → 2 → 5 → 1 and 3 → 4 → 3. The
rst cycle can be written as (1, 2, 5) (or (5, 1, 2) or (2, 5, 1)) and the second
one as (3, 4) (or (4, 3)). The cycles gives us the shortest form of writing the
permutation:
π = (1, 2, 5)(3, 4) = (3, 4)(5, 1, 2).
If we have 2 permutations
1 2 3 4 5
π1 = .
3 1 5 2 4
and
1 2 3 4 5
π2 = .
2 5 4 3 1
then we can combine them into the new one (via a multiplication)
1→2→1
2→5→4
1 2 3 4 5
π = π1 π2 = 3 → 4 → 2 = = (1)(2, 4, 5, 3) = (2, 4, 5, 3)
1 4 2 5 3
4→3→5
5→1→3
A.3. PERMUTATIONS 159
such that ∀π : πe = eπ = π .
−1
For every π we can dene π such that ππ −1 = π −1 π = e.
For our example
1 2 3 4 5
π= = (1, 2, 5)(3, 4)
2 5 4 3 1
we have
−1 2 5 4 3 1 1 2 3 4 5
π = = = (1, 5, 2)(3, 4)
1 2 3 4 5 5 1 4 3 2
Example A.57 (S3 /A3 quotient group). Lets consider the following Quotient
group S3 /A3 . S3 can be divided into 2 classes
As we can see all elements of
each of them with size 3 = |A3 |: E = A3 = {e, σ, σ1 } and G = {τ, τ1 , τ2 }. If
A.3. PERMUTATIONS 161
1→2
(1, 2, 3) = 2 → 3
3→1
a→b
(a, c)(a, b) = b → a → c = (a, b, c)
c→a
162 APPENDIX A. COURSE PREREQUISITES
Example A.66 (Ring of integers Z). The set of integer numbers Z forms a
Ring under + and · operations i.e. addition ⊕ is + and multiplication is
·. Thus for integer numbers we have the following Ring: (Z, +, ·)
Denition A.67 (Multiplicative group). If R is a ring then the multiplica-
×
tive group (R) is a group of invertible elements of R with the dened mul-
tiplication operation.
A.4. RINGS AND FIELDS 163
A.4.2 Ideals
Denition A.69 (Ideal). Lets we have the Ring (R, ⊕, ). Subset I ⊂ R
will be an ideal if it satised the following conditions
1. (I, ⊕) is Subgroup of (R, ⊕)
2. ∀i ∈ I and ∀r ∈ R: i r ∈ I and r i ∈ I
Example A.70 (Ideal 2Z). Consider even numbers. They forms an Ideal
in Z. Because multiplication of any even number to any integer is an even.
The ideal's symbolic name is 2Z.
Example A.71 (Ring of integers modulo n: Z/nZ). Let n∈Z and n > 1.
Then nZ is an Ideal.
Two integer a, b ∈ Z are said to be congruent modulo n, written
a ≡ b( mod n)
if their dierence a−b is an integer multiple of n.
Thus we have a separation of set Z into subsets of numbers that are con-
gruent. Each subset has the following form
{r}n = r + nZ = {r + nk | k ∈ Z}
, thus
Z = {0}n ∪ {1}n ∪ · · · ∪ {n − 1}n .
Very often use the following notation
r̄ = {r}n .
We can dene the following operations
k̄ ⊕ ¯l = k + l
k̄ ¯l = k · l
The Ring where the objects are dened is called as Z/nZ.
164 APPENDIX A. COURSE PREREQUISITES
I = {r1 s1 + · · · + rn sn |n ∈ N, ri ∈ R, si ∈ S}
Denition A.73 (Principal ideal). The ideal that is generated by one el-
ement a is called as principal ideal and is denoted as (a) i.e. left principal
ideal: (a) = {ra | ∀r ∈ R} and right principal ideal: (a) = {ar | ∀r ∈ R}
Example A.77 (Maximal ideal). If F is a Field then the only maximal ideal
is {0} [48].
Lemma A.79 (nZ prime ideal). A positive integer n is a prime if and only
if nZ is a Prime ideal in Z [66]
Lemma A.80. All nonzero Prime ideals are maximal in a principal ideal
domain [48]
ā = {a} = a + I := {a + r : r ∈ I} .
This equivalence class is also sometimes written as a mod I and called the
"residue class of a modulo I" (see also example A.71).
The special + and · operations are dened as follows
∀x̄, ȳ ∈ R/I : x̄ + ȳ = (x + I) + (y + I) = (x + y) + I = x + y.
∀x̄, ȳ ∈ R/I : x̄ · ȳ = (x + I) · (y + I) = (x · y) + I = x · y.
As result we will get the following ring (R/I, +, ·) is called the quotient
ring of R by I .
See also Quotient group
f = (f0 , f1 , . . . ) , fi ∈ K, (A.2)
such that only nite number of elements of the sets are non zero.
We can dene addition and multiplication on B as follows
f + g = (f0 + g0 , f1 + g1 , . . . ) ,
f · g = h = (h0 , h1 , . . . ) , (A.3)
where X
hk = fi gj .
i+j=k
X = (0, 1, 0, . . . ) ,
X 2 = (0, 0, 1, . . . )
thus if we have
f = (f0 , f1 , f2 , . . . , fn , 0, . . . ) ,
where fn is the last non-zero element of (A.2), when one can get
f = f0 + f1 X + f2 X 2 + · · · + fn X n .
Denition A.84 (Polynomial ring). The Ring of sequences (A.2) with op-
erations dened by (A.3) is called as polynomial ring K [X].
Lemma A.85 (Bezout). Let a and b be nonzero integers and let d be their
greatest common divisor. Then there exist integers x and y such that
ax + by = d.
xn + an−1 xn−1 + · · · + a1 x + a0
A.4.4 Fields
Denition A.91 (Field). The ring (R, ⊕, ) is called as a eld if (R \ {0}, )
is an Abelian group.
The inverse element to a in (R \ {0}, ) is denoted as a−1
Example A.92 (Field Q). Note that Z is not a eld because not for every
integer number an inverse exists. But if we consider a set of fractions Q=
{a/b | a ∈ Z, b ∈ Z \ {0}} when it will be a eld.
The inverse element to a/b in (Q \ {0}, ·) will be b/a.
Theorem A.94 (About Quotient Ring and Maximal Ideal). Let (R, +, ·) is
a commutative Ring with additive identity 0R and multiplicative identity 1R .
Let I be an Ideal of R then I is Maximal ideal if and only if Quotient ring
R/I is a Field
A.4.5 Characters
Denition A.96 (Character). For an abelian group G, nite or innite, a
character of G is a group homomorphism φ : G → F × where F is a eld.
The denition was taken from [4]
c1 φ1 (g) + · · · + cn φn (g) = 0
1. r · (x + y) = r · x + r · y
2. (r + s) · x = r · x + s · x
3. (rs) · x = r · (s · x)
A.5. MODULES AND VECTOR SPACES 169
4. 1R · x = x
Example A.100 (Module). If K is a Field then concepts of K-Vector space
and K -module are the same
(a) x + y = y + x
(b) (x + y) + z = x + (y + z)
(c) ∃0 ∈ V such that ∀x ∈ V : x + 0 = x
(d) ∀x ∈ V ∃ − x ∈ V such that x + (−x) = x − x = 0
(a) 1F · x = x
(b) ∀a, b ∈ F, x ∈ V : a · (b · x) = (ab) · x.
(c) ∀a, b ∈ F, x ∈ V : (a + b) · x = a · x + b · x
(d) ∀a ∈ F, x, y ∈ V : a · (x + y) = a · x + a · y
Im f = {w ∈ W : w = f (v), v ∈ V }
functionals). The dual space V ∗ itself becomes a vector space over F when
equipped with an addition and scalar multiplication satisfying:
(ϕ + ψ)(x) = ϕ(x) + ψ(x)
(aϕ)(x) = a (ϕ(x))
for all φ, ψ ∈ V ∗ , x ∈ V , and a ∈ F .
This is also named as algebraic dual space at [34].
Denition A.118 (Dual basis). If {ei } is a basis of V then exists a basis
{vj } of Dual space such that vj (ei ) = δij and is called as dual basis. [33]
Denition A.119 (Degenerate bilinear form). A degenerate bilinear form
f (x, y) on a vector space V is a bilinear form such that the map from V to
V ∗ (the Dual space of V ) given by v → (x → f (x, v)) is not an isomorphism
[29].
An equivalent denition when V is nite-dimensional is that it has a non-
trivial kernel: there exist some non-zero x ∈ V such that ∀y ∈ V f (x, y) = 0
2. φ (a × b) = φ (a) ⊗ φ (b)
Then φ : (F, +, ×) → (K, ⊕, ⊗) is a eld homomorphism.
Note that in the lectures we often refer the Field homomorphism as just
Homomorphism.
Denition A.130 (Isomorphism). If a map is Bijection as well as Homo-
morphism when it is called as isomorphism.
We use the following symbolic notation for isomorphism between X and
Y: X ∼
= Y.
Denition A.131 (Endomorphism). An endomorphism is a morphism (or
homomorphism) from a mathematical object to itself [35]
Denition A.132 (Automorphism). Automorphism is an isomorphism from
a mathematical object to itself.
Denition A.133 (Embedding). When some object X is said to be em-
bedded in another object Y , the embedding is given by some injective and
structure-preserving map f : X → Y . The precise meaning of "structure-
preserving" depends on the kind of mathematical structure of which X and
Y are instances.
The fact that a map f : X → Y is an embedding is often indicated by
the use of a "hooked arrow", thus: f : X ,→ Y . On the other hand, this
notation is sometimes reserved for inclusion maps.
Theorem A.134 (First isomorphism). Let G is a group and φ:G→H is
a surjective Homomorphism. Then if N = ker φ we have
H∼
= G/N
fAC fCB
Example A.139 (Euler's totient function). For example [36], the totatives
of n = 9 are the six numbers 1, 2, 4, 5, 7 and 8. They are all relatively
prime to 9, but the other three numbers in this range, 3, 6, and 9 are not,
because gcd (9, 3) =gcd (9, 6) = 3 and gcd (9, 9) = 9. Therefore, φ (9) = 6.
As another example, φ (1) = 1 since for n = 1 the only integer in the range
from 1 to n is 1 itself, and gcd (1, 1) = 1.
Index
K = F2 / (X 2 + X + 1) example, 20
example, 13 n-th cyclotomic polynomial, 93,
K embedding of E into the 94, 131
algebraic closure K̄ denition, 92
remark, 137 example, 92
K -algebra is not a eld n=5
example, 11 example, 99
K (α1 , . . . , αn ) n=8
denition, 19 example, 97
S1 group nZ prime ideal lemma
example, 160 declaration, 164
S2 group
Abelian group, 40, 115119,
example, 160
152154, 156, 157, 162,
S3 group
167, 168
example, 160
denition, 156
S3 /A3 quotient group Abelianization
example, 160 denition, 153
S3 /A3 quotient group example, About Algebraic closure theorem
152 declaration, 30
Sn group About eigenvalues of a
example, 159 diagonalizable linear map
Sn solvability theorem theorem
declaration, 119 declaration, 172
X − 2 over Q
3
About extension of
example, 29 homomorphism theorem,
C 77, 78
example, 16, 30 declaration, 32
Fpn About group homomorphism
remark, 36 theorem
Q extension declaration, 174
175
176 INDEX
denition, 12 reduced, 72
Prime ideal, 62, 64, 65, 144, 164 denition, 68
denition, 164 Regular representation, 124, 126
Primitive element denition, 124
example, 75 Relatively prime ideals
Primitive element example, 98 denition, 61
Primitive element theorem, 81, 82, Ring, 9, 12, 55, 56, 61, 68,
125, 144 162168
declaration, 74 denition, 162
Primitive roots of unity, 92, 94, Ring of integers
97, 101 denition, 136
denition, 92 Ring of integers Z
Principal ideal example, 162
denition, 164 Ring of integers modulo n: Z/nZ
Principal ideal domain, 15, 144 example, 163
denition, 164
Proper ideal, 31, 58, 65, 164 Separable closure
denition, 164 denition, 46
Proper subgroup, 99, 163 Separable degree, 44
denition, 151 denition, 44
Pure inseparable polynomial Separable element, 45, 46, 49
denition, 44 denition, 44
Separable extension, 45, 74, 79,
Quotient group, 115117, 153, 83, 138
160, 165 denition, 44
denition, 151 Separable polynomial, 44
example, 152 denition, 44
Quotient group theorem Set of invariants
declaration, 152 denition, 79
Quotient of the group action, 129 Simple group
denition, 154 denition, 151
Quotient ring, 32, 65, 167 Simple subgroup of an abelian
denition, 165 group theorem
declaration, 158
Rank, 103, 171 Solvable group
denition, 170 denition, 115, 118
Rank of free module Splitting eld, 28, 31, 37, 38, 42,
denition, 169 77, 83, 84, 121, 131, 143
Ranknullity theorem theorem, denition, 27
103, 105 Stabilizer subgroup, 123, 154
declaration, 171 denition, 154
182 INDEX
[10] Groupwiki. "general ane group: ga(1, 5)". 2017. [Online; ac-
cessed 15-March-2017]. https://groupprops.subwiki.org/w/index.
php?title=General_affine_group:GA(1,5)&oldid=45747.
183
184 BIBLIOGRAPHY
w/index.php?title=Subgroup_structure_of_symmetric_group:
S5&oldid=49180.
[47] Wikipedia. Local ring wikipedia, the free encyclopedia. 2016. [On-
line; accessed 23-April-2016]. https://en.wikipedia.org/w/index.
php?title=Local_ring&oldid=716779040.