Alphabeta Math
CorollaryStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-08-28
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.

Over an algebraically closed field of characteristic 0, every element of finite order acts diagonalisably in a finite-dimensional representation

Statement

Let k be an algebraically closed field of characteristic 0, let ρ:G→GL⁡(V) be a finite-dimensional representation of a group G over k, and let g∈G have finite order. Then ρ(g) is diagonalisable over k.

Facts & Assumptions

Given: An algebraically closed field k of characteristic 0, a finite-dimensional representation ρ:G→GL⁡(V) over k, and an element g∈G of finite order.

[L1]

If a finite group has order invertible in k, then every finite-dimensional representation over k is completely reducible (If char⁡k∤∣G∣, every finite-dimensional representation of G is completely reducible).

[L2]

A splitting field for a finite group is one over which every irreducible representation has scalar endomorphism ring (A splitting field for a finite group: every irreducible representation has scalar endomorphism ring).

[L3]

Over an algebraically closed field, every endomorphism of an irreducible representation is scalar (Over an algebraically closed field, every endomorphism of an irreducible representation is scalar).

[L4]

Every irreducible representation of a finite abelian group over a splitting field is one-dimensional (Every irreducible representation of a finite abelian group over a splitting field is one-dimensional).

Proof

technique · direct
1.1L1L2L3L4givenalgebra

Let m=ord⁡(g) and let H=⟨g⟩, so H is a finite cyclic group of order m. Restrict ρ to H. Since char⁡k=0, the integer m is nonzero in k, so [L1] makes the restricted representation completely reducible. Also [L3] and [L2] show that k is a splitting field for the finite group H, and H is abelian. Therefore [L4] makes every irreducible H-summand one-dimensional.

2.1step 1.1givenchoose∎

Choose a basis of each one-dimensional H-summand and concatenate these bases. Each summand is invariant under ρ(g) and one-dimensional, so ρ(g) acts on it by a scalar. Hence the matrix of ρ(g) in the concatenated basis is diagonal. Therefore ρ(g) is diagonalisable over k.

Depends on

Used by

Dependency tree · two levels

14 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