Carry Groups

  • Uploaded by: Zachariah Riel
  • 0
  • 0
  • August 2019
  • PDF

This document was uploaded by user and they confirmed that they have the permission to share it. If you are author or own the copyright of this book, please report to us by using this DMCA report form. Report DMCA


Overview

Download & View Carry Groups as PDF for free.

More details

  • Words: 12,030
  • Pages: 25
Carry Groups Tyler Cook1 ,

Blair Madore2 ,

Erica Miller3 , Tim Pollio4 , Anneliese Spaeth67

Zachariah Riel5 ,

Edited by Zachariah Riel March 1, 2007

1

SUNY Potsdam SUNY Potsdam 3 St. Edwards University 4 Princeton University 5 Kent State University 6 Xavier University 7 We thank Dr. Joel Foisy, SUNY Potsdam, Clarkson University, NSF, and NSA for their support through the Clarkson-Potsdam REU program. 2

Introduction Consider the subset of Z Z2 Z4 Z8 consisting of those elements where all but …nitely many coordinates are zero. We will de…ne an additive operation on this set. Instead of adding these elements in the usual coordinate-wise fashion, we will introduce the notion of "carrying" from the …nite cyclic groups into Z. In the following example, we will add coordinate-wise, but we will carry 1, twice, into the Z coordinate. Here, we carry a 1 into the Z coordinate whenever the sum of the elements of a coordinate exceeds its modulus. Let a +c b denote the least nonnegative residue of a + b, modulo c; let a c b denote the least nonnegative residue of ab, modulo c. For x 2 R, let the ‡oor of x be denoted by bxc. In this example, we "add" (5; 1; 2; 3; 0; 0; :::) and (1; 1; 1; 7; 6; 0; 0; :::) as follows.

= =

( ( ( (

Z 5; 1; 5 + 1 + 2; 8;

Z2 1; 1; 1 +2 1; 0;

Z4 2; 1; 2 +4 1; 3;

Z8 3; 7; 3 +8 7; 2;

Z16 0; 6; 0 +16 6; 6;

0; 0; 0; 0;

::: ::: ::: ::: :::

) ) ) )

The subset of elements, where all but …nitely many coordinates are zero, of Z Z2 Z4 Z8 forms an Abelian group under this additive operation, which will be denoted by . We denote this group by 1 1 1 1 Z Z2 Z4 Z8 ; more precisely, we may denote it by Z Z2 Z4 Z8 , since each time we exceed the modulus of a coordinate when adding two elements, 1 is carried into the Z coordinate. We say this, a3 a4 a1 a2 (or because we also consider in…nitely (and …nitely) generated groups of the form Z Zb1 Zb2 Zb3 an a1 a2 Zbn ). Groups of this type, we will call carry groups. Z Zb1 Zb2 Dr. Jonathan L. King …rst de…ned the carry group Z Z2 Z4 Z8 and claimed that it could be used to solve a problem in ergodic theory concerning the roots of a measure preserving transformation1 . This problem was solved by Dr. Blair Madore2 , though a complete understanding of the structure of this group and its …nitely generated subgroups was not needed for the solution. During the 2001 and 2006 PotsdamClarkson NSF-REU summer programs, Madore and his students have further investigated the structure of carry groups. We will now de…ne carry groups more formally. All of our groups are written additively and all …nite cyclic groups Zn are represented by f0; 1; :::; n 1g. Let (nk ) be a (…nite or in…nite) sequence of positive integers greater than 1. Also, let H be an Abelian group and let (hk ) be a (…nite or in…nite) sequence of elements of H. We de…ne a group with an operation on the Cartesian product H Zn1 Zn2 Zn3 Znm . The operation is de…ned by (a; a1 ; a2 ; a3 ; :::; am ) (b; b1 ; b2 ; b3 ; :::; bm ) = a+b+

m X i=1

hi

ai + bi ; a1 +n1 b1 ; a2 +n2 b2 ; a3 +n3 b3 ; :::; am +nm bm ni

Simply, this is coordinate-wise addition, where hi is carried into the H coordinate if ai +bi we denote this group by H

h1

Zn1

h2

Zn2

h3

Zn3

hm

!

. ni . Conveniently,

Znm

1 J. L. King, The generic transformation has roots of all orders. Dedicated to the memory of Anzelm Iwanik. Colloq. Math. 84/85 part 2, pp 521-547, 2000. 2 B. F. Madore, Rank-one group actions with simple mixing Z subactions, Ph.D. Thesis, University of Toronto, 2000.

1

so that we know we’re using the operation . This also helps so that we can see which elements of H are carried for each coordinate. Note that these groups are …nitely generated. We can similarly de…ne in…nitely generated carry groups. In particular, these groups are de…ned on the subset of H Zn1 Zn2 Zn3 , where all but …nitely many coordinates of the elements are zero. The operation , in this case, is de…ned by (a; a1 ; a2 ; a3 ; :::) (b; b1 ; b2 ; b3 ; :::) = a+b+

1 X

! ai + bi ; a1 +n1 b1 ; a2 +n2 b2 ; a3 +n3 b3 ; ::: . ni

hi

i=1

We’re guaranteed that

P1

i=1 hi

j

ai +bi ni

k

is an element of H, since all but …nitely many coordinates of the h1

h2

h3

elements are zero. We similarly denote this group by H Zn1 Zn2 Zn3 . One can check that these are all Abelian groups; it is tedious, but straightforward. In this paper, for most of our carry groups, we will have H = Z. 2

4

( ( (

Z 2; 1; 9;

Example. Consider (2; 1; 2); (1; 3; 4) 2 Z Z4 Z5 . We compute (2; 1; 2) (1; 3; 4) as follows.

=

2

4

Z4 1; 3; 0;

Z5 2 4 1

) ) )

Example. In the carry group Z Z4 Z5 , consider the element a = (4; 2; 1). We calculate inverse of a, to be a = ( 4 1 1; 4 2; 5 1) = ( 6; 2; 4) ,

a, the

since (4; 2; 1) ( 6; 2; 4) = ( 6; 2; 4) (4; 2; 1) = (0; 0; 0) . a1

In general, given any element (m; m1 ; m2 ; :::; mn ) of the carry group H Zb1 given by (m; m1 ; m2 ; :::; mn ) = (m0 ; m01 ; m02 ; :::; m0n ) , where m0 =

m

X

0

ai and m0i =

bi

1 i n mi 6=0

Now, for (m; m1 ; m2 ; :::; mn ) 2 H

a1

Zb1

a2

an

if if

mi

mi = 0, mi 6= 0,

a2

an

Zbn , the inverse is

for i = 1; :::; n.

Zbn , let the element

(m; m1 ; m2 ; :::; mn ) (m; m1 ; m2 ; :::; mn ) | {z \k" tim es

(m; m1 ; m2 ; :::; mn ) }

be denoted by k (m; m1 ; m2 ; :::; mn ). What does the element k (m; m1 ; m2 ; :::; mn ) look like explicitly? The answer to that question may not be immediately clear. However, a straightforward induction argument will a1 a2 an verify that, given k 2 N and (m; m1 ; m2 ; :::; mn ) 2 H Zb1 Zbn , 0 1 k n X1 X i bj mj + mj k (m; m1 ; m2 ; :::; mn ) = @km + aj ; k b1 m1 ; k b2 m2 ; :::; k bn mn A . ( 1) bj i=0 j=1

Furthermore, let’s …nd an explicit formula for k (m; m1 ; m2 ; :::; mn ). Since we’re working with an Abelian group, we have that k (m; m1 ; m2 ; :::; mn ) = k ( (m; m1 ; m2 ; :::; mn )). For all j = 1; 2; :::; n, let m0j =

0 bj

mj 2

if if

mj = 0, mj 6= 0.

We have that k (m; m1 ; m2 ; :::; mn ) = k ( (m; m1 ; m2 ; :::; mn )) 0

B = kB @ m 0

B = B @ km 0

B B = B km @ 0

B = B @ km 0

X

1 i n mi 6=0

k

C ai ; m01 ; m02 ; :::; m0n C A

X

ai +

X

ai +

X

ai +

i

bj

k X1

X

aj

i

m0j + m0j ;k bj

bj

k X1

X

aj

i

bj

B = B @ km +

X

aj

B = B @ km +

k X1

X

aj

i

i=0 1 j n mj 6=0

i

i=0 1 j n mj 6=0

bj

bj

mj + bj bj

b1

m01 ; k

m0j + m0j ; k bj

(bj

b1

mj ) + bj bj

i=0 1 j n mj 6=0

1 i n mi 6=0 k X1

0

aj

i=0 1 j n m0j 6=0

1 i n mi 6=0

k

k n X1 X i=0 j=1

1 i n mi 6=0

k

1

mj

1 ; k

mj + ( mj ) ; k bj

b1

b2

m02 ; :::; k

m1 ; k

mj

b1

m1 ; k

b2

; k

m1 ; k

b2

b1

bn

1

C m0n C A

m2 ; :::; k

m1 ; k

b2

bn

b2

bn

C C mn C A

m2 ; :::; k

m2 ; :::; k

m2 ; :::; k

1

bn

1

bn

1

1

C mn C A

C mn C A

C mn C A

( 2)

Using ( 1 ) and ( 2 ), we come upon the following proposition. Proposition. Given any nonzero integer d and any (m; m1 ; m2 ; :::; mn ) 2 H d (m; m1 ; m2 ; :::; mn ) 0 $ jdj 1 n X X i sgn (d) = @dm + aj i=0 j=1

bj

% mj + mj sgn (d) ;d bj

b1

m1 ; d

b2

a1

Zb1

a2

m2 ; :::; d

an

bn

Zbn , 1

mn A .

( )

By now, the reader should be a bit more familiar with what we call carry groups and the operation . Now, our aim is to present some theory regarding the structure of these carry groups. For the most part, our classi…cation of these groups is complete. For …nitely generated carry groups, we can surely use the Fundamental Theorem of Finitely Generated Abelian Groups and the Smith Normal Form to …nd their structure. However, our theory provides alternative and interesting methods that yield their structure. We have come upon an understanding of …nitely and in…nitely generated carry groups, which will be discussed in the following sections.

3

Chapter 1

Structure Theory for Finitely Generated Uniform Carry Groups During the summer of 2001, Dr. Blair Madore’s1 NSF-REU group formulated a structure theory for …nitely generated carry groups of the form a

Z Zb1

a

Zb2

a

a

Zbn .

For the sake of simplicity, let’s refer to them as uniform carry groups. We will now state and prove their main results.2 The following fact is trivial. However, it will be used often throughout this paper. It would be best to keep it in mind. Lemma 1.1. If a; b; n 2 Z, 0

a < n, and 0 n

b < n, then

a+b + (a +n b) = a + b. n

(1)

a+b = 1. Also, a +n b = a + b n. Therefore Proof. If a + b n, then 1 a+b n < 2, meaning that n a+b a+b = 0. Hence, n n + (a +n b) = n 1 + (a + b n) = a + b. If a + b < n, then a+b n < 1 so that n a+b n n + (a +n b) = (a +n b) = a + b.

Proposition 1.2. Z Zn = Z.

Proof. De…ne ' : Z Zn ! Z by ' (a; b) = na + b. Let (a1 ; b1 ) ; (a2 ; b2 ) 2 Z Zn . Therefore, ' ((a1 ; b1 ) (a2 ; b2 ))

b1 + b 2 b1 + b 2 ; b1 +n b2 = n a1 + a2 + + (b1 +n b2 ) n n b1 + b 2 (1) = n (a1 + a2 ) + n + (b1 +n b2 ) = n (a1 + a2 ) + (b1 + b2 ) n = ' (a1 ; b1 ) + ' (a2 ; b2 ) . = ' a1 + a2 +

1 SUNY

Potsdam Madore, H. McDonough, C. Miller, D. Van Nort, A. Rogalski, and J. Wood, “Structure Theory for Carry Groups”, Pi Mu Epsilon Journal, Vol. 12 (Fall 2004) 1, 17-25. 2 B.

4

Now, if m 2 Z, then there exist unique integers q and r such that m = nq + r and 0 r < n. Therefore ' (q; r) 7! m so that ' is surjective. Now, if ' (a1 ; b1 ) = ' (a2 ; b2 ) = m, then na1 + b1 = na2 + b2 = m. We know that 0 b1 ; b2 < n. The division algorithm tells us that m has a unique representation of the form nq + r, where 0 r < n. To avoid a contradiction, we must have (a1 ; b1 ) = (a2 ; b2 ). Alternatively, show that j(0; 1)j = 1 and Z Zn = h(0; 1)i.

Proposition 1.3. Z Zm Zn = Z

Proof. De…ne : Z Z Zm Zn . So,

Zm

((a1 ; b1 ; c1 ) (a2 ; b2 ; c2 ))

m

Zn ! Z = = = =

Zn . m

Zn by

(a; b; c) = (ma + b; c). Let (a1 ; b1 ; c1 ) ; (a2 ; b2 ; c2 ) 2

b1 + b2 c1 + c2 + ; b1 +m b2 ; c1 +n c2 m n b 1 + b2 c1 + c2 m a1 + a2 + + + (b1 +m b2 ) ; c1 +n c2 m n c1 + c2 m a1 + a2 + + (b1 + b2 ) ; c1 +n c2 n (ma1 + b1 ; c1 ) (ma2 + b2 ; c2 ) = (a1 ; b1 ; c1 ) (a2 ; b2 ; c2 ) . a1 + a2 +

As in Proposition 1.2, surjectivity and injectivity both follow from the division algorithm.

Proposition 1.4. Z

m

Zn = Z

Zgcd(m;n) .

Proof. As m and n are positive integers, we can surely …nd r; s 2 Z such that m d and 0 < r < n. Now de…ne : Z Zn ! Z Zd by (x; y) = Note that

nx+my d

nx + my ; rx +d sy . d

2 Z since d j m and d j n. Let (a1 ; b1 ) ; (a2 ; b2 ) 2 Z

((a1 ; b1 ) (a2 ; b2 ))

= = = = = = =

a1 + a2 + m n a1 + a2 + m

mr+ns = gcd (m; n) =

(2) m

Zn . We have that

b1 + b 2 ; b1 +n b2 n b1 +b2 n

d

+ m (b1 +n b2 )

b1 + b 2 ; r a1 + a2 + m n

+d s (b1 +n b2 )

n (a1 + a2 ) + m (b1 + b2 ) b1 + b 2 ; r a1 + a2 + m +d s (b1 +n b2 ) d n n (a1 + a2 ) + m (b1 + b2 ) b1 + b2 ; ra1 +d ra2 +d rm +d sb1 +d sb2 d n n (a1 + a2 ) + m (b1 + b2 ) ; ra1 +d ra2 +d sb1 +d sb2 d na1 + mb1 na2 + mb2 + ; (ra1 +d sb1 ) +d (ra2 +d sb2 ) d d na1 + mb1 na2 + mb2 ; ra1 +d sb1 ; ra2 +d sb2 = (a1 ; b1 ) (a2 ; b2 ) . d d

5

!

Importantly, notice that m n ; d d Since

= (0; 1) and

(s

m; n

is a homomorphism, we know that for (a; b) 2 Z a (s

Thus, is surjective. Now, if Hence,

m; n

(a1 ; b1 ) = n (a1 d r (a1

r) b

m (b1 d a2 ) +d s (b1

a2 ) +

Zd ,

m n ; d d

(a2 ; b2 ), then

r) = (1; 0) .

= (a; b) :

na1 +mb1 ; ra1 d

+d sb1 =

na2 +mb2 ; ra2 d

+d sb2 .

b2 )

= 0 and

(3)

b2 )

= 0.

(4)

n m We know that gcd m a2 ) and nd j (b1 b2 ). It follows that d ; d = 1. Hence, (3) implies that d j (a1 m n k d = ja1 a2 j and k d = jb1 b2 j for some nonnegative integer k. Without loss of generality, suppose n a1 a2 = k m b2 . Thus, r (a1 a2 ) + s (b1 b2 ) = k r dm + s nd = k dd = k. By d and k d = b1 (4), we know that k 0 (mod d). Since 0 b1 ; b2 < n, we know that jb1 b2 j < n. If k 6= 0, then jb1 b2 j = k nd n as d j k; this is a contradiction. Therefore, k = 0 =) b1 = b2 =) a1 = a2 . Hence, is injective. The proof is complete.

Corollary 1.5. Z Zm Zn = Z

Zgcd(m;n) .

m

Lemma 1.6. If K is an abelian group and ' : Z Za1 ! K is an isomorphism such that ' (m; 0) = M , then m m m m M M M Z Za1 Za2 Zan = K Za2 Zan .

m

m

m

m

Proof. Let G = Z Za1 Za2 Zan and let H = K be denoted by . Let : G ! H be de…ned by

M

Za2

M

M

Zan . Let the operation of K

(x; x1 ; x2 ; :::; xn ) = (' (x; x1 ) ; x2 ; :::; xn ) . If (x; x1 ; x2 ; :::; xn ) = g1 and (y; y1 ; y2 ; :::; yn ) = g2 are elements of G, then (g1 g2 )

=

=

=

= = It is very clear that

! n X xi + yi ; x1 +a1 y1 ; x2 +a2 y2 ; :::; xn +an yn x+y+m ai i=1 ! ! n X xi + yi ' x+y+m ; x1 +a1 y1 ; x2 +a2 y2 ; :::; xn +an yn ai i=1 ! ! n X xi + yi ' (x; x1 ) ' (y; y1 ) ' m ; 0 ; x2 +a2 y2 ; :::; xn +an yn ai i=2 ! ! n X xi + yi ' (x; x1 ) ' (y; y1 ) M; x2 +a2 y2 ; :::; xn +an yn ai i=2

(' (x; x1 ) ; x2 ; :::; xn ) (' (y; y1 ) ; y2 ; :::; yn ) = is a bijection since ' is a bijection.

6

(g1 )

(g2 ) .

Lemma 1.7. (Z

Zd )

Proof. Let G = (Z the mapping

(q;0)

Zd )

(q;0)

Zb2

(q;0)

Zb2

(q;0)

(q;0)

q

Zbn = Zd

(q;0)

Z Zb2

q

q

Zbn and let G0 = Zd

Zbn . q

Z Zb2

q

q

Zbn . Consider

0

: G ! G , which is de…ned by ((x; x1 ) ; x2 ; :::; xn ) = (x1 ; (x; x2 ; :::; xn )) .

It is easily shown that

is a homomorphism; also, from the de…nition of , bijectivity quickly follows.

Now, for example, consider the carry group Z Z22 Z6 Z4 . We know that Z Z22 = Z. Moreover, there is an isomorphism ' : Z Therefore, Lemma 1.6 tells us that Z Z22 Z6 Z4 = Z Now, it follows from Proposition 1.4 that Z 22

22

Z6 = Z

Z6

22

Z6

22

Z4 .

Zgcd(22;6) = Z

22 6 gcd(22;6) ; 0

: Z Z6 ! Z Z2 such that (22; 0) 7! again, we have that Z

22

22

'

Z22 ! Z such that (1; 0) 7! 22.

Z2 and there is an isomorphism

= (lcm (22; 6) ; 0) = (66; 0). Applying Lemma 1.6

Z4 = (Z

Z2 )

(66;0)

Z4 .

It follows from Lemma 1.7 and Proposition 1.4 that (Z

Z2 )

= Z2 = Z2 = Z2

Z

(66;0) 66

Z4

Z4

Z Zgcd(66;4) Z Z2 .

Actually, we can follow the same procedure with any carry group and …nd its structure. We will now generalize this procedure. Consider the carry group G = Z Za1 Za2 Zan . Note that Z Za1 = Z by an isomorphism that maps (1; 0) to a1 . Therefore, Lemma 1.6 tells us that G=Z

a1

Za2

a1

a1

Zan :

a1

Proposition 1.4 tells us that Z Za2 = Z Zgcd(a1 ;a2 ) by an isomorphism that maps (a1 ; 0) to (lcm (a1 ; a2 ) ; 0). Lemma 1.6 tells us that G= Z

Zgcd(a1 ;a2 )

(lcm(a1 ;a2 );0)

Za3

(lcm(a1 ;a2 );0)

(lcm(a1 ;a2 );0)

Zan .

We now apply Lemma 1.7 to get that G = Zgcd(a1 ;a2 )

Z

lcm(a1 ;a2 )

Za3

lcm(a1 ;a2 )

lcm(a1 ;a2 )

Zan

:

Using the Principle of Mathematical Induction, we come upon the following theorem. Theorem 1.8. If a1 ; a2 ; :::; an are positive integers greater than 1, then Z Za1

Za2

Zan = Z

n M i=2

7

Zgcd(lcm(a1 ;:::;ai

1 );ai )

!

.

According to the theorem above, …nding the structure of any uniform carry group comes down to a few simple calculations. Using the theorem and the same example from above, we can quickly …nd that Z Z22 Z6 Z4 Z Zgcd(22;6) Zgcd(lcm(22;6);4) = = Z Z2 Z2 : In the following sections, we will discuss some more structure theory that applies to all carry groups (and not just uniform carry groups).

8

Chapter 2

General Structure Theory for Finitely Generated Carry Groups During the 2006 Potsdam-Clarkson NSF-REU, with Dr. Madore, we1 further investigated carry groups and continued the work of the 2001 REU program. There, we completely classi…ed the structure of …nitely generated carry groups. Our classi…cation for in…nitely generated carry groups is, for the most part, complete. We will now state and prove our main results. Lemma 2.1. Z

a1

Zb1

a2

a1

an

a2

Zbn = Z

a01

Zb1

a0n

a02

an

Proof. Let G = Z Zb1 Zbn and let H = Z for all i = 1; :::; n. Therefore, for each i = 1; :::; n,

Zbn if ai

a01

Zb1

a02

a0i (mod bi ) for all i = 1; :::; n. a0n

Zbn . Suppose that ai

a0i (mod bi )

a0i = ai + mi bi for some mi 2 Z. Now, let ' : G ! H be de…ned by ' (x; x1 ; :::; xn ) =

x

n X

mi xi ; x1 ; :::; xn

i=1

!

.

If (c; c1 ; :::; cn ) and (d; d1 ; :::; dn ) are elements of G, then ' ((c; c1 ; :::; cn ) (d; d1 ; :::; dn )) ! n X ci + di ; c1 +b1 d1 ; :::; cn +bn dn = ' c+d+ ai bi i=1 =

=

=

c+d+

c+d+

c+d+

n X

i=1 n X

i=1 n X i=1

=

c

n X i=1

ai (a0i a0i

ci + di bi

mi (ci +bi di ) ; c1 +b1 d1 ; :::; cn +bn dn

ci + di mi b i ) bi ci + di bi !

mi ci ; c1 ; :::; cn

mi (ci +bi di ) ; c1 +b1 d1 ; :::; cn +bn dn

mi (ci + di ) ; c1 +b1 d1 ; :::; cn +bn dn d

n X

!

mi di ; d1 ; :::; dn

i=1

!

!

!

= ' (c; c1 ; :::; cn ) ' (d; d1 ; :::; dn ) .

Now, surjectivity and injectivity follow quickly from the de…nition of '. 1 Tyler

Cook - SUNY Potsdam, Erica Miller - St. Edwards University, Tim Pollio - Princeton University, Zachariah Riel Kent State University, Annaliese Spaeth - Xavier University

9

Lemma 2.2. If gcd (b1 ; c) = 1, then Z

Proof. Let G = Z

a1

Zb1

a2

an

a1

Zb1

a2

an

Zbn and let H = Z

Zbn = Z

ca1

Zb1

ca1

a2

Zb1

an

a2

an

Zbn .

Zbn . Let ' : H ! G be de…ned by

' (x; x1 ; x2 ; :::; xn ) = c (0; x1 ; 0; :::; 0) (x; 0; x2 ; :::; xn ) . If (d; d1 ; d2 ; :::; dn ) and (e; e1 ; e2 ; :::; en ) are elements of H, then ' ((d; d1 ; d2 ; :::; dn ) (e; e1 ; e2 ; :::; en )) ! n X di + ei d1 + e1 = ' d + e + ca1 + ai ; d1 +b1 e1 ; d2 +b2 e2 ; :::; dn +bn en b1 bi i=2 n

= c (0; d1 +b1 e1 ; 0; :::; 0)

d + e + ca1

= c (0; d1 ; 0; :::; 0) (0; e1 ; 0; :::; 0)

X di + ei d1 + e1 + ai ; 0; d2 +b2 e2 ; :::; dn +bn en b1 bi i=2

a1

d1 + e1 ; 0; 0; :::; 0 b1

n

d + e + ca1

X d1 + e1 di + ei + ai ; 0; d2 +b2 e2 ; :::; dn +bn en b1 bi i=2

= c (0; d1 ; 0; :::; 0) c (0; e1 ; 0; :::; 0)

d+e+

n X i=2

ai

!

di + ei ; 0; d2 +b2 e2 ; :::; dn +bn en bi

!

!

= c (0; d1 ; 0; :::; 0) c (0; e1 ; 0; :::; 0) (d; 0; d2 ; :::; dn ) (e; 0; e2 ; :::; en ) = (c (0; d1 ; 0; :::; 0) (d; 0; d2 ; :::; dn )) (c (0; e1 ; 0; :::; 0) (e; 0; e2 ; :::; en )) = ' (d; d1 ; d2 ; :::; dn ) ' (e; e1 ; e2 ; :::; en ) . Since gcd (b1 ; c) = 1, we can …nd integers r and s such that b1 r + cs = 1. Clearly, c b1 s = 1. Let q be the least nonnegative residue of s, modulo b1 . Now, let (p; p1 ; p2 ; :::; pn ) 2 G. It follows from ( ) that 0 1 jcj 1 X (i sgn (c) q) + q sgn (c) b1 c (0; q; 0; :::; 0) = @ a1 ; 1; 0; :::; 0A b1 i=0 and so

0

'@

jcj 1

X i=0

a1

(i sgn (c)

1 q) + q sgn (c) b1 ; q; 0; :::; 0A = (0; 1; 0; :::; 0) . b1

Therefore, since ' is a homomorphism, we have that 0 1 jcj 1 X (i sgn (c) q) + q sgn (c) ' b1 a1 p1 @ ; q; 0; :::; 0A (p; 0; p2 ; :::; pn ) 7 ! (p; p1 ; p2 ; :::; pn ) . b1 i=0

Thus, ' is surjective. Suppose that (d; d1 ; d2 ; :::; dn ) ; (e; e1 ; e2 ; :::; en ) 2 H such that ' (d; d1 ; d2 ; :::; dn ) = ' (e; e1 ; e2 ; :::; en ). Thus, (d; 0; d2 ; :::; dn ) c (0; d1 ; 0; :::; 0) = (e; 0; e2 ; :::; en ) c (0; e1 ; 0; :::; 0) . Surely, di = ei for i = 2; :::; n. The previous equation gives us 0 jcj 1 X (i sgn (c) b1 d1 ) + d1 sgn (c) @d + a1 ;c b1 i=0 0 jcj 1 X (i sgn (c) b1 e1 ) + e1 sgn (c) @ a1 = e+ ;c b1 i=0

b1

b1

1

d1 ; d2 ; :::; dn A 1

e1 ; e2 ; :::; en A .

Since cd1 ce1 (mod b1 ) and gcd (b1 ; c) = 1, we have that d1 e1 (mod b1 ). Consequently, d1 = e1 . This forces d = e. Thus, ' is injective and the proof is complete. 10

The following lemma gives a few minor facts about carry groups. At this point, the reader should be familiar enough with carry groups to see (or at least have a strong suspicion) that they are true. We could probably get away with assuming these facts without stating them. For the sake of clarity, we will state them. However, we will leave it to the reader to prove the lemma, as it is a straightforward exercise. Note that the second fact is a generalization of Lemma 1.6; its proof is similar to that of 1.6. The third fact is practically identical with Lemma 1.7. Lemma 2.3. (a) If

2 Sn , then Z

a1

Zb1

an

a2

Zbn = Z

a

(1)

Zb

a

a

(2)

(1)

(n)

Zb

(n)

.

(b) Let H and K be Abelian groups. If H = K via ' : H ! K, then for any h1 ; :::; hn 2 H, H (c) (Z

Zd )

(a2 ;0)

Zb2

h1

(a3 ;0)

Zb1

h2

(an ;0)

hn

'(h1 )

Zbn = K

Zbn = Zd

Z a1

a2

Zb1

Zb2

a2

'(h2 )

a3

an

an

'(hn )

Zbn .

Zbn . ca1

a2

an

Lemma 2.2 tells us that if gcd (b1 ; c) = 1, then Z Zb1 Zbn = Z Zb1 Zbn . Actually, we can generalize this lemma a bit. Now, Lemma 2.3(a) tells us that the structure of a carry group does not change if we rearrange the …nite cyclic groups along with their respective carries. Therefore, we can apply 2.3(a) and 2.2 over and over again. Without loss of generality, if gcd (bi ; ci ) = 1 for all i = 1; :::; n, then a1 a2 an c1 a1 c2 a2 cn an Z Zb1 Zbn = Z Zb1 Zbn . From now on, whenever we refer to Lemma 2.2, we will refer to it in this general sense. Lemma 2.4. Given a; b 2 N, there exists c 2 N such that gcd(b; c) = 1 and ac

gcd(a; b)(mod b).

Proof. So, let a; b 2 N. Let b = p1 1 p2 2 pl l be a prime factorization for b. It is clear that, for all i = 1; :::; l, there exist ci ; i 2 Z such that a ci pi i (mod pi i ), where ci pi i < pi i and gcd(ci ; pi ) = 1. Also, for all i = 1; :::; l, there exist ki ; i 2 Z such that gcd(a; b) ki pi i (mod pi i ), where ki pi i < pi i and gcd(ki ; pi ) = 1. We claim that, for all i = 1; :::; l, i = i . First, suppose that j > j for some j. We know that we can write gcd(a; b) = ra + sb for some r; s 2 Z. Therefore, kj pj j

gcd(a; b)

ra + sb

ra

rcj pj j (mod pj j ).

Hence, kj

rcj pj

j

j

(mod pj j ).

j

j Now, this implies that kj = rcj pj + qj pj j for some qj 2 Z. Hence, pj j kj . Since pj > 1, this is a contradiction of the fact that gcd(kj ; pj ) = 1. Thus, i i for all i. Now, suppose that j < j for some j. So, since gcd(a; b) j a, we can write a = w gcd(a; b) for some w 2 Z. Now, we have that j (mod pj j ). Since cj pj j a w gcd(a; b) wkj pj j (mod pj j ). Therefore, we have that cj wkj pj j j < j , we have that pj j cj , which contradicts the fact that gcd(cj ; pj ) = 1. Therefore, we have that i i for all i. Since we also have that i i for all i, we conclude that i = i for all i.

Now, we can …nd a c such that c ki ci 1 (mod pi i ) for all i = 1; :::; l, which is guaranteed by the Chinese Remainder Theorem. Also, for all i = 1; :::; l, we have that ac

aki ci

1

ci pi i ki ci

1

pi i ki = pi i ki

Also, by the Chinese Remainder Theorem, we have that ac

11

gcd(a; b)(mod pi i ). gcd(a; b)(mod b).

a1

a2

an

Lemma 2.4 is quite useful for our cause. Consider the carry group Z Zb1 Zbn . For each i = 1; :::; n, it follows from Lemma 2.4 that there exists ci 2 N such that gcd(bi ; ci ) = 1 and ai ci gcd(ai ; bi )(mod bi ). It follows from Lemma 2.2 and Lemma 2.1 that Z = Z = Z

a1

a2

Zb1

c1 a1

Zb1

an

Zbn

c2 a2

gcd(a1 ;b1 )

cn an

Zb1

Zbn

gcd(a2 ;b2 )

gcd(an ;bn )

Zbn . a2

a1

an

Zbn , then ai j bi Thus, without loss of generality, we can assume that if given any carry group Z Zb1 for all i = 1; :::; n. The following lemma uses this general assumption. As you will see later, the following a1 an a2 lemma is a necessary tool for …nding the structure of Z Zb1 Zbn . Lemma 2.5. If ai j Z

Proof. Let G = Z In G, let

i,

a1 b1

a1 b1

bi j

i,

and gcd ( i ;

a2 b2

Z

1

1

Z

1

1

an bn

a2 b2

an bn

Z

Z y y1

yn

i)

n

n

n

n

= 1 for all i = 1; :::; n, then

=Z

a1

b1

Z

1

a2

Z

a1 b1

and let H = Z

an

1

Z

a1 b1 1

bn

Z

n

Z

1

Z

a2 b2

n

.

an bn

Z

an bn n

Z

n

.

= (1; 0; 0; :::; 0) = (0; 1; 0; :::; 0) .. . = (0; 0; 0; :::; 1) .

In H, let x = x11 = x12 =

xn1 xn2

(1; 0; 0; :::; 0) (0; 1; 0; :::; 0) (0; 0; 1; 0; :::; 0) .. . = (0; 0; 0; :::; 1; 0) = (0; 0; 0; :::; 1) .

Let ' : H ! G be de…ned by n

' (q; q11 ; q12 ; :::; qn1 ; qn2 ) = qy i=1

( i qi1 yi

i qi2 yi )

,

where is the operator corresponding to the operation . Let (c; c11 ; c12 ; :::; cn1 ; cn2 ) ; (d; d11 ; d12 ; :::; dn1 ; dn2 ) 2 H. Then, ' ((c; c11 ; c12 ; :::; cn1 ; cn2 ) (d; d11 ; d12 ; :::; dn1 ; dn2 )) n X ci2 + di2 ci1 + di1 ; c11 + + = ' c+d+ ai bi =

c+d+

i=1 n X

ai bi

i=1

i

ci1 + di1 i

i

+

ci2 + di2 i

12

!

1

d11 ; c12 +

1

d12 ; :::; cn1 +

n

dn1 ; cn2 +

n

dn2

n

y i=1

i

(ci1 +

i

di1 ) yi

i

ci2 +

i

di2 yi

.

!

Note that, in the previous line, n

(ci1 +

i

i=1

i

di1 ) yi

n

= i=1

ci2 +

i

i=1

(ci1 +

di1 ) yi

i

ci2 +

i

i=1 n X

=

i ci1 yi

i di1 yi

ai bi

i ci1 yi

i di1 yi

ai bi

i ci1

n

i di1

i ci2 yi

y

i

+

i

i ci2

ai bi

+ i i

n i ci2 yi

y

i di2 yi

ci2 + di2

ai bi

i=1

!

ci2 + di2

i di2 yi

i=1

ci1 + di1

i

i=1

+

di2 yi

i i

ci1 + di1

ai bi

i

i=1

n

=

di2 yi

n i

n

=

i

y

i

n

y i=1

( i ci1 yi

i di1 yi

i ci2 yi

i di2 yi )

.

Therefore, ' ((c; c11 ; c12 ; :::; cn1 ; cn2 ) (d; d11 ; d12 ; :::; dn1 ; dn2 )) ! n X ci1 + di1 ci2 + di2 = c+d+ ai bi + y i

i=1

n i

i=1

i

(ci1 +

i

di1 ) yi

i

ci2 +

i

di2 yi

n

=

(c + d) y i=1

( i ci1 yi

i di1 yi

i ci2 yi

i di2 yi )

n

=

cy i=1

n

( i ci1 yi

i ci2 yi )

dy i=1

( i di1 yi

i di2 yi )

= ' (c; c11 ; c12 ; :::; cn1 ; cn2 ) ' (d; d11 ; d12 ; :::; dn1 ; dn2 ) . So, ' is a homomorphism. For each i = 1; :::; n, we can …nd ri ; si 2 Z such that i ri + i si = 1, as gcd ( i ; i ) = 1. For each i = 1; :::; n, let Ri be the least nonnegative residue of ri , modulo i . Also, for each i, let Si be the least nonnegative residue of si , modulo i . For each i = 1; :::; n, there are integers mi ; ni such that ri = Ri + mi i and si = Si + ni i . Therefore, for each i = 1; :::; n, i ri

+

i si

=

i

(Ri + mi

i)

+

(Si + ni

i

i)

i Ri

+

i Si

1(mod

i i ).

Therefore, for each i = 1; :::; n, '

Si xi1 Ri xi2 7 ! and so

i Si yi

i Si

ai bi

+

i Ri yi

i Si

= yi ai bi

+

i Ri

y

i i

i Ri

'

x Si xi1 Ri xi2 7 ! yi .

i i

Let (p; p1 ; :::; pn ) 2 G. Therefore, n

pi

px

ai bi

i Si

i=1

+

i Ri

x Si xi1 Ri xi2

i i

'

7 ! (p; p1 ; :::; pn ) .

So, ' is surjective. Now, suppose that (c; c11 ; c12 ; :::; cn1 ; cn2 ) ; (d; d11 ; d12 ; :::; dn1 ; dn2 ) 2 H such that ' (c; c11 ; c12 ; :::; cn1 ; cn2 ) = ' (d; d11 ; d12 ; :::; dn1 ; dn2 ). Then, n

n

cy i=1

( i ci1 yi

i ci2 yi )

= dy i=1

( i di1 yi

i di2 yi )

.

Hence, c+

=

d+

n X

i=1 n X i=1

ai bi

i ci1 +

i ci2

i i

ai bi

i di1

+

i di2

i i

13

!

n

y

!

i=1

i ci1 +

i

i ci2

i

yi

n

y i=1

i di1 +

i

i

i di2

yi .

i di2

y

Therefore, for each i = 1; :::; n, i ci1 + i ci2

=)

i (ci1

i di1 + i di2

di1 ) +

i (ci2

(mod di2 ) = ki

i i) i i

for some ki 2 Z. Since i j ki i i and i j i (ci1 di1 ) for i = 1; :::; n, it is forced that i j i (ci2 di2 ) for i = 1; :::; n. Therefore, for all i = 1; :::; n, i j (ci2 di2 ) since gcd ( i ; i ) = 1. If ci2 6= di2 for some i, then 0 < jci2 di2 j < i and i - (ci2 di2 ), which is a contradiction. We must have that ci2 = bi2 for i = 1; :::; n. Similarly, i j (ci1 di1 ) for i = 1; :::; n. Since jci1 di1 j < i , we must have that ci1 = di1 for all i in order to avoid a contradiction. This forces c = d. Therefore, H = G. Now, let b1

a1

a2

bn

an

Z n Z n . Since bi j i for i = 1; :::; n, we have that gcd ( i ; bi ) = 1 for K=Z Z 1 Z 1 i = 1; :::; n. Similarly, ai j i for all i implies that gcd (ai ; i ) = 1 for all i. It follows from Lemma 2.2 that H = K. Therefore, G = K. Given a carry group, what are the necessary and su¢ cient conditions for it to be isomorphic to Z? The following theorem tells us precisely when a carry group is isomorphic to Z. Theorem 2.6. Let G = Z

a1

Zb1

a2

an

Zbn . The following are equivalent:

(a) The integers b1 ; :::; bn are pairwise relatively prime and gcd (ai ; bi ) = 1 for all i = 1; :::; n. (b) G = Z.

a1

a2

an

Proof. [(b) =) (a)] Let G = Z Zb1 Zbn . Assume that G = Z. We wish to show that the integers b1 ; :::; bn are pairwise relatively prime and gcd (ai ; bi ) = 1 for all i = 1; :::; n. Suppose that it isn’t true. Then, there exist 1 i1 < i2 n such that gcd (bi1 ; bi2 ) > 1 or there exists 1 j n such that gcd (ai ; bi ) > 1. (i) Suppose that there exists 1

j

aj

n such that gcd (aj ; bj ) > 1. We know that Z

aj

Zbj < G. By aj

Proposition 1.4, Z Zbj = Z Zgcd(aj ;bj ) . Therefore, there is a corresponding element of Z Zbj (in G) that has order gcd (aj ; bj ). Thus, G has an element of …nite order. This contradicts the fact that G = Z and Z has no elements of …nite order. Therefore, we must have that gcd (ai ; bi ) = 1 for all i = 1; :::; n. (ii) Suppose that there exist 1 Z

ai1

Zbi1

ai2

i1 < i2

n such that gcd (bi1 ; bi2 ) = d > 1. We know that

Zbi2 < G. Consider the element q 2 Z q=

ai1

b i1 ai (0; 1; 0) d 2

Zbi1

ai2

Zbi2 given by

b i2 ai (0; 0; 1) . d 1

I claim that q 6= (0; 0; 0). Otherwise, if the third coordinate of q is zero, then we would have to conclude b that di2 ai1 is a multiple of bi2 ; this means that d j ai1 . So, gcd (ai1 ; bi1 ) d > 1 since d j bi1 . This violates the fact that gcd (ai ; bi ) = 1 for all i = 1; :::; n. Hence, q 6= (0; 0; 0). We now get that b i 1 b i2 q

= = =

b i1 b i 2 bi1 ai2 (0; 1; 0) d b i1 b i 2 ai2 (ai1 ; 0; 0) d b i1 b i 2 ai1 ai2 (1; 0; 0) d

bi 1 bi 2 bi2 ai1 (0; 0; 1) d b i1 b i 2 ai1 (ai2 ; 0; 0) d b i 1 b i2 ai1 ai2 (1; 0; 0) = (0; 0; 0) . d

We have found that q is an element of …nite order. We obtain the contradiction that G has elements of …nite order. We must have that b1 ; :::; bn are all pairwise relatively prime. 14

[(a) =) (b)] Suppose that we’re given positive integers b1 ; :::; bn and integers a1 ; :::; an such that a1 a2 an b1 ; :::; bn are pairwise relatively prime and gcd (ai ; bi ) = 1 for all i = 1; :::; n. Let G = Z Zb1 Zbn . Using Lemma 2.2, Theorem 1.8, and the hypothesis that b1 ; :::; bn are pairwise relatively prime, we …nd that G

Z Zb1 Zbn Z Zgcd(b1 ;b2 ) Zgcd(lcm(b1 ;b2 );b3 ) Z Zgcd(b1 ;b2 ) Zgcd(b1 b2 ;b3 ) Z Z1 Z1 Z1 = Z.

= = = =

Zgcd(lcm(b1 ;b2 ;:::;bn Zgcd(b1 b2

bn

1 );bn )

1 ;bn )

We have a method for …nding the structure of any …nitely generated carry group, which we will now present. Suppose that we’re given the carry group a1

G=Z

Zb1

a2

an

Zbn .

According to the lemmas (2.4, 2.2, and 2.1), without loss of generality, we can assume that ai j bi for all i. We can now rewrite this as G=Z

p1111 p1212

1m1

p1m

1

p2121 p2222

Z

p1111 p1212

2m2

p2m

2

im

p1111

p1212

Zp

Zp

n1 n2 n1 pn2

where pi1i1 pi2i2 pimi i is the prime factorization of bi . For each 1 Now, by Lemma 2.5, G=Z

nmn pnm n

pn1n1 pn2n2

1m p1m 1 1

11 11

nmn pnm n

p1313

Zp

i

n,

Zp

nmn nmn

12 12

ij

ij

nmn pnm n

for all 1

.

, j

mi . (#1 )

This may look a bit ambiguous. To be clear, the group written in (#1 ) consists of m1 + + mn = N carry “components,” whereas the original group G consisted of n carry “components.” We say that a direct sum of …nite cyclic groups with any group of this form is “reduced.” We will now show that the group in (#1 ) can be transformed from an N -component group to an (N 1)-component reduced group. Choose any prime p 2 fpij : 1 i n and 1 j mi g . Let = min f For each 1

i

n and each 1

ij

j

: p = pij for some 1

i

n and 1

j

mi g .

mi , let ij

1 p

=

if if

pij = p; pij 6= p.

Applying Lemma 2.2, we get that G=Z Note that p j

ij

ij pij

11 11 p11

for all 1

Zp

12 12 p12

11 11

i

13 13 p13

Zp

nmn nmn pnmn

n and all 1

j

mi . In light of Lemma 2.3(a), we can assume that

p = p11 and = 11 . Further, by Proposition 1.4, there is an isomorphism (p ; 0) = p 11 ; 0 . Using Lemma 2.3(b), we have that G = (Z

Zp )

(

12 12 p12 ;0

)

Zp

(

.

Zp

nmn nmn

12 12

13 13 p13 ;0

)

(

:Z

nmn nmn pnmn ;0

)

p

Zp

Zp

nmn nmn

12 12

15

!Z

11

.

Zp , where

ij

Notice that, for each 1 i n, follows from Lemma 2.3(c) that G

= (Z

Zp )

= Zp

Z

(

ij pij

12 ( 11 12 p12 p

)

ij

;0 =

;0)

ij pij

(

Zp

p(

)

11

13 ( 11 13 p13 p

)

; 0 for all 1

;0)

(

j

mi (why?). So now, it

nmn ( 11 nmn pnmn p

)

;0)

12 12

12 ( 11 12 p12 p

)

13 ( 11 13 p13 p

Zp

nmn ( 11 nmn pnmn p

)

)

Zp

nmn nmn

12 12

!

Zp

nmn nmn

.

(#2 )

So, we have transformed the N -component group to an (N 1)-component reduced group as desired. Of course, this iterated process can be used to express G as a direct sum of Z with …nite cyclic groups. So, this method yields the structure of any …nitely generated carry group. However, this can be improved. Fix any 1 i n and 1 j mi . Recall that ij = p whenever pij 6= p. Therefore, if pij 6= p, then ij ( ) 11 = pijij p 11 . In (#2 ), if pij 6= p, then the ij th carry “component” has the form ij pij p pijij p

11

Z

pijij

We know that gcd p the ij

th

11

; pijij

.

= 1, since pij 6= p. Thus, we can apply Lemma 2.2 to rewrite (#2 ), where

carry “component” becomes

pijij

Z

pijij

.

This is the ij th carry “component” that we started with in (#1 ). Recall that when we chose the prime p = p11 , we transformed the carry “component” p1111

Zp

11 11

into a direct summand. In general, the argument above shows that the transformation of a carry “component” into a direct summand does not a¤ect the carry components whose bases are powers of a prime di¤erent from p. Therefore, this problem amounts to reducing groups of the form H=Z

p

1

Zp

p

2

p

1

n

Zp

n

,

where p is a prime, i i for i = 1; :::; n, and (without loss of generality) present our main structure theorem for …nitely generated carry groups. Theorem 2.7. Suppose that p is a prime. If Z

p

1

Zp

p

2

p

1

i

i

n

Zp

n

1

for i = 1; :::; n and ! n M ZpMi , =Z

n.

2

1

2

We now

n,

then

i=1

where M1 =

1

and Mi = min

i;

i

+

i 1

i 1

for i > 1.

Proof. Suppose that p is a prime. Let 1 ; :::; n and 1 ; :::; n be integers such that i i i+1 for each i = 1; :::; n. Let M1 = 1 and Mi = min i , and i i; i + i 1 each i > 1. We claim that, for each 1 k n, ! k M k k k p k+1 + k p k+2 + k p n+ k H= ZpMi Z Zp k+1 Zp n . i=1

16

0,

i

i 1

> 0, for

H

Z

=

p

= (Z

(p

1

Zp

Zp 1 )

= Zp

Z

1

2 ;0)

1

(p p

2+ 1

2+ 1

Zp

!Z

1

3 ;0)

(p

Zp 1 ;0

1

p

By Lemma 1.4, there is an isomorphism 1 : Z Lemma 2.3(b) and Lemma 2.3(c) tell us that

Zp n ;0)

(p

2

)

Zp

1

(p

1 ;0

Zp

n

)

n+ 1

(p

1 ;0

)

2 3+ 1

p

Zp

3+ 1

such that (p 1 ; 0) maps to p 1 ; 0 .

1

1

n+ 1

p

Zp

n

1

Zp

2

n

.

Our claim is true for k = 1. Suppose that, for some 1 l < n, our claim is true for k = l. Thus, ! l M p l+1 + l l p l+2 + l l p n+ l l H= ZpMi Z Zp l+1 Zp n . i=1

l+1 + l

p

l

Applying Lemma 1.4, there is an isomorphism 2 : Z Zp l+1 + l l l+1 ; 0 maps to p ; 0 . It follows from Lemma 2.3 that p H

=

l M

ZpMi

i=1

=

l M

ZpMi

i=1

=

l+1 M

ZpMi

i=1

!

Z

!

p

Z

!

Z

p

l+1 + l

l

Zp

l+2

l

p

n+ l

l+1 + l+1 ;0

l+2

l+1 + l+1

Zp (p

l+1 + l+1

l+3

p

Zp

)

l+2

! Z

n

ZpMl+1 such that

l

l+1

(p

ZpMl+1

l+2 + l

p

l+1

n

l+1 + l+1 ;0

p

n

)

Zp

n

!

l+1 + l+1

Zp

n

.

Therefore, our claim is true for k = l + 1 whenever it is true for k = l. By induction, it follows that ! n M H=Z ZpMi . i=1

6

10

Example. Let G = Z Z9 Z14 Thus, Lemma 2.2 tells us that

5

Z7 . Notice that gcd (2; 9) = 1, gcd (3; 14) = 1, and gcd (3; 7) = 1.

G

6

= Z Z9 = Z = Z

Also, note that 12

3 (mod 9), 30

62 12

10

Z9

Z9

5

Z14 Z7

10 3 30

Z14

Z14

2 (mod 14), and 15 3

2

15

53

Z7

Z7 .

1 (mod 7). Therefore, by Lemma 2.1, 1

G = Z Z9 Z14 Z7 . Now, note that gcd (7; 2) = 1. Therefore, Lemma 2.5 tells us that 3

2

1

1

G = Z Z9 Z2 Z7 Z7 .

17

Continuing on, using Theorem 2.7, we get that G

3

2

= Z Z9 Z2 = Z3 = Z3

70

2

Z Z2 Z2

Z71 70

Z

70

Z71

70

Z71

Z71 70

Z71

70

Z71

= Z3 Z2 (Z Z70 Z7minf1;0+1 = Z3 Z2 (Z Z1 Z7 ) = Z Z3 Z2 Z7 .

0g

)

At this point, our classi…cation of …nitely generated carry groups is complete. Now, we will explore in…nitely generated Carry groups.

18

Chapter 3

In…nitely Generated Carry Groups We will now consider groups of the form G=Z

a1

Zb1

a2

Zb2

a3

a4

Zb3

.

Note that the proofs of the lemmas in Chapter 2 did not depend on the fact that the groups were …nitely generated (perhaps except for Lemma 2.3(a)). Therefore, without loss of generality, we assume that ai j bi and bi is a prime power for all i 2 N. We will now give some de…nitions.

De…nitions Suppose that we are given G = Z

a1

Zb1

a2

Zb2

a3

1. Portions of the expression of G of the form

Zb3 ai

a4

, where ai j bi and bi is a prime power for all i.

Zbi are referred to as components.

2. We will de…ne bi =ai to be the depth of the component. 3. The collection of all components of G whose bi are powers of a …xed prime, p, is called the p-system of G. We denote a p-system of G as Gp and we denote its associated subgroup of G as Z Gp . 4. We de…ne the depth of a p-system to be the supremum of the depths of its components. 5. A p-system is said to be bounded if it has …nite depth. 6. A bounded p-system is said to be simple if it has some component to the depth of the system.

ai

Zbi where ai = 1 and bi is equal

7. The in…nitely generated carry group G is said to have rational form if there exist H sequence n1 ; n2 ; ::: of natural numbers such that ! 1 M G=H Zni .

Q and a

i=1

8. An element x 2 G where x = (m; m1 ; m2 ; :::) is said to be an integer if mi = 0 for all i. We may refer to x as m is this case. 9. For the in…nitely generated carry group G, we de…ne by G

G

: G ! Q, the projection homomorphism,

(x; x1 ; x2 ; :::) = x +

1 X i=1

19

xi

ai . bi

10. De…ne Gt = fx 2 G : x has …nite orderg. Gt is called the torsion subgroup of G. Furthermore, we say that G is torsion-free if Gt = f0G g. Note that the mapping given in de…nition 9, G , is actually a homomorphism; it is an easy exercise to show that G is a homomorphism. We leave this to the reader. Lemma 3.1. For any x 2 G, there exists n 2 N such that nx is an integer. Proof. Let x = (x0 ; x1 ; x2 ; :::) 2 G. Remember that xi = 0 for all except …nitely many i. Now, let Y n= bi . xi 6=0

We know that bi j n whenever xi 6= 0. Hence, bi j nxi whenever xi 6= 0; in this case, the ith coordinate of nx is 0. Therefore, nx is zero in every coordinate except possibly the …rst one. Therefore, nx is an integer by de…nition. Lemma 3.2. For the in…nitely generated carry group G, ker

G

= Gt .

Proof. Let x = (c; c1 ; c2 ; :::) 2 G. By the previous lemma, there exists n 2 N such that nx is an integer; say, nx = (b; 0; 0; :::). First of all, suppose that x 2 Gt ; then mx = 0G for some m 2 N. Therefore, m (nx) = mnx = n (mx) = 0G and nx 2 Gt . Since nx is an integer, we must have that nx = 0G ; otherwise, mnx = m (b; 0; 0; :::) = (mb; 0; 0; :::) 6= 0G since mb would be nonzero. Therefore, G (nx) = G (0G ) = 0. Hence, n G (x) = 0 so that G (x) = 0 and x 2 ker G . Thus, Gt ker G . Conversely, let x 2 ker G . Still, nx is an integer; also, nx 2 ker G , since G (nx) = n G (x) = 0. We know that nx = 0G , because G (nx) = G (b; 0; 0; :::) = b. Since nx = 0G , we conclude that x 2 Gt . Thus, ker G Gt . Hence, ker G = Gt . Corollary 3.3. For the in…nitely generated carry group G, G=Gt =

G

(G).

L1 Notice that if G has rational form H ( i=1 Zni ), then Corollary 3.3 implies that case, it follows that G (G) is a direct summand of G.

G

(G) = H. In this

Lemma 3.4. If Gp is a p-system of G, then there are no in…nite chains of additive pth roots in G. a1

a2

a3

a4

. Let x 2 G and suppose that x has Proof. Let Gp be a p-system of G = Z Zb1 Zb2 Zb3 an in…nite chain of additive pth roots. Then, for every n 2 N, there exists xn 2 G such that pn xn = x. Thus, for every n 2 N, G (xn ) = G (x) =pn 2 Q. Therefore, for some m 2 N, G (xm ) = ab , where gcd (a; p) = 1 and p j b. It is true that there is at least one component of the p-system, where the corresponding coordinate of xm is nonzero. Suppose otherwise. That is, suppose xm is zero in all the 0 coordinates corresponding to components of the p-system. Then G (xm ) = ab0 where p - b0 . Hence, 0 0 0 0 ab = a b. Since p - b , p - a, and p is a prime, we have that p - ab . This is a contradiction since p j a0 b. Thus, there is at least one component of the p-system, where the corresponding coordinate of xm is p

nonzero. Assume, without loss of generality, that this component is Zp and that the corresponding coordinate of xm is 6= 0. We know that p xm+ = xm . No matter what is in the Zp -coordinate of xm+ , we have that the Zp -coordinate of p xm+ = xm is 0. This is a contradiction. Therefore, x 2 G does not have an in…nite chain of pth roots. 20

Lemma 3.5. If some p-system of G is not bounded, then G does not have rational form.

Proof. Suppose that Gp is an unbounded system of G. Also, suppose that G has rational form with the associated H we know that i

p

1

p

2

p

Q. So, Z Gp has the form Z Zp 1 Zp 2 i can take arbitrarily large values. We claim that

3

. Since Gp is not bounded,

n : n 2 Z; m 2 N H Q. pm n o n o n n It is obvious that G (Z Gp ) : n 2 Z; m 2 N . Let y 2 : n 2 Z; m 2 N ; then y = m m p p for some n1 2 Z, m 2 N. Let = min fi 2 N : i i > m1 g. Therefore, G

(Z Gp ) =

n1

m1

y=p

m1

= n1 p

p

G

n1 pm1

(0; 0; :::; 1; 0; 0; :::) ,

n o (Z Gp ) and pnm : n 2 Z; m 2 N G (Z Gp ). o n n The claim is proved. Therefore, an isomorphic copy of pm : n 2 Z; m 2 N exists as a subgroup of o n G. This is impossible, because the set pnm : n 2 Z; m 2 N has in…nite chains of additive pth roots, whereas G does not. This is a contradiction. Therefore, G cannot have rational form. where the 1 is in the Z -coordinate. Thus, y 2

Theorem 3.6. Let G = Z

a1

Zb1

a2

Zb2

a3

Zb3

G

a4

. The following are equivalent:

(a) The integers b1 ; b2 ; ::: are pairwise relatively prime and gcd (ai ; bi ) = 1 for all i 2 N.

(b) G is torsion-free.

(c) G is isomorphic to a subgroup of Q.

Proof. [(a) (b)] Let x = (x0 ; x1 ; x2 ; :::) 2 Gt . There exists n0 2 N such that xi = 0 for all i > n0 . Qn=) 0 Let n1 = i=1 bi . By the proof of Lemma 3.1, n1 x is an integer. So, we must have that n1 x = 0G . Otherwise, n1 x has in…nite order. Hence, G (n1 x) = n1 G (x) = 0. This means that (x) = 0 n0 X xi ai x0 + = 0. bi i=1 G

=)

Pn0 xi ai We know that i=1 bi must be an integer, since x0 is an integer. The common denominator for this sum of rational numbers is n1 . Therefore, 0 1 n1 j

Fix 1

k

n0 . We know that bk j

Furthermore, whenever 1

i

n0 X B Bxi ai @ i=1

n0 X i=1

0

B Bxi ai @

Y

1 j n0 j6=i

Y

1 j n0 j6=i

C bj C A.

C bj C A.

n0 and i 6= k, we have that Y bk j xi ai bj . 1 j n0 j6=i

21

1

So, bk divides the ith summand for all i 6= k and bk divides the whole sum. To avoid a contradiction, bk must divide the k th summand; that is, Y bk j xk ak bj . 1 j n0 j6=k

Since all the bi are pairwise relatively prime, we know that bk and

Q

1 j n 0 bj j6=k

are relatively prime.

Hence, bk j xk ak . Since gcd (bk ; ak ) = 1, we have that bk j xk . Since 0 xk < bk , we must have that xk = 0. We chose k arbitrarily. Hence, for all 1 i n0 , we have that xi = 0. In light of the equation G (x) = 0, it is forced that x0 = 0. Hence, x = 0G . We conclude that G is torsion-free. [(b) =) (c)] Suppose that G is torsion-free. Since Gt = ker G and Gt = f0G g, we have that ker G = f0G g. This implies that G is an injective homomorphism. Therefore, G = G (G) Q. [(c) =) (a)] The exact same argument from the …rst half of the proof of Theorem 2.6 su¢ ces. As in the previous section, if we reduce components whose bases are powers of a prime p, then the carries of other components are not a¤ected whenever their bases are powers of a di¤erent prime. Therefore, the problem of reducing an in…nitely generated carry group comes down to reducing its p-systems. The following theorem tells us how bounded p-systems are reduced.

Lemma 3.7. Suppose that Gp is a bounded p-system, where Z Gp = Z Z Gp =

Z

p

1 M

1

Zp

1

p

1

Zp

p 1

2

Zp

p

3

2

. Then,

Zp i .

i=2

Proof. Suppose that G is an in…nitely generated carry group, where Gp is a bounded p-system of G. So, Z Gp is of the form Z

p

1

Zp

p

2

1

Zp

p

3

. Since the depth of Gp is …nite, this depth must be

2

achieved by one of the components. Without loss of generality, assume that this component is L1 p 1 Let H = Z Zp 1 i=2 Zp i . In H, let y y1 y2

Let ' : Z Gp ! H be de…ned by

"

' (x; x1 ; x2 ; :::) = xy

p

1

Zp 1 .

= ((1; 0) ; 0; :::; 0) = ((0; 1) ; 0; :::; 0) = ((0; 0) ; 1; :::; 0) .. .

x1

1 X i=2

xi p

1

1+

i

i

!

y1

#

1 M

xi yi .

i=2

It is straightforward (but quite tedious) to show that ' is a homomorphism. Surjectivity and injectivity follow quickly from the de…nition of '.

Lemma 3.8. If all of the p-systems of G are bounded and if all but …nitely many of the systems of G are simple, then G has rational form.

22

Proof. Apply Lemma 3.7 to all of the p-systems of G. Notice that the repeated application of Lemma c1 c2 c3 3.7 reduces G to a direct sum of …nite cyclic groups and a group of the form H0 = Z Zd1 Zd2 , where the di are pairwise relatively prime and ci = 1 for all but …nitely many i. For the (…nitely many) components that satisfy ci 6= 1, we can repeatedly apply Proposition 1.4 and transform them into direct summands. After transforming all such components into direct summands, G is reduced to , where the d0i are a direct sum of …nite cyclic groups and a group of the form H1 = Z Zd01 Zd02 pairwise relatively prime. Therefore, H1 satis…es Theorem 2.6(a) or Theorem 3.6(a). Hence, in any case, H1 = H for some H Q. Thus, G has rational form.

Lemma 3.9. If G has in…nitely many non-simple systems, then G does not have rational form.

Proof. Suppose that G has in…nitely many non-simple systems and that G has rational form. Then, essentially, G (G) is a direct summand of G. Therefore, there is a subgroup G1 G such that G1 = G (G). Let x 2 G1 be the element that corresponds to 1 2 G (G). Let n be a number so that nx is an integer. Let p be a prime such that p relatively prime to nx and Gp is a non-simple system of G; note that such a p exists by hypothesis. Assume that Gp is bounded; otherwise, we have our result by Lemma 3.5. Let pd be the depth of Gp . Since the depth is …nite, it is a maximum and must be achieved by some component of Gp . Therefore, p d 2 G (G). Then, certainly, x and nx both have pd-th roots. Say, pd y = nx. Let z z1 z2

= = =

(1; 0; 0; :::; 0) (0; 1; 0; :::; 0) (0; 0; 1; :::; 0) .. .

be the generators for G. Then, y must be a linear combination of z; z1 ; z2 ; :::. Assume that zi has ai a 1 in the coordinate corresponding to the Zbi component. Given ci , we know that either pd ci zi a is not an integer or pd ci zi = pd ci bii z. We claim that p j pd ci abii if pd ci zi = pd ci abii z. Assume that pd pd ci zi = pd ci abii z and p - pd ci abii . Then, pd j abii . Since pd is the depth of Gp , we have that abii and, therefore, pd = abii . Since Gp is not simple, we have that p j ai . Therefore, pd+1 j bi . Therefore, p j ci ; otherwise, pd+1 - pd ci =) bi - pd ci and so pd ci zi cannot be an integer. Since p j ci , we have that pd ci abii = pd ci p d = ci and p j pd ci abii ; this contradicts our assumption that p - pd ci abii . Thus, if pd ci zi = pd ci abii z, then p j pd ci abii . Since y is a linear combination of elements of the form cz and ci zi , we know that pd y is a linear combination of elements of the form pd cz and pd ci zi . These elements must be multiples of p; otherwise, they wouldn’t be integers and, thus, pd y = nx wouldn’t be an integer. Since the elements of the linear combination are multiples of p, we must have that pd y = nx is a multiple of p. This is a contradiction of the fact that p was chosen to be relatively prime to nx. Therefore, we must have that G does not have rational form. We know that every countably generated carry group satis…es the hypothesis of at least one of Lemma 3.5, Lemma 3.8, or Lemma 3.9. Therefore, we have a complete characterization of which groups have a rational form. Therefore, in sum, we conclude with the following theorem. Theorem 3.10. For any carry group G, G has rational form if and only if every system of G is bounded and all but …nitely many systems of G are simple.

23

Bibliography [1] J. L. KING, The generic transformation has roots of all orders. Dedicated to the memory of Anzelm Iwanik. Colloq. Math. 84/85 part 2, pp 521-547, 2000. [2] B. F. MADORE, Rank-one group actions with simple mixing Z subactions, Ph.D. Thesis, University of Toronto, 2000. [3] T. W. HUNGERFORD, "Algebra," Springer-Verlag, New York, 1975. [4] L. FUCHS, "In…nite Abelian Groups," Academic Press, New York, 1970-73. [5] N. JACOBSON, "Basic Algebra I - Second Edition," W.H. Freeman and Company, New York, 1985. [6] D.S. DUMMIT and R.S. FOOTE, "Abstract Algebra, 2nd Edition," J.W. Wiley and Sons, New York, 1999. [7] B. MADORE, H. McDONOUGH, C. MILLER, D. VAN NORT, A. ROGALSKI, and J. WOOD, Structure Theory for Carry Groups, Pi Mu Epsilon Journal, Vol. 12 (Fall 2004) 1, 17-25. [8] T. COOK, B. MADORE, E. MILLER, T. POLLIO, Z. RIEL, and A. SPAETH, Carry Groups, in preparation.

24

Related Documents

Carry Groups
August 2019 19
Groups
May 2020 44
Groups
November 2019 68
Groups
May 2020 22
Groups
May 2020 26
Deweys Carry Out
December 2019 22

More Documents from "Menuism"