0 views

Uploaded by Allen

math 404

- Http
- Lautman Mathematics
- SOP_Guide
- Civil Engineering Quiz Bee Questions I
- Algebra 1 Syllabus (2013-2014)
- Work
- CD_U3_A4_ARLN
- solving systems of equations
- Probability 05-05-13
- Mathematical Puzzles
- Chapter 1–Fundamental Principles of Counting.pdf
- General Relativity Problem Set 1
- JM Bridging Ch7 E
- 700001741_Topper_8_116_2_3_Mathematics_2016_question_up201603141432_1457946145_9824
- Trip Distribution (1)
- CQF January 2014 Maths Primer Calculus Exercises
- Alg I Syllabus 2011
- notes slope and worksheet
- integration.doc
- 2013 JC2 H2 Maths Rev G Solutions Pure Maths I

You are on page 1of 2

We will assume on this handout that Ω is an algebraically closed field. This means that

every irreducible polynomial in Ω[x] is of degree 1. Suppose that F is a subfield of Ω and

that K is a finite extension of F contained in Ω. For example, we can take Ω = C, the field

of complex numbers.

Definition: We will say that “K is a normal extension of F ” if the following statement

is true:

(1) If σ is any embedding of K into Ω over F , then σ(K) = K.

Equivalent statements. The following statements are equivalent to (1).

(2) There exists a polynomial f (x) ∈ F [x] such that K is the splitting field for f (x) in Ω

over F .

(3) If β ∈ K, then the minimal polynomial p(x) for β over F factors as a product of linear

polynomials in K[x].

We will make the following assumptions in all of the propositions on this handout without

further mention.

Assumption A: The field F is either a field of characteristic zero or a finite field.

Assumption B: The field K is a finite, normal extension of F .

Remark about terminology. If assumption A is satisfied, then “normal extensions” of F

are also called “Galois extensions” of F . For such extensions, Aut(K/F ) is usually denoted

by Gal(K/F ).

Proposition 1: |Gal(K/F )| = [K : F ].

Proposition 2: Suppose that L is a normal extension of F contained in K. Consider the

map

ϕ : Gal(K/F ) −→ Gal(L/F )

defined by ϕ(σ) = σ|L for all σ ∈ Gal(K/F ). Then ϕ is a surjective group homomorphism

and Ker(ϕ) = Gal(K/L). Consequently, Gal(K/L) is a normal subgroup of Gal(K/F ) and

we have a group isomorphism

Gal(K/F ) Gal(K/L) ∼

= Gal(L/F ) .

Proposition 3: Suppose that L is a subfield of K containing F . Let G = Gal(K/F ) and

let H = Gal(K/L). Then H is a subgroup of G and

L = KH ,

where we define K H by K H = {a ∈ K σ(a) = a f or all σ ∈ H }.

L = K H . Then we have

H = Gal(K/L) .

Notation. We will let IK/F denote the set of fields L satisfying F ⊆ L ⊆ K. This is the set

of intermediate fields for the extension K/F . We will let SK/F denote the set of subgroups

H of the group G = Gal(K/F ).

correspondence between the sets IK/F and SK/F defined by the following maps Φ and Ψ:

If L ∈ IK/F , define Φ(L) = Gal(K/L).

If H ∈ SK/F , define Ψ(H) = K H .

The maps Φ and Ψ are inverses of each other.

Proposition 6: Suppose that L ∈ IK/F and H ∈ SK/F correspond to each other under

the maps defined in proposition 5. Then [K : L] = |H| and [L : F ] = [G : H].

respectively, under the maps defined in proposition 5. Then L1 ⊆ L2 if and only if H2 ⊆ H1 .

respectively, under the maps defined in proposition 5. Then L1 is isomorphic to L2 over F

if and only if H1 and H2 are conjugate in G.

Proposition 9: Suppose that L ∈ IK/F and H ∈ SK/F correspond to each other under

the maps defined in proposition 5. Then L is a normal extension of F if and only if H is a

normal subgroup of G.

- HttpUploaded byMarinela Jade Maneja
- Lautman MathematicsUploaded byKyle Fetter
- SOP_GuideUploaded byquioxx
- Civil Engineering Quiz Bee Questions IUploaded byGerald Ordoñez Delos Reyes
- Algebra 1 Syllabus (2013-2014)Uploaded bymeredithsheffield
- WorkUploaded byisrar israr
- CD_U3_A4_ARLNUploaded byVanessa Leal Soria
- solving systems of equationsUploaded byMiguel Rangel
- Probability 05-05-13Uploaded byKennedy Roallos
- Mathematical PuzzlesUploaded byVipul Jain
- Chapter 1–Fundamental Principles of Counting.pdfUploaded byrohillaugcnet4cs
- General Relativity Problem Set 1Uploaded byAaron Hillman
- JM Bridging Ch7 EUploaded bygooddown
- 700001741_Topper_8_116_2_3_Mathematics_2016_question_up201603141432_1457946145_9824Uploaded byDevesh Rajbhar
- Trip Distribution (1)Uploaded byErvina Ahyudanari
- CQF January 2014 Maths Primer Calculus ExercisesUploaded byShravan Venkataraman
- notes slope and worksheetUploaded byapi-305851376
- Alg I Syllabus 2011Uploaded bywlars581
- integration.docUploaded byNorzulsuriana Binti Yahaya
- 2013 JC2 H2 Maths Rev G Solutions Pure Maths IUploaded byAnnabel Seah
- Periods GKZUploaded bymqtrinh
- 090S0209-Jiakang L Accurate InterpolationUploaded bypalaut
- HW2Uploaded byDienes d'Lima
- week 7Uploaded byapi-294626581
- algebra ii course syllabusUploaded byapi-328869554
- major items coefficientsUploaded byapi-3816098
- movimiento de apoyos.pdfUploaded byOscarRojasCurasma
- Horizon Report Tech TrendsUploaded byrjackson7471
- Lecture 7Uploaded byCrina Lazar
- 4 mathematical inductionUploaded byapi-252062091

- Analysis Qual SolutionsUploaded byAllen
- MATH403-2014-RingTheorySolutionsUploaded byAllen
- NWERC 2013 ProblemSet PostContestPresentationUploaded byAllen
- Fund LemmaUploaded byAllen
- Solvability by RadicalsUploaded byRay Gobbi
- math 220 practice finalUploaded byAllen
- Generating functionsUploaded byTanagorn Jennawasin
- 402_2010.pdfUploaded byAllen
- geometric group theory notesUploaded byAllen
- NWERC 2013 ProblemSet ContestUploaded byAllen
- 442-2019HW2solUploaded byAllen
- Math 405 Midterm2Uploaded byAllen
- Analysis RiceUploaded byAllen
- alggeom-2002.pdfUploaded byAllen
- Math 405 final F08.pdfUploaded byAllen
- Polya analysis solutionsUploaded byAllen
- 461 Final SolnsUploaded byAllen
- 2016 Complex Analysis Problems SolutionsUploaded byas_5k

- 10.App.spectral TheoryUploaded byImpact Journals
- Chapter2-2008Uploaded byJackie Tai
- pnas00201-0111.pdfUploaded byChristos Dedes
- tentativa matlabUploaded byjackspicer
- Form 5 mathematics chapter 4 matricesUploaded byGan J Xin
- LecturesUploaded byArdit Zotaj
- Dear Students - math!!!!!!!!!!!!!!(1) (1)Uploaded byLe Cong Nhat Minh
- 07-TransformCodingUploaded byaishwarya
- W7 SolutionsUploaded byjohn smither
- digital signal processing lab fileUploaded byRahul Yadav
- hw03 math 484Uploaded byHuizhou Yin
- The Topographic Primal Sketch SlidesUploaded byMAnohar Kumar
- algebra 2Uploaded byBrenda Umanzor Alvarez
- graphics_03_projections.pdfUploaded byStudy portal
- Differentiation second yearUploaded byƛsadƛlȝ
- On A Generalization of the Binomial TheoremUploaded byhumejias
- Repeated Root and Common Root solution.pdfUploaded byChai Usajai Usajai
- Col10598 - Digital Signal Processing and Digital Filter Design (Draft) (C. Sidney Burrus)Uploaded bybubulescu
- Msc Syllabi TifrUploaded byAbhinav Saxena
- sakurai 1.3Uploaded byfabiosfon
- integral TABLA.pdfUploaded byOscar Torres GO
- Finite FieldsUploaded byAdrian
- Question Bank on Determinants & MatrixUploaded byShivam Jaggi
- Lie AlgebroidsUploaded byJohn Hernández
- Matricesdeterminants 110816105156 Phpapp02 (1)Uploaded byKeith Tanaka Magaka
- Fundamental of Analysis, Chapter 3 by ChenUploaded byMaria Morins
- Houshold ErUploaded byYash Bansod
- 02 01 Differential CalculusUploaded byJohn Bofarull Guix
- Long Geodesics on the Ellipsoid - HF RainsfordUploaded byhiwire03
- (Ems Series of Lectures in Mathematics) Kathrin Bringmann, Yann Bugeaud, Titus Hilberdink, Jurgen Sander-Four Faces of Number Theory-European Mathematical Society (2015).pdfUploaded byMarius Cavachi