Non Inverse Graphs From Groups
Non Inverse Graphs From Groups
Abstract
Let (G, ∗) be a finite group and S = {u ∈ G|u 6= u−1 }, then the inverse
graph is defined as a graph whose vertices coincide with G such that two
distinct vertices u and v are adjacent if and only if either u ∗ v ∈ S or
v ∗ u ∈ S. In this paper, we introduce a modified version of the inverse
graph, called i∗ -graph associated with a group G. The i∗ -graph is a simple
graph with vertex set consisting of elements of G and two vertices x, y ∈ Γ
are adjacent if x and y are not inverses of each other. We study certain
properties and characteristics of this graph. Some parameters of the i∗ -
graph are also determined.
Keywords: inverse graph, non-inverse graph.
2010 Mathematics Subject Classification: 05C25, 05C75.
1. Introduction
For the terms and definitions in graph theory, refer to [14] and for those in group
theory, refer to [6]. To avoid confusions regarding the terminology of groups and
graphs, we represent the identity element of a group G by iG and a graph by Γ.
Graph constructions using various concepts of group theory have been exten-
sively studied in the literature. In [2], zero-divisor graph of a commutative ring
and its properties were studied and the same were investigated for semigroups
in [7]. Recently, some studies on a new family of graphs, as a generalization of
zero-divisor graphs have been introduced in [11] and determined an upper-bound
for the diameter of those graphs.
In [5], the intersection graph of non-trivial left ideals of a ring are studied and
the rings for which the intersection graph is connected are characterized. In [3],
316 J. Amreen and S. Naduvath
the power graph of a finite group in which two vertices are adjacent if one is a
power of the other was introduced and it was eshtablished that the only finite
group whose automorphism group is the same as that of its power graph is the
Klein 4-group.
In [1], a new graph construction called inverse graph associated with finite
groups was introduced as follows. If (G, ∗) is a finite group S = {u ∈ G|u 6= u−1 },
then inverse graph is defined as a graph whose vertices coincide with G such that
two distinct vertices u and v are adjacent if and only if either u∗v ∈ S or v∗u ∈ S.
Motivated by the studies mentioned above, we introduce a modified version of
inverse graphs in the following section.
Proof. For any group G, there exists an identity element iG which is inverse of
itself. Hence, by Definition 1, iG is adjacent to all other vertices in Γ. Therefore,
the non-inverse graph Γ associated with G is connected.
Theorem 2.4. Given a group G with identity element iG and its non-inverse
graph Γ, the graph Γ − iG is disconnected if and only if order of G is 3 and G − iG
has no self inverse elements.
Theorem 2.5. The non-inverse graph associated with any group (G, ∗) of order
n is complete multipartite graph with n+l
2 partitions, where l is the number of
self-inverse elements in G.
Theorem 2.6. The size of non-inverse graph associated with a group G of order
2
n with l self-inverse elements is n −2n+l
2 .
Proof. Let V (Γ) = {v1 , v2 , . . . , vn } and E(Γ) be the vertex set and edge set of
non-inverse graph Γ associated with a group G. The vertices vi , i = 1, 2, . . . , l
have degree n − 1 each and the remaining n − l vertices have degree n − 2.
Therefore,
n
X
deg(vi ) = l(n − 1) + (n − l)(n − 2) = n2 − 2n + l.
i=1
n2 −2n+l
Therefore, |E(Γ)| = 2 .
Theorem 3.4. The set of all self inverse elements of a group G form the centre
of non-inverse graph of G.
Proof. Consider the partition of vertex set of Γ as mentioned in Theorem 2.5.
The vertices belonging to the 2-element set have eccentricity 2 and the remaining
vertices belonging to singleton set have eccentricity 1. Therefore, the diameter
and radius of Γ is 2 and 1 respectively. The vertices of singleton sets having
eccentricity 1 in Γ are the self-inverse elements in G. Thus, the self-inverse
elements in G are the central points in Γ. Therefore, the set of all self-inverse
elements in G form the centre of Γ.
The following results discuss the characterisation for the non-inverse graph of a
group to be regular with certain conditions.
Theorem 4.1. Let G be a group of odd order n. Then, the non-inverse graph Γ
associated with G − iG is (n − 3)-regular if and only if there are no self-inverse
elements in G − iG .
Theorem 4.2. Let G be a group of order n. Then, the non-inverse graph associ-
ated with G − iG is (n − 2)-regular if and only if G − iG contains only self-inverse
elements.
On the non-inverse graph of a group 321
Since there are l vertices with degree (n − 1) and (n − l) vertices with degree
(n − 2), we have,
n
X 1 1 1 n+l
(2) =l + (n − l) = .
n − di n − (n − 1) n − (n − 2) 2
i=1
In view of Lemma 3.1, Equation (1) and Equation (2) together will give,
n+l n+l
≤ ω(G) ≤ χ(G) = .
2 2
n+l
Therefore, ω(G) = 2 = χ(G).
322 J. Amreen and S. Naduvath
Theorem 4.9. Let G be a group of order n, then the spectra of Γ(G) is given by
the following cases:
(i) when all the elements in G are self-inverse elements:
n−1 −1
,
1 n−1
(ii) when G contains all non self-inverse elements other than the identity ele-
ment:
q q
n−3 (n−1)2 n−3 (n−1)2
0 2 + 4 +1 −2 2 − 4 + 1
,
n−1 n−1
2 1 2 −1 1
Proof. Let G be a group of order n. Then the adjacency matrix of Γ(G) denoted
by A(Γ(G)) is given by
0 a12 a13 · · · a1(n−1) a1n
a12
0 a23 · · · a2(n−1) a2n
a13 a23 0 · · · a3(n−1) a3n
A(Γ(G)) = . .
.. .. .. .. .. ..
. . . . .
a1(n−1) a2(n−1) a3(n−1) · · · 0 a(n−1)n
a1n a2n a3n · · · a(n−1)n 0 n×n
Case 2. Let all the elements in G other than iG be non self-inverse elements.
By Theorem 2.5, it is clear that o(G) must be odd. In A(Γ(G)),
(
0, if i = k, j = k + 1; k = 2, 4, 6, . . . , n − 1,
aij =
1, otherwise.
A(Γ(G))
n−3 n−1
q q
n−3 (n−1)2 n−3 (n−1)2
= [λ + 2] 2 [λ] 2 λ− 2 + 4 +1 λ− 2 − 4 +1 .
ϕ(A(Γ(G))) =
h ih i
[λ + 2] n−l−2
2
n−l
[λ + 1]l−1 [λ] 2 λ− (n−3)+η
λ − (n−3)−η ; when n is even;
2 2
[λ + 2] n−l−2 n−l
[λ + 1]l−1 [λ] 2
λ− n−3
λ − n−3
2 +ζ −ζ ; when n is odd,
2
2
√ q
n2 −2n+5
where η = n2 − 2n + 4l + 1 and ζ = 4 + (l − 1). Hence the result.
5. Conclusion
References
[1] M.R. Alfuraidan and Y.F. Zakariya, Inverse graphs associated with finite groups,
Electron. J. Graph Theory Appl. 5 (1) (2017).
https://doi.org/10.5614/ejgta.2017.5.1.14
[2] D.F. Anderson and P.S. Livingston, The zero-divisor graph of a commutative ring,
J. Algebra 217 (2) (1999) 434–447.
https://doi.org/10.1006/jabr.1998.7840
[3] P.J. Cameron and S. Ghosh, The power graph of a finite group, Discrete Math. 311
(13) (2011) 1220–1222.
https://doi.org/10.1016/j.disc.2010.02.011
[4] E. Carnia, M. Suyudi, I. Aisah and A.K. Supriatna, A review on eigenvalues of
adjacency matrix of graph with cliques, (2017) 040001.
[5] I. Chakrabarty, S. Ghosh, T.K. Mukherjee and M.K. Sen, Intersection graphs of
ideals of rings, Discrete Math. 309 (17) (2009) 5381–5392.
https://doi.org/10.1016/j.disc.2008.11.034
[6] P.M. Cohn, Basic Algebra (Springer, New Delhi, 2003).
[7] F. DeMeyer and L. DeMeyer, Zero divisor graphs of semigroups, J. Algebra 283 (1)
(2005) 190–198.
https://doi.org/https://doi.org/10.1016/j.disc.2008.11.034
[8] T.W. Hungerford, Algebra (Springer, New York, 2008).
[9] B.L. Johnston and F. Richman, Numbers and Symmetry: An Introduction to Alge-
bra (CRC Press, New York, 1997).
[10] J.V. Kureethara, Hamiltonian cycle in complete multipartite graphs, Annal. Pure
Appl. Math. 13 (2) (2017) 223–228.
https://doi.org/10.22457/apam.v13n2a8
[11] P. Nasehpour, A generalization of zero-divisor graphs, 2019.
arXiv preprint arXiv:1911.06244
[12] E.B. Vinberg, A Course in Algebra (Universities Press, New Delhi, 2012).
[13] E.W. Weisstein, Clique Number, From MathWorld-A Wolfram Web Resource.
https://mathworld.wolfram.com/CliqueNumber.html
[14] D.B. West, Introduction to Graph Theory (Pearson, New Jersey, 2001).
Received 11 April 2021
Revised 27 September 2021
Accepted 22 April 2022