In algebra , numbers whose -th power is 1 are called -th roots of unity .
Let it be a commutative ring with a one element and a natural number . An element is called a -th root of unity if it fulfills one of the two equivalent conditions:
is the root of the polynomial
The -th roots of unity in form a subgroup of the multiplicative group , which is often referred to as.
A -th root of unity is called primitive if for .
Unity roots in complex numbers
In the body of the complex numbers are
the -th roots of unity, where is the imaginary unit . If you set
so is primitive, and these numbers get (in the same order) the simple form
If it is clear what it is, the lower index is often dropped.
Group of roots of unity
Since and with and are also roots of unity, the set of all roots of unity is a group. The image
is surjective. The gist of this figure is . The group of complex roots of unity is therefore isomorphic to the factor group .
The -th roots of unit can be interpreted in a geometrically clear manner in the complex number plane : They are the corners of a regular corner lying on the unit circle (with center 0 and radius 1) , where one of the corners is the number , because this is for each one - te root of unity.
The real part and the imaginary part of the roots of unit are thus the coordinates of the corners of the corner on the circle, i.e. H. for is
For more see Extracting Complex Numbers .
Sum of the roots of unity
If there is a -th root of unity, then applies
This statement follows directly from the geometrical sum formula and is a special case of the analogous statement for characters of groups .
The second, third and fourth roots of unity
The second roots of unity are
are the third roots of unity
the fourth roots of unity are again of a simpler form:
The fifth roots of unity
for . Solving this quadratic equation yields . Since the angle is in the 1st quadrant, is positive, and thus is the real part of . The imaginary part is according to the Pythagorean theorem .
Properties of the roots of unity
Roots of unity in (commutative) bodies
Is the characteristic of the body , then is a -fold zero of the polynomial . If it is not a divisor of the order , then the following statements also apply to fields with prime number characteristics . For additional properties of the roots of unity in such fields see Finite Field # Multiplicative Group and Discrete Logarithm .
- If a ( commutative ) field is and , then the elements with form a cyclic subgroup of the multiplicative group .
- The group order of is always a factor of .
- If it is the same , it is said that “contains the -th roots of unity” and is called “the group of -th roots of unity”.
- A th root of unity if and primitive, when the group of th roots of unity produced . The order of a primitive -th root of unity is . The primitive -th roots of unity are exactly the zeros of the -th circle division polynomial .
- Is a primitive -th root of unity, then is a primitive -th root of unity ( greatest common factor ).
- The number of primitive -th roots of unity is ( Euler's phi function ).
- Extensions of which arise through the adjunction of roots of unity are called circle dividing bodies .
- A finite multiplicative subgroup of a ( commutative ) field is cyclic .
Proof of the last statement:
is an Abelian torsion group . So she is a direct product
isomorphic ( : = set of positive prime numbers). And they are cyclical because the group elements of the order are all zeros of and thus powers of one another. Finally, because of the coprime nature of powers of different prime numbers, the direct product is cyclic.
Example of roots of unity in non-commutative (skew) fields
In the non-commutative inclined body of the quaternions , the polynomial has the infinite number of zeros
The quaternion group is a finite non-commutative subgroup of the multiplicative group . It has order 8 and the exponent 4. For further finite subgroups of see Quaternion # The finite subgroups .
Roots of unity in residue class rings
- In the ring of whole numbers modulo the number is a primitive -th root of unity, because in this ring applies .
- In the ring of whole numbers modulo , the number is a primitive -th root of unity.
These two special residual class rings are extremely important for computer algebra , because they enable a variant of the fast discrete Fourier transformation that is again drastically accelerated . The reason for this is that addition and multiplication of these remainder class rings can be replaced by corresponding cyclic addition and multiplication in an insignificantly larger remainder class ring, and thus in binary number representation the multiplication by powers of the number means a cyclical binary shift operation, which can be carried out much faster as a general multiplication of two numbers. The considerable time saving for the discrete Fourier transformation results from the fact that many multiplications with the selected unit root have to be carried out during the fast Fourier transformation.