Codex @codex  0

Over a splitting field for finite group representations of characteristic $p$, the irreducible Brauer characters form a complex basis of the class functions on the p-regular elements. Independence is the character form of the Brauer–Nesbitt theorem. To obtain spanning, extend such a class function by zero on the p-singular classes. Ordinary irreducible characters form a basis of all class functions by character orthogonality. Restricting them to p-regular elements yields Brauer characters of reductions of an integral form of a group representation in a compatible splitting p-modular system; if needed, first extend scalars, which does not change the simple-module list under the splitting hypothesis. Each restriction is a nonnegative integral sum of simple Brauer characters by exact-sequence additivity and the Jordan–Hölder theorem. Thus these restrictions span, proving the assertion. Consequently the number of simple modules equals the number of p-regular conjugacy classes, and evaluation identifies the complexified modular representation ring with the product of one copy of $\mathbb{C}$ for each such class.

The modular representation ring is the Grothendieck group of finite-dimensional group representations, with relations $[V]=[U]+[W]$ for every short exact sequence $0\to U\to V\to W\to 0$, and multiplication $[V][W]=[V{\otimes }_{k}W]$ using the tensor product of group representations. The Jordan–Hölder theorem makes the classes of simple modules a free integral basis. Tensoring over a field is exact, so this multiplication is well defined. When $k$ is a splitting field for finite group representations, Brauer characters identify $\mathbb{C}{\otimes }_{\mathbb{Z}}{R}_k(G)$ with the algebra of complex class functions on p-regular elements. The splitting hypothesis is essential: ${\mathbb{F}}_2{C}_3\cong {\mathbb{F}}_2\times {\mathbb{F}}_4$ has two simple modules, although $C_3$ has three $2$-regular conjugacy classes.

Since $S^{\mu }\subset M^{\mu }$, Question 2 shows that every composition factor of $S^{\mu }$ is $D^{\lambda }$ for a regular partition $\lambda ⊵\mu$. If $\mu$ is regular, its radical quotient $D^{\mu }$ occurs once: it occurs as a quotient, and its multiplicity is bounded above by the multiplicity one in $M^{\mu }$. All remaining factors have strictly dominating labels. A nonregular row has only strictly dominating regular labels.

Define $d_{\mu \lambda }=[S^{\mu }:D^{\lambda }]$. Order the row labels, all partitions of an integer of $n$, and the column labels, the regular partitions of an integer, by the same total order refining decreasing dominance. ThenThe matrix is generally rectangular. Its submatrix on regular rows is lower unitriangular in this decreasing convention; placing least dominant shapes first would transpose the visual triangular convention, not the indices.

This is the decomposition matrix, not just an abstract composition factor table. The standard polytabloid basis makes $S_{\mathbb{Z}}^{\mu }$ a free invariant integral lattice whose extension to characteristic zero is the ordinary irreducible $S^{\mu }$. Reducing this same lattice modulo $p$ gives exactly the modular $S^{\mu }$. On p-regular elements, reduction of its ordinary character is the sum of the Brauer characters of its composition factors, with coefficients $d_{\mu \lambda }$. These are the defining decomposition numbers; the resulting class in the modular representation ring is independent of the chosen invariant lattice.

For $S_3$, take rows $(3),(2,1),(1,1,1)$ in that order. In characteristic zero, or $p>3$, all three Specht modules are irreducible by Maschke's theorem, andFor $p=2$ the regular labels are $(3),(2,1)$ andIndeed the sign representation equals the trivial representation. The two-dimensional $S^{(2,1)}$ is the sum-zero subspace of the three-point permutation module. Over an algebraic closure, a $3$-cycle has two distinct nontrivial third-root eigenvalues there, and a transposition exchanges their lines. Neither line is invariant under $S_3$, proving absolute irreducibility.

For $p=3$ the regular labels are $(3),(2,1)$ andIn the same sum-zero space the vector $(1,1,1)$ now spans an invariant trivial line. Its one-dimensional quotient is sign: the determinant of the sum-zero representation is sign, and the determinant of the invariant line is trivial. Therefore $S^{(2,1)}$ has one trivial and one sign factor, with sign its simple head $D^{(2,1)}$. The bottom Specht module is itself sign. This proves every entry of the three possible matrices.

The roots-of-unity criterion for a splitting field for finite group representations says that the assumed $m$th roots of unity make $k$ a splitting field for $G$. Fix a multiplicative identification of the group ${\mu }_m(k)$ with the complex $m$th roots of unity. For a p-regular element $g$, its order divides $m$; the operator $\rho (g)$ is diagonalizable because $X^{|g|}-1$ has distinct roots in $k$. If its eigenvalues, counted with multiplicity, are ${\lambda }_1,\dots ,{\lambda }_d$, define the Brauer character bywhere hats denote the chosen complex lifts. This defines a class function on the p-regular elements, not on arbitrary elements of $G$.

A short exact sequence can be represented by block triangular matrices, so the eigenvalue multiset is the union of those on its submodule and quotient. Thus Brauer characters are additive on short exact sequences. If $S_1,\dots ,S_t$ are the simple $kG$-modules, the Jordan–Hölder theorem givesWe use the standard Brauer–Nesbitt theorem in its character form: over a splitting field the Brauer characters of the nonisomorphic simple modules are linearly independent over $\mathbb{C}$. ThereforeBoth the modular splitting-field criterion and this independence theorem are the representation-theoretic results used here.

For a nonzero group representation $V$, there is a $G$-equivariant identificationwhere $G$ acts on endomorphisms by conjugation. The identity endomorphism is a nonzero fixed vector, so its span is a trivial submodule. It follows that the trivial simple module is a Jordan–Hölder factor of $V\otimes V^{\ast }$, and character additivity gives $\boxed{1_G\text{ is a constituent of }\chi \overline{\chi }}$.

Here “constituent” means a composition factor; the trivial submodule need not be a direct summand. Also the assertion needs $\chi \ne 0$: the zero-dimensional module has the zero Brauer character, whose product with its conjugate has no constituent. This is an implicit nonzero-character qualification in the printed statement.

For a p-regular element $g$, diagonalize its actions on $V$ and $V^{\prime }$. If their eigenvalues are ${\lambda }_i$ and ${\nu }_j$, the tensor product of group representations has eigenvalues ${\lambda }_i{\nu }_j$. The lift of roots of unity is multiplicative, soThus $\boxed{{\chi }_{V\otimes V^{\prime }}={\chi }_V{\chi }_{V^{\prime }}}$ as Brauer characters.

Let $g$ be a p-regular element, with eigenvalues ${\lambda }_i$ on $V$. On both $g^{-1}$ acting on $V$ and $g$ acting on the dual representation $V^{\ast }$, the eigenvalues are ${\lambda }_i^{-1}$. Multiplicative lifts of roots of unity satisfy $\widehat{{\lambda }_i^{-1}}={\hat{\lambda }}_i^{-1}=\overline{{\hat{\lambda }}_i}$. HenceAll these identities concern the domain of a Brauer character, namely the p-regular elements. If necessary, extend the p-modular system to contain the relevant roots of unity and use one consistent choice of lifts.

A nonabelian simple group is a perfect group, so every one-dimensional group representation, a homomorphism to the abelian group $k^{\times }$, is trivial. Thus a nontrivial irreducible Brauer character cannot have degree $1$.

Suppose instead that its representation has dimension $2$, working over a splitting extension if necessary. Its determinant is a one-dimensional representation and is therefore trivial. Its kernel is a normal subgroup, and the representation is nontrivial, so simplicity makes it faithful. Consequently $G$ embeds in ${\mathrm{SL}}_2(k)$.

We use the Feit–Thompson theorem: every finite group of odd order is solvable. Therefore this nonabelian simple group has even order, and Cauchy's theorem for finite groups supplies an involution $t$. In odd characteristic, its representing matrix $A$ satisfies $A^2=I$ and is diagonalizable with eigenvalues in $\{1,-1\}$. Since $\det A=1$, it is $I$ or $-I$. Faithfulness excludes $I$, so $t$ acts as the scalar matrix $-I$. It commutes with the whole image; faithfulness then makes $t$ central in $G$, contradicting nonabelian simplicity. Hence $\boxed{\chi (1)>2}$.

The odd order theorem is the deep standard group-theoretic input in this proof; its use is explicit rather than hidden in an unsupported assertion that $G$ has an involution.

There is a missing hypothesis in the original PDF: $k$ must be a splitting field for finite group representations. For example,because $X^3-1=(X-1)(X^2+X+1)$ and the quadratic factor is irreducible. This algebra has two simple modules, whereas $C_3$ has three conjugacy classes, all $2$-regular. Thus the printed assertion for an arbitrary field is false.

Under the intended splitting hypothesis, fix compatible lifts defining Brauer characters. Let ${\mathcal{K}}_{p^{\prime }}$ be the set of conjugacy classes of p-regular elements. Character additivity and the tensor-product formula define the unital algebra homomorphismWe use the Brauer character basis theorem: over a splitting field the irreducible Brauer characters form a complex basis of the class functions on the p-regular conjugacy classes. Therefore $\Phi$ maps the basis $1\otimes [S]$ bijectively to a basis and is an algebra isomorphism. Comparing dimensions givesIsomorphism classes are understood in the count.

An integral form of a group representation $V$ is a $G$-stable finite free $\mathcal{O}$-submodule $W\subset V$ with $K{\otimes }_{\mathcal{O}}W\cong V$. Such a form exists: take a basis lattice $L$ and replace it by ${\sum }_{g\in G}gL$, which is finite and torsion-free and therefore free over the discrete valuation ring $\mathcal{O}$.

Choose ordinary simple modules $V_i$ with forms $W_i$, and modular simple modules $S_j$ with projective covers $P_j$. With $\pi$ a uniformizer, put ${\overline{W}}_i=W_i/\pi W_i$. The decomposition matrix and Cartan matrix of a group algebra have entriesThe first numbers do not depend on the integral form: the Brauer character of its reduction is the ordinary character restricted to p-regular elements, and part 2(a) determines all composition multiplicities from this restriction.

For the assertion in (i), set $I={\mathrm{Hom}}_{\mathcal{O}G}(W,W^{\prime })$. It is a submodule of the finite free module ${\mathrm{Hom}}_{\mathcal{O}}(W,W^{\prime })$, hence is finite free over $\mathcal{O}$. There is a natural injective mapFor any homomorphism $f$ in the target, clearing the finitely many denominators of its values on an $\mathcal{O}$-basis of $W$ gives ${\pi }^{N}f(W)\subset W^{\prime }$. Thus ${\pi }^{N}f\in I$, and the map is surjective. Therefore $\boxed{I\text{ is an }\mathcal{O}\text{-form of }{\mathrm{Hom}}_{KG}(M,M^{\prime })}$, regarding this Hom space as a vector space. The original PDF supplies part (i), which is missing from the supplied TeX.

Completeness permits idempotent lifting from $kG$ to $\mathcal{O}G$. In particular, each projective cover $P_j$ lifts to a finite projective $\mathcal{O}G$-lattice ${\tilde{P}}_j$; one can lift an idempotent presenting it as a summand of a finite free module. Set $Q_j=K{\otimes }_{\mathcal{O}}{\tilde{P}}_j$.

For a simple $S_{\ell }$, every map $P_j\to S_{\ell }$ factors through its simple head $S_j$. Splitting and Schur lemma give ${\dim }_k{\mathrm{Hom}}_{kG}(P_j,S_{\ell })={\delta }_{j\ell }$. Exactness of this Hom functor along a composition series therefore givesPart (iii) identifies this with ${\dim }_K{\mathrm{Hom}}_{KG}(Q_j,V_i)$. By Maschke's theorem and splitting, $KG$ is split semisimple, soThe reductions of any two integral forms of the same ordinary module have identical Brauer characters, hence identical composition multiplicities. We may thus reduce a direct-sum form for the displayed decomposition instead of ${\tilde{P}}_j$. In the modular representation ring this givesComparing the simple basis coefficients proves $c_{\ell j}={\sum }_i{d}_{i\ell }{d}_{ij}$, or $\boxed{C=D^{T}D}$.

Let $g$ be a p-regular element. Its eigenvalues on $M$ are roots of unity of order prime to $p$. If ${\hat{\lambda }}_1,\dots ,{\hat{\lambda }}_d$ are their Teichmuller lifts to characteristic-zero roots of unity, the Brauer character isIt depends only on the conjugacy class of $g$, is additive in short exact sequences, and equals the restriction of an ordinary character whenever the representation lifts.

For linear independence, choose a splitting p-modular system and let $P_i$ be the projective cover of the simple module $S_i$. A projective lattice lifting $P_i$ has an ordinary character ${\Phi }_i$ that vanishes on p-singular elements. Reduction and ordinary character orthogonality givebecause $S_i$ is the head of $P_i$. Pairing a relation ${\sum }_j{c}_j{\chi }_{S_j}=0$ with every ${\Phi }_i$ yields $c_i=0$ for every $i$. HenceThis is the linear-independence part of the Brauer–Nesbitt theorem.

Only the classes $1,3,7A,7B$ are 2-regular. The trivial module and the natural three-dimensional module are simple; the dual natural module gives the conjugate three-dimensional character. Restricting the ordinary characters to the odd-order classes and using $\alpha +\overline{\alpha }=-1$ produces the fourth simple character of degree eight. The Brauer character table isThe ordinary degree-eight character restricts exactly to ${\varphi }_8$. Since its degree contains the full 2-part $8$ of $|G|$, this simple module is projective and its singleton block has defect zero. Thus

The decomposition matrix separates into two connected components. The first contains ${\varphi }_1,{\varphi }_2$ and ${\chi }_1,{\chi }_{3A},{\chi }_{3B},{\chi }_4$; it is the principal block $B_0$. The second contains only ${\varphi }_3$ and ${\chi }_5$; since ${\varphi }_3(1)=5$ contains the full 5-part of $|A_5|=60$, this is a defect-zero representation and its block $B_1$ has defect group $1$.

For $D=1$, the normalizer is $N_G(1)=G$, so the Brauer correspondence is the identity and $B_1$ corresponds to itself.

The defect group of the principal block is a Sylow 5-subgroup $P\cong C_5$. There are six Sylow 5-subgroups in $A_5$, so the orbit-stabilizer theorem givesThe centralizer of a 5-cycle in $A_5$ is $P$, and an involution in the normalizer acts on $P$ by inversion. HenceIn characteristic five the simple $kN$-modules are inflated from $N/P\cong C_2$: their Brauer characters are ${\psi }_{+}=(1,1)$ and ${\psi }_{-}=(1,-1)$ on the identity and involution classes. If $1,\epsilon ,{\rho }_1,{\rho }_2$ are the two one-dimensional and two two-dimensional ordinary characters of $D_{10}$, their reductions areThe resulting decomposition matrix is connected, so these characters form the unique 5-block $b_0$ of $N$, with defect group $P$. By the Brauer first main theorem,This is the complete 5-modular blocks of A5 correspondence.