Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge pass (gpt-5.6-terra)audited 2026-09-12
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.

Defect zero blocks are simple algebras

Statement

Over the splitting residue field k, the following are equivalent for a block B=kGb: its defect group is trivial; B is a full matrix algebra over k; B has a projective simple module. In that case there is exactly one simple module and it is projective.

Facts & Assumptions

Given: A block over the splitting residue field.

[F1]

Module vertices lie in conjugates of a block defect group. (Vertices of modules in a block lie in a defect group)

[F2]

Trivial diagonal projectivity characterizes defect zero. (Block relative trace characterizes diagonal projectivity)

[F3]

A relatively trivial-subgroup-projective finite module splits from induction of a finite-dimensional vector space. (Higman's criterion characterizes relative projectivity through the relative trace idempotent test)

[F4]

A projective simple in a split block forces a full matrix algebra. (A projective simple in a symmetric block forces a matrix block)

[F5]

Semisimple rings are finite products of matrix algebras over division rings. (Wedderburn–Artin theorem for semisimple rings)

Proof

technique · direct
1.1

If the defect is zero, [F1] makes each simple B-module relatively 1-projective. The finite counit witness in [F3] splits it from kGkM, a finite free module, so it is projective. Finite-dimensional B has a simple quotient (choose a proper left ideal of maximal dimension), hence [F4] gives a full matrix algebra.

F1F3F4
1.2

A full matrix algebra Mn(k) has the single simple column module kn, which is the left ideal generated by a matrix diagonal unit and therefore projective. More generally existence of any projective simple gives the matrix assertion by [F4]; its field is k by [F6]. This agrees with the single-factor semisimple description in [F5].

F4F5F6
2.1

Conversely suppose B=Mn(k). Its enveloping algebra BkBop is Mn2(k): the action of EijEklop sends Ers to δjrδskEil, giving all matrix units on the basis Ers. Thus its module B is projective. Under the inversion anti-isomorphism :kGkG, this enveloping algebra is the central factor cut out by bb in k[G×G], since the second group factor acts on the right by its inverse. A projective module for this factor is projective for the whole algebra because the factor is a direct summand. Consequently the block bimodule is relatively 1-projective, and its vertex is 1; [F2] identifies this as defect zero.

F2F3F5step 1.2

Sources

Webb, A Course in Finite Group Representation Theory, §§11.3, 11.6 and 12.3–12.5, especially pp.240–245. Local argument and conventions as displayed above.

Depends on

Used by

Dependency tree · two levels

26 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources