Commuting graphs of odd prime order elements in simple groups

Barbara Baumeister,Alexander Stein

DOI: https://doi.org/10.48550/arXiv.0908.2583

2009-08-19

Abstract:We study the commuting graph on elements of odd prime order in finite simple groups. The results are used in a forthcoming paper describing the structure of Bruck loops and Bol loops of exponent 2.

Group Theory,Combinatorics

What problem does this paper attempt to address?

Characterization of commuting graphs of finite groups having small genus

Shrabani Das,Deiborlang Nongsiang,Rajat Kanti Nath

2024-01-02

Abstract:In this paper we first show that among all double-toroidal and triple-toroidal finite graphs only $K_8 \sqcup 9K_1$, $K_8 \sqcup 5K_2$, $K_8 \sqcup 3K_4$, $K_8 \sqcup 9K_3$, $K_8\sqcup 9(K_1 \vee 3K_2)$, $3K_6$ and $3K_6 \sqcup 4K_4 \sqcup 6K_2$ can be realized as commuting graphs of finite groups. As consequences of our results we also show that for any finite non-abelian group $G$ if the commuting graph of $G$ (denoted by $\Gamma_c(G)$) is double-toroidal or triple-toroidal then $\Gamma_c(G)$ and its complement satisfy Hansen-Vuki{č}evi{ć} Conjecture and E-LE conjecture. In the process we find a non-complete graph, namely the non-commuting graph of the group $(\mathbb{Z}_3 \times \mathbb{Z}_3) \rtimes Q_8$, that is hyperenergetic. This gives a new counter example to a conjecture of Gutman regarding hyperenergetic graphs.

Group Theory
Aspects of the commuting graph

V. Arvind,Xuanlong Ma,Peter J. Cameron,Natalia V. Maslova

2024-12-17

Abstract:The commuting graph of a group $G$ is the graph whose vertices are the elements of $G$, two distinct vertices joined if they commute. Our purpose in this paper is twofold: we discuss the computational problem of deciding whether a given graph is the commuting graph of a finite group; we give a quasipolynomial algorithm, and a polynomial algorithm for the case when the group is an extra\-special p-group for p an odd prime; we give new results on the question of whether the commuting graph of a given group is a cograph or a chordal graph, two classes of graphs defined by forbidden subgraphs. The problems are not unrelated, since there are a number of cases where hard computational problems on graphs are easier when restricted to special classes of graphs; we conjecture that the recognition problem is polynomial for cographs and chordal graphs.

Group Theory,Combinatorics
On the automorphism groups of graphs with twice prime valency

Hong Ci Liao,Jing Jian Li,Zai Ping Lu

DOI: https://doi.org/10.48550/arXiv.1910.04931

2019-10-11

Abstract:A graph is edge-transitive if its automorphism group acts transitively on the edge set. In this paper, we investigate the automorphism groups of edge-transitive graphs of odd order and twice prime valency. Let $\Gamma$ be a connected graph of odd order and twice prime valency, and let $G$ be a subgroup of the automorphism group of $\Ga$. In the case where $G$ acts transitively on the edges and quasiprimitively on the vertices of $\Ga$, we prove that either $G$ is almost simple or $G$ is a primitive group of affine type. If further $G$ is an almost simple primitive group then, with two exceptions, the socle of $G$ acts transitively on the edges of $\Gamma$.

Combinatorics
Commutators of elements of coprime orders in finite groups

Pavel Shumyatsky

DOI: https://doi.org/10.48550/arXiv.1208.3177

2012-08-16

Abstract:This paper is an attempt to find out which properties of a finite group G can be expressed in terms of commutators of elements of coprime orders. A criterion of solubility of G in terms of such commutators is obtained. We also conjecture that every element of a nonabelian simple group is a commutator of elements of coprime orders and we confirm this conjecture for the alternating groups.

Group Theory
Commuting elements in Galois groups of function fields

Fedor Bogomolov,Yuri Tschinkel

DOI: https://doi.org/10.48550/arXiv.math/0012245

2000-12-25

Abstract:We study abelian subgroups of Galois groups of function fields.

Algebraic Geometry
Super commuting graphs of finite groups and their Zagreb indices

Shrabani Das,Rajat Kanti Nath

2024-07-16

Abstract:Let $B$ be an equivalence relation defined on a finite group $G$. The $B$ super commuting graph on $G$ is a graph whose vertex set is $G$ and two distinct vertices $g$ and $h$ are adjacent if either $[g] = [h]$ or there exist $g' \in [g]$ and $h' \in [h]$ such that $g'$ commutes with $h'$, where $[g]$ is the $B$-equivalence class of $g \in G$. Considering $B$ as the equality, conjugacy and same order relations on $G$, in this article, we discuss the graph structures of equality/conjugacy/order super commuting graphs of certain well-known families of non-abelian groups viz. dihedral groups, dicyclic groups, semidihedral groups, quasidihedral groups, the groups $U_{6n}, V_{8n}, M_{2mn}$ etc. Further, we compute the Zagreb indices of these graphs and show that they satisfy Hansen-Vuki{č}evi{ć} conjecture.

Group Theory
The Commuting Graph of the Cyclic Extension of an Abelian Group

Yongwei Wang,Weijun Liu,Wei Jin

DOI: https://doi.org/10.1016/j.amc.2022.127129

IF: 4.397

2022-01-01

Applied Mathematics and Computation

Abstract:In this article, using the method of local analysis of abelian groups, we classify the commuting graph of the prime cyclic extension of an abelian group completely and obtain certain prominent parameters like independent number, clique number and second clique number of the graphs.
On soluble groups in which commutators have prime power order

Mateus Figueiredo,Pavel Shumyatsky

2024-08-04

Abstract:The article deals with finite groups in which commutators have prime power order (CPPO-groups). We show that if G is a soluble CPPO-group, then the order of the commutator subgroup G' is divisible by at most two primes.

Group Theory
The commuting graph of a soluble group

Chris Parker

DOI: https://doi.org/10.1112/blms/bdt005

2012-09-11

Abstract:The commuting graph of a finite soluble group with trivial centre is investigated. It is shown that the diameter of such a graph is at most 8 or the graph is disconnected. Examples of soluble groups with trivial centre and commuting graph of diameter 8 are provided.

Group Theory
On commuting automorphisms of finite -groups of coclass

N. Azimi Shahrabi,M. Akhavan-Malayeri

DOI: https://doi.org/10.1142/s0219498825501816

2024-02-20

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. Let [math] be a group. If the set [math] forms a subgroup of [math], then G is called [math]-group. Recently, it has been proven that the minimum coclass of a non-[math][math]-group is equal to [math]. In this paper, we deal with finite [math]-groups of coclass [math]. We prove that a finite [math]-group [math] of order [math], [math], of coclass [math] for an odd prime [math] is an [math]-group except when the nilpotency class of the second term of upper central series [math], [math], is equal to [math]. In particular, we show that in this case, center of [math], [math], and commutator subgroup [math], [math], are of order [math] and [math], respectively, and [math] is a group of order [math]. Also, we give some sufficient conditions on a finite 2-group [math] of coclass [math] implying that [math] is an [math]-group.

mathematics, applied
The commuting graphs of certain cyclic-by-abelian groups

Timo Velten

2024-05-28

Abstract:Let $G$ be a finite, non-abelian group of the form $G = A N$, where $A \leq G$ is abelian, and $N \trianglelefteq G$ is cyclic. We prove that the commuting graph $\Gamma(G)$ of $G$ is either a connected graph of diameter at most four, or the disjoint union of several complete graphs. These results apply to all finite metacyclic groups, and groups of square-free order in particular.

Group Theory
Graph structure of commuting functions

Peteris Daugulis

DOI: https://doi.org/10.48550/arXiv.1407.6035

2014-07-22

Combinatorics

Abstract:The problem of finding graph structure of functions commuting with a given function in terms of their functional graphs is considered. Structure of functional graphs of commuting functions is described. The problem is reduced to describing graph homomorphisms of weakly connected components of functional graphs. Four subcases with finite sets are considered: permutations commuting with permutation, permutations commuting with a function, functions commuting with a permutation and functions commuting with a function. For finite sets the number of functions commuting with a given one and functions with extremal properties are found. Results for finite sets are generalized to the case of arbitrary sets where there are additional types of functional graph components.
On the commuting probability of π‐elements in finite groups

Juan Martínez

DOI: https://doi.org/10.1002/mana.202300338

2024-02-17

Mathematische Nachrichten

Abstract:Let G be a finite group, π be a set of primes, and p be the smallest prime in π. In this work, we prove that G possesses a normal and abelian Hall π‐subgroup if and only if the probability that two random π‐elements of G commute is larger than p2+p−1p3 . We also prove that if x is a π‐element not lying in Oπ(G) , then the proportion of π‐elements commuting with x is at most 1/p .

mathematics
Properties of Commuting Graphs over Semidihedral Groups

Tao Cheng,Matthias Dehmer,Frank Emmert-Streib,Yongtao Li,Weijun Liu

DOI: https://doi.org/10.3390/sym13010103

2021-01-01

Abstract:This paper considers commuting graphs over the semidihedral group SD8n. We compute their eigenvalues and obtain that these commuting graphs are not hyperenergetic for odd n >= 15 or even n >= 2. We further compute the Laplacian spectrum, the Laplacian energy and the number of spanning trees of the commuting graphs over SD8n. We also discuss vertex connectivity, planarity, and minimum disconnecting sets of these graphs and prove that these commuting graphs are not Hamiltonian.
Commuting Probability of Finite Groups (Extended)

Snehinh Sen

DOI: https://doi.org/10.1007/s12045-023-1585-5

2023-08-01

Abstract:The target of this article is to discuss the concept of \textit{commuting probability} of finite groups which, in short, is a probabilistic measure of how abelian our group is. We shall compute the value of commuting probability for many special classes of non-abelian groups and also establish some local and global bounds. We will conclude with a few topics for further reading.

Group Theory
On Commuting Graphs of Grou Pring Z(N)Q(8)

Jianlong Chen,Yanyan Gao,Gaohua Tang

DOI: https://doi.org/10.4134/ckms.2012.27.1.057

2012-01-01

Communications of the Korean Mathematical Society

Abstract:The commuting graph of anarbitrary ring R, denoted by (R), is a graph whose vertices are all non-central elements of R, and two distinct vertices a and b are adjacent if and only if ab = ba. In this paper, we investigate the connectivity, the diameter, the maximum degree and the minimum degree of the commuting graph of group ring Z(n)Q(8.) The main result is that Gamma(Z(n)Q(8)) is connected if and only if n is not a prime. Gamma(ZnQ8) is connected, then diam(Z(n)Q(8))= 3, while Gamma(Z(n)Q(8)) is disconnected then every connected component of Gamma(Z(n)Q(8)) must be a complete graph with a same size. Further, we obtainthe degree of every vertex in Gamma(Z(n)Q(8)), the maximum degree and the minimum degree of Gamma(Z(n)Q(8)).
Automorphisms of odd Coxeter groups

Tushar Kanta Naik,Mahender Singh

DOI: https://doi.org/10.1007/s00605-020-01496-3

2020-11-28

Abstract:An odd Coxeter group $W$ is one which admits a Coxeter system $(W,S)$ for which all the exponents $m_{ij}$ are either odd or infinity. The paper investigates the family of odd Coxeter groups whose associated labeled graphs $\mathcal{V}_{(W,S)}$ are trees. It is known that two Coxeter groups in this family are isomorphic if and only if they admit Coxeter systems having the same rank and the same multiset of finite exponents. In particular, each group in this family is isomorphic to a group that admits a Coxeter system whose associated labeled graph is a star shaped tree. We give the complete description of the automorphism group of this group, and derive a sufficient condition for the splitting of the automorphism group as a semi-direct product of the inner and the outer automorphism groups. As applications, we prove that Coxeter groups in this family satisfy the $R_\infty$-property and are (co)-Hopfian. We compare structural properties, automorphism groups, $\R_\infty$-property and (co)-Hopfianity of a special odd Coxeter group whose only finite exponent is three with the braid group and the twin group.

Group Theory
On the commuting probability of $π$-elements in finite groups

Juan Martínez

2024-02-06

Abstract:Let $G$ be a finite group, let $\pi$ be a set of primes and let $p$ be the smallest prime in $\pi$. In this work, we prove that $G$ possesses a normal and abelian Hall $\pi$-subgroup if and only if the probability that two random $\pi$-elements of $G$ commute is larger than $\frac{p^2+p-1}{p^3}$. We also prove that if $x$ is a $\pi$-element not lying in $O_{\pi}(G)$, then the proportion of $\pi$-elements commuting with $x$ is at most $1/p$.

Group Theory
The structure of automorphic loops

Michael Kinyon,Ken Kunen,J. D. Phillips,Petr Vojtechovsky

DOI: https://doi.org/10.48550/arXiv.1210.1642

2012-10-05

Abstract:Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes, for instance, groups and commutative Moufang loops. We study uniquely 2-divisible automorphic loops, particularly automorphic loops of odd order, from the point of view of the associated Bruck loops (motivated by Glauberman's work on uniquely 2-divisible Moufang loops) and the associated Lie rings (motivated by a construction of Wright). We prove that every automorphic loop $Q$ of odd order is solvable, contains an element of order $p$ for every prime $p$ dividing $|Q|$, and $|S|$ divides $|Q|$ for every subloop $S$ of $Q$. There are no finite simple nonassociative commutative automorphic loops, and there are no finite simple nonassociative automorphic loops of order less than 2500. We show that if $Q$ is a finite simple nonassociative automorphic loop then the socle of the multiplication group of $Q$ is not regular. The existence of a finite simple nonassociative automorphic loop remains open. Let $p$ be an odd prime. Automorphic loops of order $p$ or $p^2$ are groups, but there exist nonassociative automorphic loops of order $p^3$, some with trivial nucleus (center) and of exponent $p$. We construct nonassociative "dihedral" automorphic loops of order $2n$ for every $n>2$, and show that there are precisely $p-2$ nonassociative automorphic loops of order $2p$, all of them dihedral.

Group Theory
An Algebraic Structure for Square-Prime Numbers

Raghavendra N. Bhat

2024-12-11

Abstract:In the paper "An Abelian Loop for Non-Composites" (arXiv:110.14716), we introduced a group-like structure consisting of odd prime numbers and 1, with properties that allowed us to prove analogous results to well known theorems in Number Theory. In this paper, we explore some theorems and conjectures in the SP space.

General Mathematics

Commuting graphs of odd prime order elements in simple groups

Characterization of commuting graphs of finite groups having small genus

Aspects of the commuting graph

On the automorphism groups of graphs with twice prime valency

Commutators of elements of coprime orders in finite groups

Commuting elements in Galois groups of function fields

Super commuting graphs of finite groups and their Zagreb indices

The Commuting Graph of the Cyclic Extension of an Abelian Group

On soluble groups in which commutators have prime power order

The commuting graph of a soluble group

On commuting automorphisms of finite -groups of coclass

The commuting graphs of certain cyclic-by-abelian groups

Graph structure of commuting functions

On the commuting probability of π‐elements in finite groups

Properties of Commuting Graphs over Semidihedral Groups

Commuting Probability of Finite Groups (Extended)

On Commuting Graphs of Grou Pring Z(N)Q(8)

Automorphisms of odd Coxeter groups

On the commuting probability of $π$-elements in finite groups

The structure of automorphic loops

An Algebraic Structure for Square-Prime Numbers