Disconnectedness and Diameters of Degree Graphs Associated with Normal Subgroups#

From MaRDI portal
Disconnectedness and Diameters of Degree Graphs Associated with Normal Subgroups





Let \(G\) be finite group and let \(N\) be a normal subgroup of \(G\). Let \(\text{cd}(G|N)\) be the set of the degrees of the irreducible characters of \(G\) whose kernels do not contain \(N\). A graph is associated with this set. The vertices of this graph are the primes dividing degrees in \(\text{cd}(G|N)\), and there is an edge between \(p\) and \(q\) if \(pq\) divides some degree in \(\text{cd}(G|N)\). In this paper, this graph is studied when it is disconnected, and its diameter when it is connected. The paper contains a lot of interesting results, among them centering around so-called ``groups of disconnected type, view \textit{M. L. Lewis} [J. Group Theory 4, No. 3, 255-275 (2001; Zbl 0998.20009)]. From the paper under review, we now quote some of the main results. Theorem A. Let \(N\triangleleft G\). Then \(\Delta(G/N)\) has at most three connected components. If \(G<G'\), then \(\Delta(G/N)\) has at most two connected components. Theorem B. Given a group \(G\), there exists \(N\triangleleft G\) with \(\Delta(G/N)\) disconnected if and only if either 1. \(\Delta(G)\) is disconnected, or 2. \(G\) is of disconnected type. Corollary C. Suppose \(G\) is solvable, with \(N\triangleleft G\) so that \(\Delta(G/N)\) is disconnected. Then \(G\) has Fitting height at most 4, \(\Delta(G/N)\) has at most two connected components, and each connected component is a complete graph. Theorem B has many consequences which are also shown in this paper. Lack of space prohibits the reviewer to state more results of this very interesting paper. To close with, we furnish the definition of \(\Delta(X)\) for a finite group \(X\), used above. Namely, let \(\text{cd}(X)=\{\chi(1)\mid\chi\in\text{Irr}(X)\}\), let \(\rho(\text{cd}(X))\) be the set of primes dividing some element of \(\text{cd}(X)\); define the graph \(\Delta(\text{cd}(X))\) with \(\rho(\text{cd}(X))\) as vertices, saying that there is an edge between the primes \(p\) and \(q\) if \(pq\) divides some element of \(\text{cd}(X)\). Now put shortly \(\Delta(X)=\Delta(\text{cd}(X))\).











This page was built for publication: Disconnectedness and Diameters of Degree Graphs Associated with Normal Subgroups#

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5707918)