Alphabeta Math
False statementConstruction: AI-adaptedVerification: AI-adaptedverified 2026-09-26 (gpt-6-sol)
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 Cp over a field k of characteristic p.

Refutation

technique · direct
1.1givenalgebra

Let V be the 2-dimensional kCp-module with generator acting by I+N=(1101), and let W=k⊕k be the direct sum of two trivial modules. Since N2=0 and char⁡k=p, (I+N)p=I, so this is a representation of Cp. The modules are not isomorphic: the generator acts nontrivially on V and trivially on W.

2.1step 1.1algebra

For each group element ga, the matrices are (I+N)a=I+aN on V and I on W, so their ordinary-style traces are both 2 in k. The invariant line ke1⊂V and its quotient are both trivial, so V and W also have the same semisimplification. The only p-regular element of Cp is the identity, where both Brauer characters, when defined through a splitting system, take the value 2. These conclusions follow directly from the matrices and require no splitting-system hypothesis on k.

3.1step 1.1step 2.1∎

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