Week 3 the Ring of Integers

Total Page:16

File Type:pdf, Size:1020Kb

Week 3 the Ring of Integers Week 3 The ring of integers We continue our study of the ring of integers of a number field. Note that if K/Q is a number field, then by definition we have a Q-basis, that is, elements x1,...,xn such that K = a1x1 + + anxn : ai Q { ··· 2 } (and each such representation is unique). It would certainly be useful if we could choose the basis in such a way that K = a1x1 + + anxn : ai Z . O { ··· 2 } For quadratic extensions we have seen that we can, in fact a basis of the form 1,↵ ,somaybethispropertyholdsingeneral. { } 3.1 Modules The study of extensions of fields is aided a great deal by considering a field as a vector space over a subfield. To study extensions of rings, we need a structure over a ring which is similar to a vector space. Definition 3.1. Let R be a ring. An R-module M is an abelian group with aruleforscalarmultiplicationbyelementsinR,satisfying(foralla, b R and x, y M) 2 2 1. (a + b)x = ax + bx 2. a(x + y)=ax + ay 40 3. a(bx)=(ab)x 4. 0Rx =0M 5. 1Rx = x. A submodule of M is a subset N M containing 0 which is itself an R- ✓ M module. An R-module homomorphism is a map of R-modules ' : M1 M2 such that '(x + y)='(x)+'(y), and '(ax)=a'(x), for all a R!and x, y M (i.e., a linear transformation of modules). Two R-modules2 are isomorphic2 if there is a bijective R-module homomorphism taking one to the other. Finally, given and R-module M,andelementsx1,...,xn,thesub- module of M generated by x1,...,xn is simply x ,...,x = a x + a x + + a x : a R 0 . h 1 ni { 1 1 2 2 ··· n n i 2 }[{ M } We say that x1,...,xn are a generating set for M over R if the submodule they generate is M itself, and if such a set exists (we’re requiring it to be finite) we say that M is of finite type as an R-module. Note that if F is a field, then an F -module is just a vector space over F ,andanF -module of finite type is just a finite-dimensional vector space. But modules are much more general. For example, any abelian group can be given the structure of a Z-module, by letting n Z+ act by 2 nx = x + x + + x, ··· where the sum on the right has n terms, and letting ( n)x be the inverse − of nx. And this will be a Z-module of finite type if and only if the group is finitely generated. Note that this makes for some crucial di↵erences between modules in general, and vector spaces in particular. In a vector space V over afieldF ,weknowthatcx =0V implies either c =0F (the zero scalar) or x =0V (the zero vector). This is not true in modules. For example, if we let M = Z/7Z,asaZ-module, then 7 2=0M ,eventhough2=0M ,and · 6 7 =0Z. We have to be careful, then, in using our intuition about vector spaces6 in general modules. For our purposes, it is enough to think about Z-modules, which are simply abelian groups. It is useful to phrase things in terms of modules, however, for the purposes of later generalizations. 41 Another natural construction of a module over a ring R is to take the cartesian product Rn = R R R, ⇥ ⇥··· and to make this an R-module by setting r(a1,a2,...,an)=(ra1,ra2,...,ran) (the addition in Rn is pointwise). Definition 3.2. An R-module M is said to be a free R-module of rank n if n and only if it is isomorphic to R .Asetx1,...,xn M is a basis for M over 2 n R if and only if there is an isomorphism ' : M R such that '(xi)isthe element (a ,...,a ) Rn such that a =1,anda!=0forj = i. 1 n 2 i j 6 Exercise 3.3. Let A be a ring, and view A as an A-module in the obvious way. Show that the submodules of A are exactly the ideals of A,andthat the submodules of finite type are exactly the finitely generated ideals. Note that modules of finite type over Z are jsut finitely generated abelian groups. From group theory, we know that every such group is of the form G Zr, ⇥ for G afinitegroupandr some non-negative integer. This Z-module of finite type is a free module of rank r when G is the trivial group. The following lemma is useful, and is equivalent to the statement that subgroups of finitely generated groups are always finitely generated. Note that it is easy to replace Z with any PID A in the proof, and get the analogous result for A-modules (only when A is a PID). Lemma 3.4. Let M be a free Z-module of rank n, and let N M be a ✓ submodule. Then N is a free Z-module of rank at most n. Proof. The main thing is to show that N is finitely generated. Let x1,...,xn be a Z-basis for M,andletN0 = 0 be the trivial Z-module. We will set { } Nj = N (x1Z + + xjZ), \ ··· and show that Nj is a free module of rank at most j for 1 j n,by induction. The base case (j =0)istrivial. 42 Suppose that Nj is a free module of rank at most j,andlet a = a Z : y + axj+1 Nj+1 for some y Nj . { 2 2 2 } Then it is easy to check that a is an ideal of Z,andsomustbeaprincipal ideal. If a =(0),thenNj+1 = Nj which we have assumed free of rank at most j<j+1. On the other hand, if a = mZ for some m =0,thenthereexistsan x N with x = y + mx ,forsomey N . Note6 that if z N , then 2 j+1 j+1 2 j 2 j+1 z = y + aj+1xj+1 for some aj+1 Z,byconstruction,andwenowknowthat m a ,sowritea = dm.Wethenhave2 | j+1 j+1 z dmx N , − 2 j showing that Nj + mxZ = Nj+1. On the other hand, since x1,...,xn are linearly independent, a x + + a x N implies a =0,andso 1 1 ··· j+1 j+1 2 j j+1 Nj mxZ = 0 . From this it follows that if y1,...,ys is a Z-basis for Nj, \ { } then y1,...,y2,x is a Z-basis for Nj+1,showingthatNj+1 is free of rank at most j +1. By induction, it follows that Nj is a free Z-module of rank at most j,and in particular N = Nn is a free Z-module of rank at most n. Now to show that K is a free Z-module, it is enough to show that it is O contained in a free Z-module, which might be easier. In order to do that, we need a little more linear algebra. 3.2 Matrices and linear transformations Our first step is to note that some of the familiar constructions from linear algebra of vector spaces over fields can actually be carried through to modules over rings. Let A be an integral domain, and M afreemoduleoffiniterankoverA n (so that M ⇠= A as A-modules, for some n). In pratice we will generally be taking A = Z,soM is the Z-span of some vectors in a vector space over Q,orwewillbetakingA = Q in which case M is just a vector space. An endomorphism of M is a function T : M M such that ! T (x + y)=T (x)+T (y) 43 and T (ax)=aT (x) for all x, y M and a A (i.e., T is a “linear transformation”). Given a 2 2 basis e1,...,en for M over A,wecanassociatetoT amatrix(aij)determined by n T (ei)= aijej. j=1 X The determinant, trace,andcharacteristic polynomial of T will be the corre- sponding quantities associated to the matrix. Recall that the characteristic polynomial of an n n matrix B with entries in A is det(XI B) A[X], ⇥ n − 2 where In is the n n identity matrix. Note that, a priori,thisdependson the choice of basis,⇥ and so really we should specify a basis when we speak of the trace, etc., of an endomorphism. On the other hand, the matrices of the same endomorphism relative to di↵erent bases are similar matrices, and so have the same trace, determinant, and characteristic polynomial. So, after a small amount of linear algebra, we can convince ourselves that these quantities do not depend on the particular basis used. Definition 3.5. Let B be an integral domain, and let A be a subring such that B is a free A-module of finite rank. Then for ↵ B,wedefineTr (↵) 2 B/A to be the trace of the endomorphism T↵(x)=↵x.Similarly,wedefinethe norm NB/A(↵)tobethedeterminantofT↵,andthecharacteristicpolynomial of ↵ to be the characteristic polynomial of T↵. Note that all three of the defined quantities are independent of the choice of basis (i.e., the choice of representing matrix), by standard facts from linear algebra. Example 3.6. Let A = R and B = C,whichisafreeA-module of rank 2, with basis 1,i .Thenif↵ = x + iy,, we have { } T (1) = x 1+y i ↵ · · T (i)= y 1+x i, ↵ − · · and so the matrix for T↵ is x y . yx− ✓ ◆ 44 We obtain N (x + iy)=x2 + y2 = x + iy C/R | | TrC/R(x + iy)=2x =2Re(x + iy), and the characteristic polynomial for x + iy over R is X2 2xX + x2 + y2.
Recommended publications
  • The Geometry of Syzygies
    The Geometry of Syzygies A second course in Commutative Algebra and Algebraic Geometry David Eisenbud University of California, Berkeley with the collaboration of Freddy Bonnin, Clement´ Caubel and Hel´ ene` Maugendre For a current version of this manuscript-in-progress, see www.msri.org/people/staff/de/ready.pdf Copyright David Eisenbud, 2002 ii Contents 0 Preface: Algebra and Geometry xi 0A What are syzygies? . xii 0B The Geometric Content of Syzygies . xiii 0C What does it mean to solve linear equations? . xiv 0D Experiment and Computation . xvi 0E What’s In This Book? . xvii 0F Prerequisites . xix 0G How did this book come about? . xix 0H Other Books . 1 0I Thanks . 1 0J Notation . 1 1 Free resolutions and Hilbert functions 3 1A Hilbert’s contributions . 3 1A.1 The generation of invariants . 3 1A.2 The study of syzygies . 5 1A.3 The Hilbert function becomes polynomial . 7 iii iv CONTENTS 1B Minimal free resolutions . 8 1B.1 Describing resolutions: Betti diagrams . 11 1B.2 Properties of the graded Betti numbers . 12 1B.3 The information in the Hilbert function . 13 1C Exercises . 14 2 First Examples of Free Resolutions 19 2A Monomial ideals and simplicial complexes . 19 2A.1 Syzygies of monomial ideals . 23 2A.2 Examples . 25 2A.3 Bounds on Betti numbers and proof of Hilbert’s Syzygy Theorem . 26 2B Geometry from syzygies: seven points in P3 .......... 29 2B.1 The Hilbert polynomial and function. 29 2B.2 . and other information in the resolution . 31 2C Exercises . 34 3 Points in P2 39 3A The ideal of a finite set of points .
    [Show full text]
  • Exercises and Solutions in Groups Rings and Fields
    EXERCISES AND SOLUTIONS IN GROUPS RINGS AND FIELDS Mahmut Kuzucuo˘glu Middle East Technical University [email protected] Ankara, TURKEY April 18, 2012 ii iii TABLE OF CONTENTS CHAPTERS 0. PREFACE . v 1. SETS, INTEGERS, FUNCTIONS . 1 2. GROUPS . 4 3. RINGS . .55 4. FIELDS . 77 5. INDEX . 100 iv v Preface These notes are prepared in 1991 when we gave the abstract al- gebra course. Our intention was to help the students by giving them some exercises and get them familiar with some solutions. Some of the solutions here are very short and in the form of a hint. I would like to thank B¨ulent B¨uy¨ukbozkırlı for his help during the preparation of these notes. I would like to thank also Prof. Ismail_ S¸. G¨ulo˘glufor checking some of the solutions. Of course the remaining errors belongs to me. If you find any errors, I should be grateful to hear from you. Finally I would like to thank Aynur Bora and G¨uldaneG¨um¨u¸sfor their typing the manuscript in LATEX. Mahmut Kuzucuo˘glu I would like to thank our graduate students Tu˘gbaAslan, B¨u¸sra C¸ınar, Fuat Erdem and Irfan_ Kadık¨oyl¨ufor reading the old version and pointing out some misprints. With their encouragement I have made the changes in the shape, namely I put the answers right after the questions. 20, December 2011 vi M. Kuzucuo˘glu 1. SETS, INTEGERS, FUNCTIONS 1.1. If A is a finite set having n elements, prove that A has exactly 2n distinct subsets.
    [Show full text]
  • LINEAR ALGEBRA METHODS in COMBINATORICS László Babai
    LINEAR ALGEBRA METHODS IN COMBINATORICS L´aszl´oBabai and P´eterFrankl Version 2.1∗ March 2020 ||||| ∗ Slight update of Version 2, 1992. ||||||||||||||||||||||| 1 c L´aszl´oBabai and P´eterFrankl. 1988, 1992, 2020. Preface Due perhaps to a recognition of the wide applicability of their elementary concepts and techniques, both combinatorics and linear algebra have gained increased representation in college mathematics curricula in recent decades. The combinatorial nature of the determinant expansion (and the related difficulty in teaching it) may hint at the plausibility of some link between the two areas. A more profound connection, the use of determinants in combinatorial enumeration goes back at least to the work of Kirchhoff in the middle of the 19th century on counting spanning trees in an electrical network. It is much less known, however, that quite apart from the theory of determinants, the elements of the theory of linear spaces has found striking applications to the theory of families of finite sets. With a mere knowledge of the concept of linear independence, unexpected connections can be made between algebra and combinatorics, thus greatly enhancing the impact of each subject on the student's perception of beauty and sense of coherence in mathematics. If these adjectives seem inflated, the reader is kindly invited to open the first chapter of the book, read the first page to the point where the first result is stated (\No more than 32 clubs can be formed in Oddtown"), and try to prove it before reading on. (The effect would, of course, be magnified if the title of this volume did not give away where to look for clues.) What we have said so far may suggest that the best place to present this material is a mathematics enhancement program for motivated high school students.
    [Show full text]
  • Algebraic Number Theory
    Algebraic Number Theory William B. Hart Warwick Mathematics Institute Abstract. We give a short introduction to algebraic number theory. Algebraic number theory is the study of extension fields Q(α1; α2; : : : ; αn) of the rational numbers, known as algebraic number fields (sometimes number fields for short), in which each of the adjoined complex numbers αi is algebraic, i.e. the root of a polynomial with rational coefficients. Throughout this set of notes we use the notation Z[α1; α2; : : : ; αn] to denote the ring generated by the values αi. It is the smallest ring containing the integers Z and each of the αi. It can be described as the ring of all polynomial expressions in the αi with integer coefficients, i.e. the ring of all expressions built up from elements of Z and the complex numbers αi by finitely many applications of the arithmetic operations of addition and multiplication. The notation Q(α1; α2; : : : ; αn) denotes the field of all quotients of elements of Z[α1; α2; : : : ; αn] with nonzero denominator, i.e. the field of rational functions in the αi, with rational coefficients. It is the smallest field containing the rational numbers Q and all of the αi. It can be thought of as the field of all expressions built up from elements of Z and the numbers αi by finitely many applications of the arithmetic operations of addition, multiplication and division (excepting of course, divide by zero). 1 Algebraic numbers and integers A number α 2 C is called algebraic if it is the root of a monic polynomial n n−1 n−2 f(x) = x + an−1x + an−2x + ::: + a1x + a0 = 0 with rational coefficients ai.
    [Show full text]
  • Ideal Theory in Commutative Ternary A-Semirings
    International Mathematical Forum, Vol. 7, 2012, no. 42, 2085 - 2091 Ideal Theory in Commutative Ternary A-semirings V. R. Daddi Department of Mathematics D. Y. Patil College of Engineering and Technology Kolhapur, India vanita daddi@rediffmail.com Y. S. Pawar Department of Mathematics Shivaji University, Kolhapur, India pawar y [email protected] Abstract In this paper, we analyze some results on ideal theory of commuta- tive ternary semirings with identity. We introduce and study the notion of ternary A-semiring. Mathematics Subject Classification: 16Y30, 16Y99 Keywords: Ternary semiring, ternary A-semiring, maximal ideal, prime ideal, semiprime ideal 1 Introduction Algebraic structures play a prominent role in mathematics with wide ranging applications in many disciplines such as theoretical physics, computer sciences, control engineering, information sciences, coding theory, topological spaces and the like. This provides sufficient motivation to researchers to review various concepts and results. The theory of ternary algebraic system was introduced by D. H. Lehmer [1]. He investigated certain ternary algebraic systems called triplexes which turn out to be commutative ternary groups. The notion of ternary semigroups was introduced by Banach S. He showed by an example that a ternary semigroup does not necessarily reduce to an ordinary semi- groups. In W.G. Lister [6] characterized additive subgroups of rings which are closed under the triple ring product and he called this algebraic system a 2086 V. R. Daddi and Y.S. Pawar ternary ring. T.K.Dutta and S. Kar ([3],[4],[5]) introduced and studied some properties of ternary semirings which is a generealization of ternary ring. Ternary semiring arises naturally as follows, consider the ring of integers Z which plays a vital role in the theory of ring.
    [Show full text]
  • Geometric Engineering of (Framed) Bps States
    GEOMETRIC ENGINEERING OF (FRAMED) BPS STATES WU-YEN CHUANG1, DUILIU-EMANUEL DIACONESCU2, JAN MANSCHOT3;4, GREGORY W. MOORE5, YAN SOIBELMAN6 Abstract. BPS quivers for N = 2 SU(N) gauge theories are derived via geometric engineering from derived categories of toric Calabi-Yau threefolds. While the outcome is in agreement of previous low energy constructions, the geometric approach leads to several new results. An absence of walls conjecture is formulated for all values of N, relating the field theory BPS spectrum to large radius D-brane bound states. Supporting evidence is presented as explicit computations of BPS degeneracies in some examples. These computations also prove the existence of BPS states of arbitrarily high spin and infinitely many marginal stability walls at weak coupling. Moreover, framed quiver models for framed BPS states are naturally derived from this formalism, as well as a mathematical formulation of framed and unframed BPS degeneracies in terms of motivic and cohomological Donaldson-Thomas invariants. We verify the conjectured absence of BPS states with \exotic" SU(2)R quantum numbers using motivic DT invariants. This application is based in particular on a complete recursive algorithm which determines the unframed BPS spectrum at any point on the Coulomb branch in terms of noncommutative Donaldson- Thomas invariants for framed quiver representations. Contents 1. Introduction 2 1.1. A (short) summary for mathematicians 7 1.2. BPS categories and mirror symmetry 9 2. Geometric engineering, exceptional collections, and quivers 11 2.1. Exceptional collections and fractional branes 14 2.2. Orbifold quivers 18 2.3. Field theory limit A 19 2.4.
    [Show full text]
  • Approximating Rings of Integers in Number Fields
    Journal de Th´eorie des Nombres de Bordeaux 6 (1994), 221–260 Approximating rings of integers in number fields. par J. A. Buchmann and H. W. Lenstra, Jr. Resum´ e.´ – Nous ´etudions dans cet article le probl`eme algorithmique de la d´etermination de l’anneau des entiers d’un corps de nombres alg´ebriques donn´e. En pratique, ce probl`eme est souvent consid´er´ecomme r´esolu mais des r´esultats th´eoriques montrent que sa r´esolution ne peut ˆetre men´ee `a terme lorsque le corps ´etudi´eest d´efini par les ´equations dont les coefficients sont tr`es gros. Or de tels corps apparaissent dans l’algorithme du crible alg´ebrique utilis´epour factoriser les entiers naturels. En appliquant une variante d’un algorithme standard donnant l’anneau des entiers, on obtient un sous-anneau du corps de nombres qui peut ˆetre regard´ecomme le meilleur candidat possible pour l’anneau des entiers. Ce meilleur candidat est probablement souvent le bon. Notre propos est d’exposer ce qui peut ˆetre prouv´e sur ce sous-anneau. Nous montrons que sa structure locale est transparente et rappelle celle des extensions mod´er´ement ramifi´ees de corps locaux. La plus grande partie de cet article est consacr´ee a l’´etude des anneaux qui sont “mod´er´es” en un sens plus g´en´eral que celui habituel. Chemin faisant nous ´etablissons des r´esultats de complexit´equi prolongent un th´eor`eme de Chistov. L’article inclut ´egalement une section qui discute des algorithmes en temps polynomial pour les groupes ab´eliens de type fini.
    [Show full text]
  • A Brief History of Ring Theory
    A Brief History of Ring Theory by Kristen Pollock Abstract Algebra II, Math 442 Loyola College, Spring 2005 A Brief History of Ring Theory Kristen Pollock 2 1. Introduction In order to fully define and examine an abstract ring, this essay will follow a procedure that is unlike a typical algebra textbook. That is, rather than initially offering just definitions, relevant examples will first be supplied so that the origins of a ring and its components can be better understood. Of course, this is the path that history has taken so what better way to proceed? First, it is important to understand that the abstract ring concept emerged from not one, but two theories: commutative ring theory and noncommutative ring the- ory. These two theories originated in different problems, were developed by different people and flourished in different directions. Still, these theories have much in com- mon and together form the foundation of today's ring theory. Specifically, modern commutative ring theory has its roots in problems of algebraic number theory and algebraic geometry. On the other hand, noncommutative ring theory originated from an attempt to expand the complex numbers to a variety of hypercomplex number systems. 2. Noncommutative Rings We will begin with noncommutative ring theory and its main originating ex- ample: the quaternions. According to Israel Kleiner's article \The Genesis of the Abstract Ring Concept," [2]. these numbers, created by Hamilton in 1843, are of the form a + bi + cj + dk (a; b; c; d 2 R) where addition is through its components 2 2 2 and multiplication is subject to the relations i =pj = k = ijk = −1.
    [Show full text]
  • THE RESULTANT of TWO POLYNOMIALS Case of Two
    THE RESULTANT OF TWO POLYNOMIALS PIERRE-LOÏC MÉLIOT Abstract. We introduce the notion of resultant of two polynomials, and we explain its use for the computation of the intersection of two algebraic curves. Case of two polynomials in one variable. Consider an algebraically closed field k (say, k = C), and let P and Q be two polynomials in k[X]: r r−1 P (X) = arX + ar−1X + ··· + a1X + a0; s s−1 Q(X) = bsX + bs−1X + ··· + b1X + b0: We want a simple criterion to decide whether P and Q have a common root α. Note that if this is the case, then P (X) = (X − α) P1(X); Q(X) = (X − α) Q1(X) and P1Q − Q1P = 0. Therefore, there is a linear relation between the polynomials P (X);XP (X);:::;Xs−1P (X);Q(X);XQ(X);:::;Xr−1Q(X): Conversely, such a relation yields a common multiple P1Q = Q1P of P and Q with degree strictly smaller than deg P + deg Q, so P and Q are not coprime and they have a common root. If one writes in the basis 1; X; : : : ; Xr+s−1 the coefficients of the non-independent family of polynomials, then the existence of a linear relation is equivalent to the vanishing of the following determinant of size (r + s) × (r + s): a a ··· a r r−1 0 ar ar−1 ··· a0 .. .. .. a a ··· a r r−1 0 Res(P; Q) = ; bs bs−1 ··· b0 b b ··· b s s−1 0 . .. .. .. bs bs−1 ··· b0 with s lines with coefficients ai and r lines with coefficients bj.
    [Show full text]
  • MATH 210A, FALL 2017 Question 1. Consider a Short Exact Sequence 0
    MATH 210A, FALL 2017 HW 3 SOLUTIONS WRITTEN BY DAN DORE, EDITS BY PROF.CHURCH (If you find any errors, please email [email protected]) α β Question 1. Consider a short exact sequence 0 ! A −! B −! C ! 0. Prove that the following are equivalent. (A) There exists a homomorphism σ : C ! B such that β ◦ σ = idC . (B) There exists a homomorphism τ : B ! A such that τ ◦ α = idA. (C) There exists an isomorphism ': B ! A ⊕ C under which α corresponds to the inclusion A,! A ⊕ C and β corresponds to the projection A ⊕ C C. α β When these equivalent conditions hold, we say the short exact sequence 0 ! A −! B −! C ! 0 splits. We can also equivalently say “β : B ! C splits” (since by (i) this only depends on β) or “α: A ! B splits” (by (ii)). Solution. (A) =) (B): Let σ : C ! B be such that β ◦ σ = idC . Then we can define a homomorphism P : B ! B by P = idB −σ ◦ β. We should think of this as a projection onto A, in that P maps B into the submodule A and it is the identity on A (which is exactly what we’re trying to prove). Equivalently, we must show P ◦ P = P and im(P ) = A. It’s often useful to recognize the fact that a submodule A ⊆ B is a direct summand iff there is such a projection. Now, let’s prove that P is a projection. We have β ◦ P = β − β ◦ σ ◦ β = β − idC ◦β = 0. Thus, by the universal property of the kernel (as developed in HW2), P factors through the kernel α: A ! B.
    [Show full text]
  • Basic Vocabulary 2 Generators and Relations for an R-Module
    Modules as given by matrices November 23 Material covered in Artin Ed 1: Chapter 12 section 1-6; and Artin Ed 2: 14.1-14.8; and also more generally covered in Dummit and Foote Abstract Algebra. 1 Recall modules; set up conventions; basic vocabulary We will work with commutative rings with unit R. The category of R-modules. If U; V are R- modules we have the direct sum U ⊕ V as an R-module, and HomR(U; V ). Some basic vocabulary, some of which we have introduced, and some of which we will be introducing shortly. • submodule, quotient module • finitely generated • cyclic R-modules and Ideals in R • free • \short" exact sequence of R-modules 0 ! U ! V ! W ! 0: • split \short" exact sequence of R-modules • vector spaces; dimensions, ranks. 2 Generators and relations for an R-module; presentations Recall that our rings are commutative with unit, and we're talking about modules over such rings. Recall what it means for a set of elements fx1; x2; : : : ; xng ⊂ M to be a \a system of generators" for M over R: it means that any element of M is a linear combo of these elements with coefficients in R. Definition 1 If M is an R-module and fx1; x2; : : : ; xng ⊂ M a subset of elements that has the property that any linear relation of the form n Σi=1rixi = 0 in the ring R is trivial in the sense that all the ri's are 0, we'll say that the elements fx1; x2; : : : ; xng are linearly independent over R.
    [Show full text]
  • Arxiv:1311.4676V1 [Math.NT] 19 Nov 2013 Sums of Units in Function Fields
    Sums of units in function fields Christopher Frei May 17, 2010 Abstract Let R be the ring of S-integers of an algebraic function field (in one variable) over a perfect field, where S is finite and not empty. It is shown that for every positive integer N there exist elements of R that can not be written as a sum of at most N units. Moreover, all quadratic global function fields whose rings of inte- gers are generated by their units are determined. 1 Introduction The connection between the additive structure and the units of certain rings has achieved some attention in the last years. First investigations in this di- rection were made by Zelinsky [20], who showed that, except for one special case, every linear transformation of a vector space is a sum of two automor- phisms, and Jacobson [11], who showed that in the rings of integers of the number fields Q(√2) and Q(√5) every element can be written as a sum of distinct units. Jacobson’s work was extended by Sliwa´ [17], who proved that there are no other quadratic number fields with this property, and Belcher arXiv:1311.4676v1 [math.NT] 19 Nov 2013 [2], [3], who investigated cubic and quartic number fields. Goldsmith, Pabst and Scott [8], investigated similar questions, but with- out the requirement that the units be distinct. The following definition from [8] describes quite precisely how the units of a ring R additively generate R. The original publication is available at www.springerlink.com. DOI: 10.1007/s00605-010-0219-7 2010 Mathematics Subject Classification: 12E30; 11R27; 11R58; 11R04 Key words and phrases: unit sum number, sums of units, function field 1 Definition 1.
    [Show full text]