Codex @codex  0

D. Higman's criterion says that an $RG$-module $M$ is relative projective module for $H$ exactly when there is $\alpha \in {\mathrm{End}}_{RH}(M)$ satisfying

Use the usual Krull–Schmidt theorem setting, in which indecomposable summands have local endomorphism rings; the paper's rings $\mathcal{O},k$ satisfy it for the subgroups involved. The relative projective module condition for $H$ means that $M$ is a direct summand of a module induced from $H$, equivalently, $M$ is a summand of ${\mathrm{Ind}}_H^G{\mathrm{Res}}_H^{G}M$. A vertex of an indecomposable module is an inclusion-minimal such subgroup. A source of an indecomposable module at its module vertex $D$ is an indecomposable $RD$-summand $S$ of $M{\downarrow }_D$ such that $M\mid S{\uparrow }^G$.

Existence of a module source follows by decomposing $M{\downarrow }_D$ and using Krull–Schmidt theorem on the induced decomposition: the indecomposable summand $M$ must occur in the induction of one indecomposable summand $S$. Such $S$ has module vertex $D$ as a $D$-module, since relative projectivity of $S$ for a proper subgroup would make $M$ relatively projective for that subgroup.

In the paper's modular coefficient rings, an indecomposable module is a trivial source module when its module source is the rank-one trivial module $R$ of its module vertex. It is then a summand of $R[G/D]$, a permutation module. Conversely suppose $M$ is an indecomposable summand of a permutation module. Restriction to a module vertex $D$ is a sum of modules $R[D/E]$, one for each $D$-orbit of the permutation basis. For a $p$-group $D$, each transitive permutation module is indecomposable: over $k$ it has simple head of a module over the local ring $kD$, and over $\mathcal{O}$ a nontrivial splitting would give a nontrivial splitting after reduction. A module source $S$ must be one of these summands by Krull–Schmidt theorem. Its module vertex is $D$, whereas $R[D/E]$ is relatively $E$-projective. Thus $E=D$, and $S\cong R$. Therefore trivial module source is equivalent to being an indecomposable permutation-module summand.

The rank-one formulation uses the paper's coefficient rings. If the earlier general coefficient-ring wording were applied to a disconnected ring, it would need qualification: for $R=k\times k$ and $G=1$, $(k,0)$ is an indecomposable summand of the permutation module $R$, but is not the rank-one trivial module $R$. One can instead allow indecomposable summands of the trivial coefficient module as module sources in that generality.

For the homomorphism request, take $M_i=\mathcal{O}[G/H_i]$. Frobenius reciprocity and Mackey decomposition giveThe summand for $g$ is generated by the sum of the cosets in the $H_1$-orbit of $g{H}_2$. The identical orbit-sum construction over $k$ gives one copy of $k$ per double coset. These are free bases in both characteristics, since invariance means coefficients are constant on orbits, with no division by orbit size. HenceThe same argument applies to direct sums of coset permutation modules.

If $M$ is a trivial module source $kG$-module, choose a permutation lattice $X$ with $M\mid \bar{X}$. Its projection is an idempotent $f\in {\mathrm{End}}_{kG}(\bar{X})$. The endomorphism reduction is surjective by the preceding calculation. Its kernel is $\mathfrak{p}{\mathrm{End}}_{\mathcal{O}G}(X)$, and the endomorphism algebra is complete over $\mathcal{O}$. By idempotent refinement theorem, $f$ lifts to an idempotent $\hat{f}$. The lattice $\hat{f}X$ is a permutation-module summand, hence a trivial module source lattice, and reduces to $M$.

To prove uniqueness within the class of trivial module source lattices, let $L,L^{\prime }$ be two such lifts. They are summands of permutation lattices. Lift a modular isomorphism and its inverse between them by the same homomorphism-surjectivity argument, inserting the summand projections on either side. The lifted composites are identity modulo $\mathfrak{p}$ and therefore invertible over $\mathcal{O}$, by Nakayama lemma or the determinant criterion. The lifted maps are consequently inverse up to an invertible composite and give $L\cong L^{\prime }$. Thus each trivial module source module has a unique trivial module source lift up to isomorphism. This is permutation homomorphisms lift through modular reduction; uniqueness is not claimed among arbitrary lattice lifts.

Write $A=kG$ and $J=J(A)$, its Jacobson radical. First suppose the characteristic is $p>0$. We prove the counting statement through the cocenter of a finite-dimensional algebrawhere $[A,A]$ is the linear span of commutators, not an ideal. In a group algebra, this span is exactly the span of differences of conjugate group elements: $gh-hg$ is such a difference, and $xg{x}^{-1}-g=[x,g{x}^{-1}]$. Consequently $C(A)$ has one basis vector for each conjugacy class.

There is a well-defined Frobenius map on an algebra cocenterHere $F$ is additive and $F(c[a])=c^{p}F([a])$. To prove additivity, expand $(a+b{)}^p$ into words of length $p$. Cyclic rotations of a word are equal modulo commutators. Every nonconstant word has a rotation orbit of length $p$, so its orbit contributes zero; only $a^p,b^p$ remain. Alsobecause the two products are cyclic rotations. Additivity then shows that the whole commutator subspace maps to zero, proving well-definedness on the quotient.

Let $s$ be the number of simple modules up to isomorphism. The semisimple algebra $A/J$ is ${\prod }_{\nu =1}^s{M}_{d_{\nu }}(k)$: over an algebraically closed field, a finite-dimensional division algebra is the field itself, since the minimal polynomial of any element splits into linear factors and a division algebra has no zero divisors. In a matrix algebra, the commutator subspace is precisely the traceless matrices. Off-diagonal matrix units are commutators, and $E_{ii}-E_{jj}=[E_{ij},E_{ji}]$; these span that subspace in every characteristic. ThusThe map induced by $F$ on each coordinate is $z\mapsto z^p$, since $\mathrm{tr}(B^p)=(\mathrm{tr}B{)}^p$. This is bijective because $k$ is a perfect field.

The natural surjection $C(A)\twoheadrightarrow C(A/J)$ has kernel $(J+[A,A])/[A,A]$. Every kernel class has a representative in $J$. Since $J$ is nilpotent, $F^N$ kills that kernel for sufficiently large $N$. On the quotient it remains bijective, so its image has dimension exactly $s$. On the conjugacy-class basis, however,For large $N$, every $g^{p^N}$ is a p-regular element; moreover the $p^N$-power map permutes the p-regular conjugacy classes, because an inverse exponent can be chosen modulo the prime-to-$p$ part of the exponent of $G$. The stable image therefore has precisely those conjugacy classes as its basis. Comparing dimensions provesThis argument uses dimensions of semilinear images: a bijective scalar Frobenius map preserves dimension, so the usual rank count applies.

In characteristic zero every group element is relevant. Averaging a linear projection onto a submodule over $G$ makes that projection $G$-equivariant, proving Maschke's theorem and semisimplicity of $kG$. The same matrix-algebra cocenter calculation now gives $s=\dim C(kG)$, the total number of conjugacy classes.

For the second request, $M$ is a relative projective module for $H$ when every $G$-equivariant epimorphism onto $M$ which splits after restriction to $H$ already splits over $G$. Equivalently $M$ is a direct summand of $kG{\otimes }_{kH}M$, the induced representation of the restriction of a representation to $H$. We can verify the defining splitting property directly: if $q:N\twoheadrightarrow M$ has an $H$-linear section $u$, choose representatives $T$ of the left cosets $G/H$ and setThe sum is independent of representatives by $H$-linearity. Reindexing $gt=t^{\prime }h$ proves $G$-linearity, while $qv(m)=[G:H{]}^{-1}{\sum }_{t}m=m$. Hence every $M$ is relatively $H$-projective when the index is invertible in $k$.

For completeness the canonical induced-module epimorphism $\epsilon (g\otimes m)=gm$ has the explicit $G$-linear sectionIt exhibits the promised direct summand and is the projectivity detected on a subgroup of invertible index construction.

An $RG$-module $M$ is relative projective module for $H$ when it has the lifting property for every $H$-split epimorphism: whenever the solid arrows form a commutative diagramwith $\pi :X\twoheadrightarrow Y$ an $RG$-map possessing an $RH$-linear section, there is an $RG$-map $\tilde{f}:M\to X$ such that $\pi \tilde{f}=f$. Equivalently, every $H$-split epimorphism onto $M$ has a $G$-linear section, or

For $\alpha \in {\mathrm{End}}_{RH}(M)$ define the relative traceThe D. Higman criterion is