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.
A p-section with no local block inducing to the chosen global block
Example
Assume the Axiom of Choice. Let , , and work over a splitting -modular system whose residue field is algebraically closed. Let be the defect-zero block containing the ordinary degree-two character , and let be a transposition. The centralizer has one block , and it induces to the principal block , not to . Thus no local block over this -section induces to . If is the unique local irreducible Brauer character, then
Facts & Assumptions
Given: AC, the algebraically closed splitting system, , its two blocks in characteristic , and the transposition in the Example.
The preceding example gives the two blocks , with principal and of defect zero, and gives , its sole block , and (p-sections and Brauer subsections in S3).
Block idempotents lift uniquely from to , and ordinary irreducible characters have unique block membership (Block idempotents lift uniquely from kH to OH and Blocks partition the ordinary and Brauer irreducible characters).
Brauer's Second Main Theorem restricts a generalized expansion to local blocks inducing to the row's global block (Brauer's Second Main Theorem), under the algebraically closed and AC hypotheses (An algebraically closed field: every nonconstant polynomial has a root in the field and The Axiom of Choice).
Verification
Put , , and let be the sum of the three transpositions. The center of has basis , and in characteristic one directly obtains , , and . Thus its only nonzero primitive central idempotents are and . The first acts as on the trivial module, so it is the principal block idempotent for ; F1 then identifies with the remaining block . In , the idempotents and reduce respectively to and . By uniqueness in F2 they are the integral block lifts. Let with the coordinate-permutation action. The operator averages over and projects onto . An -fixed vector has equal coordinates, and its coordinate sum is , so . If a line in were -stable, the scalar by which acted would satisfy and, from , ; hence , contrary to . Thus is irreducible and affords . Now and , making a row of by F2.
By F1, the only local block over induces to , whereas step 1.1 puts the row in . F3 therefore gives for every .
More explicitly, has the single simple quotient , so there is exactly one local irreducible Brauer character , with . The only -regular element of is . The full generalized-decomposition identity at therefore is Equivalently, F3's restricted sum for the block is empty.
There is also a direct characteristic-zero check. On the basis , of , the transposition satisfies and , so its matrix has trace . This agrees with step 3.1. The example is a genuine empty-local-support boundary case; it does not purport to compute a larger generalized-decomposition table. Algebraic closedness and AC are used only through F3 and the preceding AC-stated example.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
23 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
- Aschbacher–Kessar–Oliver, Fusion Systems in Algebra and Topology, Example 4.25 and Theorem 5.4, pp. 274–277 (standard reference, not scraped)
- Meierfrankenfeld, MTH 912 Class Notes, Theorem 6.7.15, pp. 169–171 (standard reference, not scraped)