Namespaces
Variants
Actions

Difference between revisions of "Algebraic function"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
Line 1: Line 1:
A function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a0114901.png" /> of the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a0114902.png" /> that satisfies an equation
+
<!--
 +
a0114901.png
 +
$#A+1 = 183 n = 0
 +
$#C+1 = 183 : ~/encyclopedia/old_files/data/A011/A.0101490 Algebraic function
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a0114903.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a0114904.png" /> is an irreducible polynomial in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a0114905.png" /> with coefficients in some field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a0114906.png" />, known as the field of constants. The algebraic function is said to be defined over this field, and is called an algebraic function over the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a0114907.png" />. The polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a0114908.png" /> is often written in powers of the variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a0114909.png" />, so that equation (1) assumes the form
+
A function $  y = f ( x _ {1} \dots x _ {n} ) $
 +
of the variables  $  x _ {1} \dots x _ {n} $
 +
that satisfies an equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149010.png" /></td> </tr></table>
+
$$ \tag{1 }
 +
F ( y , x _ {1} \dots x _ {n} )  = 0 ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149011.png" /></td> </tr></table>
+
where  $  F $
 +
is an irreducible polynomial in  $  y, x _ {1} \dots x _ {n} $
 +
with coefficients in some field  $  K $,
 +
known as the field of constants. The algebraic function is said to be defined over this field, and is called an algebraic function over the field  $  K $.  
 +
The polynomial  $  F ( y , x _ {1} \dots x _ {n} ) $
 +
is often written in powers of the variable  $  y $,
 +
so that equation (1) assumes the form
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149012.png" /> are polynomials in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149013.png" />, and with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149014.png" />. The number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149015.png" /> is the degree of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149016.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149017.png" />, and is called the degree of the algebraic function. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149018.png" />, an algebraic function may be represented as a quotient
+
$$
 +
P _ {k} ( x _ {1} \dots x _ {n} ) y  ^ {k} + P _ {k - 1 }
 +
( x _ {1} \dots x _ {n} ) y ^ {k - 1 } + \dots +
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149019.png" /></td> </tr></table>
+
$$
 +
+
 +
P _ {0} ( x _ {1} \dots x _ {n} )  = 0,
 +
$$
  
of polynomials, and is called a rational function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149020.png" />. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149021.png" />, an algebraic function can be expressed as square and cube roots of rational functions in the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149022.png" />; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149023.png" />, this is impossible in general.
+
where  $  P _ {k} ( x _ {1} \dots x _ {n} ) \dots P _ {0} ( x _ {1} \dots x _ {n} ) $
 +
are polynomials in  $  x _ {1} \dots x _ {n} $,
 +
and with  $  P _ {k} ( x _ {1} \dots x _ {n} ) \not\equiv 0 $.
 +
The number  $  k $
 +
is the degree of  $  F $
 +
with respect to  $  y $,
 +
and is called the degree of the algebraic function. If  $  k = 1 $,
 +
an algebraic function may be represented as a quotient
 +
 
 +
$$
 +
y  =  -
 +
\frac{P _ {0} ( x _ {1} \dots x _ {n} ) }{P _ {1} ( x _ {1} \dots x _ {n} ) }
 +
 
 +
$$
 +
 
 +
of polynomials, and is called a rational function of $  x _ {1} \dots x _ {n} $.  
 +
For $  k = 2, 3, 4 $,  
 +
an algebraic function can be expressed as square and cube roots of rational functions in the variables $  x _ {1} \dots x _ {n} $;  
 +
if $  k > 4 $,  
 +
this is impossible in general.
  
 
The theory of algebraic functions was studied in the past from three different points of view: the function-theoretical point of view taken, in particular, by N.H. Abel, K. Weierstrass and B. Riemann; the arithmetic-algebraic point of view taken by R. Dedekind, H. Weber and K. Hensel; and the algebraic-geometrical point of view, which originated with the studies of A. Clebsch, M. Noether and others (cf. [[Algebraic geometry|Algebraic geometry]]). The first direction of the theory of algebraic functions of a single variable is connected with the study of algebraic functions over the field of complex numbers, in which they are regarded as meromorphic functions on Riemann surfaces and complex manifolds; the most important methods applied are the geometrical and topological methods of the theory of analytic functions. The arithmetic-algebraic approach involves the study of algebraic functions over arbitrary fields. The methods employed are purely algebraic. The theory of valuations and extensions of fields are especially important. In the algebraic-geometrical approach algebraic functions are considered to be rational functions on an algebraic variety, and are studied by methods of algebraic geometry (cf. [[Rational function|Rational function]]). These three points of view originally differed not only in their methods and their ways of reasoning, but also in their terminology. This differentiation has by now become largely arbitrary, since function-theoretical studies involve the extensive use of algebraic methods, while many results obtained at first using function-theoretical and topological methods can be successfully applied to more general fields using algebraic analogues of these methods.
 
The theory of algebraic functions was studied in the past from three different points of view: the function-theoretical point of view taken, in particular, by N.H. Abel, K. Weierstrass and B. Riemann; the arithmetic-algebraic point of view taken by R. Dedekind, H. Weber and K. Hensel; and the algebraic-geometrical point of view, which originated with the studies of A. Clebsch, M. Noether and others (cf. [[Algebraic geometry|Algebraic geometry]]). The first direction of the theory of algebraic functions of a single variable is connected with the study of algebraic functions over the field of complex numbers, in which they are regarded as meromorphic functions on Riemann surfaces and complex manifolds; the most important methods applied are the geometrical and topological methods of the theory of analytic functions. The arithmetic-algebraic approach involves the study of algebraic functions over arbitrary fields. The methods employed are purely algebraic. The theory of valuations and extensions of fields are especially important. In the algebraic-geometrical approach algebraic functions are considered to be rational functions on an algebraic variety, and are studied by methods of algebraic geometry (cf. [[Rational function|Rational function]]). These three points of view originally differed not only in their methods and their ways of reasoning, but also in their terminology. This differentiation has by now become largely arbitrary, since function-theoretical studies involve the extensive use of algebraic methods, while many results obtained at first using function-theoretical and topological methods can be successfully applied to more general fields using algebraic analogues of these methods.
  
 
==Algebraic functions of one variable.==
 
==Algebraic functions of one variable.==
Over the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149024.png" /> of complex numbers, an algebraic function of one variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149025.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149026.png" /> for short) is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149027.png" />-valued analytic function. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149028.png" /> is the discriminant of the polynomial
+
Over the field $  \mathbf C $
 +
of complex numbers, an algebraic function of one variable $  y = f(x) $(
 +
or $  y(x) $
 +
for short) is a $  k $-
 +
valued analytic function. If $  D(x) $
 +
is the discriminant of the polynomial
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149029.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>
+
$$ \tag{2 }
 +
F ( x , y )  = P _ {k} ( x ) y  ^ {k} + \dots + P _ {1} ( x ) y + P _ {0} ( x ) ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149030.png" /></td> </tr></table>
+
$$
 +
P _ {k} ( x )  \not\equiv  0 ,
 +
$$
  
(i.e. of the polynomial for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149031.png" />), which is obtained by eliminating <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149032.png" /> from the equations
+
(i.e. of the polynomial for which $  F ( x, f (x ) ) = 0 $),  
 +
which is obtained by eliminating $  y $
 +
from the equations
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149033.png" /></td> </tr></table>
+
$$
 +
F ( x , y )  = 0 ,\ 
 +
\frac{\partial  F ( x , y ) }{\partial  y }
 +
  = 0
 +
$$
  
 
to yield the equation
 
to yield the equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149034.png" /></td> </tr></table>
+
$$
 +
P _ {k} ( x ) D ( x )  = 0 ,
 +
$$
  
then the roots <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149035.png" /> of this last equation are known as the critical values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149036.png" />. The complementary set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149037.png" /> is known as the non-critical set. For any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149038.png" /> equation (2) has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149039.png" /> different roots <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149040.png" /> and the condition
+
then the roots $  x _ {1} \dots x _ {m} $
 +
of this last equation are known as the critical values of $  y = f(x) $.  
 +
The complementary set $  G = \mathbf C \setminus  \{ x _ {1} \dots x _ {m} \} $
 +
is known as the non-critical set. For any point $  x _ {0} \in G $
 +
equation (2) has $  k $
 +
different roots $  y _ {0}  ^ {1} \dots y _ {0}  ^ {k} $
 +
and the condition
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149041.png" /></td> </tr></table>
+
$$
  
is satisfied. According to the implicit function theorem, in a neighbourhood of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149042.png" /> there exist <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149043.png" /> single-valued analytic functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149044.png" /> which satisfy the conditions
+
\frac{\partial  F (x _ {0} , y _ {0}  ^ {j} ) }{\partial  y }
 +
  \neq  0 ,\ \
 +
j = 1 \dots k ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149045.png" /></td> </tr></table>
+
is satisfied. According to the implicit function theorem, in a neighbourhood of the point  $  x _ {0} $
 +
there exist  $  k $
 +
single-valued analytic functions  $  f _ {0} ^ { 1 } (x) \dots f _ {0} ^ { k } (x) $
 +
which satisfy the conditions
 +
 
 +
$$
 +
f _ {0} ^ { j } ( x _ {0} )  = y _ {0}  ^ {j} ,\  F ( x , f _ {0} ^ { j }
 +
( x ) )  = 0
 +
$$
  
 
and which can be decomposed into a convergent series
 
and which can be decomposed into a convergent series
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149046.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>
+
$$ \tag{3 }
 +
f _ {0} ^ { j } ( x )  = y _ {0}  ^ {j} + \alpha _ {1}  ^ {j}
 +
( x - x _ {0} ) + \alpha _ {2}  ^ {j} ( x - x _ {0} ) ^ {2} + \dots .
 +
$$
  
Thus, for each point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149047.png" /> one can construct <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149048.png" /> elements of an analytic function, known as the function elements with centre at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149049.png" />. For any two points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149050.png" />, any elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149051.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149052.png" /> with centres at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149053.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149054.png" />, respectively, are derived from each other by analytic continuation along some curve in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149055.png" />; in particular, any two elements with the same centres are also connected in this way. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149056.png" /> is a critical point of an algebraic function, then two cases are possible: 1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149057.png" /> is a root of the discriminant, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149058.png" />, but <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149059.png" />; or 2) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149060.png" />.
+
Thus, for each point $  x _ {0} \in G $
 +
one can construct $  k $
 +
elements of an analytic function, known as the function elements with centre at the point $  x _ {0} $.  
 +
For any two points $  x _ {1} , x _ {2} \in G $,  
 +
any elements $  f _ {1} ^ { i } (x) $
 +
and $  f _ {2} ^ { i } (x) $
 +
with centres at $  x _ {1} $
 +
and $  x _ {2} $,  
 +
respectively, are derived from each other by analytic continuation along some curve in $  G $;  
 +
in particular, any two elements with the same centres are also connected in this way. If $  x _ {0} $
 +
is a critical point of an algebraic function, then two cases are possible: 1) $  x _ {0} $
 +
is a root of the discriminant, i.e. $  D (x _ {0} ) = 0 $,  
 +
but $  P _ {k} (x _ {0} ) \neq 0 $;  
 +
or 2) $  P _ {k} ( x _ {0} ) = 0 $.
  
Case 1. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149061.png" /> be a small disc with centre at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149062.png" /> which does not contain other critical points, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149063.png" /> be a system of regular elements with centre at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149064.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149065.png" />. These functions remain bounded as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149066.png" />. Furthermore, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149067.png" /> be the circle with centre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149068.png" /> passing through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149069.png" />; it is completely contained inside <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149070.png" />. The analytic continuation of some given element, e.g. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149071.png" />, along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149072.png" /> (in, say, the clockwise direction), yields an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149073.png" /> which also belongs to the system of elements with centre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149074.png" />. This system consists of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149075.png" /> elements, and a minimum required finite number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149076.png" /> of such turns yields the initial element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149077.png" />. One obtains a subsystem <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149078.png" /> of elements with centre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149079.png" />; each one of these elements may be obtained by analytic continuation of the other by a number of turns around the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149080.png" />; such a subsystem is known as a cycle. Any system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149081.png" /> can be decomposed into a number of non-intersecting cycles
+
Case 1. Let $  K _ {0} $
 +
be a small disc with centre at $  x _ {0} $
 +
which does not contain other critical points, and let $  f _ {1} ^ { \prime } (x) \dots f _ {k} ^ { \prime } (x) $
 +
be a system of regular elements with centre at $  x  ^  \prime  \in K _ {0} $,  
 +
$  x  ^  \prime  \neq x _ {0} $.  
 +
These functions remain bounded as $  x\rightarrowx _ {0} $.  
 +
Furthermore, let $  D $
 +
be the circle with centre $  x _ {0} $
 +
passing through $  x  ^  \prime  $;  
 +
it is completely contained inside $  K _ {0} $.  
 +
The analytic continuation of some given element, e.g. $  f _ {1} ^ { \prime } (x) $,  
 +
along $  D $(
 +
in, say, the clockwise direction), yields an element $  f ^ { \prime } (x) $
 +
which also belongs to the system of elements with centre $  x  ^  \prime  $.  
 +
This system consists of $  k $
 +
elements, and a minimum required finite number a _ {1} \leq  k $
 +
of such turns yields the initial element $  f _ {1} ^ { \prime } (x) $.  
 +
One obtains a subsystem $  f _ {1} ^ { \prime } (x) \dots f _ {a _ {1}  } ^ { \prime } (x) $
 +
of elements with centre $  x  ^  \prime  $;  
 +
each one of these elements may be obtained by analytic continuation of the other by a number of turns around the point $  x _ {0} $;  
 +
such a subsystem is known as a cycle. Any system $  f _ {1} (x) \dots f _ {k} (x) $
 +
can be decomposed into a number of non-intersecting cycles
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149082.png" /></td> </tr></table>
+
$$
 +
\{ f _ {1} ^ { \prime } (x) \dots f _ {a _ {1}  } ^ { \prime } (x) \} ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149083.png" /></td> </tr></table>
+
$$
 +
\{ f _ {a _ {1}  + 1 } ^ { \prime } ( x ) \dots f _ {a _ {1}  + a _ {2} } ^ { \prime } ( x ) \} \dots
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149084.png" /></td> </tr></table>
+
$$
 +
\{ f _ {a _ {1}  + \dots + a _ {s - 1 }  + 1 } ^ { \prime }
 +
(x) \dots f _ {a _ {1}  + \dots + a _ {s} } ^ { \prime } ( x ) \} ,
 +
$$
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149085.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149086.png" />, then the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149087.png" /> is not a single-valued function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149088.png" /> in the disc <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149089.png" />, but is a single-valued analytic function of the parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149090.png" /> in a neighbourhood of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149091.png" />. In a certain neighbourhood of this point the elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149092.png" /> of the first cycle can be represented as convergent series
+
$  a _ {1} + \dots + a _ {s} = k $.  
 +
If a _ {1} > 1 $,  
 +
then the element $  f _ {1} ^ { \prime } (x) $
 +
is not a single-valued function of $  x $
 +
in the disc $  K _ {0} $,  
 +
but is a single-valued analytic function of the parameter $  \tau = {(x - x _ {0} ) } ^ {1/ a _ {1} } $
 +
in a neighbourhood of $  \tau = 0 $.  
 +
In a certain neighbourhood of this point the elements $  f _ {1} ^ { \prime } (x) \dots f _ {a _ {1}  } ^ { \prime } (x) $
 +
of the first cycle can be represented as convergent series
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149093.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</td></tr></table>
+
$$ \tag{4 }
 +
f _ {1} ^ { \prime } (x)  = \
 +
\sum _ {i = 0 } ^  \infty  \alpha _ {i}  ^ {1}
 +
\tau  ^ {i}  = \sum _ {i = 0 } ^  \infty  \alpha _ {i}  ^ {1}
 +
( x - x _ {0} ) ^ {i / a _ {1} } ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149094.png" /></td> </tr></table>
+
$$
 +
{\dots \dots \dots \dots \dots \dots \dots }
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149095.png" /></td> </tr></table>
+
$$
 +
f _ {a _ {1}  } ^ { \prime } ( x )  = \sum _ {i
 +
= 0 } ^  \infty  \alpha _ {i} ^ {a _ {1} } \tau  ^ {i}  = \sum _ {i = 0 } ^  \infty 
 +
\alpha _ {i} ^ {a _ {1} } ( x - x _ {0} ) ^ {i/a _ {1} } ;
 +
$$
  
and similar expansions also take place for the elements of other cycles. Such expansions of elements by fractional degrees of the difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149096.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149097.png" /> is a critical point, are known as Puiseux series. The transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149098.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a01149099.png" />, which corresponds to one turn around <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490100.png" />, converts the Puiseux series of elements in one cycle into each other in cyclic order, i.e. there is a cyclic permutation of the series and of the corresponding elements. To turns around the critical point correspond permutations of the elements with centre at this point; these permutations consist of cycles of the orders <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490101.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490102.png" />. The permutations defined in this way constitute the monodromy group of the algebraic function. If at least one element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490103.png" /> is greater than 1, the critical point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490104.png" /> is called an algebraic branch point of the algebraic function; the numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490105.png" /> (sometimes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490106.png" />) are called the branch indices (or branch orders) of the algebraic function.
+
and similar expansions also take place for the elements of other cycles. Such expansions of elements by fractional degrees of the difference $  x - x _ {0} $,  
 +
where $  x _ {0} $
 +
is a critical point, are known as Puiseux series. The transformation $  \tau \rightarrow \tau _ {r} $,  
 +
$  r = e ^ {2 \pi i / a } $,  
 +
which corresponds to one turn around $  x _ {0} $,  
 +
converts the Puiseux series of elements in one cycle into each other in cyclic order, i.e. there is a cyclic permutation of the series and of the corresponding elements. To turns around the critical point correspond permutations of the elements with centre at this point; these permutations consist of cycles of the orders $  a _ {1} \dots a _ {s} $,  
 +
$  \sum {a _ {i} } = k $.  
 +
The permutations defined in this way constitute the monodromy group of the algebraic function. If at least one element a _ {i} $
 +
is greater than 1, the critical point $  x _ {0} $
 +
is called an algebraic branch point of the algebraic function; the numbers a _ {i} $(
 +
sometimes a _ {i} - 1 $)  
 +
are called the branch indices (or branch orders) of the algebraic function.
  
Case 2. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490107.png" /> is substituted for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490108.png" />, one returns to case 1; one obtains expansions similar to (4), which may contain a finite number of terms with negative indices:
+
Case 2. If $  P _ {k} (x) y $
 +
is substituted for $  y $,  
 +
one returns to case 1; one obtains expansions similar to (4), which may contain a finite number of terms with negative indices:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490109.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>
+
$$ \tag{5 }
 +
f ( x )  = \sum _ {i = - p } ^  \infty  \alpha _ {i} \tau  ^ {i}  = \
 +
\sum _ {i = - p } ^  \infty  \alpha _ {i} ( x - x _ {0} )  ^ {i/a} .
 +
$$
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490110.png" />, the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490111.png" /> is a pole of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490112.png" /> of the algebraic function. An algebraic function is usually considered on the Riemann sphere <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490113.png" />, i.e. on the complex plane completed by the point at infinity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490114.png" />. The introduction of the variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490115.png" /> reduces this case to the previous case; in a neighbourhood of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490116.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490117.png" />) one has the expansion
+
If $  p > 0 $,  
 +
the point $  x _ {0} $
 +
is a pole of order $  p $
 +
of the algebraic function. An algebraic function is usually considered on the Riemann sphere $  S $,  
 +
i.e. on the complex plane completed by the point at infinity $  x = \infty $.  
 +
The introduction of the variable $  \tau = 1/x $
 +
reduces this case to the previous case; in a neighbourhood of the point $  \tau = 0 $(
 +
$  x = \infty $)  
 +
one has the expansion
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490118.png" /></td> <td valign="top" style="width:5%;text-align:right;">(6)</td></tr></table>
+
$$ \tag{6 }
 +
y ( x )  = \sum _ {j = - r } ^  \infty  \alpha _ {j} \tau  ^ {j/a= \
 +
\sum _ {j = - r } ^  \infty  \alpha _ {j} x ^ {- j / a } .
 +
$$
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490119.png" />, then the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490120.png" /> is called a pole of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490121.png" />.
+
If $  r > 0 $,  
 +
then the point $  x = \infty $
 +
is called a pole of order $  r $.
  
The parameter of the expansion in the series (3), (4), (5), (6) is called the local uniformizing parameter for the algebraic function. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490122.png" /> is a non-critical point of the algebraic function, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490123.png" /> can be taken as parameter; if, on the other hand, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490124.png" /> is a critical point, the root <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490125.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490126.png" /> is a positive integer) can be taken as such a parameter. The population of all elements of an algebraic function described above forms the complete algebraic function in the sense of Weierstrass. Algebraic functions have no singularities other than algebraic branch points and poles. The converse proposition is also true: A function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490127.png" /> which is analytic, is not more than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490128.png" />-valued at all points of the Riemann sphere except for a finite number of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490129.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490130.png" />, and has at such points only poles or algebraic branch points, is an algebraic function of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490131.png" />.
+
The parameter of the expansion in the series (3), (4), (5), (6) is called the local uniformizing parameter for the algebraic function. If $  x _ {0} $
 +
is a non-critical point of the algebraic function, then $  \tau = x - x _ {0} $
 +
can be taken as parameter; if, on the other hand, $  x _ {0} $
 +
is a critical point, the root $  (x - x _ {0} )  ^ {1/a} $(
 +
where a $
 +
is a positive integer) can be taken as such a parameter. The population of all elements of an algebraic function described above forms the complete algebraic function in the sense of Weierstrass. Algebraic functions have no singularities other than algebraic branch points and poles. The converse proposition is also true: A function $  y = f(x) $
 +
which is analytic, is not more than $  s $-
 +
valued at all points of the Riemann sphere except for a finite number of points $  x _ {1} \dots x _ {m} $
 +
and $  x = \infty $,  
 +
and has at such points only poles or algebraic branch points, is an algebraic function of degree $  k \leq  s $.
  
The [[Riemann surface|Riemann surface]] of a complete algebraic function is compact and is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490132.png" />-sheeted covering of the Riemann sphere, branch points can be the critical points and the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490133.png" />. Algebraic functions are the only class of functions with a compact Riemann surface. The genus of the Riemann surface of an algebraic function is important; it is called the genus of the algebraic function. It can be calculated by the [[Riemann–Hurwitz formula|Riemann–Hurwitz formula]]. The genus of a rational function is zero, and its Riemann surface is the Riemann sphere. The Riemann surface of an elliptic function that satisfies a third- or fourth-degree equation is a torus; the genus of such a function is one.
+
The [[Riemann surface|Riemann surface]] of a complete algebraic function is compact and is a $  k $-
 +
sheeted covering of the Riemann sphere, branch points can be the critical points and the point $  x = \infty $.  
 +
Algebraic functions are the only class of functions with a compact Riemann surface. The genus of the Riemann surface of an algebraic function is important; it is called the genus of the algebraic function. It can be calculated by the [[Riemann–Hurwitz formula|Riemann–Hurwitz formula]]. The genus of a rational function is zero, and its Riemann surface is the Riemann sphere. The Riemann surface of an elliptic function that satisfies a third- or fourth-degree equation is a torus; the genus of such a function is one.
  
 
The universal covering Riemann surface of an algebraic function is a simply-connected two-dimensional manifold, i.e. it has a trivial fundamental group and is conformally equivalent either to the Riemann sphere, the complex plane or the interior of the unit disc. In the first case the algebraic function is a rational, in the second case it is an elliptic, while in the third case it is a general function.
 
The universal covering Riemann surface of an algebraic function is a simply-connected two-dimensional manifold, i.e. it has a trivial fundamental group and is conformally equivalent either to the Riemann sphere, the complex plane or the interior of the unit disc. In the first case the algebraic function is a rational, in the second case it is an elliptic, while in the third case it is a general function.
  
The [[Uniformization|uniformization]] problem of algebraic functions is closely connected with the theory of Riemann surfaces of algebraic functions. The function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490134.png" /> can be uniformized if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490135.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490136.png" /> are representable as single-valued analytic functions
+
The [[Uniformization|uniformization]] problem of algebraic functions is closely connected with the theory of Riemann surfaces of algebraic functions. The function $  y = f(x) $
 +
can be uniformized if $  y $
 +
and $  x $
 +
are representable as single-valued analytic functions
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490137.png" /></td> </tr></table>
+
$$
 +
= y ( t ) ,\  x  = x ( t )
 +
$$
  
of a parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490138.png" />, which identically satisfy equation (2). The uniformization problem is locally solved by a local uniformizing parameter; however, it is the solution "in the large" that is of interest. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490139.png" />, i.e. if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490140.png" /> is a rational function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490141.png" />, this parameter may be the variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490142.png" />; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490143.png" />, then uniformization is attained with the aid of a rational or a trigonometric function. For instance, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490144.png" /> satisfies the equation
+
of a parameter $  t $,  
 +
which identically satisfy equation (2). The uniformization problem is locally solved by a local uniformizing parameter; however, it is the solution "in the large" that is of interest. If $  k = 1 $,  
 +
i.e. if $  y(x) $
 +
is a rational function of $  x $,  
 +
this parameter may be the variable $  x - x _ {0} $;  
 +
if $  k = 2 $,  
 +
then uniformization is attained with the aid of a rational or a trigonometric function. For instance, if $  y(x) $
 +
satisfies the equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490145.png" /></td> </tr></table>
+
$$
 +
y  ^ {2} - x  ^ {2}  = 1 ,
 +
$$
  
 
one can take
 
one can take
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490146.png" /></td> </tr></table>
+
$$
 +
=
 +
\frac{t  ^ {2} + 1 }{t  ^ {2} - 1 }
 +
,\  x  =
 +
\frac{2t }{t  ^ {2} - 1 }
 +
 
 +
$$
  
 
or
 
or
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490147.png" /></td> </tr></table>
+
$$
 +
= \  \mathop{\rm sec}  t ,\  x  =   \mathop{\rm tg}  t .
 +
$$
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490148.png" /> in the case of an algebraic function of genus one, uniformization is achieved using elliptic functions. Finally, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490149.png" /> and the genus of the algebraic function is higher than one, uniformization is realized using automorphic functions (cf. [[Automorphic function|Automorphic function]]).
+
If $  k = 3, 4 $
 +
in the case of an algebraic function of genus one, uniformization is achieved using elliptic functions. Finally, if $  k > 4 $
 +
and the genus of the algebraic function is higher than one, uniformization is realized using automorphic functions (cf. [[Automorphic function|Automorphic function]]).
  
 
==Algebraic functions of several variables.==
 
==Algebraic functions of several variables.==
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490150.png" /> is an algebraic function in the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490151.png" />, then the set of all rational functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490152.png" /> forms a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490153.png" />, coinciding with the field of rational functions on the algebraic hypersurface in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490154.png" />-dimensional space defined by the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490155.png" />. If the field of constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490156.png" /> is the field of complex numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490157.png" /> and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490158.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490159.png" /> is identical with the field of meromorphic functions on the Riemann surface of the algebraic function. The field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490160.png" /> is an extension of finite type of the field of constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490161.png" /> of transcendence degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490162.png" /> (cf. [[Extension of a field|Extension of a field]]). In particular, any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490163.png" /> elements of this field are connected by an algebraic equation, so that each of them defines an algebraic function of the remaining elements. Any extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490164.png" /> of finite type of a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490165.png" /> of transcendence degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490166.png" /> is known as an algebraic function field in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490167.png" /> variables (or, sometimes, as a function field). Each such field contains a purely transcendence extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490168.png" /> of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490169.png" /> (called the field of rational functions in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490171.png" /> variables). Any element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490172.png" /> satisfies some algebraic equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490173.png" />, and can be considered as an algebraic function in the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490174.png" />. Each field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490175.png" /> of algebraic functions in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490176.png" /> variables is isomorphic to the field of rational functions on some [[Algebraic variety|algebraic variety]] of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490177.png" />, which is called a model of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490178.png" />. If the field of constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490179.png" /> is algebraically closed and of characteristic zero, then each algebraic function field has a non-singular projective model (cf. [[Resolution of singularities|Resolution of singularities]]). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490180.png" /> be the set of all non-trivial valuations (cf. [[Valuation|Valuation]]) of an algebraic function field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490181.png" /> which are non-negative on the field of constants. If provided with the natural topology, it is known as the abstract Riemann surface of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490182.png" /> [[#References|[1]]]. In the case of algebraic functions in one variable, the Riemann surface coincides with the set of non-singular projective models, which in this case is uniquely defined up to an isomorphism. Many concepts and results in algebraic geometry on the model of a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490183.png" /> can be restated in the language of the theory of valuations of fields [[#References|[1]]], [[#References|[6]]]. A particularly close analogy holds for algebraic functions in one variable, the theory of which is practically identical with the theory of algebraic curves.
+
If $  f $
 +
is an algebraic function in the variables $  x _ {1} \dots x _ {n} $,  
 +
then the set of all rational functions $  R (y, x _ {1} \dots x _ {n} ) $
 +
forms a field $  K _ {f} $,  
 +
coinciding with the field of rational functions on the algebraic hypersurface in $  ( n + 1 ) $-
 +
dimensional space defined by the equation $  F (y, x _ {1} \dots x _ {n} ) = 0 $.  
 +
If the field of constants $  k $
 +
is the field of complex numbers $  \mathbf C $
 +
and if $  n = 1 $,  
 +
then $  K _ {f} $
 +
is identical with the field of meromorphic functions on the Riemann surface of the algebraic function. The field $  K _ {f} $
 +
is an extension of finite type of the field of constants $  k $
 +
of transcendence degree $  n $(
 +
cf. [[Extension of a field|Extension of a field]]). In particular, any $  n + 1 $
 +
elements of this field are connected by an algebraic equation, so that each of them defines an algebraic function of the remaining elements. Any extension $  K $
 +
of finite type of a field $  k $
 +
of transcendence degree $  n $
 +
is known as an algebraic function field in $  n $
 +
variables (or, sometimes, as a function field). Each such field contains a purely transcendence extension $  k( x _ {1} \dots x _ {n} ) $
 +
of the field $  k $(
 +
called the field of rational functions in $  n $
 +
variables). Any element $  y \in K $
 +
satisfies some algebraic equation $  \Phi (y, x _ {1} \dots x _ {n} ) = 0 $,  
 +
and can be considered as an algebraic function in the variables $  x _ {1} \dots x _ {n} $.  
 +
Each field $  K $
 +
of algebraic functions in $  n $
 +
variables is isomorphic to the field of rational functions on some [[Algebraic variety|algebraic variety]] of dimension $  n $,  
 +
which is called a model of $  K $.  
 +
If the field of constants $  k $
 +
is algebraically closed and of characteristic zero, then each algebraic function field has a non-singular projective model (cf. [[Resolution of singularities|Resolution of singularities]]). Let $  S $
 +
be the set of all non-trivial valuations (cf. [[Valuation|Valuation]]) of an algebraic function field $  K $
 +
which are non-negative on the field of constants. If provided with the natural topology, it is known as the abstract Riemann surface of the field $  K $[[#References|[1]]]. In the case of algebraic functions in one variable, the Riemann surface coincides with the set of non-singular projective models, which in this case is uniquely defined up to an isomorphism. Many concepts and results in algebraic geometry on the model of a field $  K $
 +
can be restated in the language of the theory of valuations of fields [[#References|[1]]], [[#References|[6]]]. A particularly close analogy holds for algebraic functions in one variable, the theory of which is practically identical with the theory of algebraic curves.
  
Each algebraic function field in one variable is the field of fractions of a Dedekind ring, so that many results and concepts of the theory of divisibility in algebraic number fields can be applied to function fields [[#References|[12]]]. Many problems and constructions in algebraic number theory motivate similar problems and constructions in fields of algebraic functions and vice versa. For instance, the application of a Puiseux expansion to the theory of algebraic numbers led to the genesis of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011490/a011490184.png" />-adic method in number theory, due to Hensel. Class field theory, which had originally belonged to the domain of algebraic numbers, was subsequently applied to functions [[#References|[2]]]. An especially close analogy exists between algebraic number fields and algebraic function fields over a finite field of constants. For instance, the concept of a zeta-function is defined for the latter and the analogue of the Riemann hypothesis has been demonstrated for algebraic function fields (cf. [[Zeta-function|Zeta-function]] in algebraic geometry).
+
Each algebraic function field in one variable is the field of fractions of a Dedekind ring, so that many results and concepts of the theory of divisibility in algebraic number fields can be applied to function fields [[#References|[12]]]. Many problems and constructions in algebraic number theory motivate similar problems and constructions in fields of algebraic functions and vice versa. For instance, the application of a Puiseux expansion to the theory of algebraic numbers led to the genesis of the $  p $-
 +
adic method in number theory, due to Hensel. Class field theory, which had originally belonged to the domain of algebraic numbers, was subsequently applied to functions [[#References|[2]]]. An especially close analogy exists between algebraic number fields and algebraic function fields over a finite field of constants. For instance, the concept of a zeta-function is defined for the latter and the analogue of the Riemann hypothesis has been demonstrated for algebraic function fields (cf. [[Zeta-function|Zeta-function]] in algebraic geometry).
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> O. Zariski, P. Samuel, "Commutative algebra" , '''1''' , Springer (1975) {{MR|0389876}} {{MR|0384768}} {{ZBL|0313.13001}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> J.-P. Serre, "Groupes algébrique et corps des classes" , Hermann (1959) {{MR|0103191}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> S. Stoilov, "The theory of functions of a complex variable" , '''1–2''' , Moscow (1962) (In Russian; translated from Rumanian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> N.G. Chebotarev, "The theory of algebraic functions" , Moscow-Leningrad (1948) (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) {{MR|0447223}} {{ZBL|0362.14001}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> C. Chevalley, "Introduction to the theory of algebraic functions of one variable" , Amer. Math. Soc. (1951) {{MR|0042164}} {{ZBL|0045.32301}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> P. Appell, E. Goursat, "Théorie des fonctions algébriques" , '''1–2''' , Chelsea, reprint (1976–1978) {{MR|}} {{ZBL|0399.30003}} {{ZBL|0399.30002}} {{ZBL|55.0224.08}} {{ZBL|26.0416.01}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> R. Dedekind, H.F. Weber, "Theorie der algebraischen Funktionen einer Veränderlichen" ''J. Reine Angew. Math.'' , '''92''' (1882) pp. 181–290</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> K. Hensel, G. Landsberg, "Theorie der algebraischen Funktionen einer Variabeln und ihre Anwendung auf algebraische Kurven und Abelsche Integrale" , Teubner (1902) {{MR|}} {{ZBL|33.0427.01}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> E. Picard, G. Simart, "Théorie des fonctions algébriques de deux variables indépendantes" , '''1–2''' , Chelsea, reprint (1971) {{MR|0392468}} {{ZBL|37.0404.02}} {{ZBL|28.0327.01}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> H.W.E. Jung, "Einführung in die Theorie der algebraischen Funktionen zweier Veränderlicher" , Akademie Verlag (1951) {{MR|0046079}} {{ZBL|0045.01502}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> H. Hasse, "Number theory" , Springer (1980) (Translated from German) {{MR|0544018}} {{MR|0562104}} {{ZBL|0423.12002}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> S. Lang, "Algebraic functions" , New York (1965) {{MR|}} {{ZBL|0137.05802}} {{ZBL|0133.13804}} </TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> O. Zariski, P. Samuel, "Commutative algebra" , '''1''' , Springer (1975) {{MR|0389876}} {{MR|0384768}} {{ZBL|0313.13001}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> J.-P. Serre, "Groupes algébrique et corps des classes" , Hermann (1959) {{MR|0103191}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> S. Stoilov, "The theory of functions of a complex variable" , '''1–2''' , Moscow (1962) (In Russian; translated from Rumanian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> N.G. Chebotarev, "The theory of algebraic functions" , Moscow-Leningrad (1948) (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) {{MR|0447223}} {{ZBL|0362.14001}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> C. Chevalley, "Introduction to the theory of algebraic functions of one variable" , Amer. Math. Soc. (1951) {{MR|0042164}} {{ZBL|0045.32301}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> P. Appell, E. Goursat, "Théorie des fonctions algébriques" , '''1–2''' , Chelsea, reprint (1976–1978) {{MR|}} {{ZBL|0399.30003}} {{ZBL|0399.30002}} {{ZBL|55.0224.08}} {{ZBL|26.0416.01}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> R. Dedekind, H.F. Weber, "Theorie der algebraischen Funktionen einer Veränderlichen" ''J. Reine Angew. Math.'' , '''92''' (1882) pp. 181–290</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> K. Hensel, G. Landsberg, "Theorie der algebraischen Funktionen einer Variabeln und ihre Anwendung auf algebraische Kurven und Abelsche Integrale" , Teubner (1902) {{MR|}} {{ZBL|33.0427.01}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> E. Picard, G. Simart, "Théorie des fonctions algébriques de deux variables indépendantes" , '''1–2''' , Chelsea, reprint (1971) {{MR|0392468}} {{ZBL|37.0404.02}} {{ZBL|28.0327.01}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> H.W.E. Jung, "Einführung in die Theorie der algebraischen Funktionen zweier Veränderlicher" , Akademie Verlag (1951) {{MR|0046079}} {{ZBL|0045.01502}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> H. Hasse, "Number theory" , Springer (1980) (Translated from German) {{MR|0544018}} {{MR|0562104}} {{ZBL|0423.12002}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> S. Lang, "Algebraic functions" , New York (1965) {{MR|}} {{ZBL|0137.05802}} {{ZBL|0133.13804}} </TD></TR></table>

Revision as of 16:10, 1 April 2020


A function $ y = f ( x _ {1} \dots x _ {n} ) $ of the variables $ x _ {1} \dots x _ {n} $ that satisfies an equation

$$ \tag{1 } F ( y , x _ {1} \dots x _ {n} ) = 0 , $$

where $ F $ is an irreducible polynomial in $ y, x _ {1} \dots x _ {n} $ with coefficients in some field $ K $, known as the field of constants. The algebraic function is said to be defined over this field, and is called an algebraic function over the field $ K $. The polynomial $ F ( y , x _ {1} \dots x _ {n} ) $ is often written in powers of the variable $ y $, so that equation (1) assumes the form

$$ P _ {k} ( x _ {1} \dots x _ {n} ) y ^ {k} + P _ {k - 1 } ( x _ {1} \dots x _ {n} ) y ^ {k - 1 } + \dots + $$

$$ + P _ {0} ( x _ {1} \dots x _ {n} ) = 0, $$

where $ P _ {k} ( x _ {1} \dots x _ {n} ) \dots P _ {0} ( x _ {1} \dots x _ {n} ) $ are polynomials in $ x _ {1} \dots x _ {n} $, and with $ P _ {k} ( x _ {1} \dots x _ {n} ) \not\equiv 0 $. The number $ k $ is the degree of $ F $ with respect to $ y $, and is called the degree of the algebraic function. If $ k = 1 $, an algebraic function may be represented as a quotient

$$ y = - \frac{P _ {0} ( x _ {1} \dots x _ {n} ) }{P _ {1} ( x _ {1} \dots x _ {n} ) } $$

of polynomials, and is called a rational function of $ x _ {1} \dots x _ {n} $. For $ k = 2, 3, 4 $, an algebraic function can be expressed as square and cube roots of rational functions in the variables $ x _ {1} \dots x _ {n} $; if $ k > 4 $, this is impossible in general.

The theory of algebraic functions was studied in the past from three different points of view: the function-theoretical point of view taken, in particular, by N.H. Abel, K. Weierstrass and B. Riemann; the arithmetic-algebraic point of view taken by R. Dedekind, H. Weber and K. Hensel; and the algebraic-geometrical point of view, which originated with the studies of A. Clebsch, M. Noether and others (cf. Algebraic geometry). The first direction of the theory of algebraic functions of a single variable is connected with the study of algebraic functions over the field of complex numbers, in which they are regarded as meromorphic functions on Riemann surfaces and complex manifolds; the most important methods applied are the geometrical and topological methods of the theory of analytic functions. The arithmetic-algebraic approach involves the study of algebraic functions over arbitrary fields. The methods employed are purely algebraic. The theory of valuations and extensions of fields are especially important. In the algebraic-geometrical approach algebraic functions are considered to be rational functions on an algebraic variety, and are studied by methods of algebraic geometry (cf. Rational function). These three points of view originally differed not only in their methods and their ways of reasoning, but also in their terminology. This differentiation has by now become largely arbitrary, since function-theoretical studies involve the extensive use of algebraic methods, while many results obtained at first using function-theoretical and topological methods can be successfully applied to more general fields using algebraic analogues of these methods.

Algebraic functions of one variable.

Over the field $ \mathbf C $ of complex numbers, an algebraic function of one variable $ y = f(x) $( or $ y(x) $ for short) is a $ k $- valued analytic function. If $ D(x) $ is the discriminant of the polynomial

$$ \tag{2 } F ( x , y ) = P _ {k} ( x ) y ^ {k} + \dots + P _ {1} ( x ) y + P _ {0} ( x ) , $$

$$ P _ {k} ( x ) \not\equiv 0 , $$

(i.e. of the polynomial for which $ F ( x, f (x ) ) = 0 $), which is obtained by eliminating $ y $ from the equations

$$ F ( x , y ) = 0 ,\ \frac{\partial F ( x , y ) }{\partial y } = 0 $$

to yield the equation

$$ P _ {k} ( x ) D ( x ) = 0 , $$

then the roots $ x _ {1} \dots x _ {m} $ of this last equation are known as the critical values of $ y = f(x) $. The complementary set $ G = \mathbf C \setminus \{ x _ {1} \dots x _ {m} \} $ is known as the non-critical set. For any point $ x _ {0} \in G $ equation (2) has $ k $ different roots $ y _ {0} ^ {1} \dots y _ {0} ^ {k} $ and the condition

$$ \frac{\partial F (x _ {0} , y _ {0} ^ {j} ) }{\partial y } \neq 0 ,\ \ j = 1 \dots k , $$

is satisfied. According to the implicit function theorem, in a neighbourhood of the point $ x _ {0} $ there exist $ k $ single-valued analytic functions $ f _ {0} ^ { 1 } (x) \dots f _ {0} ^ { k } (x) $ which satisfy the conditions

$$ f _ {0} ^ { j } ( x _ {0} ) = y _ {0} ^ {j} ,\ F ( x , f _ {0} ^ { j } ( x ) ) = 0 $$

and which can be decomposed into a convergent series

$$ \tag{3 } f _ {0} ^ { j } ( x ) = y _ {0} ^ {j} + \alpha _ {1} ^ {j} ( x - x _ {0} ) + \alpha _ {2} ^ {j} ( x - x _ {0} ) ^ {2} + \dots . $$

Thus, for each point $ x _ {0} \in G $ one can construct $ k $ elements of an analytic function, known as the function elements with centre at the point $ x _ {0} $. For any two points $ x _ {1} , x _ {2} \in G $, any elements $ f _ {1} ^ { i } (x) $ and $ f _ {2} ^ { i } (x) $ with centres at $ x _ {1} $ and $ x _ {2} $, respectively, are derived from each other by analytic continuation along some curve in $ G $; in particular, any two elements with the same centres are also connected in this way. If $ x _ {0} $ is a critical point of an algebraic function, then two cases are possible: 1) $ x _ {0} $ is a root of the discriminant, i.e. $ D (x _ {0} ) = 0 $, but $ P _ {k} (x _ {0} ) \neq 0 $; or 2) $ P _ {k} ( x _ {0} ) = 0 $.

Case 1. Let $ K _ {0} $ be a small disc with centre at $ x _ {0} $ which does not contain other critical points, and let $ f _ {1} ^ { \prime } (x) \dots f _ {k} ^ { \prime } (x) $ be a system of regular elements with centre at $ x ^ \prime \in K _ {0} $, $ x ^ \prime \neq x _ {0} $. These functions remain bounded as $ x\rightarrowx _ {0} $. Furthermore, let $ D $ be the circle with centre $ x _ {0} $ passing through $ x ^ \prime $; it is completely contained inside $ K _ {0} $. The analytic continuation of some given element, e.g. $ f _ {1} ^ { \prime } (x) $, along $ D $( in, say, the clockwise direction), yields an element $ f ^ { \prime } (x) $ which also belongs to the system of elements with centre $ x ^ \prime $. This system consists of $ k $ elements, and a minimum required finite number $ a _ {1} \leq k $ of such turns yields the initial element $ f _ {1} ^ { \prime } (x) $. One obtains a subsystem $ f _ {1} ^ { \prime } (x) \dots f _ {a _ {1} } ^ { \prime } (x) $ of elements with centre $ x ^ \prime $; each one of these elements may be obtained by analytic continuation of the other by a number of turns around the point $ x _ {0} $; such a subsystem is known as a cycle. Any system $ f _ {1} (x) \dots f _ {k} (x) $ can be decomposed into a number of non-intersecting cycles

$$ \{ f _ {1} ^ { \prime } (x) \dots f _ {a _ {1} } ^ { \prime } (x) \} , $$

$$ \{ f _ {a _ {1} + 1 } ^ { \prime } ( x ) \dots f _ {a _ {1} + a _ {2} } ^ { \prime } ( x ) \} \dots $$

$$ \{ f _ {a _ {1} + \dots + a _ {s - 1 } + 1 } ^ { \prime } (x) \dots f _ {a _ {1} + \dots + a _ {s} } ^ { \prime } ( x ) \} , $$

$ a _ {1} + \dots + a _ {s} = k $. If $ a _ {1} > 1 $, then the element $ f _ {1} ^ { \prime } (x) $ is not a single-valued function of $ x $ in the disc $ K _ {0} $, but is a single-valued analytic function of the parameter $ \tau = {(x - x _ {0} ) } ^ {1/ a _ {1} } $ in a neighbourhood of $ \tau = 0 $. In a certain neighbourhood of this point the elements $ f _ {1} ^ { \prime } (x) \dots f _ {a _ {1} } ^ { \prime } (x) $ of the first cycle can be represented as convergent series

$$ \tag{4 } f _ {1} ^ { \prime } (x) = \ \sum _ {i = 0 } ^ \infty \alpha _ {i} ^ {1} \tau ^ {i} = \sum _ {i = 0 } ^ \infty \alpha _ {i} ^ {1} ( x - x _ {0} ) ^ {i / a _ {1} } , $$

$$ {\dots \dots \dots \dots \dots \dots \dots } $$

$$ f _ {a _ {1} } ^ { \prime } ( x ) = \sum _ {i = 0 } ^ \infty \alpha _ {i} ^ {a _ {1} } \tau ^ {i} = \sum _ {i = 0 } ^ \infty \alpha _ {i} ^ {a _ {1} } ( x - x _ {0} ) ^ {i/a _ {1} } ; $$

and similar expansions also take place for the elements of other cycles. Such expansions of elements by fractional degrees of the difference $ x - x _ {0} $, where $ x _ {0} $ is a critical point, are known as Puiseux series. The transformation $ \tau \rightarrow \tau _ {r} $, $ r = e ^ {2 \pi i / a } $, which corresponds to one turn around $ x _ {0} $, converts the Puiseux series of elements in one cycle into each other in cyclic order, i.e. there is a cyclic permutation of the series and of the corresponding elements. To turns around the critical point correspond permutations of the elements with centre at this point; these permutations consist of cycles of the orders $ a _ {1} \dots a _ {s} $, $ \sum {a _ {i} } = k $. The permutations defined in this way constitute the monodromy group of the algebraic function. If at least one element $ a _ {i} $ is greater than 1, the critical point $ x _ {0} $ is called an algebraic branch point of the algebraic function; the numbers $ a _ {i} $( sometimes $ a _ {i} - 1 $) are called the branch indices (or branch orders) of the algebraic function.

Case 2. If $ P _ {k} (x) y $ is substituted for $ y $, one returns to case 1; one obtains expansions similar to (4), which may contain a finite number of terms with negative indices:

$$ \tag{5 } f ( x ) = \sum _ {i = - p } ^ \infty \alpha _ {i} \tau ^ {i} = \ \sum _ {i = - p } ^ \infty \alpha _ {i} ( x - x _ {0} ) ^ {i/a} . $$

If $ p > 0 $, the point $ x _ {0} $ is a pole of order $ p $ of the algebraic function. An algebraic function is usually considered on the Riemann sphere $ S $, i.e. on the complex plane completed by the point at infinity $ x = \infty $. The introduction of the variable $ \tau = 1/x $ reduces this case to the previous case; in a neighbourhood of the point $ \tau = 0 $( $ x = \infty $) one has the expansion

$$ \tag{6 } y ( x ) = \sum _ {j = - r } ^ \infty \alpha _ {j} \tau ^ {j/a} = \ \sum _ {j = - r } ^ \infty \alpha _ {j} x ^ {- j / a } . $$

If $ r > 0 $, then the point $ x = \infty $ is called a pole of order $ r $.

The parameter of the expansion in the series (3), (4), (5), (6) is called the local uniformizing parameter for the algebraic function. If $ x _ {0} $ is a non-critical point of the algebraic function, then $ \tau = x - x _ {0} $ can be taken as parameter; if, on the other hand, $ x _ {0} $ is a critical point, the root $ (x - x _ {0} ) ^ {1/a} $( where $ a $ is a positive integer) can be taken as such a parameter. The population of all elements of an algebraic function described above forms the complete algebraic function in the sense of Weierstrass. Algebraic functions have no singularities other than algebraic branch points and poles. The converse proposition is also true: A function $ y = f(x) $ which is analytic, is not more than $ s $- valued at all points of the Riemann sphere except for a finite number of points $ x _ {1} \dots x _ {m} $ and $ x = \infty $, and has at such points only poles or algebraic branch points, is an algebraic function of degree $ k \leq s $.

The Riemann surface of a complete algebraic function is compact and is a $ k $- sheeted covering of the Riemann sphere, branch points can be the critical points and the point $ x = \infty $. Algebraic functions are the only class of functions with a compact Riemann surface. The genus of the Riemann surface of an algebraic function is important; it is called the genus of the algebraic function. It can be calculated by the Riemann–Hurwitz formula. The genus of a rational function is zero, and its Riemann surface is the Riemann sphere. The Riemann surface of an elliptic function that satisfies a third- or fourth-degree equation is a torus; the genus of such a function is one.

The universal covering Riemann surface of an algebraic function is a simply-connected two-dimensional manifold, i.e. it has a trivial fundamental group and is conformally equivalent either to the Riemann sphere, the complex plane or the interior of the unit disc. In the first case the algebraic function is a rational, in the second case it is an elliptic, while in the third case it is a general function.

The uniformization problem of algebraic functions is closely connected with the theory of Riemann surfaces of algebraic functions. The function $ y = f(x) $ can be uniformized if $ y $ and $ x $ are representable as single-valued analytic functions

$$ y = y ( t ) ,\ x = x ( t ) $$

of a parameter $ t $, which identically satisfy equation (2). The uniformization problem is locally solved by a local uniformizing parameter; however, it is the solution "in the large" that is of interest. If $ k = 1 $, i.e. if $ y(x) $ is a rational function of $ x $, this parameter may be the variable $ x - x _ {0} $; if $ k = 2 $, then uniformization is attained with the aid of a rational or a trigonometric function. For instance, if $ y(x) $ satisfies the equation

$$ y ^ {2} - x ^ {2} = 1 , $$

one can take

$$ y = \frac{t ^ {2} + 1 }{t ^ {2} - 1 } ,\ x = \frac{2t }{t ^ {2} - 1 } $$

or

$$ y = \ \mathop{\rm sec} t ,\ x = \mathop{\rm tg} t . $$

If $ k = 3, 4 $ in the case of an algebraic function of genus one, uniformization is achieved using elliptic functions. Finally, if $ k > 4 $ and the genus of the algebraic function is higher than one, uniformization is realized using automorphic functions (cf. Automorphic function).

Algebraic functions of several variables.

If $ f $ is an algebraic function in the variables $ x _ {1} \dots x _ {n} $, then the set of all rational functions $ R (y, x _ {1} \dots x _ {n} ) $ forms a field $ K _ {f} $, coinciding with the field of rational functions on the algebraic hypersurface in $ ( n + 1 ) $- dimensional space defined by the equation $ F (y, x _ {1} \dots x _ {n} ) = 0 $. If the field of constants $ k $ is the field of complex numbers $ \mathbf C $ and if $ n = 1 $, then $ K _ {f} $ is identical with the field of meromorphic functions on the Riemann surface of the algebraic function. The field $ K _ {f} $ is an extension of finite type of the field of constants $ k $ of transcendence degree $ n $( cf. Extension of a field). In particular, any $ n + 1 $ elements of this field are connected by an algebraic equation, so that each of them defines an algebraic function of the remaining elements. Any extension $ K $ of finite type of a field $ k $ of transcendence degree $ n $ is known as an algebraic function field in $ n $ variables (or, sometimes, as a function field). Each such field contains a purely transcendence extension $ k( x _ {1} \dots x _ {n} ) $ of the field $ k $( called the field of rational functions in $ n $ variables). Any element $ y \in K $ satisfies some algebraic equation $ \Phi (y, x _ {1} \dots x _ {n} ) = 0 $, and can be considered as an algebraic function in the variables $ x _ {1} \dots x _ {n} $. Each field $ K $ of algebraic functions in $ n $ variables is isomorphic to the field of rational functions on some algebraic variety of dimension $ n $, which is called a model of $ K $. If the field of constants $ k $ is algebraically closed and of characteristic zero, then each algebraic function field has a non-singular projective model (cf. Resolution of singularities). Let $ S $ be the set of all non-trivial valuations (cf. Valuation) of an algebraic function field $ K $ which are non-negative on the field of constants. If provided with the natural topology, it is known as the abstract Riemann surface of the field $ K $[1]. In the case of algebraic functions in one variable, the Riemann surface coincides with the set of non-singular projective models, which in this case is uniquely defined up to an isomorphism. Many concepts and results in algebraic geometry on the model of a field $ K $ can be restated in the language of the theory of valuations of fields [1], [6]. A particularly close analogy holds for algebraic functions in one variable, the theory of which is practically identical with the theory of algebraic curves.

Each algebraic function field in one variable is the field of fractions of a Dedekind ring, so that many results and concepts of the theory of divisibility in algebraic number fields can be applied to function fields [12]. Many problems and constructions in algebraic number theory motivate similar problems and constructions in fields of algebraic functions and vice versa. For instance, the application of a Puiseux expansion to the theory of algebraic numbers led to the genesis of the $ p $- adic method in number theory, due to Hensel. Class field theory, which had originally belonged to the domain of algebraic numbers, was subsequently applied to functions [2]. An especially close analogy exists between algebraic number fields and algebraic function fields over a finite field of constants. For instance, the concept of a zeta-function is defined for the latter and the analogue of the Riemann hypothesis has been demonstrated for algebraic function fields (cf. Zeta-function in algebraic geometry).

References

[1] O. Zariski, P. Samuel, "Commutative algebra" , 1 , Springer (1975) MR0389876 MR0384768 Zbl 0313.13001
[2] J.-P. Serre, "Groupes algébrique et corps des classes" , Hermann (1959) MR0103191
[3] S. Stoilov, "The theory of functions of a complex variable" , 1–2 , Moscow (1962) (In Russian; translated from Rumanian)
[4] N.G. Chebotarev, "The theory of algebraic functions" , Moscow-Leningrad (1948) (In Russian)
[5] I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) MR0447223 Zbl 0362.14001
[6] C. Chevalley, "Introduction to the theory of algebraic functions of one variable" , Amer. Math. Soc. (1951) MR0042164 Zbl 0045.32301
[7] P. Appell, E. Goursat, "Théorie des fonctions algébriques" , 1–2 , Chelsea, reprint (1976–1978) Zbl 0399.30003 Zbl 0399.30002 Zbl 55.0224.08 Zbl 26.0416.01
[8] R. Dedekind, H.F. Weber, "Theorie der algebraischen Funktionen einer Veränderlichen" J. Reine Angew. Math. , 92 (1882) pp. 181–290
[9] K. Hensel, G. Landsberg, "Theorie der algebraischen Funktionen einer Variabeln und ihre Anwendung auf algebraische Kurven und Abelsche Integrale" , Teubner (1902) Zbl 33.0427.01
[10] E. Picard, G. Simart, "Théorie des fonctions algébriques de deux variables indépendantes" , 1–2 , Chelsea, reprint (1971) MR0392468 Zbl 37.0404.02 Zbl 28.0327.01
[11] H.W.E. Jung, "Einführung in die Theorie der algebraischen Funktionen zweier Veränderlicher" , Akademie Verlag (1951) MR0046079 Zbl 0045.01502
[12] H. Hasse, "Number theory" , Springer (1980) (Translated from German) MR0544018 MR0562104 Zbl 0423.12002
[13] S. Lang, "Algebraic functions" , New York (1965) Zbl 0137.05802 Zbl 0133.13804
How to Cite This Entry:
Algebraic function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Algebraic_function&oldid=23746
This article was adapted from an original article by A.B. Zhizhchenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article