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.
Control of fusion in a sylow p subgroup
Definition
Let be a finite group, a prime, and a Sylow -subgroup (Sylow -subgroups of a finite group). Following the convention of The conjugacy class and centralizer of an element, we say that
when, for all , the existence of with implies the existence of with . Equivalently: any two elements of that are -conjugate are already conjugate by an element of ; equivalently, the conjugacy class of in meets in exactly the conjugacy class of under (Subgroup, The normalizer of a subgroup).
What is and is not claimed. This is a statement about element fusion only: it says nothing about when two subgroups of are conjugate in , and nothing about elements of outside . It is a property of the pair , and it is invariant under conjugating : if and the Sylow controls fusion in with respect to , then controls fusion in with respect to , because implies and whenever . Control by implies control by , since : every conjugating element supplied inside also belongs to . When the two conditions are identical, but this equality alone does not assert that either condition holds.
Depends on
Used by
- Frobenius automizer criterion for p nilpotence Corollary
- Frobenius normal two complement for S₃ Example
- Fusion control forces trivial Sylow intersection with the p residual Lemma
- Local normal p complements force control of fusion Lemma
- Local sylow conjugacy ascent for fusion Lemma
- P automizer condition implies fusion control Lemma
- Frobenius normal p complement theorem Theorem
Dependency tree · two levels
11 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
- Paul Flavell, An Introduction to Transfer and Fusion in Finite Groups, §§2–5 (standard reference, not scraped)
- Hans Kurzweil and Bernd Stellmacher, The Theory of Finite Groups, §§7.1–7.2 (standard reference, not scraped)