# Pacific Journal of Mathematics

Save this PDF as:

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

### Algebraic Structures II

MAS 305 Algebraic Structures II Notes 9 Autumn 2006 Composition series soluble groups Definition A normal subgroup N of a group G is called a maximal normal subgroup of G if (a) N G; (b) whenever N M G

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

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

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

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

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

### Class Equation & Conjugacy in Groups

Subject: ALEBRA - V Lesson: Class Equation & Conjugacy in roups Lesson Developer: Shweta andhi Department / College: Department of Mathematics, Miranda House, University of Delhi Institute of Lifelong

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

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

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

### KUMMER THEORY OF ABELIAN VARIETIES AND REDUCTIONS OF MORDELL-WEIL GROUPS

KUMMER THEORY OF ABELIAN VARIETIES AND REDUCTIONS OF MORDELL-WEIL GROUPS TOM WESTON Abstract. Let A be an abelian variety over a number field F with End F A commutative. Let Σ be a subgroup of AF ) and

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

### Extension theorems for homomorphisms

Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following

### SUBRINGS OF NOETHERIAN RINGS

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 46, Number 2, November 1974 SUBRINGS OF NOETHERIAN RINGS EDWARD FORMANEK AND ARUN VINAYAK JATEGAONKAR ABSTRACT. Let S be a subring of a ring R such

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

### {n 2 } of {n) such that n = rii+n is an {n-l}, the Vf-i^2 is a {r-l} in {r}, for T=T' + T" + 2. Hence, we have.

i93o.] GENERALIZED DIVISION ALGEBRAS 535 {n 2 } of {n) such that n = rii+n 2 + 2 is an {n-l}, the Vf-i^2 is a {r-l} in {r}, for T=T' + T" + 2. Hence, we have or N - k + 2 = 1, iv = * 1, which was to be

### How many units can a commutative ring have?

How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the

### THE REGULAR ELEMENT PROPERTY

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 126, Number 7, July 1998, Pages 2123 2129 S 0002-9939(98)04257-9 THE REGULAR ELEMENT PROPERTY FRED RICHMAN (Communicated by Wolmer V. Vasconcelos)

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

### INVERSES AND ZERO-DIVISORS

630 REINHOLD BAER [August 3. G. Nöbeling, Eine Verschdrfung des n-beinsalzes, Fundamenta Mathematicae, vol. 18 (1932), pp. 23-38. 4. N. E. Rutt, Concerning the cut points of a continuous curve when the

### Seifert forms and concordance

ISSN 1364-0380 (on line) 1465-3060 (printed) 403 Geometry & Topology Volume 6 (2002) 403 408 Published: 5 September 2002 G G G G T T T G T T T G T G T GG TT G G G G GG T T T TT Seifert forms and concordance

### FACTORIZATION OF POLYNOMIALS OVER FINITE FIELDS

FACTORIZATION OF POLYNOMIALS OVER FINITE FIELDS RICHARD G. SWAN Dickson [1, Ch. V, Th. 38] has given an interesting necessary condition for a polynomial over a finite field of odd characteristic to be

### CLASSES OF IDENTITIES FOR THE GENERALIZED FIBONACCI NUMBERS G n = G n _ t + G n _ c FROM MATRICES WITH CONSTANT VALUED DETERMINANTS

CLASSES OF IDENTITIES FOR THE GENERALIZED FIBONACCI NUMBERS G n = G n _ t + G n _ c FROM MATRICES WITH CONSTANT VALUED DETERMINANTS Marjorle Bicknell-Johnson 665 Fairlane Avenue, Santa Clara, CA 955 Colin

### φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)

### 2 PAUL C. ROBERTS (3) If R and S are polynomial rings k[x 1 ; : : : ; x n ] and k[y 1 ; : : : ; y m ], where the x i and y j have degree one, then R#S

LOCAL COHOMOLOGY OF SEGRE PRODUCT TYPE RINGS PAUL C. ROBERTS Dedicated to Hans-Bjrn Foxby on the occasion of his 65th Birthday 1. Introduction The aim of this paper is to investigate properties of the

### n P say, then (X A Y ) P

COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.

### Structure of rings. Chapter Algebras

Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together

### ELEMENTARY GROUPS BY HOMER BECHTELL

ELEMENTARY GROUPS BY HOMER BECHTELL 1. Introduction. The purpose of this paper is to investigate two classes of finite groups, elementary groups and E-groups. The elementary groups have the property that

### A Note on Groups with Just-Infinite Automorphism Groups

Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 32 (2012) no. 2, 135 140. doi:10.1285/i15900932v32n2p135 A Note on Groups with Just-Infinite Automorphism Groups Francesco de Giovanni Dipartimento

### Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

### TRANSITIVE AND FULLY TRANSITIVE PRIMARY ABELIAN GROUPS

PACIFIC JOURNAL OF MATHEMATICS Vol. 25, No. 2, 1968 TRANSITIVE AND FULLY TRANSITIVE PRIMARY ABELIAN GROUPS PHILLIP GRIFFITH This paper is concerned with transitivity and full transitivity of primary abelian

### THE UNIT GROUP OF A REAL QUADRATIC FIELD

THE UNIT GROUP OF A REAL QUADRATIC FIELD While the unit group of an imaginary quadratic field is very simple the unit group of a real quadratic field has nontrivial structure Its study involves some geometry

### GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over

### Rigid Divisibility Sequences Generated by Polynomial Iteration

Rigid Divisibility Sequences Generated by Polynomial Iteration Brian Rice Nicholas Pippenger, Advisor Christopher Towse, Reader May, 2008 Department of Mathematics Copyright c 2008 Brian Rice. The author

### Abstract Algebra: Supplementary Lecture Notes

Abstract Algebra: Supplementary Lecture Notes JOHN A. BEACHY Northern Illinois University 1995 Revised, 1999, 2006 ii To accompany Abstract Algebra, Third Edition by John A. Beachy and William D. Blair

### * 8 Groups, with Appendix containing Rings and Fields.

* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that

### (Reprint of pp in Proc. 2nd Int. Workshop on Algebraic and Combinatorial coding Theory, Leningrad, Sept , 1990)

(Reprint of pp. 154-159 in Proc. 2nd Int. Workshop on Algebraic and Combinatorial coding Theory, Leningrad, Sept. 16-22, 1990) SYSTEMATICITY AND ROTATIONAL INVARIANCE OF CONVOLUTIONAL CODES OVER RINGS

### TC10 / 3. Finite fields S. Xambó

TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the

### Homomorphisms. The kernel of the homomorphism ϕ:g G, denoted Ker(ϕ), is the set of elements in G that are mapped to the identity in G.

10. Homomorphisms 1 Homomorphisms Isomorphisms are important in the study of groups because, being bijections, they ensure that the domain and codomain groups are of the same order, and being operation-preserving,

### ELEMENTARY LINEAR ALGEBRA

ELEMENTARY LINEAR ALGEBRA K. R. MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Corrected Version, 7th April 013 Comments to the author at keithmatt@gmail.com Chapter 1 LINEAR EQUATIONS 1.1

### Locally Compact Topologically Nil and Monocompact PI-rings

Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 42 (2001), No. 1, 179-184. Locally Compact Topologically Nil and Monocompact PI-rings M. I. Ursul Departamentul de Matematică,

### Boolean Inner-Product Spaces and Boolean Matrices

Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver

### 1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials

### Rings and Fields Theorems

Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)

Edited by RAYMOND E. WHITNEY Please send all communications concerning ADVANCED PROBLEMS AND SOLUTIONS to RAYMOND E. WHITNEY, MATHEMATICS DEPARTMENT, LOCK HAVEN UNIVERSITY, LOCK HA PA 17745, This department

### On the structure of some modules over generalized soluble groups

On the structure of some modules over generalized soluble groups L.A. Kurdachenko, I.Ya. Subbotin and V.A. Chepurdya Abstract. Let R be a ring and G a group. An R-module A is said to be artinian-by-(finite

### On the Representations of xy + yz + zx

On the Representations of xy + yz + zx Jonathan Borwein and Kwok-Kwong Stephen Choi March 13, 2012 1 Introduction Recently, Crandall in [3] used Andrews identity for the cube of the Jacobian theta function

### GALOIS GROUPS AS PERMUTATION GROUPS

GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can

### When is the Ring of 2x2 Matrices over a Ring Galois?

International Journal of Algebra, Vol. 7, 2013, no. 9, 439-444 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2013.3445 When is the Ring of 2x2 Matrices over a Ring Galois? Audrey Nelson Department

### LINEAR RECURRENCE RELATIONS - PART US JAMES A. JESKE San Jose State College, San Jose, California

LINEAR RECURRENCE RELATIONS - PART US JAMES A. JESKE San Jose State College, San Jose, California. INTRODUCTION We continue our study to acquaint the beginner with l i n e a r r e - c u r r e n c e relations

### Homework #5 Solutions

Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will

### Tracial Rokhlin property for actions of amenable group on C*-algebras June 8, / 17

Tracial Rokhlin property for actions of amenable group on C*-algebras Qingyun Wang University of Toronto June 8, 2015 Tracial Rokhlin property for actions of amenable group on C*-algebras June 8, 2015

### PROFINITE GROUPS WITH RESTRICTED CENTRALIZERS

proceedings of the american mathematical society Volume 122, Number 4, December 1994 PROFINITE GROUPS WITH RESTRICTED CENTRALIZERS ANER SHALEV (Communicated by Ronald M. Solomon) Abstract. Let G be a profinite

### DUAL MODULES OVER A VALUATION RING. I

DUAL MODULES OVER A VALUATION RING. I IRVING KAPLANSKY1 1. Introduction. The present investigation is inspired by a series of papers in the literature, beginning with Prüfer [8],2 and continuing with Pietrkowski

### Rational Hopf G-spaces with two nontrivial homotopy group systems

F U N D A M E N T A MATHEMATICAE 146 (1995) Rational Hopf -spaces with two nontrivial homotopy group systems by Ryszard D o m a n (Poznań) Abstract. Let be a finite group. We prove that every rational

### Noetherian property of infinite EI categories

Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result

### A Generalization of p-rings

International Journal of Algebra, Vol. 9, 2015, no. 8, 395-401 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2015.5848 A Generalization of p-rings Adil Yaqub Department of Mathematics University

### (1) N(bi, n) < cid ;-

SOME RESULTS ON ADDITIVE NUMBER THEORY1 PAUL ERDOS Let 0

### MATH RING ISOMORPHISM THEOREMS

MATH 371 - RING ISOMORPHISM THEOREMS DR. ZACHARY SCHERR 1. Theory In this note we prove all four isomorphism theorems for rings, and provide several examples on how they get used to describe quotient rings.

### MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of

### Near supplements and complements in solvable groups of finite rank

Near supplements and complements in solvable groups of finite rank Karl Lorensen (speaker) Pennsylvania State University, Altoona College Peter Kropholler (coauthor) University of Southampton August 8,

### 5 Quiver Representations

5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )

### MATH 423 Linear Algebra II Lecture 11: Change of coordinates (continued). Isomorphism of vector spaces.

MATH 423 Linear Algebra II Lecture 11: Change of coordinates (continued). Isomorphism of vector spaces. Change of coordinates Let V be a vector space of dimension n. Let v 1,v 2,...,v n be a basis for

### The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section

University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations Spring 5-16-011 The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section Tolga Karayayla tkarayay@math.upenn.edu

### Notes on Mathematics

Notes on Mathematics - 12 1 Peeyush Chandra, A. K. Lal, V. Raghavendra, G. Santhanam 1 Supported by a grant from MHRD 2 Contents I Linear Algebra 7 1 Matrices 9 1.1 Definition of a Matrix......................................

### ALMOST GORENSTEIN RINGS

ALMOST GORENSTEIN RINGS SHIRO GOTO, NAOYUKI MATSUOKA, AND TRAN THI PHUONG Abstract. The notion of almost Gorenstein ring given by Barucci and Fröberg [2] in the case where the local rings are analytically

### CHAPTER 3: THE INTEGERS Z

CHAPTER 3: THE INTEGERS Z MATH 378, CSUSM. SPRING 2009. AITKEN 1. Introduction The natural numbers are designed for measuring the size of finite sets, but what if you want to compare the sizes of two sets?

### Pacific Journal of Mathematics

Pacific Journal of Mathematics ON GENERATION OF SOLUTIONS OF THE BIHARMONIC EQUATION IN THE PLANE BY CONFORMAL MAPPINGS CHARLES LOEWNER Vol. 3, No. 2 April 1953 ON GENERATION OF SOLUTIONS OF THE BIHARMONIC

### The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013

The Kummer Pairing Alexander J. Barrios Purdue University 12 September 2013 Preliminaries Theorem 1 (Artin. Let ψ 1, ψ 2,..., ψ n be distinct group homomorphisms from a group G into K, where K is a field.

### New York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group

New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS SYSTEMS OF EQUATIONS AND MATRICES Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

### K. Johnson Department of Mathematics, Dalhousie University, Halifax, Nova Scotia, Canada D. Patterson

#A21 INTEGERS 11 (2011) PROJECTIVE P -ORDERINGS AND HOMOGENEOUS INTEGER-VALUED POLYNOMIALS K. Johnson Department of Mathematics, Dalhousie University, Halifax, Nova Scotia, Canada johnson@mathstat.dal.ca

### 7 : APPENDIX. Vectors and Matrices

7 : APPENDIX Vectors and Matrices An n-tuple vector x is defined as an ordered set of n numbers. Usually we write these numbers x 1,...,x n in a column in the order indicated by their subscripts. The transpose

### A Simple Classification of Finite Groups of Order p 2 q 2

Mathematics Interdisciplinary Research (017, xx yy A Simple Classification of Finite Groups of Order p Aziz Seyyed Hadi, Modjtaba Ghorbani and Farzaneh Nowroozi Larki Abstract Suppose G is a group of order

### REVERSALS ON SFT S. 1. Introduction and preliminaries

Trends in Mathematics Information Center for Mathematical Sciences Volume 7, Number 2, December, 2004, Pages 119 125 REVERSALS ON SFT S JUNGSEOB LEE Abstract. Reversals of topological dynamical systems

### WEAKLY PERIODIC AND SUBWEAKLY PERIODIC RINGS

IJMMS 2003:33, 2097 2107 PII. S0161171203210589 http://ijmms.hindawi.com Hindawi Publishing Corp. WEAKLY PERIODIC AND SUBWEAKLY PERIODIC RINGS AMBER ROSIN and ADIL YAQUB Received 30 October 2002 Our objective

### Matrix Operations. Linear Combination Vector Algebra Angle Between Vectors Projections and Reflections Equality of matrices, Augmented Matrix

Linear Combination Vector Algebra Angle Between Vectors Projections and Reflections Equality of matrices, Augmented Matrix Matrix Operations Matrix Addition and Matrix Scalar Multiply Matrix Multiply Matrix

### Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2.

Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d

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

### The coincidence Nielsen number for maps into real projective spaces

F U N D A M E N T A MATHEMATICAE 140 (1992) The coincidence Nielsen number for maps into real projective spaces by Jerzy J e z i e r s k i (Warszawa) Abstract. We give an algorithm to compute the coincidence

### THE /^-PROBLEM AND THE STRUCTURE OF tf

THE /^-PROBLEM AND THE STRUCTURE OF tf D. R. HUGHES AND J. G. THOMPSON 1* Introduction* Let G be a group, p a prime, and H P (G) the subgroup of G generated by the elements of G which do not have order

### Chapter 5: The Integers

c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition

### NONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction

NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques

### Characterizing integral domains by semigroups of ideals

Characterizing integral domains by semigroups of ideals Stefania Gabelli Notes for an advanced course in Ideal Theory a. a. 2009-2010 1 Contents 1 Star operations 4 1.1 The v-operation and the t-operation..............