Abel's theorem in problems and solutions - School of Mathematics
Abel's theorem in problems and solutions - School of Mathematics
Abel's theorem in problems and solutions - School of Mathematics
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
252 Appendix by Khovanskii<br />
choice: the germs <strong>of</strong> the basic functions are the germs <strong>of</strong> the constant<br />
functions (at every po<strong>in</strong>t <strong>of</strong> the space the allowed operations are the<br />
arithmetic operations, the <strong>in</strong>tegration, <strong>and</strong> rais<strong>in</strong>g to the power <strong>of</strong> the<br />
<strong>in</strong>tegral.<br />
2) The class <strong>of</strong> germs <strong>of</strong> functions <strong>in</strong> representable by generalized<br />
quadratures (over the field <strong>of</strong> the constants) is def<strong>in</strong>ed by the follow<strong>in</strong>g<br />
choice: the germs <strong>of</strong> the basic functions are the germs <strong>of</strong> the constant<br />
functions (at every po<strong>in</strong>t <strong>of</strong> the space the allowed operations are<br />
the arithmetic operations, the <strong>in</strong>tegration, the rais<strong>in</strong>g to the power <strong>of</strong> the<br />
<strong>in</strong>tegral, <strong>and</strong> the solution <strong>of</strong> algebraic equations.<br />
Notice that the above def<strong>in</strong>itions can be translated almost literally<br />
<strong>in</strong> the case <strong>of</strong> abstract differential fields, provided with commutative<br />
differentiation operations In such a generalized form<br />
these def<strong>in</strong>itions are owed to Kolch<strong>in</strong>.<br />
Now consider the class <strong>of</strong> the germs <strong>of</strong> functions representable by<br />
quadratures <strong>and</strong> by generalized quadratures <strong>in</strong> the spaces <strong>of</strong> any dimension<br />
Repeat<strong>in</strong>g the Liouville argument (cf., Theorem 1 <strong>in</strong><br />
§A.2), it is not difficult to prove that the class <strong>of</strong> the germs <strong>of</strong> functions <strong>of</strong><br />
several variables representable by quadratures <strong>and</strong> by generalized quadratures<br />
conta<strong>in</strong>s the germs <strong>of</strong> the rational functions <strong>of</strong> several variables <strong>and</strong><br />
the germs <strong>of</strong> all elementary basic functions; these classes <strong>of</strong> germs are<br />
closed with respect to the composition. (The closure with respect to the<br />
composition <strong>of</strong> a class <strong>of</strong> germs <strong>of</strong> functions representable by quadratures<br />
means the follow<strong>in</strong>g: if are germs <strong>of</strong> functions representable by<br />
quadratures at a po<strong>in</strong>t <strong>and</strong> is a germ <strong>of</strong> a function representable<br />
by quadratures at the po<strong>in</strong>t where then<br />
the germ at the po<strong>in</strong>t is the germ <strong>of</strong> a function<br />
representable by quadratures).<br />
A.14<br />
Does there exist a class <strong>of</strong> germs <strong>of</strong> functions <strong>of</strong> several variables sufficiently<br />
wide (conta<strong>in</strong><strong>in</strong>g the germs <strong>of</strong> functions representable by generalized<br />
quadratures, the germs <strong>of</strong> entire functions <strong>of</strong> several variables <strong>and</strong><br />
closed with respect to the natural operations such as the composition)<br />
for which the monodromy group is def<strong>in</strong>ed? In this section we def<strong>in</strong>e the<br />
class <strong>of</strong> <strong>and</strong> we state the <strong>theorem</strong> about the closure <strong>of</strong> this class<br />
with respect to the natural operations: this gives an affirmative answer to