Root
An -th root of a number
is a number
whose
-th power
is equal to
.
A root of an algebraic equation over a field ,
![]() |
is an element belonging to
or to an extension of
(cf. Extension of a field) such that when
is substituted for
the equation becomes an identity. A root of this equation is also called a root or zero of the polynomial
![]() |
If is a root of a polynomial
, then
is divisible (without remainder) by
(see Bezout theorem). Every polynomial
with real or complex coefficients has at least one root (hence as many roots as its degree, counting multiplicities). The polynomial
may be expressed as a product
![]() |
where are its roots. If some of the roots
of
are equal, their common value is called a multiple root (if a root occurs
times,
is called the multiplicity of that root).
A root of unity is an element of a field satisfying the equation
for some natural number
. The roots of unity form a subgroup of the multiplicative group of
. Conversely, all elements of any finite subgroup of the multiplicative group of a field
are roots of unity (cf. Fermat little theorem) and the subgroup itself is cyclic. This is true, in particular, for the subgroup
of all roots of unity of a given degree
contained in the algebraic closure
of
, i.e. the subgroup of all
satisfying the equation
. If
is relatively prime to the characteristic of
(or if the characteristic is 0), then the group
is of order
and its generators are known as primitive
-th roots of unity. The number of such roots in
is given by the Euler function
, i.e. the number of residues
which are relatively prime to
. In a field of characteristic
there are no
-th roots of unity other than 1.
If the field is finitely generated over its prime subfield, then the number of roots of unity in
is finite.
In the field of complex numbers, a number is an
-th root of unity if and only if
and
, where
and
are integers, i.e. if and only if
![]() |
in this case the primitive roots of unity are exactly those for which . In the complex plane, the
-th roots of unity coincide with the vertices of the regular
-gon inscribed in the unit circle; this explains the connection of roots of unity with the problem of squaring the circle (construction of polygons, cf. Geometric constructions).
Roots of unity appear in number theory as the values of various important number-theoretical functions (Abelian numerical characters; Legendre symbol; Möbius function; norm-residue symbol; etc.). In field theory and algebraic number theory an important position is occupied by fields obtained by adjunction of roots of unity to some ground field (see Cyclotomic field; Cyclotomic extension; Kummer extension).
References
[1] | B.L. van der Waerden, "Algebra" , 1–2 , Springer (1967–1971) (Translated from German) |
[2] | S. Lang, "Algebra" , Addison-Wesley (1984) |
Comments
For the concept of a root in Lie algebra theory see Lie algebra, semi-simple and Root system.
Root. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Root&oldid=17528