On Frobenius graphs of diameter 3 for finite groups

Thomas Breuer,László Héthelyi,Erzsébet Horváth,Burkhard Külshammer

2024-07-11

Abstract:For a subgroup $H$ of a finite group $G$, the Frobenius graph $\Gamma(G, H)$ records the constituents of the restrictions to $H$ of the irreducible characters of $G$. We investigate when this graph has diameter 3.

Group Theory

What problem does this paper attempt to address?

On the structure of the character degree graphs having diameter three

Silvio Dolfi,Roghayeh Hafezieh,Pablo Spiga

2024-03-01

Abstract:The structure of the character degree graphs $\Delta(G)$, i.e. the prime graphs on the set $\mathrm{cd}(G)$ of the irreducible character degrees of a finite group $G$, such that $G$ is solvable and $\Delta(G)$ has diameter three, remains an intriguing area of study. However, a comprehensive understanding of these structures remains elusive. In this paper, we prove some properties and provide an infinite series of examples of this class of graphs, building on the ideas of Mark Lewis.

Group Theory
On the diameter of intersection graphs of finite groups

Melissa Lee,Kamilla Rekvényi

2024-03-20

Abstract:The intersection graph $\Delta_G$ of a finite group $G$ is a simple graph with vertices the non-trivial proper subgroups of $G$, and an edge between two vertices if their corresponding subgroups intersect non-trivially. These graphs were introduced by Csákány and Pollák in 1969. In this paper we answer two long-standing open questions posed by Csákány and Pollák concerning the diameter of intersection graphs. We prove some necessary conditions for a non-simple group to have an intersection graph of diameter 4. We also construct the first examples of non-simple groups and alternating groups whose intersection graphs have diameter 4.

Group Theory
Normal subgroups whose conjugacy class graph has diameter three

Antonio Beltrán,María José Felipe,Carmen Melchor

2024-02-09

Abstract:Let $G$ be a finite group and $N$ a normal subgroup of $G$. We determine the structure of $N$ when the diameter of the graph associated to the $G$-conjugacy classes contained in $N$ is as large as possible, that is, is equal to three.

Group Theory
Generalized Borsuk Graphs

Francisco Martinez-Figueroa

DOI: https://doi.org/10.1007/s00454-024-00695-1

2024-10-09

Discrete & Computational Geometry

Abstract:Given a finite group G acting freely on a compact metric space M , and , we define the G -Borsuk graph on M by drawing edges whenever there is a non-identity such that . We show that when is small, its chromatic number is determined by the topology of M via its G -covering number, which is the minimum k such that there is a closed cover with for all . We are interested in bounding this number. We give lower bounds using G -actions on Hom-complexes, and upper bounds using a recursive formula on the dimension of M . We conjecture that the true chromatic number coincides with the lower bound, and give computational evidence. We also study random G -Borsuk graphs, which are random induced subgraphs. For these, we compute thresholds for that guarantee that the chromatic number is still that of the whole G -Borsuk graph. Our results are tight (up to a constant) when the G -index and dimension of M coincide.

mathematics,computer science, theory & methods
Groups whose common divisor graph on $p$-regular classes has diameter three

M.J. Felipe,M.K. Jean-Philippe,V. Sotomayor

2024-10-31

Abstract:Let $G$ be a finite $p$-separable group, for some fixed prime $p$. Let $\Gamma_p(G)$ be the common divisor graph built on the set of non-central conjugacy classes of $p$-regular elements of $G$: this is the graph whose vertices are the conjugacy classes of those non-central elements of $G$ such that $p$ does not divide their orders, and two distinct vertices are adjacent if and only if the greatest common divisor of their lengths is strictly greater than one. The aim of this paper is twofold: to positively answer an open question concerning the maximum possible distance in $\Gamma_p(G)$ between a vertex with maximal cardinality and any other vertex, and to study the $p$-structure of $G$ when $\Gamma_p(G)$ has diameter three.

Group Theory
Finite Groups Whose Prime Graphs Do Not Contain Triangles. III

W. Guo,M. R. Zinov’eva,A. S. Kondrat’ev

DOI: https://doi.org/10.1134/s0037446623010068

2023-01-01

Siberian Mathematical Journal

Abstract:The prime graph or the Gruenberg–Kegel graph of a finite group G is the graph whose vertices are the prime divisors of the order of G and two distinct vertices p and q are adjacent if and only if G contains an element of order pq . This paper continues the study of the problem of describing the finite nonsolvable groups whose prime graphs do not contain triangles. We describe the groups in the case when a group has an element of order 6 and the order of its solvable radical is divisible by a prime greater than 3.
Krein Parameters and Antipodal Tight Graphs with Diameter 3 and 4

A Jurisic,J Koolen

DOI: https://doi.org/10.1016/s0012-365x(01)00082-6

IF: 0.961

2002-01-01

Discrete Mathematics

Abstract:We determine which Krein parameters of nonbipartite antipodal distance-regular graphs of diameter 3 and 4 can vanish, and give combinatorial interpretations of their vanishing. We also study tight distance-regular graphs of diameter 3 and 4. In the case of diameter 3, tight graphs are precisely the Taylor graphs. In the case of antipodal distance-regular graphs of diameter 4, tight graphs are precisely the graphs for which the Krein parameter q114 vanishes.
Subgroups of bounded rank in hyperbolic 3-manifold groups

Ian Biringer

2024-04-02

Abstract:We prove a finiteness theorem for subgroups of bounded rank in hyperbolic $3$-manifold groups. As a consequence, we show that every bounded rank covering tower of closed hyperbolic $3$-manifolds is a tower of finite covers associated to a fibration over a $1$-orbifold.

Geometric Topology
Classifying prime graphs of finite groups -- a methodical approach

Thomas Michael Keller,Gavin Pettigrew,Saskia Solotko,Lixin Zheng

2024-07-09

Abstract:For a finite group $G$, the vertices of the prime graph $\Gamma(G)$ are the primes that divide $|G|$, and two vertices $p$ and $q$ are connected by an edge if and only if there is an element of order $pq$ in $G$. Prime graphs of solvable groups as well as groups whose noncyclic composition factors have order divisible by exactly three distinct primes have been classified in graph-theoretic terms. In this paper, we begin to develop a general theory on the existence of edges in the prime graph of an arbitrary $T$-solvable group, that is, a group whose composition factors are cyclic or isomorphic to a fixed nonabelian simple group $T$. We then apply these results to classify the prime graphs of $T$-solvable groups for, in a suitable sense, most $T$ such that $|T|$ has exactly four prime divisors. We find that these groups almost always have a 3-colorable prime graph complement containing few possible triangles.

Group Theory
On the Diameter of Undirected Cayley Graphs of Finite Abelian Groups

Bela Bajnok,W. Kyle Beatty

2024-06-06

Abstract:Let $s$ be a positive integer. Our goal is to find all finite abelian groups $G$ that contain a $2$-subset $A$ for which the undirected Cayley graph $\Gamma(G,A)$ has diameter at most $s$. We provide a complete answer when $G$ is cyclic, and a conjecture and some partial answers when $G$ is noncyclic.

Combinatorics,Group Theory,Number Theory
On bipartite graphs of diameter 3 and defect 2

Charles Delorme,Leif K. Jørgensen,Mirka Miller,Guillermo Pineda‐Villavicencio,Guillermo Pineda-Villavicencio

DOI: https://doi.org/10.1002/jgt.20378

2009-08-01

Journal of Graph Theory

Abstract:Abstract We consider bipartite graphs of degree Δ≥2, diameter D =3, and defect 2 (having 2 vertices less than the bipartite Moore bound). Such graphs are called bipartite (Δ, 3, −2) ‐graphs. We prove the uniqueness of the known bipartite (3, 3, −2) ‐graph and bipartite (4, 3, −2)‐graph. We also prove several necessary conditions for the existence of bipartite (Δ, 3, −2) ‐graphs. The most general of these conditions is that either Δ or Δ−2 must be a perfect square. Furthermore, in some cases for which the condition holds, in particular, when Δ=6 and Δ=9, we prove the non‐existence of the corresponding bipartite (Δ, 3, −2)‐graphs, thus establishing that there are no bipartite (Δ, 3, −2)‐graphs, for 5≤Δ≤10. © 2009 Wiley Periodicals, Inc. J Graph Theory 61: 271–288, 2009

mathematics
Finite 4-Primary Groups with Disconnected Gruenberg–Kegel Graph Containing a Triangle

A. S. Kondrat’ev

DOI: https://doi.org/10.1007/s10469-023-09724-z

2024-01-04

Algebra and Logic

Abstract:We give a description of finite 4-primary groups with disconnected Gruenberg–Kegel graph containing a triangle. As a corollary, finite groups whose Gruenberg–Kegel graph coincides with the Gruenberg–Kegel graph of 3 D 4 (2) are exemplified, which generalizes V. D. Mazurov' description of finite groups isospectral to the group 3 D 4 (2).

mathematics,logic
On combinatorial properties of Gruenberg--Kegel graphs of finite groups

Mingzhu Chen,Ilya B. Gorshkov,Natalia V. Maslova,Nanying Yang

2024-01-10

Abstract:If $G$ is a finite group, then the spectrum $\omega(G)$ is the set of all element orders of $G$. The prime spectrum $\pi(G)$ is the set of all primes belonging to $\omega(G)$. A simple graph $\Gamma(G)$ whose vertex set is $\pi(G)$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if $rs \in \omega(G)$ is called the Gruenberg-Kegel graph or the prime graph of $G$.

Group Theory,Combinatorics
Subgroups of bounded rank in hyperbolic 3‐manifold groups

Ian Biringer

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

IF: 1.036

2024-10-22

Bulletin of the London Mathematical Society

Abstract:We prove a finiteness theorem for subgroups of bounded rank in hyperbolic 3‐manifold groups. As a consequence, we show that every bounded rank covering tower of closed hyperbolic 3‐manifolds is a tower of finite covers associated to a fibration over a 1‐orbifold.

mathematics
Graphs in the 3-Sphere with Maximum Symmetry

Chao Wang,Shicheng Wang,Yimu Zhang,Bruno Zimmermann

DOI: https://doi.org/10.1007/s00454-017-9952-1

2015-01-01

Abstract:We consider the orientation-preserving actions of finite groups G on pairs (S^3, Γ ) , where Γ is a connected graph of genus g>1 , embedded in S^3 . For each g we give the maximum order m_g of such G acting on (S^3, Γ ) for all such Γ⊂ S^3 . Indeed we will classify all graphs Γ⊂ S^3 which realize these m_g in different levels: as abstract graphs and as spatial graphs, as well as their group actions. Such maximum orders without the condition “orientation-preserving” are also addressed.
On distance-regular graphs G of diameter 3 for which G??????3 is a triangle-free graph

Aleksandr A. Makhnev,Wenbin Guo

DOI: https://doi.org/10.1515/dma-2023-0018

2023-01-01

Discrete Mathematics and Applications

Abstract:There exist well-known distance-regular graphs G of diameter 3 for which G(3) is a triangle-free graph. An example is given by the Johnson graph 1(8, 3) with the intersection array {15, 8, 3; 1, 4, 9}. The paper is concerned with the problem of the existence of distance-regular graphs G with the intersection arrays {78, 50, 9; 1, 15, 60} and {174, 110, 18; 1, 30, 132} for which G(3) is a triangle-free graph.
On Orbital Regular Graphs and Frobenius Graphs

XG Fang,CH Li,CE Praeger

DOI: https://doi.org/10.1016/s0012-365x(97)00148-9

IF: 0.961

1998-01-01

Discrete Mathematics

Abstract:A graph is called a Frobenius graph if it is a connected orbital graph of a Frobenius group. In this paper, we show first that almost all orbital regular graphs are Frobenius graphs. Then we give a description of Frobenius graphs in terms of a family of (usually smaller) Frobenius graphs which are Cayley graphs for elementary abelian groups. Finally, based on this description, we obtain a formula for calculating the edge-forwarding index of Frobenius graphs.
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
On subgroups with narrow Schreier graphs

Pénélope Azuelos

2024-08-26

Abstract:We study finitely generated pairs of groups $H \leq G$ such that the Schreier graph of $H$ has at least two ends and is \emph{narrow}. Examples of narrow Schreier graphs include those that are quasi-isometric to finitely ended trees or have linear growth. Under this hypothesis, we show that $H$ is a virtual fiber subgroup if and only if $G$ contains infinitely many double cosets of $H$. Along the way, we prove that if a group acts essentially on a finite dimensional CAT(0) cube complex with no facing triples then it virtually surjects onto the integers with kernel commensurable to a hyperplane stabiliser.

Group Theory
On distance-regular graphs Γ of diameter 3 for which Γ 3 is a triangle-free graph

А. А. Махнев,Wenbin Guo

DOI: https://doi.org/10.1515/dma-2023-0018

2023-01-01

Discrete Mathematics and Applications

Abstract:Abstract There exist well-known distance-regular graphs Γ of diameter 3 for which Γ 3 is a triangle-free graph. An example is given by the Johnson graph J (8, 3) with the intersection array {15, 8, 3;1, 4, 9}. The paper is concerned with the problem of the existence of distance-regular graphs Γ with the intersection arrays {78, 50, 9;1, 15, 60} and {174, 110, 18;1, 30, 132} for which Γ 3 is a triangle-free graph.

On Frobenius graphs of diameter 3 for finite groups

On the structure of the character degree graphs having diameter three

On the diameter of intersection graphs of finite groups

Normal subgroups whose conjugacy class graph has diameter three

Generalized Borsuk Graphs

Groups whose common divisor graph on $p$-regular classes has diameter three

Finite Groups Whose Prime Graphs Do Not Contain Triangles. III

Krein Parameters and Antipodal Tight Graphs with Diameter 3 and 4

Subgroups of bounded rank in hyperbolic 3-manifold groups

Classifying prime graphs of finite groups -- a methodical approach

On the Diameter of Undirected Cayley Graphs of Finite Abelian Groups

On bipartite graphs of diameter 3 and defect 2

Finite 4-Primary Groups with Disconnected Gruenberg–Kegel Graph Containing a Triangle

On combinatorial properties of Gruenberg--Kegel graphs of finite groups

Subgroups of bounded rank in hyperbolic 3‐manifold groups

Graphs in the 3-Sphere with Maximum Symmetry

On distance-regular graphs <i>G</i> of diameter 3 for which <i>G??????<sub>3</sub></i> is a triangle-free graph

On Orbital Regular Graphs and Frobenius Graphs

Characterization of commuting graphs of finite groups having small genus

On subgroups with narrow Schreier graphs

On distance-regular graphs <i>Γ</i> of diameter 3 for which <i>Γ</i> <sub>3</sub> is a triangle-free graph