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.
Block defect is an intersection of two sylow subgroups
Statement
If is a defect group of a block of and is any Sylow -subgroup containing , there exists such that .
Facts & Assumptions
Given: A finite group, field of characteristic , block and subgroups as stated.
By definition, saying that is a defect group of means that is a vertex of the indecomposable block bimodule . (Defect group and numerical defect of a block)
Finite restriction and induction splittings respect the double-coset decomposition. (Relative projectivity mackey intersections for finite modules)
Restriction to retains an indecomposable summand with vertex . (Restriction to a containing p subgroup retains a vertex)
A transitive permutation module for a -group is indecomposable with its stabilizer as a vertex. (Transitive p-group permutation modules have point-stabilizer vertices)
An indecomposable direct summand occurs in any finite indecomposable decomposition. (Finite-dimensional kG-modules decompose as finite direct sums of indecomposables uniquely up to order and isomorphism)
Vertices of an indecomposable module are conjugate within the ambient group. (Vertices exist for indecomposable modules, are conjugate in G, and sources are conjugate by the appropriate normalizer)
Proof
Put . The source existence in [F6] and the vertex in [F1] allow [F3] with ambient group . Thus has an indecomposable summand with vertex . Multiplication by the central idempotent splits from as a bimodule; restriction preserves this splitting, as in [F2]. Hence .
The action on the basis is , so its orbits are and the stabilizer of is . Indeed is equivalent to . Mapping a coset in to its translate of gives an equivariant bijection. Thus .
By [F4] each summand is indecomposable with vertex . By [F5], is isomorphic to one such summand. Vertex conjugacy in the group , using [F6], gives with . Projecting to the first coordinate gives .
For , membership of in this conjugate stabilizer says . Put . Rearranging gives for every , so . Since , step 3.1 yields . This calculation explicitly handles the twisted diagonal stabilizer.
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
- Defect group and numerical defect of a block
- Relative projectivity mackey intersections for finite modules
- Restriction to a containing p subgroup retains a vertex
- Transitive p-group permutation modules have point-stabilizer vertices
- Finite-dimensional kG-modules decompose as finite direct sums of indecomposables uniquely up to order and isomorphism
- Vertices exist for indecomposable modules, are conjugate in G, and sources are conjugate by the appropriate normalizer
Used by
- Block defect groups are p radical Corollary
- Normal p core lies in every block defect group Corollary
Dependency tree · two levels
13 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)