EUCLIDEAN QUADRATIC FORMS AND ADC-FORMS: I
|
|
- James Stafford
- 5 years ago
- Views:
Transcription
1 EUCLIDEAN QUADRATIC FORMS AND ADC-FORMS: I PETE L. CLARK Abstract. A classical result of Aubry, Davenport and Cassels gives conditions for an integral quadratic form to integrally represent every integer that it rationally represents. We give a generalization which allows one to pass from rational to integral representations for suitable quadratic forms over a normed ring. The Cassels-Pfister theorem follows as another special case. This motivates a closer study of the classes of forms which satisfy the hypothesis of our theorem ( Euclidean forms ) and its conclusion ( ADC forms ) Normed rings. Let R be a commutative, unital ring. We write R for R \ {0}. A norm on R is a function : R N such that (N0) x = 0 x = 0, (N1) x R, x = 1 x R, and (N2) x, y R, xy = x y. A norm is non-archimedean if for all x, y R, x + y max( x, y ). A normed rins a pair (R, ) where is a norm on R. A ring admitting a norm is necessarily an integral domain. We denote the fraction field by K. The norm extends uniquely to a homomorphism of groups (K, ) (Q >0, ). Example 1: The usual absolute value (inherited from R) is a norm on Z. Example 2: Let k be a field, R = k[t], and let a 2 be an integer. Then the map f k[t] a deg f is a non-archimedean norm a on R. When k is finite, it is most natural to take a = #k (see below). Otherwise, we may as well take a = 2. Example 3: An abstract number rins an infinite integral domain R such that for every nonzero ideal I of R, R/I is finite. (In particular, R may be an order in a number field, the ring of regular functions on an irreducible affine algebraic curve over a finite field, or any localization or completion thereof.) The map x R #R/(x) gives a norm on R [Cl10, Prop. 5], which we will call the canonical norm. The standard norm on Z is canonical, as is the norm q on the polynomial ring F q [t]. Example 4: Let R be a discrete valuation ring (DVR) with valuation v : K Z Partially supported by National Science Foundation grant DMS c Pete L. Clark,
2 2 PETE L. CLARK and residue field k. Choosing an integer a 2 we can define a norm a : R Z + by x a = a v(x). R is an abstract number rinff the residue field k is finite, and in this case the norm #k is the canonical norm. Note well that the norm a is not quite the usual norm x a v(x) associated to a DVR: rather, it is the reciprocal of the usual norm. Especially, beware: the norm a is not non-archimedean. A norm on a ring R is Euclidean if for all x K, there exists y R such that x y < 1. A domain which admits a Euclidean norm is a principal ideal domain (PID). It is known that the converse is not true, both in the sense that a given norm on a PID need not be Euclidean and in the stronger sense that there are PIDs which do not admit any Euclidean norm. However, for our purposes we wish to consider the norm as part of the given structure on R, so when we say R is Euclidean, we really mean the given norm on R is a Euclidean norm. Example 5: The canonical norm on Z is a Euclidean norm. For any field k and any a 2, the norm a on k[t] (c.f. Example 2) is a Euclidean norm. If (R, v) is discrete valuation ring, then the norm a (c.f. Example 4) is Euclidean: indeed, for x K, x K \ R v(x) < 0 x a = a v(x) < 1, so we may take y = Euclidean quadratic forms. Let (R, ) be a normed ring of characteristic not 2. A quadratic form over R, is a polynomial q R[x] = R[x 1,..., x n ] which is homogeneous of degree 2. Throughout this note we only consider quadratic forms which are non-degenerate over the fraction field K of R. A nondegenerate quadratic form q /R is isotropic if there exists a = (a 1,..., a n ) R n \ {(0,..., 0)} such that q(a) = 0; otherwise q is anisotropic. A form q is anisotropic over R iff it is anisotropic over K. A quadratic form q /R is universal if for all d R, there exists x R n such that q(x) = d. A quadratic form q on a normed ring (R, ) is Euclidean if for all x K n \ R n, there exists y R n such 0 < q(x y) < 1. Remark 1: An anisotropic quadratic form q is Euclidean iff for all x K n there exists y R n such that q(x y) < 1. Proposition 1. The norm on R is a Euclidean norm iff the quadratic form q(x) = x 2 is a Euclidean quadratic form. Proof. Noting that q is an anisotropic quadratic form, this comes down to: x, y K, x y < 1 q(x y) = (x y) 2 = x y 2 < 1. Remark 2: Also (R, ) is Euclidean iff the hyperbolic plane q = x 1 x 2 is Euclidean. Example 6: Let n, a 1,..., a n Z +. Then the integral quadratic form q(x) = a 1 x a n x 2 n is Euclidean iff i a i < ADC-forms. A quadratic form q(x) = q(x 1,..., x n ) over R is an ADC-form if for all d R, if
3 EUCLIDEAN QUADRATIC FORMS AND ADC-FORMS: I 3 there exists x K n such that q(x) = d, then there exists y R n such that q(y) = d. Example 7: Any universal quadratic form is an ADC-form. If R = Z and q is positive definite and positive universal i.e., represents all positive integers then q is an ADC-form. Thus for each n 5 there are infinitely many positive definite ADC-forms, e.g. x x 2 n 1 + dx 2 n for d Z +. Example 8: Let R be the integral closure of R in K. Then q(x) = x 2 is not an ADC-form iff there exists a R \ R such that a 2 R. In particular x 2 is an ADC-form if R is integrally closed. Example 9: Let R be a UFD and a R. iff a is squarefree. Then q(x) = ax 2 is an ADC-form Example 10: Suppose R is an algebra over a field k, and let q /k be isotropic. Then the base extension of q to R is universal. Indeed, since q is isotropic over k, it contains the hyperbolic plane as a subform. That is, after a k-linear change of variables, we may assume q = x 1 x 2 +q (x 3,..., x n ), and the conclusion is now clear. Example 11: The isotropic form q(x, y) = x 2 y 2 is not an ADC-form over Z: indeed it is universal over Q but not over Z. Example 12: In 1912, L. Aubry showed that q = x x x 2 3 is an ADC-form over Z [Aub12]. This leads to an elegant and conceptual proof of the Legendre- Gauss Three Squares Theorem, via reduction to the Hasse-Minkowski theory. By Example 6, q is Euclidean. Indeed, Aubry s proof exploits the Euclidean property. However, his argument seems to have been forgotten for many years, and circa 1960 Davenport and Cassels (unpublished) essentially rediscovered it. Theorem 2. (Aubry-Davenport-Cassels-Serre-Weil) Every Euclidean quadratic form q over Z is an ADC-form. Remark 3: In his widely read text [Se73, Lemma B, p. 46], Serre states and proves this theorem with the additional hypotheses that q be positive-definite and classically integral: i.e., that (x, y) 1 2 (q(x + y) q(x) q(y)) be Z-valued. The first to state Theorem 2 in full seems to be A. Weil in [We84, p. 294]. In 2009, Serre gave a new argument [SeMO] proving a slightly more general result. ADC-forms also appear (although heretofore not by name) in the following result. Theorem 3. (Cassels-Pfister [Ca64] [Pf65]) Let k be a field of characteristic different from 2. Let q /k be a quadratic form, and consider q as a quadratic form over the polynomial ring R = k[t]. Then q /R is an ADC-form: that is, every polynomial p k[t] which is represented by q over the field k(t) of rational functions is also represented by q over the ring k[t] of polynomial functions The Main Theorem. Theorem 4. Let (R, ) be a normed ring not of characteristic 2 and q /R a Euclidean quadratic form. Then q is an ADC-form.
4 4 PETE L. CLARK Proof. For x, y K n, put x y := 1 2 (q(x + y) q(x) q(x)). Then (x, y) x y is bilinear and x x = q(x). Note that for x, y R n, we need not have x y R, but certainly we have 2(x y) R. Let d R, and suppose there exists x K n such that q(x) = d. Equivalently, there exists t R and x R n such that t 2 d = x x. Choose x and t such that t is minimal. It is enough to show that t = 1, for then by (N1) t R. Apply the Euclidean hypothesis with x = x d : there is y R such that if z = x y, 0 < q(z) < 1. Now put a = y y d, b = 2dt 2(x y), T = at + b, X = ax + by. Then a, b, T R, and X R n. Claim: X X = T 2 d. Indeed, X X = a 2 (x x ) + ab(2x y) = b 2 (y y) = a 2 t 2 d + ab(2dt b) + b 2 (d + a) = d(a 2 t 2 + 2abt + b 2 ) = T 2 d. Claim: T = t(z z). Indeed, tt = at 2 + bt = t 2 (y y) dt 2 + 2dt 2 t(2x y) = t 2 (y y) t(2x y) + x x = (ty x ) (ty x ) = ( tz) ( tz) = t 2 (z z). Since 0 < z z < 1, we have 0 < T < t, contradicting the minimality of t. Remark 4: This proof is modelled on that of [Se73, pp ] Deducing the (Generalized) Cassels-Pfister Theorem. Lemma 5. Let q be an anisotropic quadratic form over a field k. Then q remains anisotropic over the rational function field k(t). Proof. If there exists a nonzero vector x k(t) n such that q(x) = 0, then (since k[t] is a UFD) there exists y = (y 1,..., y n ) such that y R n, gcd(y 1,..., y n ) = 1 and q(y) = 0. The polynomials y 1,..., y n do not all vanish at 0, so (y 1 (0),..., y n (0)) k n \ (0,..., 0) is such that q(y 1 (0),..., y n (0)) = 0, i.e., q is isotropic over k. Remark 5: The argument of Lemma 5 actually shows that a projective variety V /k has a k-rational point iff it has a k(t)-rational point. Proof of Theorem 3: let q = i,j a ijx i x j be a quadratic form over k. We view q as a quadratic form over R = k[t] via base extension. If q is isotropic over k, then by Example 10, q /R is universal. So suppose q is anisotropic over k, hence also, by Lemma 5, over k(t). By Theorem 4, it suffices to show that as a quadratic form over R = k[t] endowed with the norm = 2 of Example 2, q is Euclidean. Given an element x = ( f1(t) g,..., fn(t) 1(t) g ) n(t) Kn, by polynomial division we may write fi = y i + ri with y i, r i k[t] and deg(r i ) < deg( ). Putting y = (y 1,..., y n ) and using the non-archimedean property of, we find (1) q(x y) = i,j a i,j ( r i )( r j g j ) ( max a i,j i,j ) ( max r i i ) 2 < 1.
5 EUCLIDEAN QUADRATIC FORMS AND ADC-FORMS: I 5 Remark 6: Suppose q = i,j a i,jx i x j is an anisotropic quadratic form over k[t] such that each a i,j (t) has degree at most one. Then max i,j a i,j 2 while max i ri 2 1 4, so (1) still holds and shows that q is Euclidean and hence ADC. This is sometimes called the Generalized Cassels-Pfister Theorem: c.f. [Pf95, Remark 1.2.3]. By Example 9, extension to forms with coefficients of degree at most 2 is not possible Another class of anisotropic Euclidean forms. Let R be a complete discrete valuation ring with fraction field K. Let q : R n R be a quadratic form on R. By tensoring to K, we may view q as being a quadratic form on K n and R n as an R-lattice Λ K n. The quadratic form q satisfies the integrality property q(λ) R. We say that Λ is maximal if there does not exist an R-lattice Λ strictly containing Λ such that q(λ ) R. Theorem 6. (Eichler s Maximal Lattice Theorem) Let q be an anisotropic quadratic form over a complete discrete valuation field K with valuation ring R. Then there is a unique maximal R-lattice for q, namely Proof. See [Ei52] or [Ge08, Thm. 8.8]. Λ = {x K n q(x) R}. Corollary 7. Let R be a complete, discretely valued ring (not of characteristic 2), with fraction field K. Then, for each anisotropic quadratic form q /K, restricting to the unique maximal R-lattice Λ defines a Euclidean quadratic form over R. Proof. The proof is immediate from the fact that R n = {x K n q(x) R}. Indeed, this is equivalent to R n = {x K n q(x) a 1}, where x a = a v(x) is the norm of Example 4. Therefore, x K n \ R n q(x) a = q(x 0) a < Future work. In this note we have attempted to set the stage for a systematic study of Euclidean forms and ADC-forms. Work is in progress on the following topics: Classification of Euclidean quadratic forms over Z: In [Co07], H. Cohen reports on work of J. Houriet classifying all positive definite classically integral Euclidean quadratic forms. However, the form 2x 2 + 2xy + 3y 2 is missing from this list. We wish to verify that Houriet s list is otherwise complete and extend the list to non-classically integral positive definite Euclidean forms. The corresponding problem for indefinite anisotropic forms is also of interest, but seems more difficult. Quadratic Rings: There is a correspondence between primitive anisotropic binary quadratic forms over Z and invertible ideal classes in quadratic orders (see e.g. [Co93, 5.2]) under which Euclidean forms correspond to H.W. Lenstra s Euclidean ideal classes [Le79]. Combining Lenstra s work with the classification of Euclidean quadratic rings gives a complete list of anisotropic Euclidean binary forms over Z. This correspondence can be generalized to other normed domains. Quaternion rings: Let B be a free quaternion ring over a domain R in the sense of [Vo11]. Then the reduced norm N on B defines a quaternary quadratic form
6 6 PETE L. CLARK (q B ) /R. The forms which arise in this way are all principal of square discriminant. If is a norm on R, then q B is Euclidean iff the ring B is left-euclidean for the induced norm x B N(x). The definite norm-euclidean quaternion rings over Z have been classified by Fitzgerald [Fi10], who noted the relation to the classical quaternionic proof of Lagrange s Four Squares Theorem. Moreover, the notion of a Euclidean ideal class for B makes sense in this setting. Boundary-Euclidean forms: For an anisotropic quadratic form q over a normed ring (R, ) with fraction field K, define the Euclideanity of q as E(q) = sup x K n y R inf q(x y). n Thus q is Euclidean if E(q) < 1 and is certainly not Euclidean if E(q) > 1. The case E(q) = 1 is ambiguous: q is Euclidean iff the supremum in the definition of E(q) is not attained. However, certain non-euclidean forms q /Z with E(q) = 1 can nevertheless be shown to be ADC-forms via the method of Theorem 4 [We84, pp ], e.g. x 2 + 3y 2. (There are also non-adc forms with E(q) = 1, e.g. 2x 2 + 2y 2.) So the forms q with E(q) = 1 seem to deserve further study. References [Aub12] L. Aubry, Sphinx-Œdipe 7 (1912), [Cl10] P.L. Clark, Factorization in Integral Domains, pete/factorization2010.pdf [Ca64] J.W.S. Cassels, On the representation of rational functions as sums of squares. Acta Arith. 9 (1964), [Co93] H. Cohen, A course in computational algebraic number theory. Graduate Texts in Mathematics, 138. Springer-Verlag, Berlin, [Co07] H. Cohen, Number theory. Vol. I. Tools and Diophantine equations. Graduate Texts in Mathematics, 239. Springer, New York, [Ei52] M. Eichler, Martin Quadratische Formen und orthogonale Gruppen. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete. Band LXIII. Springer-Verlag, [Fi10] R.W. Fitzgerald, Norm Euclidean Quaternionic Orders, preprint, [Ge08] L.J. Gerstein, Basic quadratic forms. Graduate Studies in Mathematics, 90. American Mathematical Society, Providence, RI, [Le79] H.W. Lenstra, Jr., Euclidean ideal classes. Journées Arithmétiques de Luminy (Colloq. Internat. CNRS, Centre Univ. Luminy, Luminy, 1978), pp , [Pf65] A. Pfister, Multiplikative quadratische Formen. Arch. Math. (Basel) 16 (1965), [Pf95] A. Pfister, Quadratic forms with applications to algebraic geometry and topology. London Math. Society Lecture Note Series, 217. Cambridge University Press, Cambridge, [Se73] J.-P. Serre, A course in arithmetic. Translated from the French. Graduate Texts in Mathematics, No. 7. Springer-Verlag, New York-Heidelberg, [SeMO] J.-.P. Serre communicated to B. Poonen communicated to MathOverflow.net: mathoverflow.net/questions/3269 [Vo11] J. Voight, Characterizing quaternion rings over an arbitrary base, to appear. [We84] A. Weil, Number theory. An approach through history from Hammurapi to Legendre. Reprint of the 1984 edition. Modern Birkhäuser Classics, Boston, MA, Department of Mathematics, Boyd Graduate Studies Research Center, University of Georgia, Athens, GA , USA address: pete@math.uga.edu
1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
More informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
More informationTHUE S LEMMA AND IDONEAL QUADRATIC FORMS
THUE S LEMMA AND IDONEAL QUADRATIC FORMS PETE L. CLARK Introduction Recently I learned about Thue s Lemma, an elementary result on congruences due to the Norwegian mathematician Axel Thue (1863-1922).
More informationSOME IDEAS FOR 4400 FINAL PROJECTS
SOME IDEAS FOR 4400 FINAL PROJECTS 1. Project parameters You can work in groups of size 1 to 3. Your final project should be a paper of 6 to 10 double spaced pages in length. Ideally it should touch on
More informationTHE AMER-BRUMER THEOREM OVER ARBITRARY FIELDS
THE AMER-BRUMER THEOREM OVER ARBITRARY FIELDS DAVID B. LEEP Abstract. The Amer-Brumer Theorem was originally proved for fields with characteristic different from 2. Amer s generalization of Brumer s result
More informationA Note on Indefinite Ternary Quadratic Forms Representing All Odd Integers. Key Words: Quadratic Forms, indefinite ternary quadratic.
Bol. Soc. Paran. Mat. (3s.) v. 23 1-2 (2005): 85 92. c SPM ISNN-00378712 A Note on Indefinite Ternary Quadratic Forms Representing All Odd Integers Jean Bureau and Jorge Morales abstract: In this paper
More informationTHUE S LEMMA AND IDONEAL QUADRATIC FORMS
THUE S LEMMA AND IDONEAL QUADRATIC FORMS PETE L. CLARK Abstract. The representation of integers by binary quadratic forms is one of the oldest problems in number theory, going back at least to Fermat s
More informationThe p-adic Numbers. Akhil Mathew. 4 May Math 155, Professor Alan Candiotti
The p-adic Numbers Akhil Mathew Math 155, Professor Alan Candiotti 4 May 2009 Akhil Mathew (Math 155, Professor Alan Candiotti) The p-adic Numbers 4 May 2009 1 / 17 The standard absolute value on R: A
More informationERIC LARSON AND LARRY ROLEN
PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant
More informationLecture 7.5: Euclidean domains and algebraic integers
Lecture 7.5: Euclidean domains and algebraic integers Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley
More informationQUADRATIC FORMS OVER LOCAL RINGS
QUADRATIC FORMS OVER LOCAL RINGS ASHER AUEL Abstract. These notes collect together some facts concerning quadratic forms over commutative local rings, specifically mentioning discrete valuation rings.
More informationThe p-adic Numbers. Akhil Mathew
The p-adic Numbers Akhil Mathew ABSTRACT These are notes for the presentation I am giving today, which itself is intended to conclude the independent study on algebraic number theory I took with Professor
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 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 informationQUADRATIC RINGS PETE L. CLARK
QUADRATIC RINGS PETE L. CLARK 1. Quadratic fields and quadratic rings Let D be a squarefree integer not equal to 0 or 1. Then D is irrational, and Q[ D], the subring of C obtained by adjoining D to Q,
More informationMaterial covered: Class numbers of quadratic fields, Valuations, Completions of fields.
ALGEBRAIC NUMBER THEORY LECTURE 6 NOTES Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. 1. Ideal class groups of quadratic fields These are the ideal class groups
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 informationLEGENDRE S THEOREM, LEGRANGE S DESCENT
LEGENDRE S THEOREM, LEGRANGE S DESCENT SUPPLEMENT FOR MATH 370: NUMBER THEORY Abstract. Legendre gave simple necessary and sufficient conditions for the solvablility of the diophantine equation ax 2 +
More informationModern Algebra Lecture Notes: Rings and fields set 6, revision 2
Modern Algebra Lecture Notes: Rings and fields set 6, revision 2 Kevin Broughan University of Waikato, Hamilton, New Zealand May 20, 2010 Solving quadratic equations: traditional The procedure Work in
More informationALGEBRA HANDOUT 2.3: FACTORIZATION IN INTEGRAL DOMAINS. In this handout we wish to describe some aspects of the theory of factorization.
ALGEBRA HANDOUT 2.3: FACTORIZATION IN INTEGRAL DOMAINS PETE L. CLARK In this handout we wish to describe some aspects of the theory of factorization. The first goal is to state what it means for an arbitrary
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18. PIDs Definition 1 A principal ideal domain (PID) is an integral
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 information6 Lecture 6: More constructions with Huber rings
6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace
More informationChapter 14: Divisibility and factorization
Chapter 14: Divisibility and factorization Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Summer I 2014 M. Macauley (Clemson) Chapter
More informationGENERATING IDEALS IN SUBRINGS OF K[[X]] VIA NUMERICAL SEMIGROUPS
GENERATING IDEALS IN SUBRINGS OF K[[X]] VIA NUMERICAL SEMIGROUPS SCOTT T. CHAPMAN Abstract. Let K be a field and S be the numerical semigroup generated by the positive integers n 1,..., n k. We discuss
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More informationPolynomials over UFD s
Polynomials over UFD s Let R be a UFD and let K be the field of fractions of R. Our goal is to compare arithmetic in the rings R[x] and K[x]. We introduce the following notion. Definition 1. A non-constant
More informationDONG QUAN NGOC NGUYEN
REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the
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 informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More information12 Ramification, Haar measure, the product formula
18.785 Number theory I Lecture #12 Fall 2015 10/22/2015 12 Ramification, Haar measure, the product formula 12.1 Ramification in terms of the different and discriminant We conclude our discussion of the
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 Factorization 0.1.1 Factorization of Integers and Polynomials Now we are going
More informationRelative Densities of Ramified Primes 1 in Q( pq)
International Mathematical Forum, 3, 2008, no. 8, 375-384 Relative Densities of Ramified Primes 1 in Q( pq) Michele Elia Politecnico di Torino, Italy elia@polito.it Abstract The relative densities of rational
More information14 Ordinary and supersingular elliptic curves
18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that
More informationWEAKLY ISOTROPIC QUADRATIC FORMS UNDER FIELD EXTENSIONS
WEAKLY ISOTROPIC QUADRATIC FORMS UNDER FIELD EXTENSIONS CLAUS SCHUBERT Abstract. For a field F of characteristic not 2, let û(f ) denote the maximal dimension of anisotropic, weakly isotropic, non-degenerate
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 informationJosé Felipe Voloch. Abstract: We discuss the problem of constructing elements of multiplicative high
On the order of points on curves over finite fields José Felipe Voloch Abstract: We discuss the problem of constructing elements of multiplicative high order in finite fields of large degree over their
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 information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationTHE HEIGHT OF ALGEBRAIC UNITS IN LOCAL FIELDS*
THE HEIGHT OF ALGEBRAIC UNITS IN LOCAL FIELDS* CLAYTON PETSCHE Abstract. Given a number field k and a non-archimedean place v of k, we give a quantitative lower bound on the height of non-torsion algebraic
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 informationAN EASY GENERALIZATION OF EULER S THEOREM ON THE SERIES OF PRIME RECIPROCALS
AN EASY GENERALIZATION OF EULER S THEOREM ON THE SERIES OF PRIME RECIPROCALS PAUL POLLACK Abstract It is well-known that Euclid s argument can be adapted to prove the infinitude of primes of the form 4k
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 informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationFrom Wikipedia, the free encyclopedia
1 of 8 27/03/2013 12:41 Quadratic form From Wikipedia, the free encyclopedia In mathematics, a quadratic form is a homogeneous polynomial of degree two in a number of variables. For example, is a quadratic
More informationON THE NUMBER OF PLACES OF CONVERGENCE FOR NEWTON S METHOD OVER NUMBER FIELDS
ON THE NUMBER OF PLACES OF CONVERGENCE FOR NEWTON S METHOD OVER NUMBER FIELDS XANDER FABER AND JOSÉ FELIPE VOLOCH Abstract. Let f be a polynomial of degree at least 2 with coefficients in a number field
More informationDefining Valuation Rings
East Carolina University, Greenville, North Carolina, USA June 8, 2018 Outline 1 What? Valuations and Valuation Rings Definability Questions in Number Theory 2 Why? Some Questions and Answers Becoming
More information15 Dirichlet s unit theorem
18.785 Number theory I Fall 2017 Lecture #15 10/30/2017 15 Dirichlet s unit theorem Let K be a number field. The two main theorems of classical algebraic number theory are: The class group cl O K is finite.
More informationMathematical Olympiad Training Polynomials
Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,
More informationABSOLUTE VALUES AND VALUATIONS
ABSOLUTE VALUES AND VALUATIONS YIFAN WU, wuyifan@umich.edu Abstract. We introduce the basis notions, properties and results of absolute values, valuations, discrete valuation rings and higher unit groups.
More informationIn Theorem 2.2.4, we generalized a result about field extensions to rings. Here is another variation.
Chapter 3 Valuation Rings The results of this chapter come into play when analyzing the behavior of a rational function defined in the neighborhood of a point on an algebraic curve. 3.1 Extension Theorems
More informationAN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES
AN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES Abstract. We give a proof of the group law for elliptic curves using explicit formulas. 1. Introduction In the following K will denote an algebraically
More informationRINGS: SUMMARY OF MATERIAL
RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered
More informationEUCLIDEAN QUADRATIC FORMS AND ADC-FORMS II: INTEGRAL FORMS
EUCLIDEAN QUADRATIC FORMS AND ADC-FORMS II: INTEGRAL FORMS PETE L. CLARK AND WILLIAM C. JAGY Abstract. We study ADC quadratic forms and Euclidean quadratic forms over the integers, obtaining complete classification
More informationINDEFINITE QUADRATIC FORMS AND PELL EQUATIONS INVOLVING QUADRATIC IDEALS
INDEFINITE QUADRATIC FORMS AND PELL EQUATIONS INVOLVING QUADRATIC IDEALS AHMET TEKCAN Communicated by Alexandru Zaharescu Let p 1(mod 4) be a prime number, let γ P + p Q be a quadratic irrational, let
More informationAbsolute Values and Completions
Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic
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 informationA note on Derivations of Commutative Rings
A note on Derivations of Commutative Rings MICHAEL GR. VOSKOGLOU School of Technological Applications Graduate Technological Educational Institute (T. E. I.) Meg. Alexandrou 1, 26334 Patras GREECE e-mail:
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 informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
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 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 informationON THE GENERIC SPLITTING OF QUADRATIC FORMS IN CHARACTERISTIC 2
ON THE GENERIC SPLITTING OF QUADRATIC FORMS IN CHARACTERISTIC 2 AHMED LAGHRIBI ABSTRACT. In [8] and [9] Knebusch established the basic facts of generic splitting theory of quadratic forms over a field
More informationA NOTE ON GOLOMB TOPOLOGIES
A NOTE ON GOLOMB TOPOLOGIES PETE L. CLARK, NOAH LEBOWITZ-LOCKARD, AND PAUL POLLACK Abstract. In 1959 Golomb defined a connected topology on Z. An analogous Golomb topology on an arbitrary integral domain
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 information2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY DIAGONAL QUADRATIC FORMS
2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY DIAGONAL QUADRATIC FORMS B.M. Kim 1, Myung-Hwan Kim 2, and S. Raghavan 3, 1 Dept. of Math., Kangnung Nat l Univ., Kangwondo 210-702, Korea 2 Dept. of Math.,
More informationRATIONAL LINEAR SPACES ON HYPERSURFACES OVER QUASI-ALGEBRAICALLY CLOSED FIELDS
RATIONAL LINEAR SPACES ON HYPERSURFACES OVER QUASI-ALGEBRAICALLY CLOSED FIELDS TODD COCHRANE, CRAIG V. SPENCER, AND HEE-SUNG YANG Abstract. Let k = F q (t) be the rational function field over F q and f(x)
More information7 Lecture 7: Rational domains, Tate rings and analytic points
7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationFebruary 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions
February 1, 2005 INTRODUCTION TO p-adic NUMBERS JASON PRESZLER 1. p-adic Expansions The study of p-adic numbers originated in the work of Kummer, but Hensel was the first to truly begin developing the
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 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 informationIntegral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis
June 23, 2011 Integral points of a modular curve of level 11 by René Schoof and Nikos Tzanakis Abstract. Using lower bounds for linear forms in elliptic logarithms we determine the integral points of the
More information6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree
Quadratic extensions Definition: Let R, S be commutative rings, R S. An extension of rings R S is said to be quadratic there is α S \R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S
More informationIntroduction Non-uniqueness of factorization in A[x]... 66
Abstract In this work, we study the factorization in A[x], where A is an Artinian local principal ideal ring (briefly SPIR), whose maximal ideal, (t), has nilpotency h: this is not a Unique Factorization
More informationINTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References
INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608 ABRAHAM BROER References [1] Atiyah, M. F.; Macdonald, I. G. Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills,
More informationFactorization in Domains
Last Time Chain Conditions and s Uniqueness of s The Division Algorithm Revisited in Domains Ryan C. Trinity University Modern Algebra II Last Time Chain Conditions and s Uniqueness of s The Division Algorithm
More informationNUMBER FIELDS WITHOUT SMALL GENERATORS
NUMBER FIELDS WITHOUT SMALL GENERATORS JEFFREY D. VAALER AND MARTIN WIDMER Abstract. Let D > be an integer, and let b = b(d) > be its smallest divisor. We show that there are infinitely many number fields
More information1. Vélu s formulae GENERALIZATION OF VÉLU S FORMULAE FOR ISOGENIES BETWEEN ELLIPTIC CURVES. Josep M. Miret, Ramiro Moreno and Anna Rio
Publ. Mat. 2007, 147 163 Proceedings of the Primeras Jornadas de Teoría de Números. GENERALIZATION OF VÉLU S FORMULAE FOR ISOGENIES BETWEEN ELLIPTIC CURVES Josep M. Miret, Ramiro Moreno and Anna Rio Abstract
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 informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More informationVARGA S THEOREM IN NUMBER FIELDS. Pete L. Clark Department of Mathematics, University of Georgia, Athens, Georgia. Lori D.
#A74 INTEGERS 18 (2018) VARGA S THEOREM IN NUMBER FIELDS Pete L. Clark Department of Mathematics, University of Georgia, Athens, Georgia Lori D. Watson 1 Department of Mathematics, University of Georgia,
More informationON ISOTROPY OF QUADRATIC PAIR
ON ISOTROPY OF QUADRATIC PAIR NIKITA A. KARPENKO Abstract. Let F be an arbitrary field (of arbitrary characteristic). Let A be a central simple F -algebra endowed with a quadratic pair σ (if char F 2 then
More informationSEMIORDERINGS AND STABILITY INDEX UNDER FIELD EXTENSIONS
SEMIORDERINGS AND STABILITY INDEX UNDER FIELD EXTENSIONS KARIM JOHANNES BECHER, DAVID B. LEEP, AND CLAUS SCHUBERT Abstract. We study the behavior of orderings, semiorderings, and the stability index under
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationMAT 5330 Algebraic Geometry: Quiver Varieties
MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody
More informationc ij x i x j c ij x i y j
Math 48A. Class groups for imaginary quadratic fields In general it is a very difficult problem to determine the class number of a number field, let alone the structure of its class group. However, in
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationMINKOWSKI THEORY AND THE CLASS NUMBER
MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More informationHomework 6 Solution. Math 113 Summer 2016.
Homework 6 Solution. Math 113 Summer 2016. 1. For each of the following ideals, say whether they are prime, maximal (hence also prime), or neither (a) (x 4 + 2x 2 + 1) C[x] (b) (x 5 + 24x 3 54x 2 + 6x
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 informationON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING
italian journal of pure and applied mathematics n. 31 2013 (63 76) 63 ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING A.M. Aghdam Department Of Mathematics University of Tabriz
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 informationAN INEQUALITY INVOLVING TIGHT CLOSURE AND PARAMETER IDEALS. Dedicated to the memory of Professor Nicolae Radu
AN INEQUALITY INVOLVING TIGHT CLOSURE AND PARAMETER IDEALS CĂTĂLIN CIUPERCĂ AND FLORIAN ENESCU Dedicated to the memory of Professor Nicolae Radu ABSTRACT. We establish an inequality involving colengths
More informationMATH 304 Linear Algebra Lecture 19: Least squares problems (continued). Norms and inner products.
MATH 304 Linear Algebra Lecture 19: Least squares problems (continued). Norms and inner products. Orthogonal projection Theorem 1 Let V be a subspace of R n. Then any vector x R n is uniquely represented
More informationARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS
Math. J. Okayama Univ. 60 (2018), 155 164 ARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS Kenichi Shimizu Abstract. We study a class of integers called SP numbers (Sum Prime
More information