arxiv: v1 [math.gr] 18 Dec 2017

Transcription

1 Probabilistic aspects of ZM-groups arxiv: v [athgr] 8 Dec 207 Mihai-Silviu Lazorec Deceber 7, 207 Abstract In this paper we study probabilistic aspects such as (cyclic) subgroup coutativity degree and (cyclic) factorization nuber of ZM-groups We show that these quantities can be coputed using the sizes of the conjugacy classes of these groups In the end, we point out a class of groups whose (cyclic) subgroup coutativity degree vanishes asyptotically MSC (200): Priary 20D60, 20P05; Secondary 20D30, 20F6, 20F8 Key words: subgroup coutativity degree, cyclic subgroup coutativity degree, factorization nuber, cyclic factorization nuber Introduction The probabilistic aspects of finite groups theory constitute a topic which is regularly studied in the last years The relevant results obtained in [3] and [5]-[0] using the coutativity degree of a finite group G, which easures the probability that two eleents of the group coute, had a ajor ipact on the research related to the probabilistic aspects associated to groups Therefore, inspired by the previously entioned concept, the subgroup coutativity degree and the cyclic subgroup coutativity degree of G were introduced in [6] and [9], respectively These quantities easure the probability that G is an Iwasawa group, ie a nilpotent odular group, and they are defined by sd(g) = L(G) 2 {(H,K) L(G)2 HK = KH} and csd(g) = L (G) 2 {(H,K) L (G) 2 HK = KH}, where L(G) and L (G) denote the subgroup lattice and the poset of cyclic subgroups of G, respectively In other words, the (cyclic) subgroup coutativity degree represents the probability that two (cyclic) subgroups of G coute There is a ajor interest in finding explicit forulas for these two concepts under the assuption that G belongs to a well known class of finite groups As a consequence, one can study the asyptotic behavior of sd(g) and csd(g) For such kind of results, we refer the reader to [6, 9, 2] Another rearkable quantity associated to a finite group G is its factorization nuber which is denoted by F 2 (G) This nuber is obtained by counting the pairs (H,K) L(G) 2 satisfying

2 G = HK These pairs of subgroups are called factorizations of G The factorization nuber of G was studied in [2,, 7] and it is strongly connected with sd(g) More exactly, sd(g) = L(G) 2 H L(G) F 2 (H) In [20], the cyclic factorization nuber of a finite group G, denoted by CF 2 (G), was introduced and it was obtained by counting the pairs (H,K) L (G) 2 such that HK = G Obviously, the connection between CF 2 (G) and csd(g) is siilar to the one between F 2 (G) and sd(g), and it is given by csd(g) = L (G) 2 CF 2 (H) H L(G) Our ai is to study these four probabilistic aspects for ZM-groups The paper is organized as follows Section 2 recalls the structure of ZM-groups as well as soe of the properties of this rearkable class of groups Explicit forulas for the (cyclic) factorization nuberofzm-groupsareobtainedinsection3 Section4coverstheainresultsofthepaper More exactly, we find an explicit forula that allows us to copute the (cyclic) subgroup coutativity degree of ZM-groups, we show that our results generalize the ones obtained for dihedral groups in [6, 9], and we indicate a class of groups whose (cyclic) subgroup coutativity degree vanishes asyptotically We end the paper by suggesting soe open probles in the last section Most of our notation is standard and will usually not be repeated here Eleentary notions and results on groups can be found in [4, 3] For subgroup lattice concepts we refer the reader to [2, 4, 5] 2 Properties of ZM-groups The ai of this Section is to recall soe of the properties of ZM-groups that will be further used in our study We will start by describing the structure of these groups, we continue by indicating the lattice of subgroups and the poset of cyclic subgroups for this type of groups and we discuss about its conjugacy classes According to [4], a ZM-group is a finite group with all Sylow subgroups cyclic and it has the following structure ZM(,n,r) = a,b a = b n =, b ab = a r, where the paraeters (,n,r) N 3 are satisfying the conditions (,n) = (,r ) = and r n (od ) The order of ZM(,n,r) is n and the above properties of the triple (,n,r) force tobeanoddpositiveinteger In[], the subgroupsofazm-groupwerecopletelydescribed by showing that there is a bijection between the set { } L = (,n,s) N 3, n n, 0 s <, s rn r n and L(ZM(,n,r)) Moreover, for each triple (,n,s) L, the corresponding subgroup of ZM(,n,r) is H(,n,s) = n n i= α(n,s) i a = a,α(n,s), 2

3 where α(x,y) = b x a y, for x {0,,2,,n },y {0,,2,, } Since (, n n ) =, it n follows that the order of a subgroup H(,n,s) L(ZM(,n,r)) is n Also, according to [8], there is a bijection between the set { } L = (,n,s) L r n and the poset of cyclic subgroups L (ZM(,n,r)) Hence, the (cyclic) subgroups of a ZM-group are fully described The conjugacy classes of a ZM-group will play an iportant role in our study Therefore, we continue our short review on this class of groups, by recalling soe properties of the set of conjugacy classes of an arbitrary group We ention that the reader ay find the proofs of the following facts in Section III3 of [4] We will denote the set of conjugacy classes of a group G and the conjugacy class of a subgroup H L(G) by C(G) and [H], respectively If G is finite, then (C(G), ) is a poset, the partial ordering relation being defined as follows: for [H ],[H 2 ] C(G), we have [H ] [H 2 ] iff there exists g G such that H H g 2 Moreover, a finite group G has all Sylow subgroups cyclic if and only if C(G) is isoorphic to the lattice of all divisors of G Also, two subgroups of a finite group G whose Sylow subgroups are cyclic, are conjugate iff they have the sae order Applying these results for a ZM-group, we infer that C(ZM(,n,r)) = {[H( i,n i,0)] i,n i n} Also, since (,n) = and there is an isoorphis between C(ZM(,n,r)) and the lattice of divisors of n, we have [H( i,n i,0)] [H( j,n j,0)] = [H([ i, j ],[n i,n j ],0)] () We end this Section by noticing that the size ofthe conjugacyclass[h( i,n i,0)] C(ZM(,n,r)) is given by [H( i,n i,0)] = i, rn, (2) r ni as it was proved in [] 3 The (cyclic) factorization nuber of a ZM-group Our ain purpose in this Section is to find soe forulas which allow us to copute explicitly the (cyclic) factorization nuber of a ZM-group We will obtain two expressions which involve the sizes of soe conjugacy classes of a ZM-group Hence, the coputation of the (cyclic) factorization nuber is reduced to suing soe products of greatest coon divisors of two positive integers Theore 3 The factorization nuber of ZM(,n,r) is ( F 2 (ZM(,n,r)) = 2, rn r n2 2, 3 n 2,n 3 n ( 2, 3)= (n 2,n 3)= )( 3, rn r n3 ) 3

4 In particular, we have F 2 (ZM(9,4,8)) = 85 Proof Using the correspondence between the subgroup lattice L(Z(, n, r)) and the set L, we can identify the entire group Z(,n,r) with H(,,0) We are interested in counting the pairs (H( 2,n 2,x),H( 3,n 3,y)) L(H(,,0)) 2 such that H( 2,n 2,x)H( 3,n 3,y) = H(,,0) We have H(,,0) = H( 2,n 2,x)H( 3,n 3,y) H(,,0) = H( 2,n 2,x)H( 3,n 3,y) n = n n 2n 2 3n 3 n [ 2, 3][n 2,n 3] The last equality holds according to () Moreover, since (,n) =, the relation is further equivalent to { { [2, 3 ] = 2 3 (2, 3 ) = [n 2,n 3 ] = n 2 n 3 (n 2,n 3 ) = We recall that any two conjugate subgroups are isoorphic and each conjugacy class of a ZMgroup contains its subgroups that have the sae order Hence, if (H( 2,n 2,x),H( 3,n 3,y)) is a factorization of H(,,0), then (H 2,H 3 ) is also such a factorization for any H 2 [H( 2,n 2,0)] and H 3 [H( 3,n 3,0)] These facts lead us to expressing the factorization nuber of ZM(,n,r) as follows: F 2 (ZM(,n,r)) = {(H 2,H 3 ) [H( 2,n 2,0)] [H( 3,n 3,0)] ( 2, 3 ) =, (n 2,n 3 ) = }, where 2, 3 and n 2,n 3 are divisors of and n, respectively Using (2), we obtain the desired explicit forula since F 2 (ZM(,n,r)) = [H( 2,n 2,0)] [H( 3,n 3,0)] = 2, 3 n 2,n 3 n ( 2, 3)= (n 2,n 3)= 2, 3 n 2,n 3 n ( 2, 3)= (n 2,n 3)= 2, rn 3, rn r n2 r n3 The sae arguent can be repeated to obtain the explicit forula for the cyclic factorization nuber of a ZM-group This tie we are working only with cyclic subgroups, so the divisors 2, 3 of and the divisors n 3,n 3 of n ust satisfy the suppleentary property given by L, ie 2 r n2 and 3 r n3 4

5 Theore 32 The cyclic factorization nuber of ZM(,n,r) is ( CF 2 (ZM(,n,r)) = 2, rn r n2 2, 3 n 2,n 3 n ( 2, 3)= (n 2,n 3)= 2 r n 2, 3 r n 3 )( 3, rn r n3 ) In particular, we have CF 2 (ZM(9,4,8)) = 36 4 The (cyclic) subgroup coutativity degree of a ZMgroup As we stated in Section 2, the subgroup coutativity degree of a finite group can be coputed explicitly if we know all the factorization nubers of its subgroups More exactly, we have sd(g) = L(G) 2 H L(G) F 2 (H) We ention that, for a ZM-group, the total nuber of its subgroups was found in [] and it is given by L(ZM(,n,r)) =, rn r n n n H(,n,s) L(ZM(,n,r)) Hence, to obtain the subgroup coutativity degree of Z(,n,r) we ust find an explicit for for the su F 2 (H(,n,s)) Two conjugate subgroups have the sae factorization nuber because they are isoorphic Hence, we ay write the sae su as [H(,n,0)] F 2 (H(,n,0)) [H(,n,0)] C(ZM(,n,r)) We will denote by f,n the quantity F 2 (H(,n,0)) Our next ai is to provide a forula which allows us to copute this paraeter We will denote by (c ), (c 2 ), (c 3 ) the conditions: (c ) 2, 3 n 2,n 3 n ( 2, 3 ) = (n 2,n 3 ) = n [H( 2,n 2,0)] = [H( 3,n 3,0)] =, (c 2 ) 2, 3 n 2,n 3 n ( 2, 3 ) = (n 2,n 3 ) = n [H( 2,n 2,0)] = [H( 3,n 3,0)] =, (c 3 ) 2, 3 n 2,n 3 n ( 2, 3 ) = (n 2,n 3 ) = n [H( 2,n 2,0)] = [H( 3,n 3,0)] = 5

6 Lea 4 Let ZM(,n,r) be a ZM-group and H(,n,0) be one of its subgroups Then f,n = 2, rn 3, rn +2 2, rn r n 2 3, rn r n 3 r n2 r n3, rn (c ) (c 2) r n 2, rn 3, rn + (c 3) r n 2 r n 3, rn 2 r n Proof We begin our proof by characterizing the fact that (H( 2,n 2,0),H( 3,n 3,0)) is a factorization of H(,n,0) Using the isoorphis between the lattice of divisors of n and C(ZM(,n,r)) and taking into account that (,n) =, we have H(,n,0) = H( 2,n 2,0)H( 3,n 3,0) { H(2,n 2,0),H( 3,n 3,0) H(,n,0) H(,n,0) = H( 2,n 2,0)H( 3,n 3,0) 2, 3 { n n 2,n n 3 (2, 3 ) = ( 2, 3 ) = (n 2,n 3 ) = n (n 2,n 3 ) = n Since conjugate subgroups are isoorphic, if the pair (H( 2,n 2,0),H( 3,n 3,0)) is a factorization of H(,n,0), then (H 2,H 3 ) is a factorization of H, where H i [H( i,n i,0)], for i {,2,3} If [H( 2,n 2,0)] and [H( 3,n 3,0)] are trivial, then (H( 2,n 2,0),H( 3,n 3,0)) is a factorization for any H [H(,n,0)] But, for i {2,3}, if [H( i,n i,0)] is not a trivial conjugacy class, there are [H(i,ni,0)] [H(,n,0)] conjugates contained in [H( i,n i,0)] which contribute to the nuber of factorizations of a conjugate H [H(,n,0)] Again, this fact is a consequence of the existent isoorphiss between the subgroups which for the conjugacy class [H(,n,0)] Taking into account these aspects and the properties of the divisors, 2, 3 and n,n 2,n 3 of and n, respectively, we obtain the desired explicit for of f,n Using Lea 4, the quantities f,n can be coputed for each divisors of and n of n Consequently, the subgroup coutativity degree of a ZM-group is given by the following result Theore 42 The subgroup coutativity degree of ZM(,n,r) is (, rn r ) n f,n n n sd(zm(,n,r)) = [ ] 2, rn r n In particular, we have n n sd(zm(9,4,8)) = 3 9 The nuber of cyclic subgroups of a ZM-group was obtained in [8] and its value is, rn r n L (ZM(,n,r)) = n n r n 6

7 The connection between the cyclic subgroup coutativity degree of ZM(, n, r) and the cyclic factorization nubers of its subgroups is given by csd(zm(,n,r)) = L (ZM(,n,r)) 2 [H(,n,0)] C(ZM(,n,r)) [H(,n,0)] CF 2 (H(,n,0)) If we denote the quantity CF 2 (H(,n,0)) by cf,n and we repeat the arguents which were used in the proof of Lea 4, we obtain the following two analogous results which allow us to copute explicitly the cyclic subgroup coutativity degree of a ZM-group Lea 43 Let ZM(,n,r) be a ZM-group and H(,n,0) be one of its subgroups Then cf,n = 2, rn 3, rn 2, rn r +2 n 2 3, rn r n 3 r n2 r n3, rn (c ) (c 2) r n r n r n 3 + (c 3) 2 r n 2 3 r n 3 2, rn r n 2 3, rn r n 3, rn 2 r n n n r n 2 r n 2 3 r n 3 Theore 44 The cyclic subgroup coutativity degree of ZM(,n,r) is (, rn r ) n cf,n n n csd(zm(,n,r)) = [ ] 2, rn r n In particular, we have csd(zm(9,4,8)) = 7 25 Before we prove our next result, we introduce the function g : N N given by g(n) = n r n s n (r,s), which was used in [6] to express the subgroup coutativity degree of the dihedral group D 2, where 3 is a positive integer This function is ultiplicative and for any prie nuber p and α N, we have g(p α ) = (2α+)pα+2 (2α+3)p α+ +p+ (p ) 2 Now, we will find an explicit for of the results given by Theore 42 and Theore 44 for a particular class of ZM-groups 7

8 Proposition 45 Let ZM(,n,r) be a ZM-group such that n is a prie nuber Then (i) sd(zm(,n,r)) = τ()2 +2τ()σ()+g() (τ()+σ()) 2, (ii) csd(zm(,n,r)) = τ()(τ() +)+(τ()+) (τ()+) 2 Proof We reark that the properties r n (od ) and (,r ) = leads us to stating that (, rn r ) =, for any divisor of (i) Since n is a prie nuber, the subgroup coutativity degree of ZM(,n,r) is f, + f, + sd(zm(,n,r)) = f,n ( + ) 2 = According to Lea 4, the quantities f, and f,n are 2 f, = 2 + and 2, 3 ( 2, 3)= f,n = 2, 3 ( 2, 3)= 2, 3 ( 2, 3)= respectively The right-hand side of (3) can be further reduced since f, = , 3 and = 2 2, 3 ( 2, 3)= 2 + = 2τ()σ()+ f,n = 2, 3 u,v, 2, 3 ( 2, 3)= f,n (σ()+τ()) 2 (3) 2 3 2, 2 3 [ 2, 3 ] = 2τ()σ()+ (u,v) = 2τ()σ()+g(), 2, 3 ( 2, 3)= = 2, 3 = τ() 2 u,v [ u, ] v The proof is finished once the replaceents are ade in (3) (ii) The cyclic subgroup coutativity degree of ZM(,n,r) is given by cf, + cf, + csd(zm(,n,r)) = ( r + cf,n r n ) 2 = cf,n (+τ()) 2, 8

9 since the only divisor of which divides r is and all divisors of divide the quantity r n Using Lea 43, we have and Consequently, cf, = 2 cf, = 2 2, 3 ( 2, 3)= 2 r, 3 r n cf,n = 2 + 2, 3 ( 2, 3)= 2 r n, 3 r n 2, 3 ( 2, 3)= 2 r, 3 r n 2, 3 ( 2, 3)= 2 r, 3 r 2 + = 2 + = 2τ()+, 2 3 2, 2, 3 ( 2, 3)= 2 r, 3 r 2 3 and cf,n = 2, 3 ( 2, 3)= 2 r n, 3 r n = 2, 3 Then, the cyclic subgroup coutativity degree of ZM(,n,r) is = τ() 2 as desired csd(zm(,n,r)) = 2τ()++τ()2 (+τ()) 2 = τ()(τ() +)+(τ()+) (τ()+) 2, It is interesting that for a prie nuber n, the explicit forulas for the (cyclic) subgroup coutativity degree of ZM(, n, r) depend only on the paraeter Therefore, if we consider another prie nuber n and a corresponding value r satisfying (,n ) = (,r ) = and r n (od ), then the equalities sd(zm(,n,r)) = sd(zm(,n,r )),csd(zm(,n,r)) = csd(zm(,n,r )) hold Consequently, there is an infinite nuber of ZM-groups having the sae (cyclic) subgroup coutativity degree We reark that sd(zm(,2, )) = sd(d 2 ) and csd(zm(,2, )) = csd(d 2 ) for any odd nuber 3 We expected this since ZM(,2, ) = D 2, for any 3 such that (od 2) Hence, our work constitute a generalization of the results which were proved in [6, 9] for dihedral groups Also, if we still consider n to be a prie, by applying siilar techniques to the ones that were used in the proof of Proposition 45, one can show that the 9

10 results concerning the (cyclic) factorization nuber of ZM(, n, r), which were obtained in Section 3, generalize the forulas provided by [, 20] for the sae concepts associated to dihedral groups Our final result points out a new class of groups whose (cyclic) subgroup coutativity degree tends to 0 as the orders of the groups tend to infinity Corollary 46 Let n and p 3 be two prie nubers and let α be a positive integer Then (i) li α sd(zm(pα,n,r)) = 0, (ii) li α csd(zm(pα,n,r)) = 0 Proof Both results easily follow using the explicit forulas given by Proposition 45 in the particular case = p α We have τ(p α ) = α+,σ(p α ) = pα+ p and we recall that Therefore, and g(p α ) = (2α+)pα+2 (2α+3)p α+ +p+ (p ) 2 τ(p α ) 2 +2τ(p α )σ(p α )+g(p α ) li α sd(zm(pα,n,r)) = li α (τ(p α )+σ(p α )) 2 [(4α+3)(p ) 2]p α+ +(α+)(p )[(α+)(p ) 2]+p+ = li α [p α+ +(α+)(p ) ] 2 = 0 τ(p α )(τ(p α )+p α )+p α (τ(p α )+) li α csd(zm(pα,n,r)) = li α (τ(p α )+p α ) 2 (2α+3)p α +(α+) 2 = li α (p α +α+) 2 = 0 5 Conclusions and further research The probabilistic aspects of finite groups theory constitute a fruitful research topic and the connections between the ay establish new relevant results We end our paper by indicating the following three open probles Proble 5 Consider the sets {sd(g) G = finite group} and {csd(g) G = finite group} Study their density in [0,] Proble 52 For a fixed α (0,), describe the structure of finite groups G satisfying sd(g) = (, )α or csd(g) = (, )α Proble 53 Do there exist finite groups G such that sd(g) = csd(g)? 0

11 References [] WC Calhoun, Counting subgroups of soe finite groups, Aer Math Monthly 94 (987), [2] M Farrokhi D G, Factorization nubers of finite abelian groups, Int J Group Theory 2 (203), -8 [3] WH Gustafson, What is the probability that two group eleents coute?, Aer Math Monthly 80 (973), [4] B Hupert, Endliche Gruppen, I, II, Springer Verlag, Berlin, 967, 968 [5] P Lescot, Sur certains groupes finis, Rev Math Spéciales 8 (987), [6] P Lescot, Degré de coutativité et structure d un groupe fini (), Rev Math Spéciales 8 (988), [7] P Lescot, Degré de coutativité et structure d un groupe fini (2), Rev Math Spéciales 4 (989), [8] P Lescot, Isoclinis classes and coutativity degrees of finite groups, J Algebra 77(995), [9] P Lescot, Central extensions and coutativity degree, Co Algebra 29(200), [0] DJ Rusin, What is the probability that two eleents of a finite group coute?, Pacific J Math 82 (979), [] F Saeedi and M Farrokhi D G, Factorization nubers of soe finite groups, Glasgow Math J 54 (202), [2] R Schidt, Subgroup lattices of groups, de Gruyter Expositions in Matheatics 4, de Gruyter, Berlin, 994 [3] M Suzuki, Group theory, I, II, Springer Verlag, Berlin, 982, 986 [4] M Tărnăuceanu, Groups deterined by posets of subgroups, Ed Matrix Ro, Bucureşti, 2006 [5] M Tărnăuceanu, Contributions to the study of subgroup lattices, Ed Matrix Ro, Bucureşti, 206 [6] M Tărnăuceanu, Subgroup coutativity degrees of finite groups, J Algebra 32 (2009), , doi: 006/jjalgebra [7] M Tărnăuceanu, On the factorization nubers of soe finite p-groups, Ars Cobin 28 (206), 3-9 [8] M Tărnăuceanu and L Tóth, Cyclicity degrees of finite groups, Acta Math Hung 45(205),

12 [9] M Tărnăuceanu and MS Lazorec, Cyclic subgroup coutativity degrees of finite groups, accepted for publication in Rend Sein Mat Univ Padova [20] M Tărnăuceanu and MS Lazorec, Cyclic factorization nubers of finite groups, accepted for publication in Ars Cobin [2] M Tărnăuceanu and MS Lazorec, On soe probabilistic aspects of (generalized) dicyclic groups, subitted, arxiv: Mihai-Silviu Lazorec Faculty of Matheatics AlI Cuza University Iaşi, Roania e-ail: MihaiLazorec@studentuaicro 2