Let G be a finite group, and let cs(G) denote the set of sizes of the conjugacy classes of G. The prime graph built on cs(G), that we denote by Δ(G), is the (simple undirected) graph whose vertices are the prime divisors of the numbers in cs(G), and two distinct vertices p, q are adjacent if and only if pq divides some number in cs(G). A rephrasing of the main theorem in [8] is that the complement Δ‾(G) of the graph Δ(G) does not contain any cycle of length 3. In this paper we generalize this result, showing that Δ‾(G) does not contain any cycle of odd length, i.e., it is a bipartite graph. In other words, the vertex set V(G) of Δ(G) is covered by two subsets, each inducing a complete subgraph (a clique). As an immediate consequence, setting ω(G) to be the maximum size of a clique in Δ(G), the inequality |V(G)|≤2ω(G) holds for every finite group G.
The prime graph on class sizes of a finite group has a bipartite complement / Dolfi S.; Pacifici E.; Sanus L.; Sotomayor V.. - In: JOURNAL OF ALGEBRA. - ISSN 0021-8693. - STAMPA. - 542:(2020), pp. 35-42. [10.1016/j.jalgebra.2019.09.022]
The prime graph on class sizes of a finite group has a bipartite complement
Dolfi S.;Pacifici E.;
2020
Abstract
Let G be a finite group, and let cs(G) denote the set of sizes of the conjugacy classes of G. The prime graph built on cs(G), that we denote by Δ(G), is the (simple undirected) graph whose vertices are the prime divisors of the numbers in cs(G), and two distinct vertices p, q are adjacent if and only if pq divides some number in cs(G). A rephrasing of the main theorem in [8] is that the complement Δ‾(G) of the graph Δ(G) does not contain any cycle of length 3. In this paper we generalize this result, showing that Δ‾(G) does not contain any cycle of odd length, i.e., it is a bipartite graph. In other words, the vertex set V(G) of Δ(G) is covered by two subsets, each inducing a complete subgraph (a clique). As an immediate consequence, setting ω(G) to be the maximum size of a clique in Δ(G), the inequality |V(G)|≤2ω(G) holds for every finite group G.File | Dimensione | Formato | |
---|---|---|---|
BipartiteConjugacyGraph.pdf
Accesso chiuso
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
291.9 kB
Formato
Adobe PDF
|
291.9 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.