A NOTE ON HENSEL S LEMMA IN SEVERAL VARIABLES
|
|
- Britney Atkins
- 6 years ago
- Views:
Transcription
1 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages S (97) A NOTE ON HENSEL S LEMMA IN SEVERAL VARIABLES BENJI FISHER (Communicated by Wolmer V. Vasconcelos) Abstract. The standard hypotheses or Hensel s Lemma in several variables are slightly stronger than necessary, in the case that the Jacobian determinant is not a unit. This paper shows how to weaken the hypotheses or Hensel s Lemma and some related theorems. 0. Introduction The most amiliar version o Hensel s Lemma states that i is a polynomial with coeicients in Z p, a Z p is an approximate root o (i.e., (a) 0(modp)), and (a) is a unit (i.e., (a) 0(modp)) then there is a unique root a near a: (a )=0anda a(mod p). The irst application o this theorem is to the polynomial (X) =X p X: by Fermat s Little Theorem, every p-adic integer a is an approximate root o ; clearly, (a) 1(modp) or all a Z p. Thus there are p roots o this polynomial in Z p ; they are known as the Teichmüller representatives o the residue classes (mod p). One way to generalize ( Hensel s Lemma is to relax the requirement that (a) be a unit. Let h = v p (a) ) ( ). Letting r = v p (a), one can show that i r>2hthen there is a unique root a such that a a (mod p r h ). The irst example o this version o Hensel s Lemma is extracting square roots 2-adically: i a 2 c (mod 2 r ), with c odd and r>2, then there is a square root o c congruent to a (mod 2 r 1 ). In particular, an odd number has a square root in Z 2 i and only i it is congruent to1(mod8). A urther generalization is to consider n polynomial equations in n variables. The analogous statement, with the derivative replaced by the Jacobian determinant, is true. Let bold-ace letters denote n-tuples: a =(a 1,...,a n )andsoon. Letbe an n-tuple o polynomials in n variables and J = ( ( 1,..., n )/ (X 1,...,X n )the Jacobian determinant. Let a Z n p and h = v p J (a) ) (. I r =min i {v p i (a) ) }> 2hthen there is a unique a Z n p such that i (a )=0anda i a i (mod p r h )or all i. The point o this note is that the hypothesis r > ( 2h above is stronger than necessary. The irst improvement is to note how h = v p J (a) ) is used in the proo: by Cramer s Rule, the Jacobian matrix times its adjoint (or adjoint-transpose) has the orm p h (unit) I n ; in other words, the Jacobian matrix( M (a) divides p h I n. Any value o h or which this is true will work just as well as v p J (a) ). For example, Received by the editors May 20, Mathematics Subject Classiication. Primary 13J15; Secondary 13J05, 13B40. Key words and phrases. Hensel s lemma, power series, Henselian rings c 1997 American Mathematical Society License or copyright restrictions may apply to redistribution; see
2 3186 BENJI FISHER i M (a) is diagonal, say M (a) = diag(p,...,p,1) then one can take h = 1 instead o h = v p ( J (a) ) = n 1, a big improvement. Sometimes it is convenient to allow larger values o h. The second improvement is to note that the hypothesis that (a) be divisible by p 2h+1 can be replaced by the hypothesis that (a) be divisible by p h+1 M (a), in the sense o matrix multiplication: that is, (a) =p h M (a) bor some b (pz p ) n. For example, again suppose that M (a) is diagonal, say M (a) =diag(p h,1,...,1) (so that the irst improvement had no eect). Instead o requiring that i (a) 0 (mod p 2h+1 ) or all i, one may require this or i =1and i (a) 0(modp h+1 )or all i>1. For a number-theoretic application o this improved orm o Hensel s Lemma, see my paper with R. Dabrowski, [Da-F, Theorem 1.8]. I would be interested to see a more geometric application. In the situation described above, the proo is given in [Da-F, Lemma 1.20]. In the rest o this paper, I will veriy that the same improvements can be made in more general settings. I would like to thank Romuald Dabrowski or his insistence, while we were preparing [Da-F], that we give deinitive statements o our results. It was this insistence that orced me to ormulate this improved version o Hensel s Lemma. 1. Deinitions and notations Following Bourbaki [B2, III.4.5], I will say that a commutative ring A and an ideal m A satisy Hensel s conditions i A is complete and separated with respect to a linear topology (i.e., a topology deined by ideals) and m is closed, consisting o topologically nilpotent elements. (In the Introduction, A = Z p and m = pz p.) To avoid conusion with the n th power o m, the n-old Cartesian product o m with itsel will be denoted m (n). (In [B2], this is denoted m n.) Let A{X} denote the ring o restricted (ormal) power series in n variables, where X =(X 1,...,X n )[B2, III.4.2]. I =( 1,..., m )isanm-tuple in A{X}, let M denote the Jacobian matrix; i m = n, letj =detm be the Jacobian determinant. Let M (r) denote the matrix consisting o the irst r columns o M ; let M ( r) denote the matrix consisting o the last r columns o M. (In [B2], there is no notation or the irst r columns; the last r columns are denoted M (r).) In particular, M = [ M (r) M (r n) ]. Similarly, i a A m,leta (r) and a ( r) denote the irst and last r entries o a. Let1 n denote the n-tuple 1 n = X =(X 1,...,X n ), so that M 1n = I n (the identity matrix). I will always think o and a as column vectors. In particular, i A is a discrete ring then it is automatically complete and separated; m is automatically closed; and a restricted power series is simply a polynomial. In any case, polynomials are special cases o restricted power series. 2. Hensel s Lemma in several variables Let A be a ring and m A an ideal. I will assume that A and m satisy the simplest version o Hensel s Lemma in several variables and derive a more general version that incorporates the points discussed in the Introduction. The argument closely ollows one in Greenberg [Gr]. I will then show that i A is a Henselian local ring and m is its maximal ideal then this theorem applies. (This is surely well-known, but I do not know a reerence.) License or copyright restrictions may apply to redistribution; see
3 A NOTE ON HENSEL S LEMMA IN SEVERAL VARIABLES 3187 Assume that A is complete and separated and that m is closed, with respect to a linear topology. Let us say that (A, m) satisies condition (H) i the ollowing version o Hensel s Lemma holds: Condition (H). Let =( 1,..., n ) be an n-tuple o restricted power series i A{X} and let J = J be the Jacobian determinant. Let a A n ; assume that (a) m (n) and that J(a) A. Then there is a unique a A n such that (a )=0and a a (mod m (n) ). Remark. I we urther assume that every element o m is topologically nilpotent then (A, m) satisy Hensel s conditions, and so condition (H) is satisied by [B2, III.4.5, Corollaire 3] (c. 3, below). Theorem 1. Assume that (A, m) satisies condition (H). Let=( 1,..., n ) be an n-tuple with i A{X}. Leta A n and let e A be such that M (a) M = ei n or some matrix M (with entries in A). Assume that (a) em (a)m (n) : i.e., (a) =em (a) b or some b m (n). Then there is some a A n such that (a )=0and a a (mod em). Ieis not a zero-divisor then a is unique. Proo. For a single ormal power series A[[X]], Taylor s theorem [B1, IV.5.8, Proposition 9] gives (X + Y) =(X)+M (X) Y+ G ij (X, Y) Y i Y j 1 i j n or some G ij A[[X, Y]]. Arguing as in [B2, III.4.5], i is restricted then so are the entries / X i o M and the G ij. Thereore, taking = i, one can replace X with a and Y with ex, obtaining (1) (a + ex) =(a)+m (a) ex+e 2 R(X)=eM (a) [b + X + M R(X)], where the remainder terms satisy R i (X) 2 A{X}. Leth(X)=b+X+M R(X) and apply condition (H) to h: since M h (0)=I n and h(0) =b m (n), there is a unique x m (n) such that h(x) =0.Leta =a+ex,sothata a(mod em (n) ) and (a )=0. Now assume that e is not a zero-divisor. Since M (a) M = ei n, J (a) = det M (a) is also not a zero-divisor. I a = a + ex is a root o, with x m (n), then multiplying both sides o Equation (1) (with X replaced by x) by the adjoint o M (a) gives0=ej(a)h(x), which implies h(x) =0. This proves uniqueness. Proposition 2. Let A be a (discrete) local ring with maximal ideal m. ThenAis Henselian i and only i (A, m) satisy condition (H). Proo. Assume that A is a Henselian local ring. The irst step is to reduce to the case n = 1, using the structure theory o étale A-algebras. Following the notation o Raynaud [R], let C = A[X], I =() C,andB=(C/I) J = A[X,T]/(,TJ 1). I R is any A-algebra then Hom A (B,R) isthesetoa R n such that (a) =0 and J(a) R. Thus we must show that the canonical map Hom A (B,A) Hom A (B,k) is an isomorphism, where k = A/m. According to the Jacobian criterion [R, V, Théorème 5] and the act that being étale is a local condition [R, II, Proposition 6], B is an étale A-algebra. The question is local on Spec B: choosing a homomorphism φ : B k determines a prime ideal q =kerφ, and liting φ toamapb A is the same as liting it to a map License or copyright restrictions may apply to redistribution; see
4 3188 BENJI FISHER B g A, or any g B q. By the local structure theorem [R, V, Théorème 1], one can choose g so that B g is isomorphic to a standard étale A-algebra: B g = B = ( A[X]/() ) h or a single monic polynomial A[X] (in one variable), where is invertible in B. This completes the reduction step. The surjectivity o Hom A (B,A) Hom A (B,k) is just a translation o [R, VII, Proposition 3]. Injectivity ollows rom a standard argument: i (a+x) =(a)=0 with x m then Taylor s theorem gives x[ (a) +G(a, x)x] = 0. Since (a) isa unit and x m, the quantity in brackets is a unit, which implies that x =0. Conversely, i (A, m) satisy condition (H) then, taking n = 1, the converse direction o [R, VII, Proposition 3] shows that A is Henselian. 3. The Inverse and Implicit Function Theorems Theorems 3 and 4 below are improvements o Théorème 2 and Corollaire 3 o [B2, III.4.5], to which one may reer or details o the proos. Theorem 3 is an algebraic version o the Inverse Function Theorem; Theorem 4 is an algebraic version o the Implicit Function Theorem. Taking r = 0 in Theorem 4 gives Hensel s Lemma in several variables. (Instead o re-proving this theorem, one can apply Theorem 1 to produce an exact root and then use the version in [B2].) Theorem 3. Let A and m satisy Hensel s conditions. Let be an n-tuple o restricted power series i A{X} and let a A n. Let e A and let M be an n n matrix (with entries in A) such that M (a) M = ei n. There is an n-tuple g, with g i (X)A{X}, suchthat (i) M g (0) = I n. (ii) For all x A n, (a + ex)=(a)+m (a) eg(x). (iii) Let h be the n-tuple o ormal power series (not necessarily restricted) h i A[[X]] such that g h = 1 n. For all y m (n), (a + eh(y)) = (a)+m (a) ey. Proo. Taking g = 1 n +M R, (i) and (ii) ollow rom Equation (1); and (iii) ollows by replacing x with h(y). Theorem 4. Let A and m satisy Hensel s conditions. Let =( r+1,..., n ) be an (n r)-tuple o restricted power series i A{X} and let a A n. Let e A and let M be an (n r) (n r) matrix (with entries in A) such that M (r n) (a) M = ei n r. Assume that (a) =em (r n) (a) b or some b m (n r). Then there are n r power series φ i (X (r) )A[[X (r) ]] (r <i n)such that, or all t m (r), ( a (r) + e 2 t, a (r n) + eφ(t) ) =0. [ ] Proo. Apply Theorem 3 to u =(X (r) a (r) Ir 0,). Note that M u = M (r) M (r n), [ ] ei r 0 so that M u (a) M M (r) (a) M = ei n. It ollows that, in Equation (1), G ij =0 and R i =0or1 i r; and, in the proo o Theorem 3, g i = h i = X i. License or copyright restrictions may apply to redistribution; see
5 A NOTE ON HENSEL S LEMMA IN SEVERAL VARIABLES 3189 According to Theorem 3(iii), u ( a + eh(y) ) [ ] y = u(a)+m u (a) ey=m u (a) e (r) b+y (n r). Thus ( a+eh(y) ) = 0 i and only i e ( M (r) (a) y (r) +M (r n) (a) (b+y (r n) ) ) = 0. To guarantee this, it suices to set y (r) = et and y (r n) = b M M (r) (a) t, with t m (r). Thereore set φ(x (r) )=h (r n) (ex (r), b M M (r) (a) X (r) ); the theorem ollows. Reerences [B1] N. Bourbaki, Algèbre, Hermann, Paris, [B2], Algèbre Commutative, Hermann, Paris, [Da-F] R. Dabrowski and B. Fisher, A stationary-phase ormula or exponential sums over Z/p m Z and applications to GL(3)-Kloosterman sums, Acta. Arith. (to appear). [Gr] M. J. Greenberg, Rational points in Henselian discrete valuation rings, Pub. Math. IHES 31 (1966), MR 34:7515 [R] M. Raynaud, Anneaux Locaux Henseliens, Lecture Notes in Math. 169, Springer-Verlag, Berlin-Heidelberg-New York, MR 43:3252 Department o Mathematics, Columbia University, New York, New York Current address: The Bronx High School o Science, 75 West 205 th Street, Bronx, New York address: benji@math.columbia.edu License or copyright restrictions may apply to redistribution; see
SEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
More informationDescent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and
More informationVALUATIVE CRITERIA BRIAN OSSERMAN
VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not
More informationMath 216A. A gluing construction of Proj(S)
Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does
More information2a 2 4ac), provided there is an element r in our
MTH 310002 Test II Review Spring 2012 Absractions versus examples The purpose of abstraction is to reduce ideas to their essentials, uncluttered by the details of a specific situation Our lectures built
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 informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationA WEAK VERSION OF ROLLE S THEOREM
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3147 3153 S 0002-9939(97)03910-5 A WEAK VERSION OF ROLLE S THEOREM THOMAS C. CRAVEN (Communicated by Wolmer
More informationIn the index (pages ), reduce all page numbers by 2.
Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by
More informationMath 248B. Base change morphisms
Math 248B. Base change morphisms 1. Motivation A basic operation with shea cohomology is pullback. For a continuous map o topological spaces : X X and an abelian shea F on X with (topological) pullback
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationAzumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras
Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part
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 informationAlgebraic Geometry I Lectures 22 and 23
Algebraic Geometry I Lectures 22 and 23 Amod Agashe December 4, 2008 1 Fibered Products (contd..) Recall the deinition o ibered products g!θ X S Y X Y π 2 π 1 S By the universal mapping property o ibered
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 informationSome remarks on Frobenius and Lefschetz in étale cohomology
Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)
More informationThe Clifford algebra and the Chevalley map - a computational approach (detailed version 1 ) Darij Grinberg Version 0.6 (3 June 2016). Not proofread!
The Cliord algebra and the Chevalley map - a computational approach detailed version 1 Darij Grinberg Version 0.6 3 June 2016. Not prooread! 1. Introduction: the Cliord algebra The theory o the Cliord
More informationHSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS
HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS MICHAEL BARR Abstract. Given a triple T on a complete category C and a actorization system E /M on the category o algebras, we show there is a 1-1 correspondence
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationComputations/Applications
Computations/Applications 1. Find the inverse of x + 1 in the ring F 5 [x]/(x 3 1). Solution: We use the Euclidean Algorithm: x 3 1 (x + 1)(x + 4x + 1) + 3 (x + 1) 3(x + ) + 0. Thus 3 (x 3 1) + (x + 1)(4x
More informationOF AZUMAYA ALGEBRAS OVER HENSEL PAIRS
SK 1 OF AZUMAYA ALGEBRAS OVER HENSEL PAIRS ROOZBEH HAZRAT Abstract. Let A be an Azumaya algebra of constant rank n over a Hensel pair (R, I) where R is a semilocal ring with n invertible in R. Then the
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationMATH 115, SUMMER 2012 LECTURE 12
MATH 115, SUMMER 2012 LECTURE 12 JAMES MCIVOR - last time - we used hensel s lemma to go from roots of polynomial equations mod p to roots mod p 2, mod p 3, etc. - from there we can use CRT to construct
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationAlgebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...
Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2
More information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
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 informationCHOW S LEMMA. Matthew Emerton
CHOW LEMMA Matthew Emerton The aim o this note is to prove the ollowing orm o Chow s Lemma: uppose that : is a separated inite type morphism o Noetherian schemes. Then (or some suiciently large n) there
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 informationSTAT 801: Mathematical Statistics. Hypothesis Testing
STAT 801: Mathematical Statistics Hypothesis Testing Hypothesis testing: a statistical problem where you must choose, on the basis o data X, between two alternatives. We ormalize this as the problem o
More informationRaynaud on F -vector schemes and prolongation
Raynaud on F -vector schemes and prolongation Melanie Matchett Wood November 7, 2010 1 Introduction and Motivation Given a finite, flat commutative group scheme G killed by p over R of mixed characteristic
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 informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationP -adic root separation for quadratic and cubic polynomials
P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible
More informationTHE CRYSTALLINE PERIOD OF A HEIGHT ONE p-adic DYNAMICAL SYSTEM
THE CRYSTALLINE PERIOD OF A HEIGHT ONE p-adic DYNAMICAL SYSTEM JOEL SPECTER Abstract. Let be a continuous ring endomorphism o Z p x /Z p o degree p. We prove that i acts on the tangent space at 0 by a
More informationDOUGLAS J. DAILEY AND THOMAS MARLEY
A CHANGE OF RINGS RESULT FOR MATLIS REFLEXIVITY DOUGLAS J. DAILEY AND THOMAS MARLEY Abstract. Let R be a commutative Noetherian ring and E the minimal injective cogenerator of the category of R-modules.
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationAlgebra Exam Syllabus
Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationTHE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p
THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p EVAN TURNER Abstract. This paper will focus on the p-adic numbers and their properties. First, we will examine the p-adic norm and look at some of
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationElementary maths for GMT
Elementary maths for GMT Linear Algebra Part 2: Matrices, Elimination and Determinant m n matrices The system of m linear equations in n variables x 1, x 2,, x n a 11 x 1 + a 12 x 2 + + a 1n x n = b 1
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 informationA Remark on Certain Filtrations on the Inner Automorphism Groups of Central Division Algebras over Local Number Fields
International Journal of lgebra, Vol. 10, 2016, no. 2, 71-79 HIKRI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.612 Remark on Certain Filtrations on the Inner utomorphism Groups of Central
More informationLocal Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments
Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic
More information1/30: Polynomials over Z/n.
1/30: Polynomials over Z/n. Last time to establish the existence of primitive roots we rely on the following key lemma: Lemma 6.1. Let s > 0 be an integer with s p 1, then we have #{α Z/pZ α s = 1} = s.
More informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationLECTURE 2. Hilbert Symbols
LECTURE 2 Hilbert Symbols Let be a local field over Q p (though any local field suffices) with char() 2. Note that this includes fields over Q 2, since it is the characteristic of the field, and not the
More informationThe Number of Fields Generated by the Square Root of Values of a Given Polynomial
Canad. Math. Bull. Vol. 46 (1), 2003 pp. 71 79 The Number o Fields Generated by the Square Root o Values o a Given Polynomial Pamela Cutter, Andrew Granville, and Thomas J. Tucker Abstract. The abc-conjecture
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationFinite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
Electronic Notes in Theoretical Computer Science 270 (1) (2011) 113 119 www.elsevier.com/locate/entcs Finite Dimensional Hilbert Spaces are Complete or Dagger Compact Closed Categories (Extended bstract)
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 informationSTABLY FREE MODULES KEITH CONRAD
STABLY FREE MODULES KEITH CONRAD 1. Introduction Let R be a commutative ring. When an R-module has a particular module-theoretic property after direct summing it with a finite free module, it is said to
More information2. ETA EVALUATIONS USING WEBER FUNCTIONS. Introduction
. ETA EVALUATIONS USING WEBER FUNCTIONS Introduction So ar we have seen some o the methods or providing eta evaluations that appear in the literature and we have seen some o the interesting properties
More informationMath 547, Exam 1 Information.
Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More information1 Relative degree and local normal forms
THE ZERO DYNAMICS OF A NONLINEAR SYSTEM 1 Relative degree and local normal orms The purpose o this Section is to show how single-input single-output nonlinear systems can be locally given, by means o a
More informationVALUATIONS ON COMPOSITION ALGEBRAS
1 VALUATIONS ON COMPOSITION ALGEBRAS Holger P. Petersson Fachbereich Mathematik und Informatik FernUniversität Lützowstraße 15 D-5800 Hagen 1 Bundesrepublik Deutschland Abstract Necessary and sufficient
More informationReid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.
Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y
More informationProblem 1.1. Classify all groups of order 385 up to isomorphism.
Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5
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 informationDOES XY 2 = Z 2 IMPLY X IS A SQUARE?
DOES XY 2 = Z 2 IMPLY X IS A SQUARE? JACK S. CALCUT 1. Introduction Ordinary integers have the property that if the product of a number and a square is a square, then the number itself is a square. That
More informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More informationCOUNTING SEPARABLE POLYNOMIALS IN Z/n[x]
COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] JASON K.C. POLAK Abstract. For a commutative ring R, a polynomial f R[x] is called separable if R[x]/f is a separable R-algebra. We derive formulae for the number
More informationMath 547, Exam 2 Information.
Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More informationMATH 113 FINAL EXAM December 14, 2012
p.1 MATH 113 FINAL EXAM December 14, 2012 This exam has 9 problems on 18 pages, including this cover sheet. The only thing you may have out during the exam is one or more writing utensils. You have 180
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 31, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Symbolic Adjunction of Roots When dealing with subfields of C it is easy to
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationREMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES
REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES RICHARD BELSHOFF Abstract. We present results on reflexive modules over Gorenstein rings which generalize results of Serre and Samuel on reflexive modules
More information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationThe p-adic numbers. Given a prime p, we define a valuation on the rationals by
The p-adic numbers There are quite a few reasons to be interested in the p-adic numbers Q p. They are useful for solving diophantine equations, using tools like Hensel s lemma and the Hasse principle,
More informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationMath 370 Spring 2016 Sample Midterm with Solutions
Math 370 Spring 2016 Sample Midterm with Solutions Contents 1 Problems 2 2 Solutions 5 1 1 Problems (1) Let A be a 3 3 matrix whose entries are real numbers such that A 2 = 0. Show that I 3 + A is invertible.
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationMATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.
MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same
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 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 informationNON-AUTONOMOUS INHOMOGENEOUS BOUNDARY CAUCHY PROBLEMS AND RETARDED EQUATIONS. M. Filali and M. Moussi
Electronic Journal: Southwest Journal o Pure and Applied Mathematics Internet: http://rattler.cameron.edu/swjpam.html ISSN 83-464 Issue 2, December, 23, pp. 26 35. Submitted: December 24, 22. Published:
More informationFACTORIZATION OF IDEALS
FACTORIZATION OF IDEALS 1. General strategy Recall the statement of unique factorization of ideals in Dedekind domains: Theorem 1.1. Let A be a Dedekind domain and I a nonzero ideal of A. Then there are
More informationarxiv: v2 [math.ra] 31 Oct 2018
Multipliers, Covers and Stem Extensions or Lie Superalgebras arxiv:1808.02991v2 [math.ra] 31 Oct 2018 Xingxue Miao and Wende Liu School o Mathematical Sciences, Harbin Normal University Harbin 150025,
More informationPublic-key Cryptography: Theory and Practice
Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues
More informationI216e Discrete Math (for Review)
I216e Discrete Math (for Review) Nov 22nd, 2017 To check your understanding. Proofs of do not appear in the exam. 1 Monoid Let (G, ) be a monoid. Proposition 1 Uniquness of Identity An idenity e is unique,
More informationHow to glue perverse sheaves
How to glue perverse sheaves A.A. Beilinson The aim o this note [0] is to give a short, sel-contained account o the vanishing cycle constructions o perverse sheaves; e.g., or the needs o [1]. It diers
More informationA Note on Dormant Opers of Rank p 1 in Characteristic p
A Note on Dormant Opers of Rank p 1 in Characteristic p Yuichiro Hoshi May 2017 Abstract. In the present paper, we prove that the set of equivalence classes of dormant opers of rank p 1 over a projective
More informationEisenstein polynomials over function fields
Eisenstein polynomials over function fields The MIT Faculty has made this article openly available Please share how this access benefits you Your story matters Citation As Published Publisher Dotti, Edoardo,
More informationBENJAMIN LEVINE. 2. Principal Ideal Domains We will first investigate the properties of principal ideal domains and unique factorization domains.
FINITELY GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN BENJAMIN LEVINE Abstract. We will explore classification theory concerning the structure theorem for finitely generated modules over a principal
More informationExercises MAT2200 spring 2014 Ark 5 Rings and fields and factorization of polynomials
Exercises MAT2200 spring 2014 Ark 5 Rings and fields and factorization of polynomials This Ark concerns the weeks No. (Mar ) andno. (Mar ). Status for this week: On Monday Mar : Finished section 23(Factorization
More informationLecture 8: The Field B dr
Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion
More information1.6.1 What are Néron Models?
18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationVariations on a Casselman-Osborne theme
Variations on a Casselman-Osborne theme Dragan Miličić Introduction This paper is inspired by two classical results in homological algebra o modules over an enveloping algebra lemmas o Casselman-Osborne
More information(January 14, 2009) q n 1 q d 1. D = q n = q + d
(January 14, 2009) [10.1] Prove that a finite division ring D (a not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)
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 information