Alphabeta Math
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.

6 results · all verified · 4 also independently AI-judged
Every result on this page is machine-checked by a proof checker and read in full and owner-audited; the judge is an additional, independent cross-model AI review of the proofs. The 2 not AI-judged were verified by owner audit (typically over a confirmed judge false positive), not failures.

Brauer Characters and Decomposition Matrices - Examples

1 · Prerequisites

2 · Summary

These examples keep the page concrete: a p-group, the 2-modular character table of S3, the resulting decomposition and Cartan matrices, a one-row block, and a direct witness that ordinary traces on p-singular elements are not Brauer-character values.

3 · Logical flowchart

4 · Definitions, theorems and proofs

None yet.

5 · Examples, counterexamples and false statements

ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-05Open item page →

Brauer characters of a p-group

Example

Let P be a finite p-group over a splitting field k of characteristic p. Then P0={1}, every Brauer character is determined by its value at 1, and the unique irreducible Brauer character is the trivial character.

Facts & Assumptions

Given: A finite p-group P.

[F1]

Brauer characters are defined on the p-regular elements (Brauer character of a finite-dimensional kG-module).

[L1]

Irreducible Brauer characters form a basis of class functions on P0 (Irreducible Brauer characters form a basis of the p-regular class functions).

[L2]

A finite p-group has only the trivial simple module in characteristic p (A finite p-group has only the trivial simple module over a field of characteristic p).

Verification

technique · direct
1.1

If gP is p-regular, then g divides the order of the p-group P and is also coprime to p, so g=1. Thus P0={1}.

F1givenalgebra
2.1

By [L2], the only simple kP-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 P0 is one-dimensional.

L1L2step 1.1
3.1

For any finite-dimensional kP-module V, the Brauer character is therefore determined by φV(1)=dimkV.

F1step 1.1step 2.1algebra
ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-05Open item page →

The p-regular classes of S3

Example

For S3, the 2-regular conjugacy classes are the identity class and the class of 3-cycles, while the 3-regular conjugacy classes are the identity class and the class of transpositions.

Facts & Assumptions

Given: The symmetric group S3.

[F1]

An element is p-regular exactly when p does not divide its order (p-regular and p-singular elements).

[L1]

Brauer characters are constant on p-regular conjugacy classes (Brauer characters are class functions on p-regular elements).

Verification

technique · direct
1.1

In S3, the conjugacy classes are represented by 1, a transposition (12) of order 2, and a 3-cycle (123) of order 3.

givenalgebra
2.1

By [F1], the 2-regular elements are those of order 1 or 3, so they form the classes of 1 and (123). Likewise the 3-regular elements are those of order 1 or 2, so they form the classes of 1 and (12).

F1step 1.1
3.1

Hence a Brauer character of S3 in characteristic 2 or 3 is determined by the two values on the corresponding classes, in agreement with [L1].

L1step 2.1
ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passaudited 2026-09-05Open item page →

The decomposition matrix of S3 in characteristic two

Example

For S3 in characteristic 2, with ordinary irreducibles ordered as (1,sgn,std) and irreducible Brauer characters ordered as (φtriv,φstd), the decomposition matrix is

(101001).

Facts & Assumptions

Given: The ordinary trivial, sign, and standard characters of S3 in characteristic 2.

[F1]

The decomposition matrix is defined by the expansions of the restricted ordinary characters in the irreducible Brauer basis (Decomposition numbers and the decomposition matrix).

[F2]

The decomposition map records those modular reductions (Decomposition map from ordinary to modular Grothendieck groups).

[L1]

The 2-regular classes of S3 are represented by 1 and (123) (The p-regular classes of S3).

Verification

technique · direct
1.1

By [L1], only the values at 1 and (123) matter. The ordinary trivial and sign characters both restrict to (1,1) on those classes, because a 3-cycle is even. The ordinary standard character restricts to (2,1).

L1givenalgebra
2.1

In characteristic 2, the trivial module gives the Brauer character φtriv=(1,1), while the 2-dimensional simple module gives φstd=(2,1). Therefore [F1] writes the restricted ordinary characters as 10=φtriv,sgn0=φtriv,std0=φstd.

F1F2step 1.1algebra
3.1

Reading off the coefficients yields the displayed decomposition matrix.

step 2.1
ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-05Open item page →

A Cartan matrix computed from D^T D

Example

For S3 in characteristic 2, the decomposition matrix

D=(101001)

gives the Cartan matrix

C=DTD=(2001).

Facts & Assumptions

Given: The characteristic-2 decomposition matrix of S3.

[L1]

The Cartan matrix is DTD (The Cartan matrix is D^T D).

[L2]

The decomposition matrix of S3 in characteristic 2 is the displayed matrix (The decomposition matrix of S3 in characteristic two).

Verification

technique · direct
1.1

By [L2], DT=(110001).

L2givenalgebra
2.1

Multiplying gives DTD=(110001)(101001)=(2001).

step 1.1algebra
3.1

Therefore [L1] yields the displayed Cartan matrix.

L1step 2.1
ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passaudited 2026-09-05Open item page →

A block with one ordinary and one Brauer character

Example

In the characteristic-2 decomposition matrix of S3, the block containing the standard ordinary character has exactly one ordinary irreducible character and one irreducible Brauer character.

Facts & Assumptions

Given: The characteristic-2 decomposition matrix of S3, already ordered by blocks, (101001), whose last row is the ordinary standard character and whose last column is the 2-dimensional irreducible Brauer character.

[L1]

A p-group example shows what a one-Brauer-character block looks like (Brauer characters of a p-group).

Verification

technique · direct
1.1

In the displayed block-ordered matrix, the last diagonal sector is the 1×1 block (1).

givenalgebra
2.1

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 2-dimensional Brauer column. This contrasts with [L1], where having one Brauer character does not force a unique ordinary one.

L1step 1.1
3.1

So such one-row one-column blocks do occur.

step 2.1
CounterexampleConstruction: Literature-sourcedVerification: AI-generatedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-05Open item page →

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 Cp=u over a field k of characteristic p, with u acting on k2 by (1101).

[L1]

The false statement above is the claim to be refuted (FALSE: a Brauer character is defined on all elements by the usual trace).

[F1]

Brauer characters are defined only on p-regular elements (Brauer character of a finite-dimensional kG-module).

Counterexample

technique · direct
1.1

The element u has order p, so it is p-singular. Its action matrix still has ordinary trace 2.

givenalgebra
2.1

By [F1], the Brauer character of this module is not defined at u, because uCp0. So the trace from step 1.1 cannot be a Brauer-character value.

F1step 1.1
3.1

This directly refutes the statement [L1].

L1step 2.1

Sources