Order Divisor Graphs of Symmetric, Quaternion and Heisenberg Groups

 

Pankaj

Department of Mathematics, Indira Gandhi University, Meerpur (Rewari)-122502, Haryana, India

*Corresponding Author E-mail:  pankajarora1242@yahoo.com

 

Abstract:

We represent finite group in the form of graphs. These graphs are called order divisor graphs. In this paper we shall study order divisor graphs of Symmetric, Quaternion and Heisenberg groups.

 

KEY WORDS: Symmetric group, Quaternion group, Heisenberg group, Order Divisor graphs

2010 MATHEMATICS SUBJECT CLASSIFICATIONS: 68R10, 97K30, 20B05, 20B30

 

1.               INTRODUCTION:

The phenomenon of representing groups using graphs has been studied theoretically by a number of researchers    [1-11]. The interplay between groups and graphs have been the most famous and productive area of algebraic graph theory. In this article, we give order divisor graphs of Symmetric, Quaternion and Heisenberg groups.

 

2.                ORDER DIVISOR GRAPH OF GROUP:

2.1.       Definition: We call a graph an order divisor graph, denoted by OD(G), if its vertex set is a finite group G and two distinct vertices a and b having different orders are adjacent, provided that o(a) divides o(b) or o(b) divides o(a).

 

2.2.       Order Divisor Graph of Symmetric Group Sn:

2.2.1.      Order Divisor Graph of Symmetric Group S2: Let S2={I, (12)} be the symmetric group of order 2. The order divisor graph of S2 is:    

 

Fig. 1: OD(S2)

 

We have some following properties of this graph:-

(i)          This graph is Bipartite because the vertex set V can be decomposed into two disjoint subsets V1 and V2 such that every edge in S2 has one end point in V1 and one end point in V2.

(ii)        This graph is Regular because every vertex is of same degree i.e., every vertex is of degree one.

(iii)       This graph is finite because there are finite numbers of vertices and edges.

(iv)      This graph is complete graph.

(v)        This graph is connected graph.

(vi)      This graph is planar graph.

(vii)     The chromatic number is (S2)= 2.

 

2.2.2.      Order Divisor Graph of Symmetric Group S3: Let S3={I, (12), (13), (23), (123), (132)} be the symmetric group of order 6. The order divisor graph of S3 is:

 

Fig. 2: OD(S3)

 

We have some following properties of this graph:-

(i)          This graph is finite graph.

(ii)        This graph is connected graph.

(iii)       This graph is planar graph.

(iv)      This graph is star graph.

(v)        The chromatic number is (S3) = 2.

 

2.2.3.      Order Divisor Graph of Symmetric Group S4: Let S4={I, (12), (13), (14), (23),(24), (34), (12)(34), (13)(24), (14)(23), (123), (132), (124), (142), (134), (143), (234),(243), (1234), (1243), (1324), (1342), (1423), (1432)} be the symmetric group of order 24. The order divisor graph of S4 is:

 

 

Fig. 3: OD(S4)

We have some following properties of this graph:-

(i)          This graph is finite graph.

(ii)        This graph is connected graph.

(iii)       The chromatic number is (S4) = 3.

 

2.3.     Order Divisor Graph of Quaternion Group Q8: Let Q8 be Quaternion group. The order divisor graph of Q8 is:

 

Fig. 4: OD(Q8)

We have some following properties of this graph:-

(i)          This graph is finite graph.

(ii)        This graph is connected graph.

(iii)       The chromatic number is (Q8) = 3.

 

2.4. Order Divisor Graph of Heisenberg Group over Zp:

2.4.1.      Definition: Let . Then  is a non-abelian group of order p3 where  is a field of order p. It is called Heisenberg Group over Zp.

 

2.4.2.      Order Divisor Graph of Heisenberg Group over Z2:

Let

  

 

 

 be Heisenberg Group of order 23. The order divisor graph of G is:

 

 

Fig. 5: OD(G)

 

We have some following properties of this graph:-

(i)          This graph is finite graph.

(ii)        This graph is connected graph.

(iii)       The chromatic number is (G) = 3.

 

 

2.4.3.      Order Divisor Graph of Heisenberg Group over Z3:

2.4.4.       

Let

 

 

 

 

   

 

  

 

be Heisenberg Group of order 33. The order divisor graph of G is:

 

Fig. 6: OD(G)

 

We have some following properties of this graph:-

(i)          This graph is finite graph.

(ii)        This graph is connected graph.

(iii)       This graph is planar graph.

(iv)      This graph is star graph.

(v)        The chromatic number is (G) = 2.

 

 

 

 

3. CONCLUSION:

In this paper, we have drawn order divisor graphs of Symmetric, Quaternion and Heisenberg groups  and found some properties of these graphs. With the help of these graphs, we can find complement of order divisor graphs of these groups and their properties.

 

4. REFERENCES:

[1]                 S. Akbari, and A. Mohammadian, On zero divisor graphs of finite rings, J. Algebra, 314 (2007), 168-184.

[2]                 D.F. Anderson, and P.S. Livingston, The zero divisor graph of a commutative ring, J. Algebra, 217 (1999), 434-447.

[3]                 F.R. DeMeyer, and L. DeMeyer, Zero divisor graphs of Semigroup, J. Algebra, 283 (2005), 190 – 198.

[4]                 A. D. Godase, Unit Graph of Some Finite Group Zn, Cn and Dn, International Journal of Universal Science and Technology, 1(2) (2015), 122-130.

[5]                 A. D. Godase, Unit Subgraph of Some Finite Group Zn, Cn and Dn, Research Gate pub. (2015), DOI: 10.13140/RG.2.1.3415.6648.

[6]                 Pankaj, Order Prime Graphs of Finite Groups  and , Research Journal of Science and Technology, 9(2) (2017), 285-287.

[7]                 Pankaj, Unit Graphs and Subgraphs of direct product of Dihedral and Symmetric Groups, Aryabhatta Journal of Mathematics & Informatics, 9(1) (2017), 59-70.

[8]                 Pankaj and Ajay Kumar, Power Graphs of Symmetric, Quaternion and Heisenberg Groups, Aryabhatta Journal of Mathematics & Informatics, 9(2) (2017), 297-300.

[9]                 Pankaj and Dev Deep, Unit Graphs and Subgraphs of Finite Groups  and , International Journal of Engineering and Science Invention, 6(7) (2017), 64-71.

[10]              Pankaj, Gunjan and M. Pruthi, Unit Graphs and Subgraphs of Symmetric, Quaternion and Heisenberg Groups, Journal of Information & Optimization Sciences, 38 (1) (2017), 207–218.

[11]              S. U. Rehman, A. Q. Baig, M. Imran and Z. U. Khan, Order divisor graphs of finite groups, arXiv: 1611.04280v2, (2016).

[12]              T.M. Apostol, Introduction to Analytic number theory, Narosa publishing house, 1998.

[13]              I. Beck, Colouring of a commutative ring, J. Algebra, 116 (1988), 208-226.

[14]              G. Birkhoff and T.C. Bartee, Modern Applied Algebra, Mc- Graw Hill, New York, 1970.

[15]              B. Bollobas, Modern Graph Theory, Springer-Verlag, New York, 1998.

[16]              Dipak Chatterjee, Abstract Algebra, Prentice Hall of India private limited, 2001.

[17]              F. Harary, Graph Theory, Addison Wesley, 1972.

[18]              I.N. Herrnstein, Topics in Algebra, Wiley Eastern Limited, 1975.

[19]              K.R. Parthasarathy, Basic Graph Theory, Tata McGraw-Hill publishing Company Limited, 1994.

 

 

 

 

Received on 03.12.2017       Modified on 29.12.2017

Accepted on 10.01.2018      ©A&V Publications All right reserved

Research J. Science and Tech. 2018; 10(1):68-72.

DOI: 10.5958/2349-2988.2018.00009.8