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 , the following are equivalent for a block : its defect group is trivial; is a full matrix algebra over ; 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.
Module vertices lie in conjugates of a block defect group. (Vertices of modules in a block lie in a defect group)
Trivial diagonal projectivity characterizes defect zero. (Block relative trace characterizes diagonal projectivity)
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)
A projective simple in a split block forces a full matrix algebra. (A projective simple in a symmetric block forces a matrix block)
Semisimple rings are finite products of matrix algebras over division rings. (Wedderburn–Artin theorem for semisimple rings)
The residue field splits the simple modules. (A splitting p-modular system for a finite group is a p-modular system whose fraction and residue fields split the needed group algebras)
Proof
If the defect is zero, [F1] makes each simple -module relatively -projective. The finite counit witness in [F3] splits it from , a finite free module, so it is projective. Finite-dimensional has a simple quotient (choose a proper left ideal of maximal dimension), hence [F4] gives a full matrix algebra.
A full matrix algebra has the single simple column module , 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 by [F6]. This agrees with the single-factor semisimple description in [F5].
Conversely suppose . Its enveloping algebra is : the action of sends to , giving all matrix units on the basis . Thus its module is projective. Under the inversion anti-isomorphism , this enveloping algebra is the central factor cut out by in , 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 -projective, and its vertex is ; [F2] identifies this as defect zero.
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
- Vertices of modules in a block lie in a defect group
- Block relative trace characterizes diagonal projectivity
- Higman's criterion characterizes relative projectivity through the relative trace idempotent test
- A projective simple in a symmetric block forces a matrix block
- Wedderburn–Artin theorem for semisimple rings
- A splitting p-modular system for a finite group is a p-modular system whose fraction and residue fields split the needed group algebras
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
- Webb, A Course in Finite Group Representation Theory, §§11.3, 11.6 and 12.3–12.5, especially pp.240–245 (standard reference, not scraped)