Galois Version of the Itô–Michler Theorem

• The theorem refines classical character criteria by replacing the universal condition with a Galois-invariant requirement on irreducible characters.
• It leverages advanced block theory, cohomological methods, and Clifford theory to deduce structural properties of Sylow p-subgroups.
• Applications include establishing abelianness and direct product decompositions in finite groups through precise Galois action analysis.

The Galois version of the Itô–Michler theorem constitutes a major refinement of two central results in local–global character theory: the classical Itô–Michler theorem and Brauer's Height Zero Conjecture. It replaces a universal character-degree condition by a Galois-invariant one, thereby drastically weakening the requirements for strong structural conclusions about Sylow $p$-subgroups. Specifically, it identifies finite group structural properties from data involving only those irreducible characters fixed by a precise group of Galois automorphisms. The formulation and proof leverage deep block-theoretic, cohomological, and character-theoretic methods, and have substantial implications for the landscape of local–global conjectures in finite group theory (Malle et al., 2022, Moretó et al., 23 Nov 2025).

1. Classical Framework and Galois Extensions

The classical Itô–Michler theorem asserts: for a finite group $G$ and a prime $p$, the following are equivalent—

1. Every irreducible complex character of $G$ has degree prime to $p$;
2. The Sylow $p$-subgroup $P$ is normal and abelian in $G$.

This theorem provides a bridge between global character degree information and local Sylow subgroup structure. It is used, for instance, to deduce direct product decompositions $G=O_{p'}(G)\times P$ by examining divisibility of character degrees (Malle et al., 2022).

The Galois extension of the Itô–Michler theorem replaces the global requirement on all irreducible characters with a restriction solely on those characters invariant under a specified subgroup of Galois automorphisms. This generalization intersects fundamentally with block theory and Galois actions, deeply involving the theory of field automorphisms on character values (Malle et al., 2022, Moretó et al., 23 Nov 2025).

2. Technical Background: Blocks, Heights, and Galois Actions

For a finite group $G$ and prime $G$0, the set $G$1 of irreducible complex characters decomposes according to the block structure of the group algebra. The principal $G$2-block $G$3 is the unique block whose defect group is a Sylow $G$4-subgroup of $G$5. A character $G$6 has height zero exactly when $G$7 is not divisible by $G$8 ($G$9).

Galois automorphisms act on character values: if $p$0, then

$p$1

For a subgroup $p$2 of automorphisms of order $p$3 fixing all $p$4-power roots of unity, the set of $p$5-invariant irreducible characters is defined by

$p$6

A key special case for $p$7 employs the automorphism $p$8 that fixes all $p$9-power roots of unity and conjugates odd-order roots of unity. The set of $G$0-invariant irreducible characters is denoted $G$1 (Malle et al., 2022, Moretó et al., 23 Nov 2025).

3. Statement and Structural Description of the Galois Itô–Michler Theorem

The main structural result (Theorem B of (Moretó et al., 23 Nov 2025)) is:

Galois Itô–Michler Theorem (Moretó–Rizo–Souza):

Let $G$2 be finite and $G$3 any prime. If

$G$4

(i.e., every $G$5-invariant irreducible character of $G$6 has degree prime to $G$7), then

$G$8

where $G$9 satisfies:

• $p$0 is solvable;
• $p$1, a direct product of non-abelian simple groups of order divisible by $p$2, each with no $p$3-invariant character of $p$4-power degree in its principal $p$5-block (Moretó et al., 23 Nov 2025).

For $p$6, with $p$7 as above, the theorem specializes: if every $p$8-invariant irreducible character has odd degree, then the Sylow $p$9-subgroup is normal and abelian (Malle et al., 2022).

4. Brauer’s Height Zero Conjecture and Galois-Driven Strengthening

Brauer’s Height Zero Conjecture (in its principal block form) states that all irreducible characters in the principal $p$0-block have degree prime to $p$1 if and only if the Sylow $p$2-subgroups are abelian.

The Galois version, established as Theorem A in (Moretó et al., 23 Nov 2025), asserts: if every $p$3-invariant character $p$4 in $p$5 has $p$6, then the Sylow $p$7-subgroups are abelian. This reduces the verification from all irreducibles to a restricted class of Galois-invariant ones.

A direct consequence is that it suffices to check the coprime degree condition only on the set of rational (fixed by all automorphisms) characters to guarantee abelianness of the Sylow $p$8-subgroup.

5. Proof Strategy and Critical Technical Tools

The proof leverages several mechanisms:

• Reduction to a finite group of automorphisms $p$9: For a finite $P$0, the infinite group $P$1 acts via a finite quotient $P$2 of order $P$3, so invariance under $P$4 reduces to invariance under $P$5.
• Minimal counterexample and Clifford theory: Minimal counterexample induction reduces the group structure to $P$6, $P$7, with unique principal $P$8-block.
• Analysis by minimal normal subgroup $P$9: The cases $G$0 non-abelian simple, $G$1 cyclic of order $G$2, or $G$3 elementary abelian $G$4-group are handled via Clifford theory and known classifications of $G$5-exceptional groups.
• Block-theoretic correspondences: The proof uses the Third Main Theorem of Brauer for relations between principal blocks in normal subgroups and quotients, and the Clifford–Alperin–Dade correspondence to lift properties through extensions.
• CFSG-dependent theorems: In cases involving elementary abelian $G$6-groups, the proof relies on the classification of primitive $G$7-exceptional linear and permutation groups by Giudici–Liebeck–Praeger–Saxl–Tiep.

Technical consequences are drawn using the structure of principal blocks, the lifting of Galois-invariant characters to $G$8, and the construction of non-linear $G$9-invariant characters in each minimal normal subgroup case (Malle et al., 2022, Moretó et al., 23 Nov 2025).

6. Corollaries, Examples, and Applications

Key consequences and illustrative cases include:

• For $G=O_{p'}(G)\times P$0 symmetric group $G=O_{p'}(G)\times P$1 and odd prime $G=O_{p'}(G)\times P$2 dividing $G=O_{p'}(G)\times P$3, $G=O_{p'}(G)\times P$4 contains the natural permutation character of degree $G=O_{p'}(G)\times P$5, divisible by $G=O_{p'}(G)\times P$6. The Galois–Itô–Michler hypothesis fails exactly when the Sylow $G=O_{p'}(G)\times P$7-subgroup is non-abelian.
• For $G=O_{p'}(G)\times P$8-solvable $G=O_{p'}(G)\times P$9 with $G$0, $G$1.
• For odd $G$2, a parallel characterization of $G$3-closed groups is given via $G$4-rational irreducible characters with Brauer lifts (Malle et al., 2022).

These results translate global–local character degree conditions under Galois invariance into precise statements about group structure, refining and generalizing prior formulations.

7. Impact and Prospects for Generalization

The Galois version of the Itô–Michler theorem demonstrates that requiring only the Galois-invariant characters to have $G$5-degree is sufficient to recover, up to explicit simple group obstruction, the conclusions of the original theorem. This defines a new, sharply reduced locus of character data from which local group-theoretic information may be extracted.

Future directions include:

• Extending results from the principal block to arbitrary $G$6-blocks.
• Considering broader classes of Galois automorphism groups (e.g., of order dividing specified primes).
• Applying Galois Itô–Michler techniques in the context of other local–global conjectures, such as the Alperin–McKay conjecture.

The synthesis of Galois-theoretic, block-theoretic, and character-theoretic arguments in the Galois Itô–Michler theorem creates new pathways for the study and resolution of longstanding problems in finite group theory (Moretó et al., 23 Nov 2025, Malle et al., 2022).

---

Key Papers

Title	Authors	arXiv ID
Height Zero Conjecture with Galois Automorphisms	Malle, Navarro	(Malle et al., 2022)
Height zero characters and Galois automorphisms	Moretó, Rizo, Souza	(Moretó et al., 23 Nov 2025)