Algebraic Extensions. M is
|
|
- Daniel Barrett
- 5 years ago
- Views:
Transcription
1 2 Algebraic Extensions 1. Let K be a field and E an extension of K. One writes this assumption in short as Let E=K be a field extension; and the word field is often omitted when it can be inferred from the context. An element of E is called algebraic over K if there exists a polynomial f.x / 0 in KŒX such that f. /D 0: If is not algebraic over K, we say that is transcendental over K. Remarks. (a) If K D and E D, the elements of E algebraic over K are called simply algebraic numbers, and the elements of E transcendental over K are called transcendental numbers. Example: WD 3p 2 is an algebraic number, since is a root of the polynomial X ŒX. (b) The set of algebraic numbers is countable (since ŒX is countable and any nonzero polynomial in ŒX has finitely many roots in ). Therefore the set of transcendental numbers must be uncountable. To actually be able to exhibit a transcendental number is a different (and much harder) matter. Theorem 1. Let M be a subset of containing 0 and 1. Any point z 2 algebraic over K WD.M [ M /. M is The proof will be given later in this chapter. But first we quote a famous result: Theorem 2 (Lindemann 1882). The number is transcendental. Corollary. The quadrature of the circle with ruler and compass is impossible. Proof. If it were possible, we would have 2 ; by Theorem 1 then would be algebraic, which by Lindemann s Theorem is not the case. Lindemann s Theorem can be proved using relatively elementary algebraic and analytic arguments, but the proof is on the whole quite intricate. We will go into it later on (Chapter 17).
2 16 2 Algebraic Extensions 2. Now we start our study of field theory with the following statement: F1. Let E=K be a field extension. If 2 E is algebraic over K, then K. /WK < 1: Proof. Suppose there exists a nonzero polynomial (1) f.x / D X n C a n 1 X n 1 CCa 0 2 KŒX such that f. /D 0; we have assumed without loss of generality that f is normalized (has leading coefficient 1). There exists a unique homomorphism of K-algebras ' from the polynomial ring KŒX into E such that '.X / D (see page 21); its image R D im ' E consists precisely of those elements of E that can be written as polynomial expressions g. / in with coefficients in K. But in writing such an expression we immediately see from the relation (2) n D.a n 1 n 1 CCa 1 C a 0 / that only terms of degree less than n are needed, so in fact (3) R Dfc 0 C c 1 CCc n 1 n 1 j c i 2 Kg: Thus, as a vector space over K, the dimension of R is at most n. Since R, being a subring of E, has no zero-divisors, a simple argument (given a bit further down) shows that R is actually a field. It follows that K. / R (using the definition of K. /), and therefore that R D K. /. From (3) we then get (4) K. / Dfc 0 C c 1 CCc n 1 n 1 j c i 2 Kg: In particular, (5) K. /WK n. F2. Let R be an integral domain (that is, a commutative ring with no zero divisors and with 1 0), and let K be a subfield of R. If R is finite-dimensional as a K-vector space, R is a field. Proof. For a given a 0 in R, consider the map h W R! R given by multiplication by a, namely, h.x/ D ax for all x in R. Thenh is an endomorphism (linear map) of the K-vector space R. Since R has no zero-divisors, h is injective. Because R is assumed finite-dimensional over K, it is also surjective. In particular, there exists b 2 R such that ab D 1. Remark. It can be proved in an analogous way that an integral domain that has finite cardinality is a field.
3 The minimal polynomial Let E=K be a field extension, and let 2 E be algebraic over K. Consider on the K-vector space K. / the endomorphism h defined by multiplication by. The minimal polynomial of h is called the minimal polynomial of over K, andwe denote it by MiPo K. /: This is the lowest-degree normalized polynomial in KŒX that has as a zero. (That there can be only one such polynomial is clear: if f;g are both normalized and of degree n, the degree of f g is less than n.)thedegreeoff D MiPo.K/ is also called the degree of over K, and is denoted by Œ WK. Example. Consider E D, K D and D e 2i=3.Then is a root of X 3 1. But X 3 1 D.X 1/g.X /, with g.x / D X 2 C X C 1; since 1, wehaveg. / D 0. Let f D MiPo K. /; we claim that f D g. Otherwise necessarily deg f<deg g, so f could only be of the form f.x / D X, which is impossible since. F3. Let E=K be a field extension and let 2 E be algebraic over K, of degree n WD Œ WK. The elements (6) 1; ; 2;:::; n 1 of E form a basis of K. / over K. In particular, (7) K. /WK D Œ WK D deg MiPo K. /: Proof. Let f.x / D X n CCa 1 X C a 0 the minimal polynomial of over K. We know that K. /WK ni see (5) in the proof of F1. There remains to show that 1; ; 2;:::; n 1 are linearly independent over K. Suppose there is a relation (8) Xn 1 c i i D 0 with c i 2 K: id0 Set g.x / WD P n 1 id0 c ix i.ifsomec i in (8) were nonzero, g.x / would be a nonzero polynomial in KŒX of degree less than n and vanishing at. Contradiction! 4. Let E=K be a field extension and assume 2 E is algebraic over K. Is it the case that any ˇ 2 K. / is also algebraic over K? Definition. An extension E=K is called algebraic if every element of E is algebraic over K. An extension E=K is called finite if E WK < 1. Remarks. = is a finite extension, since W D 2. The extension = is not algebraic; see Remark (b) in Section 2.1. An extension E=K is called transcendental if it is not algebraic.
4 18 2 Algebraic Extensions F4. If an extension E=K is finite, it is also algebraic; for each ˇ 2 E the degree Œˇ WK is a divisor of E WK. Proof. Let E=K be finite of degree n. Given ˇ 2 E, the n C 1 elements 1;ˇ; ˇ2;:::;ˇn of the n-dimensional K-vector space E are linearly dependent. Therefore there exist a 0 ; a 1 ;:::;a n 2 K, not all zero, such that a 0 1 C a 1ˇ CCa nˇn D 0: Thus ˇ is algebraic over K. ByF3,Œˇ WK D K.ˇ/ W K, andk.ˇ/ WK is a divisor of E WK by the degree formula (Chapter 1, F7). We now can easily answer in the affirmative the question asked at the beginning of this section. F5. Let E=K be a field extension. If 2 E is algebraic over K, the extension K. /=K is algebraic. Proof. If is algebraic over K, we know from F1 that K. /=K is finite. But every finite field extension is algebraic, by F4. Together, F1 and F4 afford the following criterion: F6. Let E=K be a field extension. An element of E is algebraic over K if and only if K. /=K is finite. Now it is a cinch to prove Theorem 1, which we can reformulate as follows: Theorem 1. Let M be a subset of containing 0 and 1. Let K D.M [ M /. The field extension M=K is algebraic. Proof. Take z 2 M. From F9 of Chapter 1 we know that K.z/WK < 1. ThenF6 says that z is algebraic over K. Remark. The converse of F4 is not true: Not every algebraic extension is finite. This will soon become obvious. In fact a counterexample comes up naturally in our context: If E D f0; 1g is the field of all numbers constructible from f0; 1g with ruler and compass, the field extension E= is algebraic but not finite. (With what we know so far this is not very easy to prove, but it s worth thinking about; see 2.5 in the Appendix.) Among algebraic extensions, finite extensions can be characterized thus: F7. Let E=K be a field extension. The following conditions are equivalent: (i) There are elements 1;:::; m of E, finite in number and algebraic over K, such that E D K. 1;:::; m/. (ii) E=K is finite.
5 Properties of algebraic extensions 19 Proof. (ii) ) (i) is clear; all we need to do is choose a basis 1;:::; m for E=K. Then we actually have E D K 1 CCK m, and by F4 all the i are algebraic over K. To show (i) ) (ii) we use induction over m. For m D 0 there is nothing to prove. Assume that (i) holds for some m 1 and set K 0 D K. 1;:::; m 1 /: Then E D K 0. m/. Since m is algebraic over K, itisa fortiori algebraic over the larger field K 0. By F1 this implies E W K 0 < 1. But by the induction hypothesis, K 0 =K is finite. The degree formula (Chapter 1, F7) then implies that E=K is finite. 5. Let E=K be a field extension. A subfield L of E containing K is called an intermediate field of the extension E=K. F8. Let E=K be a field extension. The subset F Df 2 E j is algebraic over Kg is an intermediate field of E=K. It is called the algebraic closure of K in E. In particular, the set of all algebraic numbers is a subfield of. Proof. Take ; ˇ 2 F. Consider the subfield K. ; ˇ/ of E. By F7 the extension K. ; ˇ/=K is finite (prove this again for practice). Now apply F4; all elements of K. ; ˇ/ are algebraic over K, so K. ; ˇ/ F: The elements Cˇ, ˇ, ˇ and 1= (if 0) lie in K. ; ˇ/, and thus also in F. So F really is a subfield of E. Clearly K F, since any 2 K is a zero of a polynomial X 2 KŒX and therefore algebraic over K. This completes the proof. This proof qualifies as easy, but it s only easy because we have the right notions at our disposal. Otherwise, would you be able to write down, at the drop of a hat, a nontrivial rational polynomial that vanishes at the sum of two numbers, given only rational polynomials vanishing at one and the other number respectively? F9 (Transitivity of algebraicness). Let L be an intermediate field of the extension E=K. If E=L and L=K are algebraic, so is E=K (and vice versa). Proof. Take ˇ 2 E. By assumption ˇ is algebraic over L. Let 0; 1;:::; n 1 be the coefficients of MiPo L.ˇ/; then ˇ is also algebraic over the subfield F WD K. 0; 1;:::; n 1 /. By assumption all the i are algebraic over K. Therefore we can apply F7 to conclude that F W K is finite. But F.ˇ/ W F is also finite, by F6; therefore the degree formula gives F.ˇ/WK < 1: Using F4 we see in particular that ˇ is algebraic over K.
6 20 2 Algebraic Extensions F10. Let E=K be a field extension and A a subset of E. If all elements of A are algebraic over K, the extension K.A/=K is algebraic. Proof. Clearly K.A/ is the union of all subfields of the form K.M /, wherem ranges over finite subsets of A. By F7, each K.M /=K is finite and therefore also algebraic. Thus K.A/ contains only elements algebraic over K. (Of course F10 also follows directly from F8.) F11. Let E=K be a field extension, and L 1 ; L 2 intermediate fields of E=K. The field (9) L 1 L 2 WD L 1.L 2 / D L 2.L 1 / is called the composite of L 1 and L 2 in E. (a) If L 1 =K is algebraic, so is L 1 L 2 =L 2. (b) If L 1 =K is finite, so is L 1 L 2 =L 2 ; moreover L 1 L 2 WL 2 L 1 WK. (c) If L 1 =K and L 2 =K are algebraic, so is L 1 L 2 =K. (d) If L 1 =K and L 2 =K are finite, so is L 1 L 2 =K; if, moreover, the extension degrees n 1 D L 1 WK and n 2 D L 2 WK are relatively prime, we have L 1 L 2 WK D n 1 n 2. Proof. Part (a) follows from F10, taking (9) into account. Part (c) therefore also follows, thanks to F9. Let L 1 =K and L 2 =K be finite. Assuming (b) already proved, we see from the degree formula that (10) L 1 L 2 WK D.L 1 L 2 WL 2 /.L 2 WK/.L 1 WK/.L 2 WK/; which is the first part of (d). Again from the degree formula we obtain that L 1 L 2 WK is divisible by n 1 and by n 2.Ifn 1 ; n 2 are relatively prime, L 1 L 2 WK is divisible by n 1 n 2, which together with (10) gives the second part of (d). There remains to prove (b). Consider the set R of all finite sums of products ab with a 2 L 1 ; b 2 L 2. Clearly R is a subring of E containing L 1 and L 2.Itisalso clear that any basis of L 1 =K generates R as an L 2 -vector space R, so in particular RWL 2 L 1 W K. IfL 1 WK < 1, this implies that R is a field (see F2). It follows that R D L 1 L 2, which concludes the proof.
7
Algebraic Cryptography Exam 2 Review
Algebraic Cryptography Exam 2 Review You should be able to do the problems assigned as homework, as well as problems from Chapter 3 2 and 3. You should also be able to complete the following exercises:
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
More information55 Separable Extensions
55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple
More information50 Algebraic Extensions
50 Algebraic Extensions Let E/K be a field extension and let a E be algebraic over K. Then there is a nonzero polynomial f in K[x] such that f(a) = 0. Hence the subset A = {f K[x]: f(a) = 0} of K[x] does
More informationg(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.
6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral
More informationGALOIS THEORY. Contents
GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.
More informationMath 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )
Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a K-vector space, : V V K. Recall that
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More information54.1 Definition: Let E/K and F/K be field extensions. A mapping : E
54 Galois Theory This paragraph gives an exposition of Galois theory. Given any field extension E/K we associate intermediate fields of E/K with subgroups of a group called the Galois group of the extension.
More informationGEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS
GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions
More information4.5 Hilbert s Nullstellensatz (Zeros Theorem)
4.5 Hilbert s Nullstellensatz (Zeros Theorem) We develop a deep result of Hilbert s, relating solutions of polynomial equations to ideals of polynomial rings in many variables. Notation: Put A = F[x 1,...,x
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationAN INTRODUCTION TO THE THEORY OF FIELD EXTENSIONS
AN INTRODUCTION TO THE THEORY OF FIELD EXTENSIONS SAMUEL MOY Abstract. Assuming some basic knowledge of groups, rings, and fields, the following investigation will introduce the reader to the theory of
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationFields. Victoria Noquez. March 19, 2009
Fields Victoria Noquez March 19, 2009 5.1 Basics Definition 1. A field K is a commutative non-zero ring (0 1) such that any x K, x 0, has a unique inverse x 1 such that xx 1 = x 1 x = 1. Definition 2.
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS.
ALGERAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE AOUT VARIETIES AND REGULAR FUNCTIONS. ANDREW SALCH. More about some claims from the last lecture. Perhaps you have noticed by now that the Zariski topology
More informationModern Computer Algebra
Modern Computer Algebra Exercises to Chapter 25: Fundamental concepts 11 May 1999 JOACHIM VON ZUR GATHEN and JÜRGEN GERHARD Universität Paderborn 25.1 Show that any subgroup of a group G contains the neutral
More informationMath 203A - Solution Set 3
Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)
More informationExtension theorems for homomorphisms
Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 1 Fall 2014 I. Foundational material I.1 : Basic set theory Problems from Munkres, 9, p. 64 2. (a (c For each of the first three parts, choose a 1 1 correspondence
More informationAN INTRODUCTION TO GALOIS THEORY
AN INTRODUCTION TO GALOIS THEORY STEVEN DALE CUTKOSKY In these notes we consider the problem of constructing the roots of a polynomial. Suppose that F is a subfield of the complex numbers, and f(x) is
More informationIntegral Extensions. Chapter Integral Elements Definitions and Comments Lemma
Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients
More informationPolynomial Rings. i=0. i=0. n+m. i=0. k=0
Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationDedekind Domains. Mathematics 601
Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite
More informationProf. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.
1. Show that if A and B are countable, then A B is also countable. Hence, prove by contradiction, that if X is uncountable and a subset A is countable, then X A is uncountable. Solution: Suppose A and
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationGalois Theory, summary
Galois Theory, summary Chapter 11 11.1. UFD, definition. Any two elements have gcd 11.2 PID. Every PID is a UFD. There are UFD s which are not PID s (example F [x, y]). 11.3 ED. Every ED is a PID (and
More informationSEPARABILITY II KEITH CONRAD
SEPARABILITY II KEITH CONRAD 1. Introduction Separability of a finite field extension L/K can be described in several different ways. The original definition is that every element of L is separable over
More informationRINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS
RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS JACOB LOJEWSKI AND GREG OMAN Abstract. Let G be a nontrivial group, and assume that G = H for every nontrivial subgroup H of G. It is a simple matter to prove
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationPlaces of Number Fields and Function Fields MATH 681, Spring 2018
Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going
More informationFactorization in Integral Domains II
Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationPart II Galois Theory
Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationCardinality and ordinal numbers
Cardinality and ordinal numbers The cardinality A of a finite set A is simply the number of elements in it. When it comes to infinite sets, we no longer can speak of the number of elements in such a set.
More informationx = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.
ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space
More informationAlgebraic structures I
MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationSection III.6. Factorization in Polynomial Rings
III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)
More informationMATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017
MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationNotes on graduate algebra. Robert Harron
Notes on graduate algebra Robert Harron Department of Mathematics, Keller Hall, University of Hawai i at Mānoa, Honolulu, HI 96822, USA E-mail address: rharron@math.hawaii.edu Abstract. Graduate algebra
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationGALOIS THEORY AT WORK: CONCRETE EXAMPLES
GALOIS THEORY AT WORK: CONCRETE EXAMPLES KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are
More informationHomework 5 M 373K Mark Lindberg and Travis Schedler
Homework 5 M 373K Mark Lindberg and Travis Schedler 1. Artin, Chapter 3, Exercise.1. Prove that the numbers of the form a + b, where a and b are rational numbers, form a subfield of C. Let F be the numbers
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationGalois Theory. This material is review from Linear Algebra but we include it for completeness.
Galois Theory Galois Theory has its origins in the study of polynomial equations and their solutions. What is has revealed is a deep connection between the theory of fields and that of groups. We first
More information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationThe Weil bounds. 1 The Statement
The Weil bounds Topics in Finite Fields Fall 013) Rutgers University Swastik Kopparty Last modified: Thursday 16 th February, 017 1 The Statement As we suggested earlier, the original form of the Weil
More informationMoreover this binary operation satisfies the following properties
Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................
More informationAN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,
More informationGALOIS THEORY BRIAN OSSERMAN
GALOIS THEORY BRIAN OSSERMAN Galois theory relates the theory of field extensions to the theory of groups. It provides a powerful tool for studying field extensions, and consequently, solutions to polynomial
More informationHomework 2 - Math 603 Fall 05 Solutions
Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationD-MATH Algebra I HS17 Prof. Emmanuel Kowalski. Solution 12. Algebraic closure, splitting field
D-MATH Algebra I HS17 Prof. Emmanuel Kowalski Solution 1 Algebraic closure, splitting field 1. Let K be a field of characteristic and L/K a field extension of degree. Show that there exists α L such that
More information2-4 Zeros of Polynomial Functions
Write a polynomial function of least degree with real coefficients in standard form that has the given zeros. 33. 2, 4, 3, 5 Using the Linear Factorization Theorem and the zeros 2, 4, 3, and 5, write f
More informationCYCLOTOMIC POLYNOMIALS
CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where
More informationNotes on Galois Theory
Notes on Galois Theory Paul D. Mitchener October 16, 2007 Contents 1 Introduction 2 2 Extensions 2 3 Euclidean Rings 3 4 Polynomials 4 5 Polynomials with Integer Coefficients 6 6 Algebraic Elements 8 7
More informationSets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).
Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any
More informationSolutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2
Solutions to odd-numbered exercises Peter J Cameron, Introduction to Algebra, Chapter 1 The answers are a No; b No; c Yes; d Yes; e No; f Yes; g Yes; h No; i Yes; j No a No: The inverse law for addition
More informationCRing Project, Chapter 7
Contents 7 Integrality and valuation rings 3 1 Integrality......................................... 3 1.1 Fundamentals................................... 3 1.2 Le sorite for integral extensions.........................
More informationRings and Fields Theorems
Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)
More informationPart IA Numbers and Sets
Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationFields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.
Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should
More informationAlgebraic Geometry: MIDTERM SOLUTIONS
Algebraic Geometry: MIDTERM SOLUTIONS C.P. Anil Kumar Abstract. Algebraic Geometry: MIDTERM 6 th March 2013. We give terse solutions to this Midterm Exam. 1. Problem 1: Problem 1 (Geometry 1). When is
More informationALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30
ALGEBRAIC GEOMETRY (NMAG401) JAN ŠŤOVÍČEK Contents 1. Affine varieties 1 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 1. Affine varieties The basic objects
More informationApplications of Homotopy
Chapter 9 Applications of Homotopy In Section 8.2 we showed that the fundamental group can be used to show that two spaces are not homeomorphic. In this chapter we exhibit other uses of the fundamental
More informationMTH310 EXAM 2 REVIEW
MTH310 EXAM 2 REVIEW SA LI 4.1 Polynomial Arithmetic and the Division Algorithm A. Polynomial Arithmetic *Polynomial Rings If R is a ring, then there exists a ring T containing an element x that is not
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationOn some properties of elementary derivations in dimension six
Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,
More informationUniversity of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics
University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics Examiners: D. Burbulla, P. Glynn-Adey, S. Homayouni Time: 7-10
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationCYCLOTOMIC POLYNOMIALS
CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationPOL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005
POL502: Foundations Kosuke Imai Department of Politics, Princeton University October 10, 2005 Our first task is to develop the foundations that are necessary for the materials covered in this course. 1
More informationMAIN THEOREM OF GALOIS THEORY
MAIN THEOREM OF GALOIS THEORY Theorem 1. [Main Theorem] Let L/K be a finite Galois extension. and (1) The group G = Gal(L/K) is a group of order [L : K]. (2) The maps defined by and f : {subgroups of G}!
More informationCHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and
CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)
More informationABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK
ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element
More informationUNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY
UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY ISAAC M. DAVIS Abstract. By associating a subfield of R to a set of points P 0 R 2, geometric properties of ruler and compass constructions
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationFunctions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014
Functions and cardinality (solutions) 21-127 sections A and F TA: Clive Newstead 6 th May 2014 What follows is a somewhat hastily written collection of solutions for my review sheet. I have omitted some
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationMath 581 Problem Set 3 Solutions
Math 581 Problem Set 3 Solutions 1. Prove that complex conjugation is a isomorphism from C to C. Proof: First we prove that it is a homomorphism. Define : C C by (z) = z. Note that (1) = 1. The other properties
More informationMathematics 220 Workshop Cardinality. Some harder problems on cardinality.
Some harder problems on cardinality. These are two series of problems with specific goals: the first goal is to prove that the cardinality of the set of irrational numbers is continuum, and the second
More informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space
More information8. Limit Laws. lim(f g)(x) = lim f(x) lim g(x), (x) = lim x a f(x) g lim x a g(x)
8. Limit Laws 8.1. Basic Limit Laws. If f and g are two functions and we know the it of each of them at a given point a, then we can easily compute the it at a of their sum, difference, product, constant
More informationRings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.
Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over
More informationPolynomial Rings. (Last Updated: December 8, 2017)
Polynomial Rings (Last Updated: December 8, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from Chapters
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More information