Research Article  Open Access
Mahmoud Bashir Alhasanat, Bilal AlHasanat, Eman AlSarairah, "The Order Classes of 2Generator Groups", Journal of Applied Mathematics, vol. 2016, Article ID 8435768, 6 pages, 2016. https://doi.org/10.1155/2016/8435768
The Order Classes of 2Generator Groups
Abstract
In order to classify a finite group using its elements orders, the order classes are defined. This partition determines the number of elements for each order. The aim of this paper is to find the order classes of 2generator groups of class 2. The results obtained here are supported by Groups, Algorithm and Programming (GAP).
1. Introduction
One of the major partitions for finite groups is the order classes. A basic concept in group theory is that the order of an element denoted by is the smallest positive integer , such that is the identity. The relation ā is of the same order as ā is an equivalence relation, which induces a partition for the group , which is called the order classes. Order classes of symmetric and dihedral groups are completely configured in [1] and [2], respectively.
Clearly, all conjugate elements have the same order. Conjugacy classes are refinement partitions to order classes. Therefore, each order class contains at least one conjugacy class. Du and Shi [3] proved that if a finite group has conjugacy classes number one greater than its same order classes number, then is isomorphic to one of the following groups: , , , , , , , , , or .
In order to classify a finite group using its order classes, there is a new issue obtained by the size of the order classes. That is, a finite group is said to be a perfect order subsets group (POSgroup) if the cardinality of each order class divides . Das [4] studied some of the properties of arbitrary POSgroups and constructed a couple of new families of nonabelian POSgroups. He also proved that the alternating group ,āā, is not a POSgroup. Later, Jones and Toppin [5] proved that any nontrivial finite POSgroup has even order.
The classification of all groups is not completed yet. In 1993 the classification of finite 2generator groups of class 2 has been studied in [6]. Ahmad et al. [7] classified 2generator groups of class 2 and defined these groups as a central extension of cyclic groups, that is, to obtain the exact number of conjugacy classes for these groups. In this study we will follow the same classification found in [7], to investigate the order classes of 2generator groups of nilpotency class 2.
The results obtained here were found using GAP. Fortunately, using our main theorem, we have developed a practical GAP algorithm to find the order classes of 2generator groups of class 2 ( odd prime).
2. Preliminaries and Definitions
Our notation is fairly standard. By we denote the order of a finite group and we denote the identity element of by . The order of an element , denoted by , is the smallest positive integer such that . The set of all possible orders for a finite group will be denoted by . The class of all elements of which have the same order of is called the order class of . Equivalently, the class of all elements of of order is the order class of and is denoted by . The order classes of a group will be denoted by , which consists of all possible pairs of the form for all . The derived subgroup and the center of a group are denoted by and , respectively.
Let be a group. The commutator of is given by . For any subgroups and of a group the commutator subgroup is . Note that the lower central series of a group iswhere for .
Definition 1. A group is called nilpotent if there exists such that , and the smallest such is the class of nilpotency.
All abelian groups are nilpotent of class 1. If is prime, then the group in which every element has order a power of is called a group. If is a finite group, then the order of is a power of . Such groups are nilpotent. A group is nilpotent group of class 2 if ; equivalently .
In a finite group of order , the center is a subgroup of . Using Lagrangeās theorem, it is implied that for some integer .
Lemma 2 (see [8]). Let be a group of nilpotency classes 2. Let and ; then (1),(2),(3),(4).
Lemma 3 (see [6]). Let be a group of nilpotency classes 2 and with and being odd. Then (1),(2).
The following theorem is used to describe the structure of a 2generator group of nilpotency class 2 in terms of generators and relations.
Theorem 4 (see [7]). Let be a prime and a positive integer. Every 2generator group of order and class 2 corresponds to an ordered 5tuple of integers, , such that (1),(2),(3) and , where corresponds to the group presented byMoreover (1)if , then is isomorphic to(a) when ;(b) when or ;(c) when ;(2)if , or and , then is isomorphic to ;(3)if and , then is isomorphic to(a) when ;(b) when ;(c) when and .The groups listed in 1(a)ā3(c) are pairwise nonisomorphic.
If is prime and is a 2generator group of class 2, with , , then , where [7]. Let be a 2generator group of class 2. Then , , and are the polycyclic series of . Hence, and are the polycyclic generators of . Therefore, if , then can be written uniquely as , where , , and .
3. Order Classes of 2Generator Groups of Nilpotency Class 2
The previous classification for 2generator groups will be used to obtain the order classes of these groups. Let be the set of all 2generator groups of nilpotency class 2 with being an odd prime and , , . To find the order classes of a group , we need to answer some important issues related to , such as the description of the available orders ; the largest possible order , to achieve the set ; the count of elements of each order family to obtain . The following lemmas will justify these issues and concepts to establish the order classes in terms of .
Lemma 5. Let be the group generated by and , with , . Then , where .
Proof. The proof follows directly using Lemma 3, since
Reasonably, for , the order 5tuple of integers in Theorem 4 was configured to construct the group . But the new order pair obtained by the generators orders is a different pair; it is clear that for all . So that will never be used instead of , although they are occasionally similar.
Let . Then the order of any element in should divides . Therefore, if , then should be written as a power of . Thus, where (if , then is cyclic group). The following lemma establishes the largest possible order in terms of the generators orders .
Lemma 6. If is the group generated by and , such that , , letting , then the exponent of , denoted by , is given by
Proof. Let and . Theorem 4 gives that , where , , and . ThereforeThenNotice that . Hence
Using Lemma 6, it follows that the set of all possible orders is , where . Hence , where is the number of elements of order for .
According to the previous classifications our main results will be as follows.
Theorem 7. Let be the group generated by and , with , , , and āā for all . Let . Then, has elements of order , , wheresuch that (1)āā(2)āā(3)If . Then .(4)If . Then for .(5).
Proof. The identity element is the only element in of order 1; therefore . Without loss of generality, let .
() Let ; then , where , , and .
Using (6), it is implied thatSince , hence ; thereforeThenCase 1. If , thenHence, there are choices for ; they are originally for and similarly there are choices for . Therefore there are choices for . Note that for and . ThenCase 2. If , thenTherefore, there are choices for . The identity element is omitted. Thus() Using similar arguments as Case , thenIf , thenHence, there are choices for and choices for . Hence, ; else, . ThenThere are choices for and choices for , implying that .
() Similarly, if , thenThenHence, .
() If , for all , then the number of choices for reduces in a ratio of for each . Thus .
() When , thenHence, .
Corollary 8. Let be the group generated by and , with , . Then is not a POSgroup.
Proof. It is enough to show that there exists such that . For , wheresuppose, on the contrary, that . Then there exists with and . ThereforeThenso that . If , then , which implies that , a contradiction. If , then and have no solution for as an integer which gives a contradiction as well. It follows that there is no integer such that . Thus , which means that is not a POSgroup.
4. GAP
This study includes GAPās algorithms. Algorithm 1 (see the appendix) is derived from Theorem 7 and is used to find the order classes of all 2generator groups of nilpotency class 2 (as a list), by determining the values of and . Algorithm 2 (see the appendix) is being built using the ordinary GAP formulas and commands (already installed with GAPās packages) to give the same results as Algorithm 1.


Example 9. When both Algorithms 1 and 2 are used to find the order classes for all 2generator groups of class 2, where and , the results obtained are as follows:
āāāā Algorithm 1  āāāā Algorithm 2 
āāāāā  āāāāāāāā 
G=(C43 x C43)ā:āC43  G=(C43 x C43)ā:āC43 
G =79507 p=43 n=3 N.class 2  G =79507 p=43 n=3 N.class 2 
no of gen.=2 o(a)=43 o(b)=43 w=1  āāno of gen.=2 o(a)=43 o(b)=43 w=1 
WW=[ [ 1,1 ], [ 43, 79506 ] ]  āāYY=[ [ 1, 1 ], [ 43, 79506] ] 
āāāāāā  āāāāāāāāāā 
G=C1849ā:āC43  G=C1849ā:āC43 
G =79507 p=43 n=3 N.class 2  G =79507 p=43 n=3 N.class 2 
āno of gen.=2 o(a)=1849 o(b)=43 w=2  āno of gen.=2 o(a)=1849 o(b)=43 w=2 
WW=[ [ 1, 1 ], [ 43, 1848 ],  YY=[ [ 1, 1 ], [ 43, 1848 ], 
ā[ 1849, 77658 ] ]  ā[ 1849, 77658 ] ] 
āāāāāāāā  āāāā 
time:14180  time:38064āāāāā 
Similarly, for and
āāāā Algorithm 1  āāāā Algorithm 2 
āāāāāā  āāāāāāā 
āG=(C2209 x C47)ā:āC47  ā 
G =4879681 p=47 n=4 N.class 2  ā 
āāno of gen.=2 o(a)=2209 o(b)=47 w=2  ā 
āāāWW=[ [ 1, 1 ], [ 47, 103822 ],  ā 
āā[ 2209, 4775858 ] ]  ā 
āāāāā  āāāāā 
G=C2209ā:āC2209  ā 
G =4879681 p=47 n=4 N.class 2  ā 
āno of gen.=2 o(a)=103823 o(b)=47 w=3  āāāāāāāāāāāexceeded the permitted memory 
āWW=[ [ 1, 1 ], [ 47, 2208 ],  ā 
[ 2209, 101614 ], [ 103823, 4775858 ] ]  āāāāāāā 
āāāāāā  ā 
G=C103823ā:āC47  āāāāāā 
G =4879681 p=47 n=4 N.class 2  āāā 
āno of gen.=2 o(a)=103823 o(b)=47 w=3  ā 
āWW=[ [ 1, 1 ], [ 47, 2208 ],  ā 
[ 2209, 101614 ], [ 103823, 4775858 ] ]  āāāāāāāāāā 
āāāāāā  āāāāāā 
time:100355  āāāāāāā 
āāāā  ā 
āāāā  āāāāāā 
The time required for Algorithm 2 to find the order classes of 2generator groups of class 2, when and , is 38064 milliseconds while Algorithm 1 needs 14180 milliseconds to find the same results. Next, for and , Algorithm 2 could not complete the process, for the group size (4879681) exceeded the permitted memory size. Conversely, Algorithm 1 takes 100355 milliseconds. Distinctly, Algorithm 1 is much better than the ordinary GAP algorithm and it can be used instead.
5. Conclusion
In this paper, the classification of 2generator groups of nilpotency class 2 has been used to determine the order classes of this type of groups. This work contains an appreciable number of imperative results. We have used these results to create a GAP algorithm (Algorithm 1) to find the order classes of 2generator groups of nilpotency class 2, odd prime. When Algorithm 1 is compared to Algorithm 2, which has been used for the same purpose, we have found that Algorithm 1 does not use all of the group elements and only depends on two elements (generators) to classify the order class of this group, while Algorithm 2 uses all of the group elements to give the same results. Therefore, it works very slow and interrupts large size groups, on the contrary to Algorithm 1.
Appendix
Competing Interests
The authors declare that they have no competing interests.
References
 B. N. AlHasanat, A. Ahmad, H. Sulaiman, and F. Ababneh, āOrder classes of symmetric groups,ā International Journal of Applied Mathematics, vol. 26, no. 4, pp. 501ā510, 2013. View at: Publisher Site  Google Scholar  MathSciNet
 B. AlHasanat, A. Ahmad, and H. Sulaiman, āThe order classes of dihedral groups,ā in Proceeding of Mathematical Sciences National Conference (SKSM21), AIP Conference Proceedings series, Penang, Malaysia, 2013. View at: Google Scholar
 X. Du and W. Shi, āFinite groups with conjugacy classes number one greater than its same order classes number,ā Communications in Algebra, vol. 34, no. 4, pp. 1345ā1359, 2006. View at: Publisher Site  Google Scholar  MathSciNet
 A. K. Das, āOn finite groups having perfect order subsets,ā International Journal of Algebra, vol. 3, no. 13, pp. 629ā637, 2009. View at: Google Scholar  MathSciNet
 L. Jones and K. Toppin, āOn three questions concerning groups with perfect order subsets,ā Involve, vol. 4, no. 3, pp. 251ā261, 2011. View at: Publisher Site  Google Scholar  MathSciNet
 M. R. Bacon and L.C. Kappe, āOn capable pgroups of nilpotency class two,ā Illinois Journal of Mathematics, vol. 47, no. 12, pp. 49ā62, 2003. View at: Google Scholar  MathSciNet
 A. Ahmad, A. Magidin, and R. F. Morse, āTwo generator pgroups of nilpotency class 2 and their conjugacy classes,ā Publicationes Mathematicae Debrecen, vol. 81, no. 12, pp. 145ā166, 2012. View at: Publisher Site  Google Scholar
 A. Magidin, āCapable 2generator 2groups of class two,ā Communications in Algebra, vol. 34, no. 6, pp. 2183ā2193, 2006. View at: Publisher Site  Google Scholar  MathSciNet
Copyright
Copyright © 2016 Mahmoud Bashir Alhasanat et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.