How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Brauer Characters and Decomposition Matrices - Examples
1 · Prerequisites
- Binary Operations, Monoids, Groups and Subgroups
- Brauer Characters and Decomposition Matrices
- Chain Conditions, Semisimple Modules and the Wedderburn–Artin Theorem
- Characters and the Orthogonality Relations
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Finite Counting, Factorials and Binomial Coefficients
- Foundations of the Real Numbers for Analysis
- Free Modules, Exact Sequences, Projective and Injective Modules
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Inverse Limits and Noetherian Completion
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Maschke's Theorem, Complete Reducibility and the Structure of k[G]
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Modular Representations and Projective Covers
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Polynomial Rings, the Division Algorithm and Roots
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Simple Field Extensions and the Construction of the Complex Numbers
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tensor Products of Modules
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Group Algebra and Representations of Finite Groups
- The ZFC Axioms and the Basic Set Constructions
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Valuation Rings and Discrete Valuation Rings
- Vector Spaces, Linear Subspaces, Span and Direct Sums
2 · Summary
These examples keep the page concrete: a -group, the -modular character table of , the resulting decomposition and Cartan matrices, a one-row block, and a direct witness that ordinary traces on -singular elements are not Brauer-character values.
3 · Logical flowchart
4 · Definitions, theorems and proofs
None yet.
5 · Examples, counterexamples and false statements
Brauer characters of a p-group
Example
Let be a finite -group over a splitting field of characteristic . Then , every Brauer character is determined by its value at , and the unique irreducible Brauer character is the trivial character.
Facts & Assumptions
Given: A finite -group .
Brauer characters are defined on the -regular elements (Brauer character of a finite-dimensional kG-module).
Irreducible Brauer characters form a basis of class functions on (Irreducible Brauer characters form a basis of the p-regular class functions).
A finite -group has only the trivial simple module in characteristic (A finite p-group has only the trivial simple module over a field of characteristic p).
Verification
If is -regular, then divides the order of the -group and is also coprime to , so . Thus .
By [L2], the only simple -module is the trivial one, so the only irreducible Brauer character is the trivial character. Then [L1] is consistent with step 1.1 because the class-function space on the one-point set is one-dimensional.
For any finite-dimensional -module , the Brauer character is therefore determined by .
The p-regular classes of S3
Example
For , the -regular conjugacy classes are the identity class and the class of -cycles, while the -regular conjugacy classes are the identity class and the class of transpositions.
Facts & Assumptions
Given: The symmetric group .
An element is -regular exactly when does not divide its order (p-regular and p-singular elements).
Brauer characters are constant on -regular conjugacy classes (Brauer characters are class functions on p-regular elements).
Verification
In , the conjugacy classes are represented by , a transposition of order , and a -cycle of order .
By [F1], the -regular elements are those of order or , so they form the classes of and . Likewise the -regular elements are those of order or , so they form the classes of and .
Hence a Brauer character of in characteristic or is determined by the two values on the corresponding classes, in agreement with [L1].
The decomposition matrix of S3 in characteristic two
Example
For in characteristic , with ordinary irreducibles ordered as and irreducible Brauer characters ordered as , the decomposition matrix is
Facts & Assumptions
Given: The ordinary trivial, sign, and standard characters of in characteristic .
The decomposition matrix is defined by the expansions of the restricted ordinary characters in the irreducible Brauer basis (Decomposition numbers and the decomposition matrix).
The decomposition map records those modular reductions (Decomposition map from ordinary to modular Grothendieck groups).
The -regular classes of are represented by and (The p-regular classes of S3).
Verification
By [L1], only the values at and matter. The ordinary trivial and sign characters both restrict to on those classes, because a -cycle is even. The ordinary standard character restricts to .
In characteristic , the trivial module gives the Brauer character , while the -dimensional simple module gives . Therefore [F1] writes the restricted ordinary characters as
Reading off the coefficients yields the displayed decomposition matrix.
A Cartan matrix computed from D^T D
Example
For in characteristic , the decomposition matrix
gives the Cartan matrix
Facts & Assumptions
Given: The characteristic- decomposition matrix of .
The Cartan matrix is (The Cartan matrix is D^T D).
The decomposition matrix of in characteristic is the displayed matrix (The decomposition matrix of S3 in characteristic two).
Verification
By [L2],
Multiplying gives
Therefore [L1] yields the displayed Cartan matrix.
A block with one ordinary and one Brauer character
Example
In the characteristic- decomposition matrix of , the block containing the standard ordinary character has exactly one ordinary irreducible character and one irreducible Brauer character.
Facts & Assumptions
Given: The characteristic- decomposition matrix of , already ordered by blocks, whose last row is the ordinary standard character and whose last column is the -dimensional irreducible Brauer character.
A -group example shows what a one-Brauer-character block looks like (Brauer characters of a p-group).
Verification
In the displayed block-ordered matrix, the last diagonal sector is the block .
That sector therefore corresponds to a block containing exactly one ordinary irreducible character and exactly one irreducible Brauer character, namely the standard row and the -dimensional Brauer column. This contrasts with [L1], where having one Brauer character does not force a unique ordinary one.
So such one-row one-column blocks do occur.
Ordinary trace on a p-singular unipotent element is not a Brauer-character value
Statement refuted
For every element of a modular representation, the ordinary matrix trace is the Brauer-character value.
Facts & Assumptions
Given: The cyclic group over a field of characteristic , with acting on by .
The false statement above is the claim to be refuted (FALSE: a Brauer character is defined on all elements by the usual trace).
Brauer characters are defined only on -regular elements (Brauer character of a finite-dimensional kG-module).
Counterexample
The element has order , so it is -singular. Its action matrix still has ordinary trace .
By [F1], the Brauer character of this module is not defined at , because . So the trace from step 1.1 cannot be a Brauer-character value.
This directly refutes the statement [L1].