Further Algebra Lectures Notes
Transcript of Further Algebra Lectures Notes
-
8/13/2019 Further Algebra Lectures Notes
1/89
Further Algebra
Catarina [email protected]
University of Hertfordshire
Semester A 2013/ 2014
1/106
-
8/13/2019 Further Algebra Lectures Notes
2/89
Useful Information
Program:1. Polynomials
2. Rings of polynomials
3. Groups
4. building up to
5. Galois theory
Assessment:Exam at the end of term 80% + Coursework 20%.
You need to pass at each component!
Coursework hand-in date: tbd, what coursework would you
like?
2/106
-
8/13/2019 Further Algebra Lectures Notes
3/89
What is this?
2x3
3x2 + x+ 5
What isx?
3/106
-
8/13/2019 Further Algebra Lectures Notes
4/89
Number theory revision
Givena,b Z we say thatadividesbor thatais adivisorofb,and writea|b, if there existsc Z s.t. b= ac.Example
3| 12, 5|0, 1| 1, 12|18, 0|2, 4|8
Ifa,b,d Z are s.t. d|aandd|bthend is acommon divisorofaandb.
Lemma
If d|a and d|b, and s, t Z, then d|(sa+ tb).
4/106
-
8/13/2019 Further Algebra Lectures Notes
5/89
1. IfuZ is s.t. u
|1 thenuis called aunit.
2. Ifa Z\{0}is not a unit we say that it is irreducibleiffa= bc implies that eitherborcis a unit.
3. Ifa Z\{0}is not a unit we say that it is primeiffa|bcimplies thata
|bora
|c(or both).
In 2) can bothb, cbe units?
Irreducibles and primes coincide in Z, but not in every number
system!
Greatest common divisor?
5/106
-
8/13/2019 Further Algebra Lectures Notes
6/89
Polynomials
Apolynomialinx, with rational coefficients, is an expression
f = a0 + a1x+ a2x2 + + amxm
for somem Z andai Q. Ifam= 0 thenmis called thedegreeof the polynomialf, deg f.
We might also call itf(x).
The set of all polynomials with coefficients in Q is denoted Q[x](Watch the square brackets!!!!!!)
We can define in a similar way Z[x],R[x], . . .
Example
6/106
-
8/13/2019 Further Algebra Lectures Notes
7/89
Addition
(a0 + a1x+ + amxm
) (b0 + b1x+ + bnxn
) =(a0 + b0) + (a1 + b1)x+ (a2 + b2)x2 +
Example
Multiplication
(a0 + a1x+ + amxm) (b0 + b1x+ + bnxn) =a
0b
0+ (a
0b
1+ a
1b
0)x+ (a
0b
2+ a
2b
0+ a
1b
1)x2 +
Example
7/106
-
8/13/2019 Further Algebra Lectures Notes
8/89
(Q[x],,) forms a ring, thering of rational polynomialsProof.
Exercise. What is the zero polynomial?
What is a ring?
Definition
A ring is an algebraic structure (R,+, ) with two binaryoperations, "addition" + and "multiplication", that satisfy
(R,+) is an abelian group,
(R, ) is a semigroup (is associative), a (b+ c) = a b+ a c
(b+ c) a= b a+ c a for alla,b, cR.
8/106
-
8/13/2019 Further Algebra Lectures Notes
9/89
Does the ring (Q[x],,) have an identity?What is it?
The idea is that (Q[x],,) shares a lot of properties withanother very important ring: (Z,+, ), the ring of integers.
Let 1 = 1 + 0x+ 0x2 + c
+ 0xn be theidentitypolynomial.
Theorem
Given a polynomial f Q[x] there exists a polynomial g Q[x]s.t. f
g= 1iff a0
= 0and ai= 0for all i>0.
Proof.
9/106
-
8/13/2019 Further Algebra Lectures Notes
10/89
Theorem
Q is isomorphic to a subring ofQ[x]
isomorphic? subring?
We will get to it, let us first see how similar Q[x] is to Z.
Definition
Givenf,g Q[x] we say thatfdividesg, and writef|g, if thereexistsh
Q[x] s.t. g= f
h. Iffdoes not dividegwe write
f|g.
We might dropf htofhif and when there is no confusion.
10/106
-
8/13/2019 Further Algebra Lectures Notes
11/89
Example
where we do long division
Definition
Iff
Q[x] is such thatf
|1 thenf is called aunit.
Example
The units in Q[x] are precisely the non-zeroconstant
polynomials.
follows from theorem on page 9
What are the units in Z[x]?
11/106
-
8/13/2019 Further Algebra Lectures Notes
12/89
Definition
Iff Q[x] is neither the zero polynomial, 0, nor a unit we saythat it isirreducibleif wheneverf = gh, withg,h Q[x], itfollows that eithergorhis a unit. A non-zero polynomial that is
not irreducible is calledreducible.
Example
12/106
-
8/13/2019 Further Algebra Lectures Notes
13/89
Definition
Iff Q[x] is neither 0 nor a unit we say that it isprimeifwhenever f|gh, withg,h Q[x], it follows thatf|gorf|h(orboth).
Irreducible polynomials, for our purposes, are exactly the prime
polynomials.
We will call them irreducible.
Remember that they do for Q[x] what the prime numbers do forZ.
13/106
-
8/13/2019 Further Algebra Lectures Notes
14/89
Which polynomials are irreducible?
All these notions can be naturally extended (from Q) to anycommutative ring with identityR, i.e. we can speak of
reducibility of a polynomial inR[x], whereRis a commutativering with 1.
Example
2x2 + 2 is irreducible in Q[x] and R[x], and reducible in Z[x]and C[x]
Why doesRneed to be commutative and have a 1? How does
this affect the polynomials?
14/106
-
8/13/2019 Further Algebra Lectures Notes
15/89
Theorem (Gauss)If F Z[x] is s.t. F = gh with g, h Q[x] then we can writeF = GH with G,H Z[x],deg G= deg g anddeg H= deg h.
Corollary
If f Z[x] is irreducible inZ[x] then it is irreducible inQ[x].
Proof.
15/106
-
8/13/2019 Further Algebra Lectures Notes
16/89
Theorem (Eisensteins Test)
Let f = a0 + a1x+ + anxn
Z
[x]. If there exists a primep Z s.t.1. p|aifor all i= 0, . . . , n 12. p|an3. p2
|a
0then f is irreducible inQ[x].
Proof.
Example
16/106
-
8/13/2019 Further Algebra Lectures Notes
17/89
Definition
A polynomiala0 + a1x+ + anxn is calledmonicifan= 1.
The following holds for any field K in place of Q:
Theorem (Unique Factorization of Polynomials)Let f Q[x] be non-zero. Then either f is a unit or it can beexpressed as a product of a unit and finitely many monic
irreducible polynomials. Moreover, this factorization is unique
up to the product by constants.
we get this by finding the "roots" of the polynomial
17/106
-
8/13/2019 Further Algebra Lectures Notes
18/89
Definition
A field is an algebraic structure (F,+, ) with two binaryoperations, "addition" + and "multiplication", that satisfy (F,+, ) is a ring, (F\{0}, ) is an abelian group.
Equivalently, a field is a commutative ring with identity whichcontains a multiplicative inverse for every nonzero element, e.g.
R,Q,C.
DefinitionLetKbe a field andf K[x]. An elementr K is arootoff inK iff(r) = 0.
18/106
-
8/13/2019 Further Algebra Lectures Notes
19/89
Lemma
IfK is non-zero, r is a root of f K[x] iff it is a root off .
Proof.
Example
Lemma
Let K be a field and f K[x]. An element r K is a root of f iff(x r)|f .
Proof.
19/106
-
8/13/2019 Further Algebra Lectures Notes
20/89
Lemma (The Rational root test)Let f = a0 + a1x+ + anxn Z[x] with f= 0. If r/s is a rootof f, with r, s Z, s= 0andgcd(r, s) = 1, then r|a0 and s|an.
Remark:Iff K[x] is s.t. deg f = 2,3, thenfis reducible inKiff it has a polynomial of degree 1 as a factor iff fhas a root in
K.
Example
20/106
-
8/13/2019 Further Algebra Lectures Notes
21/89
Definition
LetKbe a field andf K[x]. An elementr K is asimplerootoff if (x
r)
|f but (x
r)2
|f. We say thatris a root off of
multiplicitymif (t r)m|f but (t r)m+1 |f.
Lemma
Let K be a field and f K[x] s.t. f= 0. Then f has a finitenumber of roots in K. If these roots are r1, . . . , rtwith multiplicitym1, . . . ,mt, respectively, then
f = (x
r1)
m1 (x
r2)
m2 . . . (x
rt)
mtg,
where gK[x] has no roots in K . Conversely, iff = (x r1)m1 (x r2)m2 . . . (x rt)mtg,and g has no roots in K,then the roots of f in K are r1, . . . , rtwith multiplicitiesm1, . . . ,mt, respectively.
21/106
-
8/13/2019 Further Algebra Lectures Notes
22/89
Theorem
Let K be a field and f a non-zero polynomial in K[x].Thenumber of roots of f in K , with multiplicities, cannot exceed the
degree of f.
Proof.Immediate consequence of previous lemma.
ExampleWhat can we say of polynomials in Q of degree 3...
22/106
-
8/13/2019 Further Algebra Lectures Notes
23/89
Theorem (Fundamental Theorem of Algebra)
Let f C[x] be s.t. deg f 1. Then f has a root inC. It followsthat f factorises completely into
f = (x r1)m1 (x r2)m2 . . . (x rt)mt
with r1, . . . , rt C and m1 + + mt= deg f .
Example
Applying this to R[x] we get:
23/106
-
8/13/2019 Further Algebra Lectures Notes
24/89
Theorem
If f R[x] then f can be expressed as a product of polynomialsof degree at most2 inR[x].
Proof.
Corollary
An irreducible polynomial inR[x
]is either of degree1or2.
How to factorize it falls into the numerical analysis field...
24/106
-
8/13/2019 Further Algebra Lectures Notes
25/89
Definition
LetKbe a field and
f = a0 + a1x+ + an1xn1 + anxn K[x]
witha0, an= 0. Thereciprocalpolynomial offis the polynomial
g= an + an1x+ + a1xn1 + a0xn K[x].
LemmaA polynomial f[x] K[x] withdeg f>0and f(0) = 0, isirreducible in K iff its reciprocal is irreducible in K .
25/106
-
8/13/2019 Further Algebra Lectures Notes
26/89
break
26/106
-
8/13/2019 Further Algebra Lectures Notes
27/89
Groups
What you have already seen:
A group (G, ) is a setGtogether with a binary operation: G GGsatisfying...
subgroupHG order of an element and of a subgroup homomorphism of groups, kernel, image normal subgroup; quotient group first isomorphism theorem
27/106
-
8/13/2019 Further Algebra Lectures Notes
28/89
A groupGiscyclicif there existsgGs.t.
G= {1, g,g2, . . . ,gn1}
in this case we writeG= g, and we know that|g| = |G| = nisthe order ofg, i.e. gn = 1.
ExampleZ5 with addition mod 5, or as you might have called itC5.
In fact, for any g
G, thesubgroup generated byg is
g = {gk : k Z}.And, given any subsetSG, thesubgroup generated byS is
S = {sk11 sk22 . . . sknn : n N, si S, ki Z}.
28/106
-
8/13/2019 Further Algebra Lectures Notes
29/89
Definition
LetGbe a group andx, yG. Thecommutatorofxandy isthe element
[x, y] = x1y1xyG.
Lemma
We have xy= yx if and only if[x, y] = 1.
Proof.
29/106
-
8/13/2019 Further Algebra Lectures Notes
30/89
Definition
Thederived subgroupof the groupGis the subgroup
generated by the commutators,
G = [x, y] : x, yG.
Lemma
The group G is abelian iff G = {1}.
Proof.
Example
30/106
-
8/13/2019 Further Algebra Lectures Notes
31/89
Remember
TheoremIf G is a finite group with|G| = p, where p is a prime, then G isa cyclic group. Furthermore G= Zp.
Where Zpis an additive group, working under addition modulo
p.
The infinite cyclic group is (Z,+).
Cyclic groups are abelian, why is that?
Zn= Z/(nZ), remember cosets and factor groups?
31/106
Let G be a group and H K G Define the product of HK to be
-
8/13/2019 Further Algebra Lectures Notes
32/89
LetGbe a group andH,K G. Define the product ofHKto beHK = {hk : hH, k K}.
Proposition
Given H,K subgroups of the group G, we have HK G iffHK = KH.
Proof.
Proposition
Let G be a group and H,K G, with H,K finite. Then
|HK| = |H||K||H K| .
32/106
-
8/13/2019 Further Algebra Lectures Notes
33/89
TheoremA finite cyclic group, of order m, has a unique subgroup of order
q for every divisor q of m. Furthermore, that subgroup is cyclic.
Proof.
What can we say aboutC6, the cyclic group of order 6?
What about Z7?
33/106
Let (G ) be a group and g1 the inverse of g G For any
-
8/13/2019 Further Algebra Lectures Notes
34/89
Let (G, ) be a group, andg the inverse ofgG. For anyg, xG, the elementsgxg1 Gis theconjugateofxbyg.IfHis a subgroup ofG, then
gHg1 = {ghg1 : hH} Gis theconjugate subgroupofHbyg.
We say that a subgroupHofGis anormal subgroupif for all
gGwe havegHg1 H, or equivalentlygHg1 = H; and inthis case we writeHG.
Proposition
Let G be a group and H,K G. If H G or K G thenHK G.
Proof.
34/106
Th (S d I hi Th )
-
8/13/2019 Further Algebra Lectures Notes
35/89
Theorem (Second Isomorphism Theorem)
Let G be a group. Let HG and N G. Then H N H, and
HNN
= HH N.
Proof.
Theorem (Third Isomorphism Theorem)
Let G be a group, and let H,N G be s.t. N
H. Then
H/N G/N andG/N
H/N= G
H.
Proof. 35/106
-
8/13/2019 Further Algebra Lectures Notes
36/89
Definition
A groupGis calledsimpleif its only normal subgroups are{1}andG itself.
Example
Every cyclic group of prime order is simple.
permutation recall
Snis the group of all permutations on the elements{1, . . . , n},under composition a.k.a multiplication
36/106
-
8/13/2019 Further Algebra Lectures Notes
37/89
Theorem
Two permutations in Snare conjugate iff have the same cycle
structure.
Proof.
A permutation isevenif it can be written as a product of an
even number of transpositions (i.e. cycles of length two).
An=
{
Sn : is even
}is theAlternating groupof degreen.
Lemma
AnSnwith index|Sn: An| = 2, and order|An| = n!/2.
37/106
-
8/13/2019 Further Algebra Lectures Notes
38/89
Proposition
Given n>1, we have
Sn= (1 2), (1 2 n).
Proof.
Finite simple groups form the building blocks of finite groups,they have only recently been all classified. We look at a family
of them:
38/106
-
8/13/2019 Further Algebra Lectures Notes
39/89
Theorem
A5 is simple.
Proof.
Theorem
Anis simple for all n5.
What is going on withA4 andA3?
39/106
-
8/13/2019 Further Algebra Lectures Notes
40/89
Soluble groups were first studied by Galois while working on
the solution of equations by radicals
DefinitionA group issolvable(orsoluble) if it has a finite chain of
subgroups
{1}
= G0
G1
G2
Gn= G
satisfying the following for alli= 0, . . . , n 1: Gi Gi+1 and Gi+1/Gi is abelian.
Example
40/106
-
8/13/2019 Further Algebra Lectures Notes
41/89
Solubility is inherited by subgroups and preserved under
quotients.
Theorem
Let G be a group, let HG and N G. Then
1. if G is soluble then H is soluble;2. if G is soluble then G/N is soluble;
3. if N and G/N are soluble then G is soluble.
Proof.
41/106
-
8/13/2019 Further Algebra Lectures Notes
42/89
We can say that the groupGis anextensionof the groupAby
a groupB ifG/A= B. (Remark on the quotient by A!)
The class of Abelian groups is closed under taking subgroups
and quotients, but not under taking extensions, but the class of
soluble groups is also closed under taking extensions, one of
the reasons why they are important.
Theorem
A soluble group is simple iff it is cyclic of prime order.
Proof.
42/106
Theorem
-
8/13/2019 Further Algebra Lectures Notes
43/89
Theorem
The symmetric group Snis not soluble for n5.
Proof.
Reminder:
Definition
We say that two elements of a group a,bGareconjugateifthere existsgGs.t. a= g1bg.Conjugacy is an equivalence relation (check it as an exercise).
The conjugacy classes ofGareC1= {1},C2, . . . ,Cn, andbecause these form a partition we have
|G| = 1 + |C2| + + |Cn|.
43/106
-
8/13/2019 Further Algebra Lectures Notes
44/89
Definition
LetGbe a group andxG. Thecentralizerofx inGis thefollowing subgroup ofG
CG(x) = {gG: xg= gx}.
Can we check that it actually forms a subgroup.
Lemma
Let G be a group and xG. The number of elements in theconjugacy class of x is the index of C
G(x
)in G,
|G
:C
G(x
)|.
Proof.
44/106
Corollary
-
8/13/2019 Further Algebra Lectures Notes
45/89
Corollary
The number of elements in any conjugacy class of a finite
group G divides the order of G.
Definition
Thecentreof a groupGis the set of elements of Gthat
commute with every element
Z(G) = {xG: xg= gxfor allgG}.
LemmaZ(G) G
Proof.
45/106
-
8/13/2019 Further Algebra Lectures Notes
46/89
Definition
Letpbe a prime. A finite groupGis ap-groupif|
G|
= pk forsomek N.
Example
Theorem
If G is a p-group then it has non-trivial centre.
Proof.
46/106
Lemma
-
8/13/2019 Further Algebra Lectures Notes
47/89
If G is a finite p-group of order pn then G has a chain of normal
subgroups
G0 = {1} G1G2 Gn= G
s.t.|Gi| = pi for all i= 0, . . . , n.
Proof.
Corollary
Every finite p-group is soluble.
Proof.
47/106
-
8/13/2019 Further Algebra Lectures Notes
48/89
We will need the first part of the following result
Theorem (Sylows Theorem(s))
Let G be a finite group of order pnr where p is a prime that
does not divide r. Then
1. G has at least one subgroup of order pn;
2. all such subgroups are conjugate in G;
3. any p-subgroup of G is contained in one of order pn;
4. the number of subgroups of G of order pn leaves
remainder1on division by p.
Proof.
48/106
Definition
-
8/13/2019 Further Algebra Lectures Notes
49/89
Definition
LetGbe a group with|G| = pnr, wherepis a prime that doesnot divider. A subgroup ofGof orderpn is called aSylow
p-subgroup.
Theorem (Cauchy)
If a prime p divides the order of a finite group G, then G has asubgroup of order p.
Proof.
Example
49/106
-
8/13/2019 Further Algebra Lectures Notes
50/89
break
50/106
Rings
-
8/13/2019 Further Algebra Lectures Notes
51/89
g
AringR= (R,+, ) is a non-empty setRwith two binaryoperations + (addition) and(multiplication), with the followingproperties for alla,b, cR:
1. (a+ b) + c= a+ (b+ c), associative law for addition;
2. a+ b= b+ a, commutative law for addition;3. there exists 0Rs.t. a+ 0 = a, thezeroof the ring;4.a as.t. a+ (a) = 0, inverses for addition,negatives;5. (ab)c= a(bc), associative law for multiplication;
6. a(b+ c) = ab+ acand (a+ b)c= ac+ bc, distributivelaws.
51/106
-
8/13/2019 Further Algebra Lectures Notes
52/89
Acommutative ringRsatisfies the following extra property
ab= ba
for alla,bR. (We dropped the signfor multiplication)
A ringR is aring with unityif there exists 1R(the unityelement), 1= 0, s.t. for allaR
a1 = 1a= a.
Example
52/106
A commutative ring with identity, R, is called afieldif all
-
8/13/2019 Further Algebra Lectures Notes
53/89
non-zero elements have multiplicative inverses, i.e. for all a= 0inRthere existsa1 Rs.t. aa1 = 1.Definition
A subsetTof a field (K,+, ) is asubfieldif the following hold1. Tis closed with respect to + and2. (T,+,
) is a field.
Theorem
Let T be a non-empty subset of a field K. Then T is a subfield
of F iff T has at least two elements and the following hold
1. If a,bT then a+ b,abT .2. If aT thenaT and if a= 0then a1 T .
53/106
D fi iti
-
8/13/2019 Further Algebra Lectures Notes
54/89
Definition
LetRandSbe rings. A mappingf : RS is a(ring)homomorphismif for allx, y Rwe have
f(x+ y) = f(x) + f(y), f(xy) = f(x)f(y).
Example
The mappingf : Z Zn,f(x) = x( mod n) is ahomomorphism.
Example
The mappingf : Z Z,f(x) = 2xis not a homomorphism.
54/106
Example
-
8/13/2019 Further Algebra Lectures Notes
55/89
Example
For any two ringsRandS, the mappingf : RS,f(x) = 0(the zero ofS) is a homomorphism.
Theorem
Let R and S be rings with zero elements0Rand0Srespectively, and let f : RS be a homomorphism. Then
1. f(0R) = 0S;
2. f(a) = f(a) for all aR;3. f(R) is a subring of S.
Proof.
55/106
-
8/13/2019 Further Algebra Lectures Notes
56/89
Corollary
If f :
R
S is a homomorphism of rings and a,
b
R then
f(a b) = f(a) f(b).
If the ring homomorphismf : RSis one-one we call it amonomorphism, or anembedding. Iffis one-one and onto we
call it anisomorphismand we say thatRandSareisomorphic
and writeR= S.Example
An isomorphism fromRinto itself,f : RR, is called anautomorphism.
56/106
Theorem
-
8/13/2019 Further Algebra Lectures Notes
57/89
Znis a field iff n is prime.
Definition
LetFbe a field. Theprime subfieldofFis the intersection of all
subfields ofF.
Proposition
Let F be a field and H its prime subfield. Then H= Q orH= Zpfor some prime p.
LetFbe a field andH its prime subfield. IfH= Q we say thatF hascharacteristic0; ifH= Zpthen we say that F hascharacteristicp.
Alternative definition... 57/106
-
8/13/2019 Further Algebra Lectures Notes
58/89
Example
Q,R,C all have characteristic 0, and Zphas characteristicp.
We denote bycar(F) the characteristic of the field F.
Proposition
Let K be a subfield of the field F. Then the car(K) = car(F).
Proof.
It follows from the fact thatK andFhave the same prime
subfield.
58/106
Field extensions
-
8/13/2019 Further Algebra Lectures Notes
59/89
Take the polynomialsf(t) = t2 2,g(t) = t2 + 1 Q[t].
We know that neither of them has roots in Q, butf(t) has roots
2 R, andg(t) has rootsi C.
Hence, given a fieldFand a polynomialh(t) F[t] with noroots inF, it makes sense to look for a "bigger" fieldK whereh(t) has roots. And, it might be useful to find such a fieldK assmall as possible. This yields two questions:
givenh(t) F[t] can we find a fieldKcontainingF inwhichhhas at least oneroot;
and, can we find a fieldL, containingF, in whichhcan bedecomposed into linear factors, i.e. wherehhasallits
roots.
59/106
Example
-
8/13/2019 Further Algebra Lectures Notes
60/89
Example
IfFis a field s.t. Q F C then we know thath(t) F[t]always has roots in C, a field we already know well.
If this is not the case, we need to construct an abstract field
which containsF in whichhhas roots.
ClassicGalois Theorydeals with the first case, and thats what
we are sticking to!
He constructed a theory based on polynomials over thecomplex field, from a "modern" point of view this was
generalized to arbitrary fields. From a polynomial we obtain a
field extension related to it.
60/106
-
8/13/2019 Further Algebra Lectures Notes
61/89
Definition
IfK, Lare fields and : K
Lis a monomorphism, we say
thatL is anextensionofK, and write "L : K is a field extension".
This is equivalent to saying (up to isomorphism) thatK is a
subfield ofL, sinceK= (K), so we can also writeK L.
We can think ofLas a vector space overK, with respect to the"natural" operations:
addition as the addition in L: x+ yfor allx, yL; scalar multiplication as multiplication inL: kxfor allk K
and allxL.We can now use tools from linear algebra...
61/106
If L is a vector space there is a basis of L over K i e elements
-
8/13/2019 Further Algebra Lectures Notes
62/89
IfLis a vector space there is abasisofLoverK, i.e. elements
we need to add to Kto obtain the entire fieldL
Example
Definition
LetL : Kbe a field extension. Thedegreeof this extension isthe cardinality of the basis ofLoverK, i.e. the dimension ofL
considered as a vector space over K. We denote it [L : K]. If[L : K] is finite we say thatLis afinite extensionof K.
Example
62/106
Theorem
Let L K be a field e tension Then L K iff [L K ] 1
-
8/13/2019 Further Algebra Lectures Notes
63/89
Let L : K be a field extension. Then L = K iff[L : K] = 1.
Proof.
Reminding Lagranges Theorem, we have:
TheoremLet L : K and K : M be field extensions. Then
[M : L][L : K] = [M : K].
Proof.
Proof idea: if{a1, . . . , ar}is a linearly independent subset of MoverL (i.e. a basis), and{b1, . . . , bs}is a l.i. subset ofL overK,then aibj forms a l.i. subset of M over K . 63/106
Corollary
-
8/13/2019 Further Algebra Lectures Notes
64/89
Let K1, . . . ,Knbe fields, and suppose that Ki+1 : Ki is an
extension for i= 1, . . . , n 1. Then[Kn : K1] = [Kn: Kn1][Kn1: Kn2] [K2: K1].
Definition
LetFbe a field, and X L. We denote byXthesubfieldof Fgenerated by X, i.e. the smallest subfield of FcontainingX.
Example
Taking the usual addition and multiplication,1 = Q. So, Q isthe subfield of C generated by 1.
64/106
-
8/13/2019 Further Algebra Lectures Notes
65/89
Definition
LetKbe a subfield of the fieldF, and
F. We denote by
K() the subfieldK {}, i.e. the smallest subfield thatcontainsK and.
In fact, we have
K() ={M : Mis a subfield ofF, s.t.K M, M}.
Also, ifX F thenK(X) is the smallest subfield ofFcontainingbothK andX. And ifX = {x1, . . . , xn}we writeK(x1, . . . , xn).
Example
65/106
Definition
-
8/13/2019 Further Algebra Lectures Notes
66/89
LetL : Kbe a field extension, andL. We say that isalgebraic overK if there exists a non-zero polynomial
p(t) K[t] s.t. p() = 0. Otherwise we say thatistranscendental over K.
Example
Definition
LetL : Kbe a field extension. We say that Lis analgebraic
extensionofK if is algebraic overK for allL. Otherwisewe say thatLis atranscendental extensionof K.
Example
66/106
-
8/13/2019 Further Algebra Lectures Notes
67/89
Lemma
Let L : K be a finite field extension. Then L is algebraic over K .
Proof.
Definition
LetL : Kbe a field extension. We say that Lis asimple
extensionofK if there existsL. s.t. L = K().
67/106
-
8/13/2019 Further Algebra Lectures Notes
68/89
Example
Theorem
Let L : K and M : L be field extensions, and let
M. If isalgebraic over K , then it is also algebraic over L.
Proof.
68/106
Th
-
8/13/2019 Further Algebra Lectures Notes
69/89
Theorem
Let L : K be a field extension, and
L algebraic over K .
There exists a unique monic polynomial mK[t] of smallestdegree s.t. m() = 0. Furthermore,
m is irreducible over K , and
if f
K[t] is s.t. f() = 0then m divides f.
Proof.
The monic polynomialm, defined above, is called the
minimum polynomialof the element.
69/106
The following result gives the basis of the theory of finite
-
8/13/2019 Further Algebra Lectures Notes
70/89
extensions: allows us to calculate [K() : K]; show that thefinite simple extensionK() is unique (up to isomorphism);and, later, to calculate the corresponding Galois group.
Theorem
Let K() be a simple extension of the field K , where isalgebraic with minimum polynomial m over K . Then eachK() has auniqueexpression as = f(), where f K[t]is a polynomial with degree less than the degree of m.
In other words, if the degree of m is n, there existunique
ki K s.t. = kn1
n1 + + k1 + k01.
70/106
-
8/13/2019 Further Algebra Lectures Notes
71/89
CorollaryLet K() be a simple extension of the field K , where isalgebraic with minimum polynomial m over K . Assume that
m has degree n. Then{n1, n2, . . . , ,1}forms a basis forK() over K and so[K() : K] = n.
Proof.
Immediate consequence of the previous theorem.
71/106
Galois group
-
8/13/2019 Further Algebra Lectures Notes
72/89
Definition
LetKbe a subfield of the fieldL. An automorphism : LLis aK-automorphismofLif(k) = kfor allkK, i.e. actsas the identity inK.
Theorem
If L : K is a field extension then the set of all K -automorphismsof L forms a groups under composition of maps.
Proof.
72/106
Definition
-
8/13/2019 Further Algebra Lectures Notes
73/89
Definition
TheGalois group (L : K) of the extensionL : Kis the group ofallK-automorphisms ofL, under composition of maps.
Example
Example
Under certain conditions, there is a correspondence between
the subgroups of the Galois group ofL : Kand the subfieldsMs.t. K ML, which we will look into.
73/106
-
8/13/2019 Further Algebra Lectures Notes
74/89
What we are aiming towards
Theorem
A polynomial f with coefficients in a field K of characteristic
zero is soluble by radicals if and only if its Galois group is
soluble.
And then show thatf(t) = t5 8t+ 2 is not soluble by radicals.
For this we still need...
74/106
Splitting Fields
-
8/13/2019 Further Algebra Lectures Notes
75/89
Examplex2 + 2 extends Q to Q(i
(2))...
DefinitionLetKbe a field andfa polynomial ofK. We say thatf splits
overKif it can be written as a product of linear factors
f(t) = k(t
1)
(t
n)
wherek, 1, . . . , nK.
75/106
Definition
-
8/13/2019 Further Algebra Lectures Notes
76/89
Definition
LetKbe a field and
K[t]. We say thatT is asplitting field forfover the field K ifK is a subfield ofT and
1. fsplits overT;
2. IfKis a subfield ofT T andfsplits overT thenT = T.
Condition 2 is equivalent to saying that T = K(1, . . . , n),where1, . . . , nare the roots off inT.
We construct a splitting field by adjoining to Kthe roots off, we
already know how to do this for irreducible polynomials, so we
writefas a product of irreducibles and work on each factor
separately.
76/106
-
8/13/2019 Further Algebra Lectures Notes
77/89
We can now calculate the order of the corresponding Galois
group:
Corollary
If L : K is a finite separable normal extension of degree n, then
there are precisely n distinct K -automorphisms of L, so that|(L : K)| = n.
All our extensions will be separable and normal!
77/106
Solutions of equations by radicals
-
8/13/2019 Further Algebra Lectures Notes
78/89
Definition
An extensionL : K isradicalifL = L(1, . . . , m) where foreachi= 1, . . . ,mthere exists an integer ni s.t.
ni
i K(1, . . . , i1).The elementsiare said to form aradical sequenceforL : K
Example
78/106
Definition
-
8/13/2019 Further Algebra Lectures Notes
79/89
e t o
Letfbe a polynomial over a field Kof characteristic 0, and let
Tbe a splitting field for f overK. We say thatf issolvable by
radicalsif there exists a fieldMcontainingT s.t. M : K is aradical extension.
Zeros
Theorem
If K is a field of characteristic 0 and K
L
M where M : K is
a radical extension, then the Galois group of L : K is a solublegroup.
79/106
D fi iti
-
8/13/2019 Further Algebra Lectures Notes
80/89
Definition
Letfbe a polynomial over a field K, with a splitting fieldT overK. TheGalois group off overKis the Galois group (T : K).
Groups of permutations! Restating a seen theorem.
Theorem
Let f be a polynomial over a field K of characteristic 0. If f is
solvable by radicals then the Galois group of f over K is a
soluble group.
80/106
An insoluble quintic
-
8/13/2019 Further Algebra Lectures Notes
81/89
Lemma
Let p be a prime, and f an irreducible polynomial of degree p
overQ. Suppose that f has precisely 2 non-real zeros inC.
Then the Galois group of f overQ is the symmetric group Sp.
Theorem
The polynomial t5 6t+ 3overQ is not soluble by radicals.
Proof.
81/106
-
8/13/2019 Further Algebra Lectures Notes
82/89
"There are more ways of killing a quintic thanchoking it with radicals"
Ian Stewart inGalois Theory
82/106
Finite FieldsWhere we classify all finite fields
-
8/13/2019 Further Algebra Lectures Notes
83/89
Theorem
Let K be a field of characteristic p. Then, for all x, yK wehave
(x+ y)p = xp + yp and (x y)p = xp yp.
Proof.
83/106
Definition
Let K be a field The formal derivative of a polynomial
-
8/13/2019 Further Algebra Lectures Notes
84/89
LetKbe a field. Theformal derivativeof a polynomial
f = a0 + a1t+
+ antn
K[t] is
Df = a1 + 2a2t+ + nantn.
Theorem
Let K be a field and f K[t], and let T be a splitting field for fover K. Then the roots of f in L are all distinct if and only if f
and Df have no non-constant common factor.
Example
84/106
Theorem
1 L t K b fi it fi ld Th |K | n f i d
-
8/13/2019 Further Algebra Lectures Notes
85/89
1. Let K be a finite field. Then|K| = pn for some prime p andsome n N. Every element of K is a root of the polynomialtp
n t , and K is a splitting field of this polynomial over theprime subfieldZp.
2. Let p be a prime and let n N. There exists, up toisomorphism, exactly one field of order pn.
Proof.
WOW
Only fields of prime power order exist, and there is only one of
each!
85/106
LetGF(pn) be the finite field of orderpn, we call it the Galoisfield of orderpn.
-
8/13/2019 Further Algebra Lectures Notes
86/89
TheoremThe group of non-zero elements of the Galois field GF(pn) iscyclic.
Proof.
We constructGF(pn) by finding and irreducible polynomial f of
degreenin Zp[t], thenGF(pn
) = Zp[t]/f.
Example
86/106
-
8/13/2019 Further Algebra Lectures Notes
87/89
87/106
Notation
N is the set of natural numbers{1,2, 3, . . .}
-
8/13/2019 Further Algebra Lectures Notes
88/89
N0= N
{0
} Z is the set of integers Q is the set of rational numbers, i.e.{pq : p Z,q Z\{0}} R is the set of real numbers
R+ is the set of positive real numbers
R+0 = R+ {0} R is the set of negative real numbers R0 = R {0}
means "for all", e.g. "x R" means "for allxin the set ofreals"means "there exists some", e.g. "x R s.t." means "thereexists somexin the set of reals such that"
1 means "there exists a unique"
88/106
Greek alphabet
-
8/13/2019 Further Algebra Lectures Notes
89/89
alpha iota rhobeta kappa sigmagamma lambda taudelta mu upsilonepsilon nu phi
zeta xi chi eta oomicron psi theta pi omega
89/106