# Pacific Journal of Mathematics

Size: px
Start display at page:

Transcription

1 Pacific Journal of Mathematics A CHARACTERIZATION OF THE SUBGROUPS OF THE ADDITIVE RATIONALS ROSS A. BEAUMONT AND HERBERT S. ZUCKERMAN Vol. 1, No. 2 December 1951

2 A CHARACTERIZATION OF THE SUBGROUPS OF THE ADDITIVE RATIONALS Ross A. BEAUMONT AND H. S. ZUCKERMAN 1. Introduction. In the class of abelian groups every element of which (except the identity) has infinite order, the subgroups of the additive group of rational numbers have the simplest structure. These rational groups are the groups of rank one, or generalized cyclic groups, an abelian group G being said to have rank one if for any pair of elements, a ^ 0, b ^ 0, in G, there exist integers m, rc, such that ma nb ψ 0. Although many of the properties of these groups are known [l], it seems worthwhile to give a simple characterization from which their properties can easily be derived. This characterization is given in Theorems 1 and 2 of 2, and the properties of the rational groups are obtained as corollaries of these theorems in 3. In 4, all rings which have a rational group as additive group are determined. Let pi, p 2 >, pi, * * be an enumeration of the primes in their natural order; and associate with each pj an exponent kj, where kj is a nonnegative integer or the symbol. We consider sequences i; kγ, k 2 > * *, λy,, where i is any positive integer such that (i,py) = 1 if kj > 0, and define {i; kγ, k 29 * * > kj 9 ) = (ι; kj) to be the set of all rational numbers of the form ai/b, where a is any integer and b is an integer such that b Ώp.pJJ with τij < kj> Then each sequence determines a well-defined set of rational numbers. The symbol Π designates a product over an arbitrary subset of the primes that satisfy whatever conditions are put on them; Π designates a product over all primes that satisfy the given conditions. 2 Characterization of the rational groups. We show that the nontrivial subgroups of R are exactly the subsets (i kj) defined in the introduction. THEOREM 1. The set (i;kj)is a subgroup o//? +, the additive group of rational numbers. We have (i kj) (i'; k 'j) if and only if i i', kj = k y for all /. Received October 11, Presente4 to the American Mathematical Society, June Γ7, Pacific J. Math. 1 (1951),

3 170 ROSS A. BEAUMONT AND H. S. ZUCKERMAN Proof. If ai/b (i kj), ci/d (i kj), then b = H^pp, d = Π^.pJ^ [i, rf] Ώp.p s J, where SJ max {ΠJ, mj) < kj» Writing [b, d] = bb' = dd', we have ai ci _ b 1 ai d'ci (6'α ~ d 1 c)i r~ ( ^ \ e U; jh 7 ~ 7 ~ ΐΰΠ "EMJ ~ ΪMΪ It is clear that different sequences determine different subgroups. In the sequel we need the following properties of a subgroup G ψ 0 of R +. (1) Every ζ G has the form ζ = ai/b, {ai, b) - 1, where i is the least positive integer in G. For every ζ we have ζ = m/b, where (m, b) = 1; and if i is the least positive integer in G, then m = αi + r and m ai C G imply r = 0. (2) If αί/6 C G, ΐ C G, and (α, 6) - 1, then i/b C G. For there exist integers k, I such that ka + Zό = 1 and (3) If ai/b C G where i is the least positive integer in G, and (α, b) = 1, then (i, i) = 1. By (2), t/fc C G; and if (, 6) ^ 1, h/b' C G with A < ί. Then b' (h/b') - h C G. We assume in the proof of the remaining properties that the elements of G are written in the canonical form ai/b with {ai, b) 1 and i the least positive integer in G. (4) If αi/6c C G, then i/6 C G. For cαΐ/όc = α /6 C G and ί/i C G by (2). (5) If ai/b, ci/d- G, and if {b, d) = 1, then i/m G. For by (2) we have For by (2) we have i (kb + ld)i ki li 6d 6d d b TίfEOREM 2. If G ^ 0 is a subgroup of /? +, ί/ie^i iaere exists a sequence {i; kι, k 2, ' ' *, kj, ) such that G {i; kj). Proof. By (1), every ζ G has the form ζ = αι/6, {ai, b) = 1, where i is the

4 A CHARACTERIZATION OF THE SUBGROUPS OF THE ADDITIVE RATIONALS 171 least positive integer in G. We write all elements of G in this form. If, for every I, there exist ai/b G such that p. \b, let Ay. If not, let Ay max A such that p. I b for some ai/b G. Since (ai, b) = 1, we have (ί, py) = 1 if Ay > 0. By the definition of i and kj, G is contained in (ΐ Ay). Now every element of {i; kj) has the form ai/{p n^ p* Γ ), where ΠJ < kj and (a, p"* p" r ) = 1. By (4) and the definition of Ay, G contains every i/p^j with ΠJ < kj, and by(5), G contains <u/(p? 1 p? r ). Hence G = (*; Ay). 3 Properties of the rational groups* In this section, properties of the rational groups are obtained as corollaries of the theorems of 1. j C O R O L L A R Y 1. The group (i; kj) is a subgroup of (i f A y ) if and only if A y and i = mi' COROLLARY 2. The group (i; kj) is cyclic if and only if kj < for all j and kj = 0 for almost all j. Proof. If (i Ay) is cyclic, it is generated by ai/b with {ai, b) = 1. Since every element of (i Ay) has the form nai/b, we have a 1 and 6 = Πt > 0 p.j. Conversely (i Ay) contains ι/π^>0 pw, and this element generates (i; kj). COROLLARY 3. We have ( ; Ay) = (*'; Ay) if and only if both kj = Ay for almost all j, and, whenever kj ψ Ay, both are finite. Every isomorphism between (i; kj) and (i*; Ay) is given by αi b mαi n6 where -= Π' π finite Π finite Proof. If (i; kj) = (i 1 ; Ay), then i > mΐ'a with (mι ;, n) = 1. If then m7) > mi' and ni» mi', so that mrj = ni, or τ\ ni/m.

5 172 ROSS A. BEAUMONT AND H. S. ZUCKERMAN Hence ni/m» i 1. We write then for nj < kj we have Pί\~ pa J while for n's < Ay we have We have the following alternatives with consequences which follow from (3): I. j = a i : nj - k'j < α/ < kj - n'j II. j = ^«: «) "" fe; < K 1 *> ~ Λj III. " ^j < fey i n'j < It follows that kj = implies k'j = and conversely. With both Ay and A y finite we may choose ray = Ay and n y = A y and we have: I. II. = fe ; - fey = fey fey III. J Φ : fey = fey We have Ay = A y if and only if / φ Oί/, / 'φ β m. In particular, we have Ay = A y for almost all j. If Ay > A 'y, then j =OC/ and α/ = Ay A 'y. If A y > Ay, then j β m and 6 m = A y Ay. Now i > mi'/n implies αι/ό > ami'/bn, so that the only isomorphisms between (i; Ay) and (ί 1 ; Ay) are those described in the corollary. Incidentally, we

6 A CHARACTERIZATION OF THE SUBGROUPS OF THE ADDITIVE RATIONALS 173 have derived necessary conditions for the relation {i kj) = W; k'j) With the necessary conditions satisfied, we check that the given correspondence actually is an isomorphism. These conditions imply that the correspondence is single-valued with a single-valued inverse from (i; kj) onto (i 1 ; k'j). It is clear that addition is preserved. COROLLARY 4. The group (i; kj)admits only if kj is finite for all j. only the identity automorphism if and Proof. If kj is finite for all j, we have by Corollary 3, with kj k'j for all /, that m n = 1. Conversely, if any kj, then the correspondence of Corollary 3 gives us nontrivial automorphisms. The multiplicative group of the field of rational numbers, /?*, is a direct product of the infinite cyclic subgroups of R x generated by the prime numbers p, for all k. Such a subgroup consists of the elements p,, p?,, 1, 1/W > ^/p&> * * * COROLLARY 5. The group of automorphisms of (i; kj) is isomorphic to the direct product of all of the infinite cyclic subgroups of R x generated by those primes p^ for which kj =. Proof. By Corollary 3, there is a (1 1) correspondence between the automorphisms of (i; kj) and the rational numbers U/N with (M, N) = 1, where M and N are arbitrary products of those primes for which kj =. This correspondence clearly preserves multiplication and the set of all rationale M/N has the stated structure as a group with respect to multiplication. COROLLARY 6. For any two subgroups (i; kj) and ( '; k'j) of /? +, the set T consisting of all ordinary products of an element of (i kj) with an element of (i'; k 'j) is again a subgroup of R+. Proof. We have T = (1 Kj), where with Sj = minίoty, k'j) + min(θty, kj), where (Xy is the highest power of pj that divides i, and Oί'y the highest power of py that divides i'. COROLLARY7. // (i; kj) > (i ; ; k'j) and ph' is the maximum power of pj such that p.i divides i '/i, then the difference group (i kj) (i 1 ; k'j) is a direct sum

7 174 ROSS A. BEAUMONT AND H. S. ZUCKERMAN of the groups Gj where (i) Gj is the cyclic group, if kj is finite; (ii) Gj is the group of type p c «';*;> P ri} ( ';*}: J Ό R ) if kj is infinite and k'j is finite; (iii) Gj [θ] ifkj = k'j = 00, 4. Rings which have a rational group as additive group. The distributive laws in any ring S with (i kj) as additive group are used to determine all possible definitions of multiplication in S. LEMMA. If S is a ring with additive group (i kj), then multiplication defined by in S is Proof. We prove this by showing that ai ci ac, N X = 1X1. 6 d bd We have lai ci\, x bd[ X = ac (i X i). \b d ac (i X i) = ai X ci (by the distributive laws in S) [ αi ail Γci ci X 6 J Id + + d b summands d summands

8 A CHARACTERIZATION OF THE SUBGROUPS OF THE ADDITIVE RATIONALS 175 whence ac (i X i) [ ai ci] \ai ci],,,,..,.,. ox X + + X (by the distributive laws in S) b d\ 16 d\ Lj bd summands ai ci Λ 6 d THEOREM 3. // there is an infinite number of kj such that 0 < kj <, then the only ring S with (i kj) as additive group is the null ring. If 0 < kj < for only a finite number of kj, then S is a ring with additive group (i kj) if and only if multiplication in S is defined by bd Π' pp where A ' and nj are arbitrary. Proof. If S is a ring with additive group (i kj), then i X i = Ai/B (i;kj) 9 where (Ai, B) = 1, B = Π p W, nj < kj. By the lemma, we have If 0 < k r <, this yields in particular ai ci acaί b d ~ bdb i i Ai Therefore (p Γ, B) = 1, for otherwise we would have 2k r + n r < k Γ9 which is impossible. Hence, B = Π p?j is a product of primes for which kj =, and it is necessary that p^γu. If there is an infinite number of primes py with 0 < kj <, then A 0 and (ai/b) X (ci/d) = O This proves the first statement in the theorem. If 0 < kj < for only a finite number of primes p., then A = A' Π p)i

9 176 ROSS A.BEAUMONT AND H. S. ZUCKERMAN Together with what has been proved above, this gives aca' j Π Pj ai ci _ \o<kj<co X, b d _, ' bd Π P? } where A ' and nj > 0 are arbitrary integers. Conversely, this definition of multiplication always makes (i; kj) a ring. Closure with respect to X is insured by providing p.3 in the numerator when 0 < kj <, and the associative and distributive laws are readily verified. COROLLARY l The set {i; kj) is a subring of R if and only if there is no kj such that 0 < kj <. Proof. Let (i kj) be a subring of R and assume that for at least one kj we have 0 < kj <. If 0 < kj < for infinitely many kj, then (ί kj) is not a subring of R, since by Theorem 3 it is the null ring. If 0 < ky < for a finite number of kj, then multiplication in any ring with (i kj) as additive group is given by the formula of the theorem. Hence this must reduce to ordinary multiplication for some choice of A ' and nj that is, j A' Π r J Π'pW = i; A' Π p/'=i Π' P ;ι. By hypothesis, at least one pj with kj > 0 appears in the left member of the above equality. Since no prime appears in both products, we have pj\i. This contradicts (i, pj) = 1 for kj > 0. Conversely, let every kj be either 0 or oo, By the theorem, we have at 6 X Cl d bd acλ i rr γ and we may select A 1 = i, Π ^. =00 p n i ~ 1, yielding ordinary multiplication. COROLLARY 2. // (i; kj) is a subring of R, then (i; kj) is a ring under the

10 A CHARACTERIZATION OF THE SUBGROUPS OF THE ADDITIVE RATIONALS multiplication ax ci ac lei b d ~ bd \ f for arbitrary ei/f {i kj). Proof. By Corollary 1, we have kj ~ 0 or kj =, so that every element of (i kj) has the form A'i ir \$* and by the theorem these are just the multipliers which are used to define multiplication. COROLLARY 3. If S is a ring with additive null ring or S is isomorphic to a subring of R, group {i; kj), then either S is a Proof. If S is not null, the correspondence ai aa ai ci acai > -, where X =, 6 bb b d bdb is (1~1) from S on a subset of R, and ai ci (da + bc)i (da + bc)a aa ca b d bd bdb bb db ' ai ci acai aca 2 aa ca b d ~ bdb bdb 2 ~ bb db COROLLARY 4. All rings with additive group Λ + are isomorphic to R. Proof. The correspondence of Corollary 3 clearly exhausts R. REFERENCE 1. R. Baer, Abelian groups without elemeμts of finite order. Duke Math. J. 3 (1937), UNIVERSITY OF WASHINGTON

11

12 PACIFIC JOURNAL OF MATHEMATICS HERBERT BUSEMANN EDITORS University of Southern California Los Angeles 7, California E. F. BECKENBACH, Managing Editor University of California Los Angeles 24, California ASSOCIATE EDITORS R. M. ROBINSON University of California Berkeley 4, California R. P. DILWORTH HERBERT FEDERER MARSHALL HALL P. R. HALMOS HEINZ HOPF R. D. JAMES B0RGE JESSEN PAUL LEVY GEORGE POLYA J. J. STOKER E. G.STRAUS KOSAKU YOSIDA SPONSORS UNIVERSITY OF BRITISH COLUMBIA CALIFORNIA INSTITUTE OF TECHNOLOGY UNIVERSITY OF CALIFORNIA, BERKELEY UNIVERSITY OF CALIFORNIA, DAVIS UNIVERSITY OF CALIFORNIA, LOS ANGELES UNIVERSITY OF CALIFORNIA, SANTA BARBARA OREGON STATE COLLEGE UNIVERSITY OF OREGON UNIVERSITY OF SOUTHERN CALIFORNIA STANFORD UNIVERSITY WASHINGTON STATE COLLEGE UNIVERSITY OF WASHINGTON AMERICAN MATHEMATICAL SOCIETY NATIONAL BUREAU OF STANDARDS, INSTITUTE FOR NUMERICAL ANALYSIS Mathematical papers intended for publication in the Pacific Journal of Mathematics should be typewritten (double spaced), and the author should keep a complete copy. Manuscripts may be sent to any of the editors. All other communications to the editors should "be addressed to the managing editor, E. F. Beckenbach, at the address given above. Authors are entitled to receive 100 free reprints of their published papers and may obtain additional copies at cost. The Pacific Journal of Mathematics is published quarterly, in March, June, September, and December. The price per volume (4 numbers) is \$8.00; single issues, \$2.50. Special price to individual faculty members of supporting institutions and to members of the American Mathematical Society: \$4.00 per volume; single issues, \$1.25. Subscriptions, orders for back numbers, and changes of address should be sent to the publishers, University of California Press, Berkeley 4, California. UNIVERSITY OF CALIFORNIA PRESS BERKELEY AND LOS ANGELES COPYRIGHT 1951 BY PACIFIC JOURNAL OF MATHEMATICS

13 Pacific Journal of Mathematics Vol. 1, No. 2 December, 1951 Tom M. (Mike) Apostol, On the Lerch zeta function Ross A. Beaumont and Herbert S. Zuckerman, A characterization of the subgroups of the additive rationals Richard Bellman and Theodore Edward Harris, Recurrence times for the Ehrenfest model Stephen P.L. Diliberto and Ernst Gabor Straus, On the approximation of a function of several variables by the sum of functions of fewer variables Isidore Isaac Hirschman, Jr. and D. V. Widder, Convolution transforms with complex kernels Irving Kaplansky, A theorem on rings of operators W. Karush, An iterative method for finding characteristic vectors of a symmetric matrix Henry B. Mann, On the number of integers in the sum of two sets of positive integers William H. Mills, A theorem on the representation theory of Jordan algebras Tibor Radó, An approach to singular homology theory Otto Szász, On some trigonometric transforms James G. Wendel, On isometric isomorphism of group algebras George Milton Wing, On the L p theory of Hankel transforms

### Pacific Journal of Mathematics

Pacific Journal of Mathematics ON THE LERCH ZETA FUNCTION TOM M. (MIKE) APOSTOL Vol. 1, No. 2 December 1951 ON THE LERCH ZETA FUNCTION T. M. APOSTOL l Introduction. The function φ(x 9 a 9 s), defined for

### Pacific Journal of Mathematics

Pacific Journal of Mathematics A THEOREM ON THE REPRESENTATION THEORY OF JORDAN ALGEBRAS WILLIAM H. MILLS Vol. 1, No. 2 December 1951 A THEOREM ON THE REPRESENTATION THEORY OF JORDAN ALGEBRAS W. H. MILLS

### Pacific Journal of Mathematics

Pacific Journal of Mathematics GENERALIZATIONS OF THE ROGERS-RAMANUJAN IDENTITIES HENRY LUDWIG ALDER Vol. 4, No. 2 June 1954 GENERALIZATIONS OF THE ROGERS-RAMANUJAN IDENTITIES HENRY L.ALDER 1. Introduction.

### Pacific Journal of Mathematics

Pacific Journal of Mathematics COMPLETE MAPPINGS OF FINITE GROUPS L. PAIGE Vol. 1, No. 1 November 1951 COMPLETE MAPPINGS OF FINITE GROUPS L. J. PAIGE l Introduction. A complete mapping of a group, loop,

### Pacific Journal of Mathematics

Pacific Journal of Mathematics ON SECOND-ORDER NON-LINEAR OSCILLATION F. V. ATKINSON Vol. 5, No. 5 BadMonth 1955 ON SECOND-ORDER NON-LINEAR OSCILLATIONS F. V. ATKINSON l In this paper we establish criteria

### Pacific Journal of Mathematics

Pacific Journal of Mathematics CHANGES OF SIGN OF SUMS OF RANDOM VARIABLES PAUL ERDŐS AND GILBERT AGNEW HUNT, JR. Vol. 3, No. 4 June 1953 CHANGES OF SIGN OF SUMS OF RANDOM VARIABLES P.ERDOS AND G. A.HUNT

### Pacific Journal of Mathematics

Pacific Journal of Mathematics A CHARACTERIZATION OF COMPLETE LATTICES ANNE C. DAVIS Vol. 5, No. 2 October 1955 A CHARACTERIZATION OF COMPLETE LATTICES ANNE C. DAVIS 1. Introduction. A complete lattice

### Section II.1. Free Abelian Groups

II.1. Free Abelian Groups 1 Section II.1. Free Abelian Groups Note. This section and the next, are independent of the rest of this chapter. The primary use of the results of this chapter is in the proof

### II. Products of Groups

II. Products of Groups Hong-Jian Lai October 2002 1. Direct Products (1.1) The direct product (also refereed as complete direct sum) of a collection of groups G i, i I consists of the Cartesian product

### Algebra 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.

### Pacific Journal of Mathematics

Pacific Journal of Mathematics TESTS FOR PRIMALITY BASED ON SYLVESTER S CYCLOTOMIC NUMBERS MORGAN WARD Vol. 9, No. 4 August 1959 TESTS FOR PRIMALITY BASED ON SYLVESTERS CYCLOTOMIC NUMBERS MORGAN WARD Introduction,

### Abstract Algebra II Groups ( )

Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition

### ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add

### ON AXIOMATIC HOMOLOGY THEORY

ON AXIOMATIC HOMOLOGY THEORY J. MlLNOR A homology theory will be called additive if the homology group of any topological sum of spaces is equal to the direct sum of the homology groups of the individual

### The Number of Homomorphic Images of an Abelian Group

International Journal of Algebra, Vol. 5, 2011, no. 3, 107-115 The Number of Homomorphic Images of an Abelian Group Greg Oman Ohio University, 321 Morton Hall Athens, OH 45701, USA ggoman@gmail.com Abstract.

### Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG)

Lecture 20 FUNDAMENTAL Theorem of Finitely Generated Abelian Groups (FTFGAG) Warm up: 1. Let n 1500. Find all sequences n 1 n 2... n s 2 satisfying n i 1 and n 1 n s n (where s can vary from sequence to

### Pacific Journal of Mathematics

Pacific Journal of Mathematics ON A THEOREM OF PLANCHEREL AND PÓLYA RAYMOND MOOS REDHEFFER Vol. 3, No. 4 June 1953 ON A THEOREM OF PLANCHEREL AND POLYA R. M. REDHEFFER 1. Introduction. Paley and Wiener

### FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN

FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN A. I. LICHTMAN AND D. S. PASSMAN Abstract. In his recent series of lectures, Prof. B. I. Plotkin discussed geometrical properties of the

### IDEAL CLASSES AND RELATIVE INTEGERS

IDEAL CLASSES AND RELATIVE INTEGERS KEITH CONRAD The ring of integers of a number field is free as a Z-module. It is a module not just over Z, but also over any intermediate ring of integers. That is,

### Pacific Journal of Mathematics

Pacific Journal of Mathematics INVERSION INVARIANT ADDITIVE SUBGROUPS OF DIVISION RINGS DANIEL GOLDSTEIN, ROBERT M. GURALNICK, LANCE SMALL AND EFIM ZELMANOV Volume 227 No. 2 October 2006 PACIFIC JOURNAL

### ALGEBRA 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

### A Questionable Distance-Regular Graph

A Questionable Distance-Regular Graph Rebecca Ross Abstract In this paper, we introduce distance-regular graphs and develop the intersection algebra for these graphs which is based upon its intersection

### 55 Separable Extensions

55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple

### ON MATCHINGS IN GROUPS

ON MATCHINGS IN GROUPS JOZSEF LOSONCZY Abstract. A matching property conceived for lattices is examined in the context of an arbitrary abelian group. The Dyson e-transform and the Cauchy Davenport inequality

### DERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine

DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT

### ON EXPONENTIAL DIVISORS

ON EXPONENTIAL DIVISORS E. G. STRAUS AND M. V. SUBBARAO Let ()(N) denote the sum of the exponential divisors of N, that is, divisors of the form pl b... pbr, b. a, 1, r, when N has the cnonical form pla...,

### When the trivial is nontrivial

College of Saint Benedict and Saint John s University DigitalCommons@CSB/SJU Mathematics Faculty Publications Mathematics Spring 01 When the trivial is nontrivial William Capecchi Thomas Q. Sibley College

### (1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

### Ring Theory Problem Set 2 Solutions

Ring Theory Problem Set 2 Solutions 16.24. SOLUTION: We already proved in class that Z[i] is a commutative ring with unity. It is the smallest subring of C containing Z and i. If r = a + bi is in Z[i],

### Definitions, 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

### DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

HANDOUT ABSTRACT ALGEBRA MUSTHOFA DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY 2012 BINARY OPERATION We are all familiar with addition and multiplication of two numbers. Both

### Commutator rings. Zachary Mesyan. July 6, 2006

Commutator rings Zachary Mesyan July 6, 2006 Abstract A ring is called a commutator ring if every element is a sum of additive commutators. In this note we give examples of such rings. In particular, we

### Pacific Journal of Mathematics

Pacific Journal of Mathematics A NOTE ON CLT GROUPS HENRY GILBERT BRAY Vol. 27, No. 2 February 1968 PACIFIC JOURNAL OF MATHEMATICS Vol. 27, No. 2, 1968 A NOTE ON CLT GROUPS HENRY G. BRAY Let A, B, C be

### Math 210B: Algebra, Homework 4

Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor R-Mod S 1 R-Mod, M S 1 M, is exact. First,

### Pacific Journal of Mathematics

Pacific Journal of Mathematics ANALYTIC PROOF OF THE LINDEMANN THEOREM ROBERT STEINBERG AND RAYMOND MOOS REDHEFFER Vol. 2, No. 2 February 1952 ANALYTIC PROOF OF THE LINDEMANN THEOREM R. STEINBERG AND R.

### THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I

J Korean Math Soc 46 (009), No, pp 95 311 THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I Sung Sik Woo Abstract The purpose of this paper is to identify the group of units of finite local rings of the

### Pell Equation x 2 Dy 2 = 2, II

Irish Math Soc Bulletin 54 2004 73 89 73 Pell Equation x 2 Dy 2 2 II AHMET TEKCAN Abstract In this paper solutions of the Pell equation x 2 Dy 2 2 are formulated for a positive non-square integer D using

### TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

### Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3

### TRANSLATION-INVARIANT FUNCTION ALGEBRAS ON COMPACT GROUPS

PACIFIC JOURNAL OF MATHEMATICS Vol. 15, No. 3, 1965 TRANSLATION-INVARIANT FUNCTION ALGEBRAS ON COMPACT GROUPS JOSEPH A. WOLF Let X be a compact group. \$(X) denotes the Banach algebra (point multiplication,

### Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

### Radical Endomorphisms of Decomposable Modules

Radical Endomorphisms of Decomposable Modules Julius M. Zelmanowitz University of California, Oakland, CA 94607 USA Abstract An element of the Jacobson radical of the endomorphism ring of a decomposable

### RING ELEMENTS AS SUMS OF UNITS

1 RING ELEMENTS AS SUMS OF UNITS CHARLES LANSKI AND ATTILA MARÓTI Abstract. In an Artinian ring R every element of R can be expressed as the sum of two units if and only if R/J(R) does not contain a summand

### NOTES 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

### 54.1 Definition: Let E/K and F/K be field extensions. A mapping : E

54 Galois Theory This paragraph gives an exposition of Galois theory. Given any field extension E/K we associate intermediate fields of E/K with subgroups of a group called the Galois group of the extension.

### Pacific Journal of Mathematics

Pacific Journal of Mathematics ON S-UNITS ALMOST GENERATED BY S-UNITS OF SUBFIELDS JOHN H. SMITH Vol. 34, No. 3 July 1970 PACIFIC JOURNAL OF MATHEMATICS Vol 34, No. 3, 1970 ON S-UNITS ALMOST GENERATED

### 1 First Theme: Sums of Squares

I will try to organize the work of this semester around several classical questions. The first is, When is a prime p the sum of two squares? The question was raised by Fermat who gave the correct answer

### SELF-EQUIVALENCES OF DIHEDRAL SPHERES

SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)

### On the number of diamonds in the subgroup lattice of a finite abelian group

DOI: 10.1515/auom-2016-0037 An. Şt. Univ. Ovidius Constanţa Vol. 24(2),2016, 205 215 On the number of diamonds in the subgroup lattice of a finite abelian group Dan Gregorian Fodor and Marius Tărnăuceanu

### Honors 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

### THE NUMBER OF LOCALLY RESTRICTED DIRECTED GRAPHS1

THE NUMBER OF LOCALLY RESTRICTED DIRECTED GRAPHS1 LEO KATZ AND JAMES H. POWELL 1. Preliminaries. We shall be concerned with finite graphs of / directed lines on n points, or nodes. The lines are joins

### Groups and Symmetries

Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

### MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS

MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup

### Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

### 4.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)

### MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is

### MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

### Tensor Product of modules. MA499 Project II

Tensor Product of modules A Project Report Submitted for the Course MA499 Project II by Subhash Atal (Roll No. 07012321) to the DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI GUWAHATI

### TORSION CLASSES AND PURE SUBGROUPS

PACIFIC JOURNAL OF MATHEMATICS Vol. 33 ; No. 1, 1970 TORSION CLASSES AND PURE SUBGROUPS B. J. GARDNER In this note we obtain a classification of the classes J?~ of abelian groups satisfying the following

### Pacific Journal of Mathematics

Pacific Journal of Mathematics SOME DUAL SERIES EQUATIONS INVOLVING LAGUERRE POLYNOMIALS JOHN S. LOWNDES Vol. 25, No. 1 September 1968 PACIFIC JOURNAL OF MATHEMATICS Vol. 25, No. 1, 1968 SOME DUAL SERIES

### Hardy martingales and Jensen s Inequality

Hardy martingales and Jensen s Inequality Nakhlé H. Asmar and Stephen J. Montgomery Smith Department of Mathematics University of Missouri Columbia Columbia, Missouri 65211 U. S. A. Abstract Hardy martingales

### Maximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector

Maximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector MI Bueno, Department of Mathematics and The College of Creative Studies University of California,

### Subrings and Ideals 2.1 INTRODUCTION 2.2 SUBRING

Subrings and Ideals Chapter 2 2.1 INTRODUCTION In this chapter, we discuss, subrings, sub fields. Ideals and quotient ring. We begin our study by defining a subring. If (R, +, ) is a ring and S is a non-empty

### Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

### ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

### Solutions to Assignment 4

1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2

### Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

### A NOTE ON COMPLETIONS OF MODULES

A NOTE ON COMPLETIONS OF MODULES JOSEPH J. ROTMAN Let R be a discrete valuation ring, i.e., a local principal ideal domain. In what follows, module shall mean unitary i?-module. Following Kulikov, any

### 4 Powers of an Element; Cyclic Groups

4 Powers of an Element; Cyclic Groups Notation When considering an abstract group (G, ), we will often simplify notation as follows x y will be expressed as xy (x y) z will be expressed as xyz x (y z)

### Spectra of Semidirect Products of Cyclic Groups

Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with

### Free group algebras generated by symmetric elements inside division rings with involution

Free group algebras generated by symmetric elements inside division rings with involution Javier Sánchez IME - Universidade de São Paulo, Brazil Supported by FAPESP Proc. 2013/07106-9 Lens, July 2, 2013

### Residual finiteness of infinite amalgamated products of cyclic groups

Journal of Pure and Applied Algebra 208 (2007) 09 097 www.elsevier.com/locate/jpaa Residual finiteness of infinite amalgamated products of cyclic groups V. Metaftsis a,, E. Raptis b a Department of Mathematics,

Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

### = 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

### GROUPS OF ORDER p 3 KEITH CONRAD

GROUPS OF ORDER p 3 KEITH CONRAD For any prime p, we want to describe the groups of order p 3 up to isomorphism. From the cyclic decomposition of finite abelian groups, there are three abelian groups of

### Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13

Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting

### Pacific Journal of Mathematics

Pacific Journal of Mathematics ON A THEOREM OF PHILIP HALL DANIEL E. GORENSTEIN Vol. 19, No. 1 May 1966 PACIFIC JOURNAL OF MATHEMATICS Vol. 19, No. 1, 1966 ON A THEOREM OF PHILIP HALL DANIEL GORENSTEIN

### 12 16 = (12)(16) = 0.

Homework Assignment 5 Homework 5. Due day: 11/6/06 (5A) Do each of the following. (i) Compute the multiplication: (12)(16) in Z 24. (ii) Determine the set of units in Z 5. Can we extend our conclusion

### Proceedings of the American Mathematical Society, Vol. 57, No. 2. (Jun., 1976), pp

Elliptic Curves and Dedekind Domains Michael Rosen Proceedings of the American Mathematical Society, Vol. 57, No. 2. (Jun., 1976), pp. 197-201. Stable URL: http://links.jstor.org/sici?sici=0002-9939%28197606%2957%3a2%3c197%3aecadd%3e2.0.co%3b2-7

### 0 Sets and Induction. Sets

0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

### Chapter 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

### School 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

### Math 203, Solution Set 4.

Math 203, Solution Set 4. Problem 1. Let V be a finite dimensional vector space and let ω Λ 2 V be such that ω ω = 0. Show that ω = v w for some vectors v, w V. Answer: It is clear that if ω = v w then

### Introduction to modules

Chapter 3 Introduction to modules 3.1 Modules, submodules and homomorphisms The problem of classifying all rings is much too general to ever hope for an answer. But one of the most important tools available

### Elementary linear algebra

Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The

### Algebra SEP Solutions

Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since

### New Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups

New Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups John Polhill Department of Mathematics, Computer Science, and Statistics Bloomsburg University Bloomsburg,

### MINIMAL NUMBER OF GENERATORS AND MINIMUM ORDER OF A NON-ABELIAN GROUP WHOSE ELEMENTS COMMUTE WITH THEIR ENDOMORPHIC IMAGES

Communications in Algebra, 36: 1976 1987, 2008 Copyright Taylor & Francis roup, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870801941903 MINIMAL NUMBER OF ENERATORS AND MINIMUM ORDER OF

### Math 711: Lecture of September 7, Symbolic powers

Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of

### Math 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

### Pacific Journal of Mathematics

Pacific Journal of Mathematics ADDITION THEOREMS FOR SETS OF INTEGERS CALVIN T. LONG Vol. 23, No. 1 March 1967 PACIFIC JOURNAL OF MATHEMATICS Vol. 23, No. 1, 1967 ADDITION THEOREMS FOR SETS OF INTEGERS

### THE CLASSIFICATION OF INFINITE ABELIAN GROUPS WITH PARTIAL DECOMPOSITION BASES IN L ω

ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 47, Number 2, 2017 THE CLASSIFICATION OF INFINITE ABELIAN GROUPS WITH PARTIAL DECOMPOSITION BASES IN L ω CAROL JACOBY AND PETER LOTH ABSTRACT. We consider the

### Krull Dimension and Going-Down in Fixed Rings

David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =

### Irreducible subgroups of algebraic groups

Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland

### Existence of a Picard-Vessiot extension

Existence of a Picard-Vessiot extension Jerald Kovacic The City College of CUNY jkovacic@verizon.net http:/mysite.verizon.net/jkovacic November 3, 2006 1 Throughout, K is an ordinary -field of characteristic

### Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 2.1 Exercise (6). Let G be an abelian group. Prove that T = {g G g < } is a subgroup of G.

### On 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