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.
FALSE: modular representations are determined by ordinary characters
Statement
Two finite-dimensional modular representations with the same ordinary-style character data must be isomorphic.
Facts & Assumptions
Given: The cyclic group over a field of characteristic .
Refutation
Let be the -dimensional -module with generator acting by , and let be the direct sum of two trivial modules. Since and , , so this is a representation of . The modules are not isomorphic: the generator acts nontrivially on and trivially on .
For each group element , the matrices are on and on , so their ordinary-style traces are both in . The invariant line and its quotient are both trivial, so and also have the same semisimplification. The only -regular element of is the identity, where both Brauer characters, when defined through a splitting system, take the value . These conclusions follow directly from the matrices and require no splitting-system hypothesis on .
Thus ordinary-style character data do not recover the full modular representation; even Brauer characters cannot distinguish these two modules. The statement is false.
Used by
Nothing in the library uses this result yet.
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- J. Miquel Martinez, Modular Representation Theory of Finite Groups (standard reference, not scraped)
- Tudor Ciurca, Representation Theory (standard reference, not scraped)