Every identity-preserving biholomorphism of lifts to multiplication by a nonzero complex number satisfying . Relative to a -basis of , multiplication by is represented by a unimodular matrix . Its real determinant is , while complex multiplication preserves orientation, so and . The Cayley-Hamilton theorem gives
Consequently , and is a root of unity of order , , , , or .
If a cap set has subset density and , some affine subspace of codimension one has relative subset density at least . The zero-sum count and the Parseval identity on a finite group give a nonzero finite abelian Fourier coefficient of magnitude at least . The three slice densities are , where is this finite abelian Fourier coefficient and a primitive cube root of unity; one slice has increment at least . Translation preserves the zero-sum condition because the characteristic is three.
For
there are linear characters, given by , for a primitive th root of unity , and two-dimensional irreducible representations
where and . The two-dimensional representations parametrized by and are isomorphic. The sum of squares of irreducible degrees is , so this list is complete.
A nonzero algebraic integer whose conjugates all have modulus at most one is a root of unity. Its norm forces every conjugate to have modulus one, and bounded integral coefficient vectors show that two positive powers coincide.