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.
Additive characters are exactly one-dimensional complex representation characters
Statement
Let be a finite abelian group written additively, with identity , and let be an additive character (Additive characters of a finite abelian group).
- The formula defines a one-dimensional complex representation of ; it is determined by , and its trace character is :
- Conversely, every one-dimensional complex representation of has as its trace character an additive character of , and this additive character does not depend on any choice of basis of .
- Every irreducible complex representation of is equivalent to for some additive character of .
- Every value of every additive character has modulus one: for every .
- Distinct additive characters give inequivalent irreducible representations: if then and are inequivalent irreducible complex representations of .
Facts & Assumptions
Given: A finite abelian group written additively with identity , an additive character , and, where clause 2 is at issue, a one-dimensional complex representation of .
An additive character is a group homomorphism , so for all , and consequently and (Additive characters of a finite abelian group).
A finite-dimensional complex representation of is a group homomorphism on a finite-dimensional complex vector space ; its degree is , and the associated action is (A finite-dimensional representation over a field, and its degree).
The character of a finite-dimensional complex representation is , computed with the basis-independent trace, and equivalent representations have equal characters; a character is irreducible when it is the character of an irreducible representation (The character of a finite-dimensional complex representation, An irreducible complex character).
A subrepresentation is a linear subspace carried into itself by every , and is irreducible when and its only subrepresentations are and (Subrepresentations, direct sums of representations, and irreducibility).
is finite-dimensional over itself with , its standard basis being (The standard list with and for is an ordered basis of ; hence , and is the zero space with basis and dimension ); and for a linear subspace of a finite-dimensional one has , with if and only if (If and is a linear subspace of , then is finite-dimensional, , and if and only if ).
The trace of an endomorphism is the trace of its matrix in any ordered basis (The basis-independent trace of an endomorphism of a finite-dimensional vector space), and the trace of a square matrix is the sum of its diagonal entries, so the matrix has trace (The trace as the sum of the diagonal entries).
Every nonconstant complex polynomial has a complex root (Fundamental theorem of algebra: every nonconstant complex polynomial has a complex root), and a field is algebraically closed when every nonconstant polynomial over it has a root in it (An algebraically closed field: every nonconstant polynomial has a root in the field).
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); a field is a splitting field for a finite group when for every irreducible representation of over (A splitting field for a finite group: every irreducible representation has scalar endomorphism ring); and over a splitting field every irreducible representation of a finite abelian group has degree (Every irreducible representation of a finite abelian group over a splitting field is one-dimensional).
Choosing a basis of a degree-one representation produces a homomorphism ; every such homomorphism produces a normalized degree-one representation on the one-dimensional space ; and two degree-one representations are equivalent if and only if they produce the same homomorphism (Equivalence classes of degree-one representations are exactly homomorphisms ; equivalently they factor through , and they form an abelian group).
In a finite group every element has finite order, with and (The order of a finite group and the order of an element, with when no positive power of is the identity), and a group homomorphism satisfies for every and every (A group homomorphism automatically satisfies and , and for every ; for monoid homomorphisms preservation of the identity must be assumed).
For the -th roots of unity in are exactly the values with (The -th roots of a complex number and the distinct roots of unity for every ), and every purely imaginary exponential has modulus one: for real (, , and ).
Proof
For define by . This map is -linear and invertible with inverse , because ; moreover is the identity map, since , and for all , because and multiplication in is associative. So is a group homomorphism , hence a complex representation of on the one-dimensional space , and its defining formula in terms of determines it uniquely from .
For clause 2 let be a one-dimensional complex representation, so , and choose a basis vector of . For each there is a unique scalar with , and invertible forces ; by [L9] the resulting map is a group homomorphism, hence an additive character of . Since is multiplication by the scalar on a one-dimensional space, its trace is , so the trace character of is ; and because the trace of an endomorphism is basis-independent, the additive character so obtained does not depend on the choice of basis.
Every irreducible complex representation of has degree : by [L7] the fundamental theorem of algebra makes an algebraically closed field, so [L8] makes every endomorphism of an irreducible complex representation of a scalar ; since an irreducible is nonzero, the map is injective, hence and is a splitting field for , whereupon [L8] gives because is abelian.
For clause 4 fix and put ; since is finite, is a natural number with and . Written additively, as this page writes , the power is the -fold sum , so , and the additive reading of claim 3 of [L10] gives . Hence : the value is an -th root of unity. By [L11] there is with and , and the modulus formula in [L11] gives .
In the standard basis of the matrix of the endomorphism is the matrix , whose trace is ; since the character is computed with the basis-independent trace, for every . Thus the trace character of is , as clause 1 asserts.
Let be an irreducible complex representation of . By step 1.3 it is one-dimensional, so by step 1.2 its trace character is an additive character of ; by step 2.1 the representation attached to has trace character . Thus and are degree-one representations producing the same homomorphism , so [L9] makes them equivalent. This is clause 3.
For clause 5 let be additive characters. Each is irreducible: it lives on the nonzero space of dimension , and a subrepresentation is a linear subspace with , so either and , or and by [L5]; by [L4] this is exactly irreducibility, and by step 2.1 the character of is , so has irreducible character in the sense of [L3]. If and were equivalent, then their characters would be equal by the invariance clause of [L3], so step 2.1 would give , contrary to hypothesis; hence the two irreducible representations are inequivalent.
Clause 1 is steps 1.1 and 2.1, clause 2 is step 1.2, clause 3 is steps 1.3 and 3.1, clause 4 is step 1.4, and clause 5 is step 3.2, so all five clauses of the statement are proved. The argument uses only finite groups, finite-dimensional complex representations and finite lists of roots, and therefore invokes no choice principle.
Remarks
-
The bridge is the content of the item. The word "character" names two different functions before this lemma: an additive character is a homomorphism , while the character of a representation is the trace of its matrices. Steps 1.1, 2.1 and 1.2 identify the two notions in degree one, so a later page may cite either side.
-
Basis independence is the trace, not a convention. Clause 2 is stated for an arbitrary one-dimensional representation on an arbitrary one-dimensional space; it is the basis-independence of the trace, not a chosen identification of with , that makes the resulting additive character well defined.
-
Only finiteness of is used for clause 4. For of infinite order there is no exponent to force to be a root of unity, and indeed a homomorphism may take any nonzero value; finiteness enters at and at the splitting-field step.
Depends on
- Additive characters of a finite abelian group
- A finite-dimensional representation $\rho:G\to \operatorname{GL}(V)$ over a field, and its degree
- The character $\chi_V(g)=\operatorname{tr}(\rho_V(g))$ of a finite-dimensional complex representation
- Subrepresentations, direct sums of representations, and irreducibility
- An irreducible complex character
- A splitting field for a finite group: every irreducible representation has scalar endomorphism ring
- Over an algebraically closed field, every endomorphism of an irreducible representation is scalar
- An algebraically closed field: every nonconstant polynomial has a root in the field
- Fundamental theorem of algebra: every nonconstant complex polynomial has a complex root
- Every irreducible representation of a finite abelian group over a splitting field is one-dimensional
- Equivalence classes of degree-one representations are exactly homomorphisms $G\to k^{\times}$; equivalently they factor through $G/G'$, and they form an abelian group
- The standard list $e : n \to F^{n}$ with $e_i(i) = 1_F$ and $e_i(j) = 0_F$ for $j \ne i$ is an ordered basis of $F^{n}$; hence $\dim_F F^{n} = n$, and $F^{0}$ is the zero space with basis $\varnothing$ and dimension $0$
- If $\dim_F V = n$ and $U$ is a linear subspace of $V$, then $U$ is finite-dimensional, $\dim_F U \le n$, and $\dim_F U = n$ if and only if $U = V$
- The trace $\operatorname{tr}(A)$ as the sum of the diagonal entries
- The basis-independent trace of an endomorphism of a finite-dimensional vector space
- The order $|G|$ of a finite group and the order $\operatorname{ord}(g)$ of an element, with $\operatorname{ord}(g) = \infty$ when no positive power of $g$ is the identity
- A group homomorphism automatically satisfies $f(e) = e'$ and $f(g^{-1}) = f(g)^{-1}$, and $f(g^{n}) = f(g)^{n}$ for every $n \in \mathbb{Z}$; for monoid homomorphisms preservation of the identity must be assumed
- The $n$-th roots of a complex number and the $n$ distinct roots of unity for every $n\ge1$
- $\exp(x+iy)=e^x(\cos y+i\sin y)$, $|\exp(x+iy)|=e^x$, and $e^{i\pi}+1=0$
Used by
Dependency tree · two levels
95 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
- Pavel Etingof et al., Introduction to Representation Theory, Section 3.3 Example 1 (standard reference, not scraped)
- Peter Webb, A Course in Finite Group Representation Theory, Proposition 4.1.1 and Section 4.1 (standard reference, not scraped)