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.
The sign representation of and the restriction of a representation to a subgroup
Definition
Let be a field.
For the symmetric group (The symmetric group : the bijections of a set under composition), the sign representation over is the one-dimensional representation on in which This is a representation because is a group homomorphism (The sign is a homomorphism , surjective exactly when ).
Now let be a representation of a group over , and let be a subgroup (Subgroup). The restriction of to is the representation It has the same underlying vector space and only forgets the action of the elements outside .
Remarks
-
In characteristic , the sign representation coincides with the trivial representation because in the field.
-
Restriction changes the acting group, not the underlying vector space.
Depends on
Used by
Dependency tree · two levels
19 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
- Peter Webb, A Course in Finite Group Representation Theory, Chapter 4 Section 4.3 (standard reference, not scraped)