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.
Character fields and fields of definition
Definition
Let be finite and let be the character of a complex representation of . Its character field is More generally, if , write for the field generated by and the values of in the sense of Field extensions, generated subrings , generated subfields , and simple extensions.
If , a complex representation is realizable over , and is a field of definition for , when there is a finite-dimensional representation over such that is equivalent to . Thus a character field records traces, whereas a field of definition records a matrix model; neither term asserts that the other field has the other property.
Depends on
- The character $\chi_V(g)=\operatorname{tr}(\rho_V(g))$ of a finite-dimensional complex representation
- A finite-dimensional representation $\rho:G\to \operatorname{GL}(V)$ over a field, and its degree
- Intertwiners, the spaces $\operatorname{Hom}_G(V,W)$ and $\operatorname{End}_G(V)$, equivalent representations, and faithful representations
- Field extensions, generated subrings $F[S]$, generated subfields $F(S)$, and simple extensions
Used by
Dependency tree · two levels
16 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
- Gabor Wiese, Galois Representations, Definition 2.5.1 and Definition 2.5.8 (standard reference, not scraped)
- Weizhe Zheng, Lectures on Algebra, before Corollary 4.3.4 and Proposition 4.6.14 (standard reference, not scraped)