Linear representation theory of cyclic group:Z2
This article gives specific information, namely, linear representation theory, about a particular group, namely: cyclic group:Z2.
View linear representation theory of particular groups | View other specific information about cyclic group:Z2
|degrees of irreducible representations over a splitting field|| 1,1|
maximum: 1, lcm: 1, number: 2, sum of squares: 2
|Schur index values of irreducible representations||1,1|
|condition for a field to be a splitting field||any field of characteristic not equal to 2|
|smallest ring of realization of irreducible representations (characteristic zero)||-- ring of integers|
|smallest field of realization of irreducible representations (characteristic zero)|
|smallest size splitting field||field:F3, i.e., the field with 3 elements.|
|Family||Parameter value||General discussion of linear representation theory of family|
|finite cyclic group||2||linear representation theory of finite cyclic groups|
|symmetric group||2||linear representation theory of symmetric groups|
For the linear representation theory over fields of characteristic 2, see modular representation theory of cyclic group:Z2.
The cyclic group of two elements is a rational group: all its representations over the complex numbers are equivalent to representations over the rational numbers. In fact, all its representations over any field other than the field of two elements, can be realized as representations over the prime subfield of that field. Moreover, any representation over a prime field (other than the prime field of two elements) is completely reducible and there are only two irreducible representations, both one-dimensional:
- The trivial representation which sends both elements to 1.
- The sign representation which sends the identity element to and the non-identity element to . This is a faithful representation.
The character table for characteristic zero is:
|Rep/Conj class||(identity element)||(non-identity element)|
There is a canonical bijection between the conjugacy classes and the irreducible representations here (unlike for bigger, more complicated groups). The trivial representation corresponds to the identity element, and the sign representation corresponds to the non-identity element.
Group ring interpretation
For any commutative unital ring , the group ring can be identified with a quotient of the polynomial ring as follows:
where the identification is as follows:
In particular, is identified with the class of 1 mod , and (the non-identity element) is identified with the class of mod .
Case of a uniquely 2-divisible ring
Suppose is a uniquely 2-divisible ring, i.e., every element has a unique half. We can then rewrite the group ring using the Chinese Remainder Theorem:
This choice of decomposition using the Chinese Remainder Theorem can also be realized using characters, as follows. We have an isomorphism:
where are idempotents corresponding to the two representations, and are described as follows:
|Representation||Corresponding primitive central idempotent||How to read this from the character table|
|trivial representation||Coefficient of 1 on both the group elements, because the trivial representation takes the value 1 at both. Divide by the group order, which is 2.|
|sign representation||Coefficient of 1 on identity element and -1 on non-identity element, as per the character. Divide by the group order, which is 2.|
Note that we need unique 2-divisibility because constructing the idempotents requires division by 2. In particular, the group ring over (the ring of integers) cannot be decomposed as above.
For fields, unique 2-divisibility is equivalent to the characteristic not being equal to 2.