Itô–Michler's Theorem in Group Representations

• Itô–Michler's Theorem is a result that characterizes how the absence of a prime in irreducible character degrees relates to the abelian structure of Sylow subgroups.
• Modern extensions incorporate projective representations and cohomological techniques, generalizing the theorem to p-solvable and π-separable groups.
• The theorem’s framework enables a prime-tensor decomposition of projective modules, ensuring that trivial cocycle restrictions on subgroups prevent the appearance of certain primes.

The Itô–Michler theorem is a fundamental result characterizing the relationships between the prime divisors of irreducible character degrees of a finite group and the structural properties of its Sylow subgroups. Modern developments have extended its reach to projective representations and broader group-theoretic classes, integrating cohomological and Clifford-theoretic methods. The projective Itô–Michler theorem for $p$-solvable and $\pi$-separable groups, as completed by Bianchi and Sambonet, offers a uniform framework for understanding the interplay between group structure, projective module degrees, and the behavior of Sylow and Hall subgroups (Bianchi et al., 21 Dec 2025).

1. Classical Itô–Michler Theorem

For a finite group $G$ and a prime $p$, let $\Irr(G)$ denote the set of ordinary irreducible characters, $\Pi(n)$ the set of prime divisors of $n$, and $P$ a Sylow $p$-subgroup. The classical Itô–Michler theorem states: $p\notin \Pi(\chi) \ \forall\,\chi\in\Irr(G) \quad\Longleftrightarrow\quad P\trianglelefteq G \ \text{and} \ P \ \text{is abelian}.$ This describes a rigid correspondence between the absence of $p$ in character degrees and Sylow $p$-subgroup structure. The theorem sits within a hierarchy of "local-global" character-theoretic phenomena, such as McKay’s conjecture and Brauer’s height zero conjecture, and set the stage for projective and cohomological generalizations.

2. Projective Representations and Cohomological Setting

A projective representation of $G$ is a homomorphism $\psi\colon G\to\PGL(V)$, with possible obstruction to being linear captured by a cohomology class $c\in H^2(G,\C^\times)$ (the Schur multiplier). For any lift $\varphi:G\to \GL(V)$, the associated 2-cocycle $\alpha\in Z^2(G,\C^\times)$ represents $c$. The associated twisted group algebra $^c\!\C G$ has as simple modules the irreducible $c$-modules, denoted $\Irr(G\mid c)$, whose dimensions are called $c$-degrees. These modules and their degrees generalize the classical setting where $c=1$, and projective character theory interacts essentially with the group cohomology and the restrictions of coclasses to subgroups. Clifford theory, in its projective (Schur–Clifford) form, organizes these modules via extension and induction from normal subgroups and inertia subgroups.

3. Projective Itô–Michler Theorem for $p$-Solvable and $\pi$-Separable Groups

Let $G$ be $p$-solvable (admits a normal series with $p$- or $p'$-group factors), $P$ a Sylow $p$-subgroup, and $c\in H^2(G)$ a coclass. The main result [(Bianchi et al., 21 Dec 2025), Thm. 3.5] is:

• For every irreducible $c$-module $V$ of $G$, $p\notin\Pi(V)$ if and only if:
  1. $P$ is abelian;
  2. $c|_P$ is the trivial coclass;
  3. Every irreducible $^c\!O_{p'}(G)$-module is $P$-invariant (alternatively, every $c$-regular class of $O_{p'}(G)$ is fixed setwise by $P$).

• If $c=1$, these recover the classical assertion.

Extending further, if $G$ is $\pi$-separable (admits a normal series with factors involving only primes in $\pi$ or $\pi'$), all irreducible $c$-modules of $\pi'$-degree exist if and only if $G$ is $p$-solvable for each $p\in\pi$ and the $p$-solvable projective Itô–Michler criterions hold for each $p$. Every $\pi$-factor of $G$ is abelian and $c$ restricts trivially to Hall $\pi$-subgroups.

4. Clifford-Theoretic and Structural Mechanisms

The proofs and mechanisms employ projective Clifford theory:

• If $J=G_{c,V}$ is the projective inertia subgroup for an irreducible $c$-module $V$ of $N\lhd G$, then induced modules from $J$ to $G$ factor the possible prime divisors in the degree into contributions from $V$, from irreducible modules of $J/N$, and group index.
• Any appearance of the prime $p$ in $\dim V$ must originate from either a nontrivial action on $c$-regular classes or a nontrivial coclass on corresponding Sylow/Hall subgroups.
• The injectivity of restriction for $H^2(G)$ to cohomology of Hall subgroups implies that vanishing of new primes in all projective irreducible degrees forces $c$ to restrict trivially to the relevant subgroup.
• The Hall–Higman theorem decomposes $p$-solvable groups as $O_{p'pp'}(G)$. The "abelian-factor lemma" asserts that if $p$ does not divide degrees in a projective block, the normal $p$-factor must be abelian.
• By iterating for all primes in $\pi$, all $\pi$-factors are forced to be abelian and all Hall $\pi$-subgroup restrictions of $c$ must be trivial.

5. $\pi$-Decomposition and Tensor Factorization

A central outcome is the prime-tensor decomposition of irreducible projective modules in $\pi$-separable groups:

• For $G$ $\pi$-separable, any irreducible $c$-module $V$ can be written as

$V \cong \Ind_J^G(V_\pi \otimes V_{\pi'})$

where $J$ contains Hall $\pi$- and $\pi'$-subgroups, coclasses $c_\pi, c_{\pi'}$ satisfy $c=c_\pi c_{\pi'}$, and $V_\pi, V_{\pi'}$ are irreducible projective modules for $J$ with prescribed behavior under restriction to the relevant Hall subgroups. Dimensions decompose multiplicatively, and the prime content of degrees aligns with the index and the tensor factors. This factorization generalizes Schur’s tensor trick in the presence of abelian normal Hall subgroups.

6. Connections to Sylow and Hall Subgroups

The following relationships are established:

• For irreducible projective $c$-modules of $\pi'$-degree, the inertia subgroup in the Clifford-theoretic construction always contains a Hall $\pi$-subgroup.
• In $p$-solvable groups, the Sylow $p$-subgroup is contained in the projective inertia subgroup of every irreducible $c$-module of $O_{p'}(G)$; abelianity forces normality in the classical (untwisted) case.
• Conversely, when $P$ is abelian, $c|_P=1$, and $P$ acts trivially on all $c$-modules of $O_{p'}(G)$, no new $p$ survives in any irreducible $c$-degree.

7. Examples and Special Cases

The generalized theorem subsumes several prominent cases:

• Ordinary Itô–Michler: For $c=1$, the classical result is obtained, with the $P$-invariance condition translating to normality and centralization criteria that recover $P\trianglelefteq G$ and abelianity.
• Nontrivial cocycle of $p'$-order: If $c$ has order prime to $p$ and no projective irreducible degree is divisible by $p$, then $P$ is abelian, $c|_P=1$, and $P$ is in the inertia of all irreducible $c$-modules, so $c$ must be cohomologically trivial on $P$.
• $\pi$-separable groups with $\pi=\{2,3\}$: Knowing all irreducible projective representations have odd degree forces all $2$- and $3$-factors abelian and $c$ trivial on corresponding Hall subgroups.

The projective Itô–Michler theorem for $p$-solvable and $\pi$-separable groups thus frames the extent to which the prime divisors of projective irreducible degrees are dictated by the abelianity and cohomology of Sylow and Hall subgroups, establishing prime-tensor decompositions and a coherent Clifford-theoretic narrative for their structure (Bianchi et al., 21 Dec 2025).