arxiv: v1 [math.ac] 17 Jun 2015

Transcription

1 WHEN IS A SUBGROUP OF A RING AN IDEAL? arxv: v1 [math.ac] 17 Jun 2015 SUNIL K. CHEBOLU AND CHRISTINA L. HENRY Abstract. Let R be a commutatve rng. When s a subgroup of (R,+) an deal of R? We nvestgate ths problem for the rngs Z d and d =1 Zn. In the case of Z Z and Z n Z m, our results gve, for any gven subgroup of these rngs, a computable crteron for the problem under consderaton. We also compute the probablty that a randomly chosen subgroup from Z n Z m s an deal. 1. Introducton Let R be a commutatve rng. The object of ths paper s to determne necessary and suffcent condtons for a gven subgroup of (R,+) to be an deal of R. Our motvaton for askng ths queston arose from some problems on Matheu subspaces (more s explaned n the next paragraph). To begn, consder the rng Z of ntegers. Every subgroup of Z s of the form kz for some nteger k, and each of these subgroups s clearly also an deal. In fact, the same s true also for the rngs Z n (the rng of ntegers modulo n). It turns out that these are the only rngs R n whch every subgroup of (R,+) s also an deal of R; see Proposton 2.1. In partcular, when we consder product rngs we get some subgroups that are not deals. For nstance the dagonal {(x,x) x Z} n Z Z s clearly a subgroup of (Z Z,+) but not an deal n the rng Z Z. In ths paper we consder the product rngs Z d (n Secton 3) and d =1 Z n (n Secton 4), and for varous subgroups of these rngs we gve necessary and suffcent condtons for a gven subgroup to be an deal. In the case of Z Z and Z n Z m, our necessary and suffcent condtons are also computable for any gven subgroup of theserngs. As onewould expect, our results show that ngeneral an arbtrary subgroup of a rng s seldom an deal. In fact, we make ths statement precse n Theorem 5.4 where we compute explctly the probablty that a randomly chosen subgroup from Z n Z m s an deal. For nstance, when p s a prme and the rng s Z p Z p, ths probablty s only 4 p+3. We wll use several basc facts and tools from abstract algebra whch can be found n [1]. We also use a theorem n group theory due to Goursat; a good exposton of ths theorem can be found n [2], and we revew t n Theorem 4.4. Although we focus manly on the rngs Z Z and Z n Z m, where possble we offer some generalzatons. By a subgroup of a rng R, we always mean a subgroup of the addtve group (R,+). Date: June 19, Mathematcs Subject Classfcaton. Prmary 113AXX; Secondary 20KXX. Key words and phrases. Rng, subgroup, deal, Matheu subspace, Goursat. The frst author s supported by an NSA grant (H ).

2 2 SUNIL K. CHEBOLU AND CHRISTINA L. HENRY Ths problem came up naturally when the frst author and hs collaborators (Yamskulna and Zhao) were recently workng on some problems nvolvng Matheu subspaces n some rngs. A Matheu subspace s a generalzaton of a deal: For a commutatve rng R, a Z-submodule M of R s sad to be a Matheu subspaceof R f whenevera n belongs tom (for all n 1), then ra n belongsto M for all n suffcently large. Every deal s a Matheu subspace, but theconverse s not necessarly true. The noton of a Matheu subspace was ntroduced by Wenhua Zhaon [5], and t proved to beacentral dea n theresearch on several landmark conjectures n algebra and geometry ncludng the Jacoban conjecture. As a result, Matheu subspaces receved serous attenton and extensve wrtng; see [6] and references n t. Recently when the frst author and hs collaborators were workng on some problems on Matheu subspaces, they were led to the problem of determnng when a subgroup of a rng s a Matheu subspace. Snce deals are mportant and relatvely well-understood classes of Matheu subspaces, t was natural to nvestgate the same queston for deals. Thus the problem we study n ths paper s an nterestng offshoot of our Matheu subspaces project. Acknowledgements: We would lke to thank the referee for hs/her comments and suggestons whch we used to mprove the exposton of ths paper. 2. Generators In the ntroducton we noted that the rngs Z and Z n have the property that every subgroup n them s also an deal. It s not hard to show that these are the only rngs wth ths property. Proposton 2.1. Let R be a untal commutatve rng..e., a commutatve rng wth a multplcatve dentty. If every subgroup of (R, +) s also an deal, then R s somorphc to ether Z or Z n for some postve nteger n. Proof. Snce R s a untal rng, there s a natural map φ: Z R whch sends 1 to 1 R, the multplcatve dentty of R. The mage of ths homomorphsm s exactly the subgroup of (R,+) that s generated by 1 R. If every subgroup of (R,+) s an deal, then, n partcular, the subgroup generated by 1 R s also an deal. However, theonly deal whchcontans 1 R s theentre rngr. Thsmeans φ s surjectve. From the frst somorphsm theorem, we have Z/kerφ = R. It follows that R s somorphc to Z or Z n for some nteger n. (In the former case R has characterstc 0, and n the latter R has characterstc n.) We wll now show that every subgroup of Z d and d =1 Z n s generated by at most d elements. We wll recall some standard results from abstract algebra whch can be found n [1]. Theorem 2.2. Let R be a PID and let M be a free R-module of rank r. Then every submodule of M s also free and has rank at most r. Ths theorem takes care of Z d. For d =1 Z n, we need the followng corollary whch can be derved easly from the above theorem.

3 WHEN IS A SUBGROUP OF A RING AN IDEAL? 3 Corollary 2.3. Let R be a PID and let M be a fntely generated R-module. If M s generated by r elements, then every submodule of M s generated by at most r elements. Corollary 2.4. Every subgroup of ( d =1 Z n,+) and that of (Z d,+) s generated by at most d elements. Proof. The rng d =1 Z n s a Z-module that s clearly generated by d elements; the standard bass forms a generatng set. Therefore by the above corollary every subgroup of d =1 Z n s generated by at most d elements. The correspondng statement for Z d s a specal case of the above theorem. Ths corollary gves a natural stratfcaton of the class of all non-subgroups of these rngs whch s based on the mnmal number of generators of a gven subgroup. Ths stratfcaton wll be helpful n our analyss. 3. The rng Z Z In ths secton we determne when a gven addtve subgroup of the rng Z d s an deal. The trval subgroup whch conssts of the sngle element (0,0,,0) s also trvally an deal, so we wll consder non-zero subgroups. As explaned n the prevous secton, a non-zero subgroup of Z d s free of rank at most d. We wll be begn wth rank 1 subgroups where the problem s straghtforward. Proposton 3.1. Let L be a subgroup of Z d generated by (a 1,,a d ). L s an deal f and only f all but one of the a s are zero. Proof. If all but one of the a s are zero, then L s clearly an deal n one of the factors of Z d. On the other hand, f we have more than one non-zero a s, say a and a j, then consder e = (0, 0,1,0 0) whch has one at the th spot. If L s an deal, then e.(a 1,,a d ) = (0, 0,a,0 0) should belong to L. Ths s a contradcton, so we are done. More generally, the followng s true. Lemma 3.2. Let R be an ntegral doman. A subgroup of (R,+) generated by a non-zero element a s an deal of R f and only f R s somorphc to Z or Z p for some prme p. Proof. Let a be the addtve subgroup of (R,+) generated by a( 0). Let r be an arbtrary element of R. If a s an deal, then we should have ra = na for some nteger n. Ths equaton mples that (r n1 R )a = 0. Snce we are workng n an ntegral doman and a s non-zero, we get r n1 R = 0, or r = n1 R. Snce r was arbtrary, ths mples that (R,+) s a cyclc group generated by 1 R. Ths means R s somorphc to Z or Z n for some n. But snce R s an ntegral doman, n has to be a prme. Now we move on to subgroups of rank at least 2 n Z d where the problem s more nterestng. We begn wth an example to show the subtlety n the problem.

4 4 SUNIL K. CHEBOLU AND CHRISTINA L. HENRY Example 3.3. Consder the rng Z Z and let S and T denote the followng rank two subgroups of (Z Z,+). S = (2,0),(3,1) T = (2,0),(2,1) We clam that S s not an deal but T s. If S s an deal, then the element (0,1) (= (0,1)(3,1)) should belong to t. That means the par of equatons 2x+3y = 0 and y = 1 have to be consstent over Z. However, t s easy to see that ths s not the case. On the other hand, T s an deal n Z Z. In fact, T = 2Z Z. See Theorem 3.8 for the general result. We begn by classfyng deals of Z d whose addtve groups are free of rank k. Proposton 3.4. Let I be an deal n Z d. I s free of rank k (1 k n) f and only f I s of the form d =1 d Z where exactly k of the numbers d are non-zero. Proof. Recall that every deal n Z d s of the form d =1 d Z, where the d are ntegers. The rank of d =1 d Z s exactly the number of d s that are non-zero, so we are done. In vew of ths proposton, to determnewhenasubgroupof rank k n Z d s an deal, t s enough (after deletng the zero coordnates) to consder the problem when d = k. The latter s addressed n the next two theorems. We begn wth a lemma whch we wll need n these theorems. Recall that an nteger matrx A s sad to be unmodular f t s nvertble over the rng of ntegers. Ths statement s equvalent (as can be seen by Cramer s formula for the nverse) to sayng that the determnant of A s ether 1 or 1. In the followng lemma, a subgroup of Z n of rank n wll be called a lattce of Z n. Lemma 3.5. Let A and B be two n n matrces over the ntegers that are nvertble over the ratonals. The columns of A and those of B form two bases for a lattce L f and only f there exsts a unmodular matrx X such that AX = B. Proof. Snce the columns of A and B form a bass for L, there exst nteger square matrces X and Y such that AX = B and BY = A. Multplyng the frst equaton on the rght hand sde by Y, we get AXY = BY. But BY = A, so we get AXY = A. Snce A s nvertble over the ratonals, we multply the nverse (over the ratonals) of A on both sdes to conclude that XY = I. Ths means X s nvertble over Z (.e, t s unmodular) and AX = B. For the other drecton, let Y be the nverse of X over Z, so we have AX = B and BY = A. The frst equaton tells us that the column space of B s contaned n that of A, and the second equaton says that the column space of A s contaned n that of B. Ths completes the proof of the lemma. Theorem 3.6. Let H be a subgroup of rank k n Z k. Let the columns of a k k matrx A be a Z-bass for H. Then the followng are equvalent. (1) H s an deal n Z k (2) There exsts a unmodular matrx U such that AU s a dagonal matrx.

5 WHEN IS A SUBGROUP OF A RING AN IDEAL? 5 (3) There s a sequence of elementary row operatons (over Z) that can convert A nto a dagonal matrx Proof. Let H (as n the statement of the theorem) be an deal n Z k. Then by Proposton3.4, H s of theform k =1 d Zfor somentegers d. SnceH has rank k, allthesentegers havetobenon-zero. H canbewrttennthsformfandonly f the columns of A and those of the dagonal matrx D = Dagonal(d 1, d k ) form a bass for H. By the above lemma, ths happens f and only f there s a unmodular matrx U such that AU = D. Hence we have the equvalence of statements (1) and (2). The equvalence of (2) and (3) for the feld of real numbers s well-known (the famous reduced row echelon form of an nvertble matrx). The reader can verfy that the proof works over Z when properly nterpreted. For nstance, the role played by non-zero real numbers n the world of Z are the unts ±1. That wll gve the equvalence of statements (2) and (3). Snce Z s a Eucldean doman where we can talk about gcds, we can take the above theorem one step further. Let A denote the adjont matrx of A. Recall that the formula for the nverse of A (an nvertble matrx) s gven by A 1 = 1 det(a) A = 1 det(a) ((a j )). Theorem 3.7. Let H be a subgroup of rank k n Z k. Let the columns of a k k matrx A be a Z-bass for H. Then the followng are equvalent. (1) H s an deal n Z k (2) There exsts a unmodular matrx U such that AU s a dagonal matrx. (3) There s a sequence of k non-zero ntegers d 1,d 2, d k such that (a) det(a) = ±d 1 d 2 d k (b) det(a)/d dvdes gcd(a 1,,a k ) for all. Proof. We already saw the equvalence of (1) and (2) n Theorem 3.6. Now we wll show that (2) and (3) are equvalent. Let H and A be as n the statement of the theorem. There exsts a unmodular matrx U such that AU s a dagonal matrx f and only of for some dagonal matrx D = Dagonal(d 1, d k ), A 1 D s unmodular. Usng Cramer s formula for the nverse, we can equvalently say that X = 1 det(a) A D s unmodular. Snce X s unmodular, ts determnant s ±1. Takng determnants of both sdes of the above matrx equaton wll gve (a). Moreover, the entres of X should be all ntegers. For that to happen, det(a) should dvde all the entres n each of the columns d (a 1,,a k )T, or equvalently det(a)/d should dvde all the entres n each of the columns (a 1,,a k )T. Snce Z s a Eucldean doman, the last statement s equvalent to (b). We can tell exactly when the condton (2) of Theorem 3.7 holds n the case of Z Z. That gves the followng result, whch along wth the rank 1 result proved earler gves a full answer to our problem for the rng Z Z.

6 6 SUNIL K. CHEBOLU AND CHRISTINA L. HENRY Theorem 3.8. Let L be a rank 2 subgroup of Z Z that s generated by vectors (a,b) and (c,d). L s an deal n Z Z f and only f ad bc dvdes gcd(a,c) gcd(b,d). Proof. Let L be a rank 2 subgroup of Z Z that s generated by vectors (a,b) and (c,d), and let A be the 2 2 matrx wth these two columns. From the above theorems, and usng the formula for the nverse of a 2 2 matrx, we conclude that L s an deal f and only f there exsts non-zero ntegers d 1 and d 2 such that (1) ad bc = ±d 1 d 2 (2) (ad bc)/d 1 dvdes gcd(b,d) and (ad bc)/d 2 dvdes gcd(a,c). We clam that non-zero ntegers d 1 and d 2 exst wth these propertes f and only f ad bc dvdes gcd(a,c) gcd(b,d). If d 1 and d 2 exst such that (1) and (2) hold, then from (2) we get (ad bc) 2 /(d 1 d 2 ) dvdes gcd(a,c) gcd(b,d), but (ad bc) 2 /(d 1 d 2 ) = ad bc. Ths proves one drecton. For the other drecton, suppose ad bc dvdes gcd(a,c) gcd(b,d). Then an elementary number theory fact tells us we can wrte ad bc as d 1 d 2 where d 1 dvdes gcd(a,c) and d 2 dvdes gcd(b,d). We now explan how one can arrve at Theorem 3.8 more drectly by solvng lnear equatons over Z. Recall that our problem bols down to the followng queston. Gven an nteger matrx A wth non-zero determnant, when does there exst a unmodular matrx X such that AX s a dagonal matrx? To address ths, we let X = (x j ) and consder the matrx equaton [ ][ ] [ ] a c x11 x 12 u 0 =. b d x 21 x 22 0 v Ths gves us the followng set of equatons: (3.1) (3.2) (3.3) ax 12 +cx 22 = 0 bx 11 +dx 21 = 0 x 11 x 22 x 12 x 21 = 1 (X s unmodular, so ts determnant s ether 1 or 1. However, by swappng the columns of A f necessary, we may assume that the determnant of X s 1 whch gves us the thrd equaton.) L s an deal f and only f the above system of equatons has a soluton n ntegers x j. Let us begn wth equaton 1: ax 12 +cx 22 = 0 f and only f ax 12 = cx 22. Then x 12 = c gcd(a,c) α and x 22 = Smlarly, usng equaton 2, we get x 11 = d gcd(b,d) β and x 21 = a α for some nteger α. gcd(a,c) b β, for some nteger β. gcd(b,d)

7 WHEN IS A SUBGROUP OF A RING AN IDEAL? 7 Substtutng these values n the determnant condton (equaton 3), we get x 11 x 22 x 12 x 21 = 1 d gcd(b,d) β a gcd(a,c) α c gcd(a,c) α b gcd(b,d) β = 1 ( ) ad αβ gcd(a,c)gcd(b,d) bc = 1 gcd(a, c) gcd(b, d) αβ(ad bc) = gcd(a,c)gcd(b,d) Thus we see from the last equaton that the above system of equatons s consstent over Z f and only f det(a) = ad bc dvdes gcd(a,c)gcd(b,d) n Z. (In that case, we can take α = 1 and β = gcd(a,c)gcd(b,d) ad bc.) Ths completes the alternatve proof of Theorem 3.8. The followng corollary follows mmedately from Theorem 3.8. Corollary 3.9. Let (a,b) and (c,d) be two vectors n Z Z and L be the lattce generated by these two vectors. (1) If ad bc = ±1, then L s an deal n Z Z. (2) If ad bc s a prme, then L s an deal f and only f ad bc dvdes ether gcd(a,c) or gcd(b,d). 4. The rng Z n Z m Let n and m be postve ntegers and consder the rng Z n Z m. Our problem s to determne when a subgroup of (Z n Z m,+) s an deal. We have seen that a non-zero subgroup of Z n Z m s generated by ether one or two elements, so we have two cases to consder. Frst, consder a subgroup L n the rng Z n Z m that s generated by (a,b). If ether a = 0 n Z n or b = 0 n Z m, the problem s trval because L s smply an deal n one of the components of Z n Z m. So let us assume that both a and b are non-zero n ther respectve component rngs. Then we have the followng theorem. Theorem 4.1. Let 1 a < n and 1 b < m. The subgroup generated by (a,b) n the rng Z n Z m s a deal f and only f ( ) n gcd gcd(a,n), m = 1. gcd(b, m) Proof. Snce our rngs are prncpal deal rngs, every deal n Z n Z m s of the form d 1 Z n d 2 Z m, whered 1 and d 2 are some ntegers. For brevty we wll denote ths deal by d 1 d 2. Returnng to our problem, let us assume that the lne L generated by (a,b) s an deal of Z n Z m. From above, we have L = d 1 d 2. Consderthe restrctons to L of the natural projecton maps: π 1 : Z n Z m Z n and π 2 : Z n Z m Z m. We wll compute π 1 (L) n two dfferent ways. On the one hand, snce L = d 1 d 2, we have π 1 (L) = d 1. On the other hand, L s generated by (a,b), so the frst components of the elements of L pck up all

8 8 SUNIL K. CHEBOLU AND CHRISTINA L. HENRY multples of a. Therefore π 1 (L) = a. Ths shows that a = d 1. Smlarly, workng wth the second projecton map, we conclude that b = d 2. To summarze, L spanned by (a,b) s an deal f and only f (a,b) = a b. The ncluson (a,b) a b s obvous. Therefore, equalty holds f and only f both sdes have the same cardnalty. These cardnaltes are gven by the followng formulas (ord(x) denotes the addtve order of x). (a,b) = lcm(ord(a),ord(b)) = a b = ord(a)ord(b) ord(a) ord(b) gcd(ord(a), ord(b)) Equatng these two expressons, clearly L spanned by (a,b) n Z n Z m s deal f and only gcd(ord(a),ord(b)) = 1. The theorem now follows from the fact that the order of an element c n (Z s,+) s gven by s gcd(c,s). Remark 4.2. When m and n are relatvely prme, Theorem 4.1 mples that every lne n Z n Z m s an deal. Ths s ndeed the case because for relatvely prme ntegers m and n we have Z n Z m = Znm. More generally, the followng theorem s true: Theorem 4.3. The subgroup generated by the element (a 1,a 2,,a k ) n Z n1 Z n2 Z nk s an deal f and only f ( ) n gcd gcd(a,n ), n j = 1. gcd(a j,n j ) 1 <j n Proof. From the proof of Theorem 4.1, t follows that the subgroup generated by the element (a 1,a 2,,a k ) n Z n1 Z n2 Z nk s an deal f and only f ord(a ) = lcm ord(a ). Showng that ths last equaton holds f and only f gcd(ord(a ),ord(a j )) = 1 1 <j n can be done as an exercse. Then usng the formula mentoned above for the order of an element n Z s, we now get the condton gven n the statement of the theorem. We now nvestgate when a subgroup of Z n Z m generated by two elements s an deal. To ths end, the followng theorem from group theory due to Goursat wll be useful. We wll also use ths theorem n the next secton where we compute some probabltes. Theorem 4.4. (Goursat) [2] Let G 1 and G 2 be any two groups. There exsts a bjecton between the set S of all subgroups of G 1 G 2 and the set T of all 5- tuples (A 1,B 1,A 2,B 2,φ) where A s a subgroup of G, B s a normal subgroup of A, and φ s a group somorphsm from A 1 /B 1 to A 2 /B 2.

9 WHEN IS A SUBGROUP OF A RING AN IDEAL? 9 Let π : G 1 G 2 G denote the projecton homomorphsms. The desred bjecton n ths theorem s gven as follows. For a subgroup U of G 1 G 2, we defne a 5-tuple (A U1,B U1,A U2,B U2,φ U ) where A U1 = Im(π 1 U ) B U1 = π 1 (ker(π 2 U )) A U2 = Im(π 2 U ) B U2 = π 2 (ker(π 1 U )) and φ U (a 1 B U1 ) = a 2 B U2 when (a 1,a 2 ) U. Conversely, gven a 5-tuple (A 1,B 1,A 2,B 2,φ), the correspondng subgroup U of G 1 G 2 s gven by U φ = {(a 1,a 2 ) A 1 A 2 φ(a 1 B 1 ) = a 2 B 2 }. Corollary 4.5. Let G 1 G 2 be a fnte group and let (A U1,B U1,A U2,B U2,φ U ) correspond to the subgroup U of G 1 G 2. Then we have U = A U1 B U2. Proof. It s clear from the correspondence n Goursat s theorem that U = A U1 /B U1 B U1 B U2 = A U1 B U2. Gven elements α and β n Z n, consder the lnear map φ α,β : Z Z Z n defned by φ α,β (x,y) = αx+βy. Then we have the followng theorem. Theorem 4.6. The subgroup of Z n Z m generated by (a,b) and (c,d) s an deal of Z n Z m f and only f (kerφ a,c )(kerφ b,d ) = Z Z. Proof. Let H denote the subgroup generated by (a,b) and (c,d) n Z n Z m. Suppose H s an deal n Z n Z m. Then there exsts α n Z n and β n Z m such that H = α β. Takng projecton maps, we can see that α = gcd(a,c) mod n and β = gcd(b,d) mod m. Thus H s an deal f and only f (a,b),(c,d) = gcd(a,c) gcd(b,d). As n Theorem 4.1, the left hand sde s easly seen to be contaned n the rght hand sde and we have equalty f and only f both sdes have the same cardnalty. The cardnalty of the rght hand sde s ord(gcd(a, c))ord(gcd(b, d)). The cardnalty of the left hand sde can be computed usng Corollary 4.5: It s gven by ord(gcd(a,c)) π 2 (kerπ 1 H ). Equatng these two expressons, we conclude that H s an deal f and only f ord(gcd(b,d)) = π 2 (kerπ 1 H ). The left hand sde of ths equaton s the cardnalty of the set S = {bx+dy x,y Z} Z m, and the rght hand sde s the cardnalty of the set T = {bx+dy x,y Z such that ax+cy = 0 Z n } Z m. S and T have the same cardnalty precsely when the mage of φ b,d : Z Z Z m s the same as the mage of φ b,d restrcted to the kernel of φ a,c : Z Z Z n.

10 10 SUNIL K. CHEBOLU AND CHRISTINA L. HENRY That happens exactly when ker(φ a,c ) ntersects every coset n Z Z/ker(φ b,d ) whch s true f and only f (kerφ a,c )(kerφ b,d ) = Z Z. We can get a fnte-type condton that s equvalent to the one gven n Theorem 4.6. To get ths, set l = lcm(m,n). Then gven elements α and β n Z n, defne the lnear map ψ α,β : Z l Z l Z n as ψ α,β (x,y) = αx+βy. We now have the followng corollary. Corollary 4.7. The subgroup of Z n Z m generated by (a,b) and (c,d) s an deal of Z n Z m f and only f (kerψ a,c )(kerψ b,d ) = nm. Proof. Ths follows from the proof of the prevous theorem. Note that the maps φ a,c and φ b,d factor through ψ a,c and ψ b,d respectvely. Goursat s theorem for more than two components [3] has a very complcated structure and n partcular, t s not helpful to solve our problem. 5. Probablty for a subgroup to be an deal As one would expect, the above results suggest that a subgroup of a rng s rarely an deal. Now we wll make ths precse by computng explctly the probablty that a randomly chosen subgroup of Z n Z m s an deal usng the approach and results from [2]. Let P R denote the probablty that a randomly chosen subgroup of a fnte rng R s an deal. Ths probablty s gven by total number of deals n R P R = total number of subgroups n (R,+). Our nterest s n the rng Z n Z m. If ether n or m s one, then clearly P R = 1. So we wll assume that n > 1 and m > 1. Let S = {p 1, p k } denote the set of all dstnct prmes whch dvde mn. Then the prme factorzatons of m and n are gven by m = p r 1 1 pr k k and n = p s 1 1 ps k k, where the exponents are non-negatve ntegers, and the Chnese remander theorem gves the decomposton Lemma 5.1. Z n Z m = ( ) Z r p 1 Z s 1 p 1 1 P Zn Z m = k =1 P Zp r 1 Z s 1 p 1 1 ( ) Z r p k Z s k p k. k Proof. Ths follows from two facts. Frst, note that every deal I n Z n Z m s of the form I = k =1 I where I s an deal of Z r p Z s p. Next we use a theorem of Suzuk [4] whch says f G 1 and G 2 are two fnte groups wth relatvely prme orders, then every subgroup of G 1 G 2 s of the form H 1 H 2, where H s a subgroup of G. In partcular, every subgroup H of (Z n Z m,+) s of the

11 WHEN IS A SUBGROUP OF A RING AN IDEAL? 11 form k =1 H where H s a subgroup of Z r p Z s p. Then we have the followng equatons whch complete the proof of the lemma. total number of deals n Z n Z m P Zn Z m = total number of subgroups n (Z n Z m,+) = = k =1 k =1 total number of deals n Z r p total number of subgroups n (Z r p P Zp r Z s p. Z p s Z p s In vew of ths lemma, t s enough to compute P Zp r Z s p. We wll do ths n the next two lemmas, begnnng by computng the number of deals. Lemma 5.2. The number of deals n Z p r Z p s s equal to (r +1)(s+1). Proof. Every deal n Z p r Z p s s of the form az p r bz p s, where a s a dvsor of p r and b s a dvsor of p s. Ths gves (r +1)(s+1) for the total number of deals. Next we have to compute the number of subgroups n Z p r Z p s. Ths number can be obtaned usng the above-mentoned Goursat s theorem and can be found n [2]. Lemma 5.3. [2] The total number of subgroups of Z p r Z p s (r s) s gven by p r+1 [(s r +1)(p 1)+2] [(s+r +3)(p 1)+2] (p 1) 2 Proof Sketch: Goursat s theorem can be greatly smplfed n the case under consderaton. There s a unque subgroup of order p k n Z p r for any 0 k r and these subgroups form a lnear chan. Moreover the group of automorphsms of Z p k corresponds to the unts n ths rng, and we have p k p k 1 of them. We nowhavetocountthe5-tuples(a 1,B 1,A 2,B 2,φ) whchcorrespondtosubgroups n Goursat s theorem. If A /B = 1, the number of subgroups s (r +1)(s+1) because we have r+1 choces for A 1 /B 1 and s+1 choces for A 2 /B 2 (clearly φ s trval). If A /B = p k for 1 k r, we have r k +1 choces for A 1 /B 1 and s k +1 choces for A 2 /B 2, and fnally p k p k 1 choces for φ, so n ths case we have (r k +1)(s k+1)(p k p k 1 ) subgroups. In total we have r (r +1)(s+1)+ (r k+1)(s k+1)(p k p k 1 ) k=1 subgroups. The rest s straghtforward algebra; see [2]. Combnng the above lemmas, we get our formulas for P Zp r Zp s and P Z n Z m.,+)

12 12 SUNIL K. CHEBOLU AND CHRISTINA L. HENRY Theorem 5.4. Let p be a prme and let r,s(r s),n and m be postve ntegers. P Zp r Z p s = P Zn Z m = k =1 (r +1)(s+1)(p 1) 2 p r+1 [(s r +1)(p 1)+2] [(s+r+3)(p 1)+2] (r +1)(s +1)(p 1) 2 p r +1 [( s r +1)(p 1)+2] [(s +r +3)(p 1)+2] We now record two specal cases whch can be be derved from Theorem 5.4 usng routne algebra. Corollary 5.5. Let p be a prme and let r be a postve nteger. P Zp r Z p r = (r +1) 2 (p 1) 2 p r+1 (p+1) 2r(p 1) 3p+1 P Zp Z p = 4 p+3 It s clear from the above expressons that these probabltes are small, as expected. For nstance, by choosng a large prme the value of P Zp Z p can be made arbtrarly small. Smlarly for a fxed prme p, the numerator of P Zp r Z p r s a polynomal functon n r whereas the denomnator s an exponental functon n r. Thus lm r P Zp r Z p r = 0. Themanobstructonngeneralzng theseformulastotherngsr = k =1 Z n s the lack of a closed formula for the number of subgroupsn ( k =1 Z p,+) when k 3. However, when the ntegers n are all square-free, one can compute P R easly. Ths s because Lemma 5.1 helps us to reduce the problem of computng P R to the problem of computng P S where S = r =1 Z p for some prme p and postve nteger r ( k). The latter s a vector space over F p where subgroups are same as vector subspaces. The number of subspaces n (S,+) s gven by the well-known formula r =1 ( ) r p where ( r) p dmensonal subspaces of F r p. Explctly ts value s gven by s the Gaussan bnomal coeffcent whch counts the number of - ( r ) p = (pr 1)(p r p) (p r p r 1 ) (p 1)(p p) (p p 1 ). Snce the number of deals n S s 2 r, we get Proposton 5.6. P Z r p = 2 r r =1 ( r. ) p

13 WHEN IS A SUBGROUP OF A RING AN IDEAL? 13 References [1] Dummt, D. S.; Foote, R. M. Abstract algebra. Thrd edton. John Wley & Sons, Inc., Hoboken, NJ, x+932 pp. [2] Petrllo, J Countng subgroups n a drect product of fnte cyclc groups The college Mathematcs Journal, Vol 42. No. 3 (May 2011) pp [3] K. Bauer, D. Sen, P. Zvengrowsk A generalzed Goursat Lemma arxv: [4] Suzuk, M. On the lattce of subgroups of fnte groups, Trans. Amer. Math. Soc. 70 (1951) [5] Zhao, Wenhua Generalzatons of the mage conjecture and the Matheu conjecture. J. Pure Appl. Algebra 214 (2010), no. 7, [6] Zhao, Wenhua Matheu subspaces of assocatve algebras. J. Algebra 350 (2012), Department of Mathematcs, Illnos State Unversty, Normal, IL 61790, USA E-mal address: schebol@lstu.edu Department of Mathematcs, Illnos State Unversty, Normal, IL 61790, USA E-mal address: clhenry@lstu.edu