Definable Maschke's Theorem

• Definable Maschke's theorem is a generalization of the classical result, applying model-theoretic connectedness and dimension to definable groups and modules.
• It establishes the vanishing of first group cohomology (H¹ = 0) and an explicit decomposition of p-elementary, definably connected modules into irreducible components.
• The proof leverages inductive arguments via the inflation–restriction sequence and a definable analogue of Schur's lemma, mirroring classical linear algebra techniques.

A definable version of Maschke’s theorem extends classical module-theoretic decomposition results to the context of groups and modules definable within finite-dimensional first-order theories. This generalization incorporates model-theoretic notions such as definable connectedness, model-theoretic dimension, and definability constraints on group actions and modules. The theorem establishes a vanishing result for first group cohomology and an explicit decomposition of definable modules into irreducible components under certain conditions, mirroring the structural consequences of the original Maschke theorem for finite groups, yet with definability replacing finiteness and prime-to-index criteria (Zamour, 7 Nov 2025).

1. Foundations: Finite-Dimensional Theories and Definable Modules

The context is a complete first-order theory $T$ equipped with a dimension function $\dim$ assigning values in $\mathbb{N}$ to all parameter-definable sets. The dimension function satisfies:

• Invariance: If $a \equiv a'$, then $\dim(\varphi(x,a)) = \dim(\varphi(x,a'))$.
• Finiteness: $\dim(X) = 0$ if and only if $X$ is finite.
• Union: $\dim(X \cup Y) = \max\{\dim X, \dim Y\}$.
• Fibration: For a definable $f:X\to Y$ with all fibers of dimension $\geq d$, we have $\dim X \geq \dim Y + d$.

A group $G$ definable in $T$ is called definably connected if it has no proper definable subgroup of finite index. The notation finite-dimensional${}^{\mathrm{o}}$ indicates that every definable group in $T$ has a smallest definable subgroup of finite index ("definable connected component").

A definable $G$-module $A$ is a definable abelian group with a definable action $G \times A \to A$ (equivalently, a definable homomorphism $\rho:G \to \mathrm{Aut}_{\mathrm{def}}(A)$). $A$ is p-elementary if $p\cdot A = \{0\}$ and p-torsion-free if $A$ contains no elements of order $p$ except the identity. A definable abelian group is connected if it has no proper definable subgroup of finite index.

2. Group Cohomology in the Definable Category

Given a definable $G$-module $A$, group cohomology is defined via definable cochains:

$$C^n(G,A) = \{\text{definable functions } G^n \to A\}$$

with the standard differentials. The cohomology groups $H^n(G,A) = \ker d^n / \operatorname{im} d^{n-1}$ are again definable abelian groups.

For low degrees:

• $$H^0(G,A) = A^G = \{ a \in A : g \cdot a = a \ \forall g \in G \}$$
• $H^1(G,A)$ is the group of definable derivations modulo inner derivations:

$$H^1(G,A) = \operatorname{Der}(G,A)/\operatorname{IDer}(G,A)$$

where $$\operatorname{Der}(G,A) = \{f:G\to A: f(gh)=g\cdot f(h)+f(g)\}$$ and $$\operatorname{IDer}(G,A) = \{f_a : g\mapsto g\cdot a - a \mid a\in A\}$$.

Short exact sequences of definable $G$-modules

$0 \to A \to B \to C \to 0$

induce the standard long exact sequence in cohomology. If $H \triangleleft G$ is definable, the inflation–restriction exact sequence holds at $n=1$: $$0 \to H^1(G/H, A^H) \xrightarrow{\operatorname{inf}} H^1(G,A) \xrightarrow{\operatorname{res}} H^1(H,A)$$

3. Statement and Proof Structure of the Definable Maschke Theorem

The theorem is formulated for the following data:

• $T$ a finite-dimensional${}^{\mathrm{o}}$ theory,
• $T$ a definably connected abelian group without $p$-torsion,
• $A$ a definably connected $T$-module, which is $p$-elementary,
• $A^T = 0$.

Then

$H^1(T,A) = 0$

and

$A = A_1 \oplus \cdots \oplus A_r$

where each $A_i$ is a definable connected $T$-submodule and $T$-irreducible.

The vanishing $H^1(T,A)=0$ is a special case of the more general cohomological vanishing: if $G$ is a definably connected nilpotent group in a finite-dimensional${}^{o}$ theory and $A$ a definable connected $G$-module with $A^G=0$, then $H^1(G,A)=0$. The proof proceeds by induction on the nilpotency class of $G$ (reducing to the abelian case via the inflation–restriction sequence and properties of definable dimension), then applies a definable analog of Schur’s Lemma to obtain a definable skew-field structure, enabling the explicit identification of coboundaries. The general (not necessarily irreducible) case is completed by induction on the module length using the long exact sequence in cohomology.

The inflation–restriction sequence for $n=1$,

$$0\longrightarrow H^1(G/Z(G),A^{Z(G)}) \xrightarrow{\operatorname{inf}} H^1(G,A) \xrightarrow{\operatorname{res}} H^1(Z(G),A)^{G/Z(G)}$$

allows handling the situation recursively: either $A^{Z(G)}=A$, enabling reduction, or $A^{Z(G)}=0$, so induction applies.

4. Irreducible Decomposition and the Complementation Lemma

A central aspect is the splitting into definably connected, irreducible components. Proposition 6.1 asserts: if $V$ is a definably connected $p$-elementary abelian group and $R \subseteq \mathrm{End}_{\mathrm{def}}(V)$ is a commutative invariant subring generated by an infinite definable set, with $R^p=R$, then for any definable connected $R$-irreducible submodule $W \subset V$ with $V/W$ also $R$-irreducible, there exists a definable $R$-invariant complement to $W$ in $V$.

The proof sketches show that $R$ embeds into the definable centers of suitable skew-fields acting irreducibly on $W$ and $V/W$. By passing to the fraction field $K$ of $R$ (shown definable by dimension bounds) the module situation is linearized: $V$ becomes a finite-dimensional $K$-vector space with complementability by the machinery of standard linear algebra.

This approach, when iterated from any nonzero definable connected submodule $W\subset A$, refines $A$ to a direct sum of definably connected, $T$-irreducible submodules: $A = A_1 \oplus A_2 \oplus \cdots \oplus A_r$

5. Relationship to the Classical Maschke Theorem

The classical Maschke theorem states: if $G$ is a finite group and $V$ is a finite-dimensional $K$-representation with $|G|$ invertible in $K$, then every $G$-invariant subspace has a $G$-invariant complement, equivalently $H^1(G,V)=0$ and all short exact sequences of $G$-modules split.

The definable version parallels this structure. Both theorems hinge on $H^1$-vanishing under a "prime-to-order-type" condition ($\mathrm{char}(K)$ not dividing $|G|$ vs. $T$ without $p$-torsion, and $A$ $p$-elementary), reduction to irreducibles, and a Schur-lemma-type argument. The distinction is that the definable Maschke theorem operates in the category of definable groups and modules within a finite-dimensional first-order theory, using model-theoretic dimension arguments and a definable version of the skew-field and field extensions required for decomposition.

A summary of these aspects is given in the following table:

Classical Maschke	Definable Maschke	Key Difference
Finite group, char $\nmid |G|$	Definably connected, no $p$-torsion	Finiteness $\to$ definability
Module over a field	Definable module	Use of model-theoretic dimension
Splitting via $H^1=0$	Splitting via $H^1=0$	Definable Schur’s lemma

6. Illustrative Example and Implications

As a concrete illustration, consider $G = C_3$ (the cyclic group of order 3) viewed as a definable group in the finite theory of a 3-element set (with dimension 0). Take $A \cong (\mathbb{F}_2)^2$ and $G$ acting via the permutation matrix

$$g \mapsto \begin{pmatrix} 0 & 1 \ 1 & 1 \end{pmatrix}$$

of order 3. Here $\gcd(|G|,\operatorname{char}(\mathbb{F}_2))=1$, so the classical Maschke theorem guarantees a $G$-invariant splitting $A = W \oplus W'$ with $W,W'$ one-dimensional. The definable context interprets this as a splitting definable within the first-order structure, mirroring the classical outcome but under model-theoretic connectedness and $p$-torsion hypotheses. In the definable setting, the role of $|G|$ invertibility is played by the $p$-elementarity of $A$ and the absence of $p$-torsion in $G$.

A plausible implication is that similar decomposition results may extend to other algebraic categories (e.g., Lie algebras) under suitable definability and dimension-theoretic hypotheses. The methods could apply wherever a dimension function and an appropriate notion of definable connectedness can be formulated.

7. Broader Context and Related Work

The definable Maschke theorem aligns structurally with results such as the weak Frattini argument for definable connected Cartan subgroups and cohomological computations for nilpotent groups in finite-dimensional theories. Techniques rely on cohomology developed by Hochschild and Serre (including the inflation–restriction sequence and spectral sequences), refined with model-theoretic dimension tools.

Comparative references include the work of J. Tindzhogo Ntsiri on definable Maschke theorems in finite Morley rank, and the more general approach to definable module structures and splitting in stable structures. The vanishing results and splitting decompositions highlight the interplay between algebraic and model-theoretic structure within definable group theory, further indicating the potential for broader generalization to structures such as Lie algebras and algebraic groups (Zamour, 7 Nov 2025).