DOCSLIB.ORG

Solvability by Radicals Rodney Coleman, Laurent Zwald

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Solvability by Radicals Rodney Coleman, Laurent Zwald Solvability by radicals Rodney Coleman, Laurent Zwald To cite this version: Rodney Coleman, Laurent Zwald. Solvability by radicals. 2020. hal-03066602 HAL Id: hal-03066602 https://hal.archives-ouvertes.fr/hal-03066602 Preprint submitted on 15 Dec 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Solvability by radicals Rodney Coleman, Laurent Zwald December 10, 2020 Abstract In this note we present one of the fundamental theorems of algebra, namely Galois’s theorem concerning the solution of polynomial equations. We will begin with a study of cyclic extensions, before moving onto radical extensions. 1 Cyclic extensions We say that a finite extension E of a field F is cyclic if the Galois group Gal(E=F ) is cyclic. In this section we aim to present some elementary properties of such extensions. We begin with a preliminary result known as Hilbert’s theorem 90. EXTSOLVcycth1 Theorem 1 Let E=F be a finite cyclic Galois extension of degree n. We suppose that σ is a generator of the Galois group Gal(E=F ). If α 2 E, then NE=F (α) = 1 if and only if there exists ∗ β β 2 E such that α = σ(β) . β proof If α = σ(β) , then βσ(β)σ2(β) ··· σn−1(β) N (α) = ασ(α) ··· σn−1(α) = = 1; E=F σ(β)σ2(β) ··· σn−1(β)σn(β) because σn(β) = β. n−1 Now suppose that NE=F (α) = 1, i.e., ασ(α) ··· σ (α) = 1. We define a finite sequence n−1 (δi)i=0 as follows: 2 n−1 δ0 = α; δ1 = ασ(α); δ2 = ασ(α)σ (α); : : : ; δn−1 = ασ(α) ··· σ (α) = NE=F (α) = 1: REDUCdedcor1 From Result 1 the characters 1; σ; : : : ; σn−1 form an independant set and so there exists γ 2 E such that n−2 n−1 δ0γ + δ1σ(γ) + ··· + δn−2σ (γ) + σ (γ) 6= 0: We note this sum β. Then 2 n−1 n σ(β) = σ(δ0)σ(γ) + σ(δ1)σ (γ) + ··· + σ(δn−2)σ (γ) + σ (γ) −1 2 n−1 n = α δ1σ(γ) + δ2σ (γ) + ··· + δn−1σ (γ) + σ (γ); −1 n because α δi = σ(δi−1). As σ = idE, we have n −1 σ (γ) = γ = α δ0γ; hence σ(β) = α−1β. 2 The theorem which we have just proved is often refered to as the ’multiplicative’ version of Hilbert’s theorem 90 to distinguish from the ’additive’ version, which we will now present. 1 EXTSOLVcycth2 Theorem 2 If E=F is a finite cyclic Galois extension of degree n, then TE=F (α) = 0 if and only if there exists β 2 E such that α = β − σ(β). n proof Let σ be a generator of the Galois group G = Gal(E=F ), so that σ = idn. If α = β − σ(β), then n−1 n−1 n X k X k X k TE=F (α) = σ (α) = σ (β) − σ (β) = 0; k=0 k=0 k=1 because σn(β) = β. Conversely, suppose that TE=F (α) = 0. As TE=F 6= 0, we may find an element x such that TE=F (x) 6= 0. Let w = ασ(x) + (α + σ(α)) σ2(x) + ··· + α + σ(α) + ··· + σn−2(α) σn−1(x): Then σ(w) = σ(α)σ2(x) + σ(α) + σ2(α) σ3(x) + ··· + σ(α) + σ2(α) + ··· + σn−1(α) σn(x): Since TE=F (α) = 0, we have −α = σ(α) + ··· + σn−1(α); so the last summand in the expression for σ(w) is −αx, hence 2 n−1 w − σ(w) = α x + σ(x) + σ (x) + ··· + σ (x) = αTE=F (x): Setting β = w , we obtain TE=F (x) w σ(w) w − σ(w) β − σ(β) = − = ; TE=F (x) σ(TE=F (x)) TE=F (x) because TE=F (x) 2 F . Therefore αT (x) β − σ(β) = E=F = α; TE=F (x) as required. 2 In the following we consider extensions E=F of a particular sort, namely where the field F contains a primitive nth root of unity, for some positive integer n. EXTSOLVcycth3 Theorem 3 Let E=F be a cyclic Galois extension of degree n, where F contains a primitive nth root of unity ζ. Then there exists an irreducible polynomial f(X) = −α + Xn 2 F [X] such that E is a splitting field of f. proof Let σ be a generator of the Galois group Gal(E=F ). Since ζ 2 F , we have NE=F (ζ) = ζn = 1 and so, by Hilbert’s theorem 90 (multiplicative version), there is an element β 2 E∗ such β that ζ = σ(β) . Then σ(β) = ζ−1β σ2(β) = σ(ζ)−1σ(β) = ζ−1(ζ−1β) = ζ−2β σ3(β) = σ(ζ)−2σ(β) = ζ−2(ζ−1β) = ζ−3β 2 and generally σm(β) = ζ−mβ, for all m 2 N∗. As the elements σi(β), for 0 ≤ m < n are distinct, n−1 the automomorphisms idjF (β); σjF (β); : : : ; σjF (β) form a set of n distinct elements of the Galois group Gal(F (β)=F ). Then [F (β): F ] ≥ n and n = jGal(E=F )j = [E : F ] = [E : F (β)][F (β): F ] =) [F (β): F ] ≤ n: Therefore [F (β): F ] = n, which implies that E = F (β). We claim that βn 2 F . Now σ(βn) = σ(β)n = ζ−nβn = βn; and it follows that βn belongs to the fixed field of Gal(E=F ), i.e., F . Thus there exists α 2 F such that βn = α. We have shown that E = F (β), where β is a root of the polynomial f(X) = −α + Xn. The roots of f have the form ζiβ, for 0 ≤ i < n and ζ 2 F by hypoth- esis, so E contains all the roots of f and hence is a splitting field of the polynomial f. Since [F (β): F ] = n, the degree of the minimal polynomial m(β; F ) is n, hence f = m(β; F ); it follows that f is irreducible. 2 The theorem which we have just proved has a converse. EXTSOLVcycth4 Theorem 4 Let F be a field containing an nth primitive root of unity ζ and E a splitting field of the polynomial f(X) = −α + Xn 2 F [X], with α 6= 0. Then E = F (β), where β is a root of f, and the Galois group G = Gal(E=F ) is cyclic of order dividing n. The order of G is equal to n if and only if f is irreducible. proof If β is root of f, then the roots of f have the form ζiβ, for 0 ≤ i < n. As ζ 2 F , all the roots of f lie in F (β), so F (β) is a splitting field of f and so E = f(β). Let σ 2 G = Gal(E=F ). As σ permutes the roots of f, we may write σ(β) = ζk(σ)β, where k(σ) is uniquely determined modulo n. We thus obtain a mapping φ : G −! (Zn; +); σ 7−! [k(σ)]; which is clearly a group homomorphism. If φ(σ) = [0], then σ(β) = β, which implies that σ is the identity on F (β) and so φ is a monomorphism. Since G is isomorphic to a subgroup of the cyclic group (Z ; +), G is cyclic of order dividing n. n thGALPOLYirred2 If f is irreducible, then G acts transitively on the roots of f (Result 4). Thus there exists σ 2 G such that σ(β) = ζiβ, for 0 ≤ i < n. It follows that φ is surjective, so G is isomorphic to (Zn; +). Now suppose that f is reducible. As f has no multiple roots, f has two distinct irreducible propGALPOLYirred1 factors, so G does not act transitively on the roots of f (Result 5). Thus there exist roots ζiβ and ζjβ, with j > i, for which there exists no element σ 2 G such that σ(ζiβ) = ζjβ, i.e., σ(β) = ζj−iβ. It follows that φ is not surjective and so jGj < n. 2 Corollary 1 Let p be prime, F a field containing a primitive pth root of unity and E a splitting field of the polynomial f(X) = −α + Xp 2 F [X], with α 6= 0. Then either f is irreducible and Gal(E=F ) ' Zp or f splits in F and GalE=F ) = fidF g. EXTSOLVcycth4 proof The order of Gal(E=F ) = p or 1. In the first case, from Theorem 4, f is irreducible and Gal(E=F ) ' Zp, because Gal(E=F ) is cyclic. Suppose now that the order of Gal(E=F ) is 1. Then [E : F ] = 1. There exists β 2 E such that E = F (β), so [F (β): F ] = 1, which implies that β 2 F . It now follows that f splits in F . 2 3 2 Radical extensions Suppose that E=F is a field extension such that E = F (α) for some α 2 E. If there exists n 2 N∗ such that αn 2 F , then we say that E is a pure extension of type n.
Load more

Recommended publications
  • A Brief Guide to Algebraic Number Theory
    London Mathematical Society Student Texts 50 A Brief Guide to Algebraic Number Theory H. P. F. Swinnerton-Dyer University of Cambridge I CAMBRIDGE 1 UNIVER.SITY PRESS !"#$%&'() *+&,)%-&./ 0%)-- Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, São Paulo, Delhi, Dubai, Tokyo, Mexico City Cambridge University Press 1e Edinburgh Building, Cambridge !$2 3%*, UK Published in the United States of America by Cambridge University Press, New York www.cambridge.org Information on this title: www.cambridge.org/4536728362427 © H.P.F. Swinnerton-Dyer 2668 1is publication is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press. First published 2668 Reprinted 2662 A catalogue record for this publication is available from the British Library &-$+ 453-6-728-36242-7 Hardback &-$+ 453-6-728-6692:-5 Paperback Cambridge University Press has no responsibility for the persistence or accuracy of URLs for external or third-party internet websites referred to in this publication, and does not guarantee that any content on such websites is, or will remain, accurate or appropriate. Information regarding prices, travel timetables, and other factual information given in this work is correct at the time of ;rst printing but Cambridge University Press does not guarantee the accuracy of such information thereafter. Contents Preface page vii 1 Numbers and Ideals 1 1 The ring of integers 1 2 Ideals
    [Show full text]
  • FIELD THEORY Contents 1. Algebraic Extensions 1 1.1. Finite And
    FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions 10 1.6. Finite Fields 13 2. Galois Theory 14 2.1. Galois Extensions 14 2.2. Examples and Applications 17 2.3. Roots of Unity 20 2.4. Linear Independence of Characters 23 2.5. Norm and Trace 24 2.6. Cyclic Extensions 25 2.7. Solvable and Radical Extensions 26 Index 28 1. Algebraic Extensions 1.1. Finite and Algebraic Extensions. Definition 1.1.1. Let 1F be the multiplicative unity of the field F . Pn (1) If i=1 1F 6= 0 for any positive integer n, we say that F has characteristic 0. Pp (2) Otherwise, if p is the smallest positive integer such that i=1 1F = 0, then F has characteristic p. (In this case, p is necessarily prime.) (3) We denote the characteristic of the field by char(F ). 1 2 MATH 552 (4) The prime field of F is the smallest subfield of F . (Thus, if char(F ) = p > 0, def then the prime field of F is Fp = Z/pZ (the filed with p elements) and if char(F ) = 0, then the prime field of F is Q.) (5) If F and K are fields with F ⊆ K, we say that K is an extension of F and we write K/F . F is called the base field. def (6) The degree of K/F , denoted by [K : F ] = dimF K, i.e., the dimension of K as a vector space over F .
    [Show full text]
  • Field Theory
    Chapter 5 Field Theory Abstract field theory emerged from three theories, which we would now call Galois theory, algebraic number theory and algebraic geometry. Field theoretic notions appeared, even though still implicitly, in the modern theory of solvability of polynomial equations, as introduced by Abel and Galois in the early nineteenth century. Galois had a good insight into fields obtained by adjoining roots of polynomials, and he proved what we call now the Primitive Element Theorem. Independently, Dedekind and Kronecker came up with the notion of alge- braic number fields, arising from three major number -theoretic problems: Fer- mat’s Last Theorem, reciprocity laws and representation of integers by binary quadratic forms. Algebraic geometry is the study of algebraic curves and their generalizations to higher dimensions, namely, algebraic varieties. Dedekind and Weber carried over to algebraic functions the ideas which Dedekind had earlier introduced for algebraic numbers, that is, define an algebraic function field as a finite extension of the field of rational functions. At the end of the nineteenth century, abstraction and axiomatics started to take place. Cantor (1883) defined the real numbers as equivalence classes of Cauchy sequences,von Dyck (1882) gave an abstract definition of group (about thirty years after Cayley had defined a finite group). Weber’s definition of a field appeared in 1893, for which he gave number fields and function fields as examples. In 1899, Hensel initiated a study of p-adic numbers, taking as starting point the analogy between function fields and number fields. It is the work of Steinitz in 1910 that initiated the abstract study of fields as an independent subject.
    [Show full text]
  • Math 101A: Algebra I Part D: Galois Theory
    MATH 101A: ALGEBRA I PART D: GALOIS THEORY This is the title page for the notes on Galois Theory. Contents 1. Basics of field extensions 1 1.1. irreducible polynomials give field extensions 1 1.2. finite extensions give irreducible polynomials 2 1.3. properties of polynomials 3 2. Basics of Galois extensions 6 2.1. separable extensions 6 2.2. Galois extensions 8 2.3. Galois group 9 0 MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 1 1. Basics of field extensions On the first day I talked about the relationship between algebraic field extensions and irreducible polynomials. Namely, irreducible poly- nomials give field extensions and elements of finite extensions give ir- reducible polynomials. 1.1. irreducible polynomials give field extensions. Definition 1.1. If K ⊆ L are fields then L is called a field extension of K and K is called a subfield of L. In this case, L becomes a vector space over K and its dimension is called the degree of the extension and denoted: jL : Kj = dimK L: Theorem 1.2. If K is a field and p(X) 2 K[X] is an irreducible polynomial of degree n then (1) L = K[X]=(p(X)) is a field containing K. (Actually, L con- tains a subfield isomorphic to K.) (2) jL : Kj = n (3) L contains a root of the polynomial p(X). Proof. (1) Since K[X] is a PID, it is also a UFD. Therefore, p(X) irreducible implies (p(X)) is prime. So, L = K[X]=(p(X)) is a domain.
    [Show full text]
  • Galois Theory
    Chapter 7 Galois Theory Galois theory is named after the French mathematician Evariste Galois. Galois was born in 1811, and had what could be called the life of a misun- derstood genius. At the age of 15, he was already reading material written for professional mathematicians. He took the examination to the “Ecole Polytech- nique” to study mathematics but failed and entered the “Ecole Normale” in 1828. He wrote his first paper at the age of 18. He tried to advertise his work, and sent his discoveries in the theory of polynomial equations to the Academy of Sciences, where Cauchy rejected his memoir. He did not get discouraged, and in 1830, he wrote again his researches to the Academy of Sciences, where this time Fourier got his manuscript. However, Fourier died before reading it. A year later, he made a third attempt, and sent to the Academy of Sciences a memoir called “On the conditions of solvability of equations by radicals”. Poisson was a referee, and he answered several months later, declaring the paper incomprehensible. In 1832, he got involved in a love affair, but got rejected due to a rival, who challenged him to a duel. The night before the duel, he wrote a letter to his friend, where he reported his mathematical discoveries. He died during the duel with pistols in 1832. It is after his death that his friend insisted to have his letter published, which was finally done by the mathematician Chevalier. 7.1 Galois group and fixed fields Definition 7.1. If E/F is normal and separable, it is said to be a Galois extension, or alternatively, we say that E is Galois over F .
    [Show full text]
  • Theory of Field Extensions
    Master of Science (Mathematics) (DDE) Semester – II Paper Code – 20MAT22C1 THEORY OF FIELD EXTENSIONS DIRECTORATE OF DISTANCE EDUCATION MAHARSHI DAYANAND UNIVERSITY, ROHTAK (A State University established under Haryana Act No. XXV of 1975) NAAC 'A+’ Grade Accredited University Material Production Content Writer: Dr Jagbir Singh Copyright © 2020, Maharshi Dayanand University, ROHTAK All Rights Reserved. No part of this publication may be reproduced or stored in a retrieval system or transmitted in any form or by any means; electronic, mechanical, photocopying, recording or otherwise, without the written permission of the copyright holder. Maharshi Dayanand University ROHTAK – 124 001 ISBN : Price : Rs. 325/- Publisher: Maharshi Dayanand University Press Publication Year : 2021 M.Sc. (Mathematics) (DDE) Paper Code : 20MAT22C1 Theory of Field Extensions M. Marks = 100 Term End Examination = 80 Time = 3 Hours Assignment = 20 Course Outcomes Students would be able to: CO1 Use diverse properties of field extensions in various areas. CO2 Establish the connection between the concept of field extensions and Galois Theory. CO3 Describe the concept of automorphism, monomorphism and their linear independence in field theory. CO4 Compute the Galois group for several classical situations. CO5 Solve polynomial equations by radicals along with the understanding of ruler and compass constructions. Section - I Extension of fields: Elementary properties, Simple Extensions, Algebraic and transcendental Extensions. Factorization of polynomials, Splitting fields, Algebraically closed fields, Separable extensions, Perfect fields. Section - II Galios theory: Automorphism of fields, Monomorphisms and their linear independence, Fixed fields, Normal extensions, Normal closure of an extension, The fundamental theorem of Galois theory, Norms and traces. Section - III Normal basis, Galios fields, Cyclotomic extensions, Cyclotomic polynomials, Cyclotomic extensions of rational number field, Cyclic extension, Wedderburn theorem.
    [Show full text]
  • Math 210B. Radical Towers and Roots of Unity 1. Motivation Let F ∈ Q[T] Be
    Math 210B. Radical towers and roots of unity 1. Motivation Let f 2 Q[T ] be a monic irreducible cubic that splits over R (that is, has three real roots); explicitly, this splitting condition says that the discriminant of f is positive (and so is a square in R). It was noticed by Cardano in his book De Regula Aliza in 1570 that the use of radicals (the cubic formula) to describe such real roots always seemed to require the use of non-real complex numbers in the middle of the formula. For example, f = x3 − 3x + 1 is irreducible over Q (use the rational root test) and it has three real roots (use the Intermediate Value Theorem and calculus), and Cardano's formula in this case says that those realp roots are z +1=z with z varying through the cube roots of the non-real number ! = (−1+ −3)=2 on the unit circle (!3 = 1, ! 6= 1). In general, Cardano's cubic formula did not seem to provide a radical tower contained in R for describing cubic real irrationalities α when all conjugates of α in C lie in R! (Of course, for cases such as 21=3 we have a \radical formula" but its other conjugates over Q do not lie in R.) This conundrum, dubbed \Casus Irreducibilis" in the late 1700's, was rather disturbing to the mathematicians in the 1500's who first worked with the cubic formula, at a time when complex numbers were still regarded with great suspicion (and so to seem to \need" the use of complex numbers to describe solutions to a cubic with three real roots was quite alarming).
    [Show full text]
  • Galois Correspondence
    THE GALOIS CORRESPONDENCE KEITH CONRAD 1. Introduction Let L=K be a field extension. A K-automorphism of L is a field automorphism σ : L ! L that fixes the elements of K: σ(c) = c for all c 2 K. The set of K-automorphisms of L is a group under composition and is denoted Aut(L=K). Its identity element is the identity function on L. Studying properties of L=K through properties of the group Aut(L=K) is the basic theme of Galois theory. Example 1.1. Two R-automorphisms of C are the identity z 7! z and complex conjugation z 7! z. We will show they are the only ones. If σ : C ! C is an R-automorphism, then for all real a and b we have σ(a + bi) = σ(a) + σ(b)σ(i) = a + bσ(i), so σ is determined by σ(i) and i2 = −1 =) σ(i2) = σ(−1) =) σ(i)2 = −1 =) σ(i) = ±i: If σ(i) = i, then σ(z) = z for all z 2 C and if σ(i) = −i, then σ(z) = z for all z 2 C. From each intermediate field K ⊂ F ⊂ L we get a subgroup (1.1) Aut(L=F ) = fσ 2 Aut(L=K): σ(α) = α for all α 2 F g in Aut(L=K). In the other direction, from each subgroup H of Aut(L=K) we get a field (1.2) LH = fα 2 L : σ(α) = α for all σ 2 Hg; which lies between K and L.
    [Show full text]
  • Fields and Galois Theory
    Fields and Galois Theory J.S. Milne Œ Q QŒ;˛ 3 2 h i h i N H QŒ QŒp 7 QŒ QŒ˛ C x = 3 = 2 G=N h i h i h i h i Q Q 5 7 Splitting field of X 2 over . Splitting field of X 1 over Q. Q Version 5.00 June 2021 These notes give a concise exposition of the theory of fields, including the Galois theory of finite and infinite extensions and the theory of transcendental extensions. The first six chapters form a standard course, and the final three chapters are more advanced. BibTeX information @misc{milneFT, author={Milne, James S.}, title={Fields and Galois Theory (v5.00)}, year={2021}, note={Available at www.jmilne.org/math/}, pages={142} } Please send comments and corrections to me at jmilne at umich.edu. v2.01 (August 21, 1996). First version on the web. v2.02 (May 27, 1998). Fixed many minor errors; 57 pages. v3.00 (April 3, 2002). Revised notes; minor additions to text; added 82 exercises with solutions, an examination, and an index; 100 pages. v4.00 (February 19, 2005). Revised notes; added proofs for Infinite Galois Extensions; expanded Transcendental Extensions; 107 pages. v4.10 (January 22, 2008). Minor corrections and improvements; added proofs for Kummer theory; 111 pages. v4.20 (February 11, 2008). Replaced Maple with PARI; 111 pages. v4.30 (April 15, 2012). Minor fixes; added sections on etale´ algebras; 124 pages. v4.50 (March 18, 2014). Added chapter on the Galois theory of etale´ algebras (Chapter 8); other improvements; numbering has changed; 138 pages.
    [Show full text]
  • Part II — Galois Theory —
    Part II | Galois Theory | Year 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2021 50 Paper 1, Section II 18I Galois Theory (a) Let K L be fields, and f(x) K[x] a polynomial. ⊆ ∈ Define what it means for L to be a splitting field for f over K. Prove that splitting fields exist, and state precisely the theorem on uniqueness of splitting fields. Let f(x) = x3 2 Q[x]. Find a subfield of C which is a splitting field for f over − ∈ Q. Is this subfield unique? Justify your answer. (b) Let L = Q[ζ7], where ζ7 is a primitive 7th root of unity. Show that the extension L/Q is Galois. Determine all subfields M L. ⊆ For each subfield M, find a primitive element for the extension M/Q explicitly in terms of ζ7, find its minimal polynomial, and write down Aut(M/Q) and Aut(L/M). Which of these subfields M are Galois over Q? [You may assume the Galois correspondence, but should prove any results you need about cyclotomic extensions directly.] Paper 2, Section II 18I Galois Theory (a) Let f(x) Fq[x] be a polynomial of degree n, and let L be its splitting field. ∈ (i) Suppose that f is irreducible. Compute Gal(f), carefully stating any theorems you use. (ii) Now suppose that f(x) factors as f = h1 hr in Fq[x], with each hi ··· irreducible, and h = h if i = j. Compute Gal(f), carefully stating any i 6 j 6 theorems you use.
    [Show full text]
  • NUMBERS, EQUATIONS, SYMMETRIES §1. Algebraic Field
    GRADUATE ALGEBRA: NUMBERS, EQUATIONS, SYMMETRIES JENIA TEVELEV CONTENTS 1. Algebraic Field Extensions § 1.1. Field extensions § 1.2. Multiplicativity of degree § 1.3. Algebraic extensions § 1.4. Adjoining roots § 1.5. Splitting fields § 1.6. Algebraic closure § 1.7. Finite fields § 1.8. Exercises § 2. Galois Theory § 2.1. Separable extensions § 2.2. Normal extensions § 2.3. Main Theorem of Galois Theory § 2.4. Fields of invariants § 2.5. Exercises § 3. First Applications of Galois Theory § 3.1. Translations from group theory to Galois theory § 3.2. Fundamental Theorem of Algebra § 3.3. Quadratic extensions § 3.4. Cubic extensions § 3.5. Galois group of a finite field § 3.6. Exercises § 4. Adjoining Radicals § 4.1. Adjoining roots of unity § 4.2. Cyclotomic fields § 4.3. Cyclic extensions § 4.4. Artin’s Lemma § 4.5. Norm and Trace § 4.6. Lagrange resolvents § 4.7. Solvable extensions: Galois Theorem. § 4.8. Exercises § 5. Quadratic Extensions of Q § 5.1. Quadratic case of the Kronecker–Weber theorem § 5.2. Integral extensions § 5.3. Quadratic reciprocity § 5.4. Some Examples of the Integral Closure § 5.5. Exercises § 6. Sample Midterm on Galois Theory § 7. Transcendental numbers and extensions § 7.1. Transcendental numbers. Liouville’s Theorem § 7.2. Bonus section: proof of Hermite’s Theorem § 7.3. Transcendence degree § 7.4. Noether’s Normalization Lemma § 8. Basic Algebraic Geometry – I § 8.1. Weak Nullstellensatz § 8.2. Algebraic sets. Strong Nullstellensatz § 8.3. Zariski topology on An § 8.4. Irreducible algebraic sets § 8.5. Irreducible components § 8.6. Affine algebraic sets. Regular functions. § 8.7. Morphisms of affine algebraic sets § 8.8.
    [Show full text]
  • Number Theory Summary
    1 Number Theory Summary Divisibility and primes The set Z = f :::; −2; −1; 0; 1; 2;::: g of integers, with its arithmetic operations of addition and multiplication, is the fundamental object of study in number theory. The structure of Z under addition is certainly easy to understand; it is an infinite cyclic group. The multiplicative structure of Z lies somewhat deeper. We have unique factorization of nonzero integers into primes - this is called the Fundamental Theorem of Arithmetic. The structure of Z under multiplication is then transparent given the primes, but the finer properties of the primes themselves are quite mysterious. A ring is an abelian group, with the group operation called addition and writ- ten additively with +, on which there is another binary operation called multipli- cation which is written multiplicatively with a dot or without any sign. The mul- tiplication is required to be associative, but does not need to be commutative. Addition and multiplication are related by distributivity; multiplication dis- tributes over addition by the laws a(b+c) = (ab)+(ac) and (a+b)c = (ac)+(bc). From the algebraic point of view, Z appears as a fundamental example of a commutative ring with multiplicative neutral element and without zero divisors. The latter property formalizes the observation that if m; n 2 Z and mn = 0, then m = 0 or n = 0. So though division is not in general possible in Z without leaving its confines, nonzero common factors may be canceled, which is convenient when solving equations. Commutative rings with a multiplicative neutral element different from zero and without zero divisors are called factorial rings or integral domains.
    [Show full text]