Namespaces
Variants
Actions

Difference between revisions of "Differential algebra"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex done)
 
Line 1: Line 1:
 +
{{TEX|done}}
 +
 
A branch of algebra which deals with objects which involve not only addition and multiplication operations but also the operation of differentiation: differential rings, differential modules, differential fields, and differential algebraic varieties.
 
A branch of algebra which deals with objects which involve not only addition and multiplication operations but also the operation of differentiation: differential rings, differential modules, differential fields, and differential algebraic varieties.
  
One of the main objects of differential algebra is the algebra of differential polynomials <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d0318301.png" />, which is the analogue of the ring of polynomials in commutative algebra (cf. [[Extension of a differential field|Extension of a differential field]]). Each system of differential equations
+
One of the main objects of differential algebra is the algebra of differential polynomials $  {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ ,  
 +
which is the analogue of the ring of polynomials in commutative algebra (cf. [[Extension of a differential field|Extension of a differential field]]). Each system of differential equations $$
 +
F _{1}  =  0 \dots F _{k}  =  0
 +
$$
 +
corresponds to the perfect differential ideal  $  \{ F _{1} \dots F _{k} \} $
 +
generated by this system in the algebra of differential polynomials. The Ritt–Raudenbush basis theorem states that all perfect differential ideals are obtained in this way (a differential ideal  $  I $
 +
is called perfect if whenever  $  a ^{n} \in I $
 +
for some  $  n > 0 $ ,
 +
then  $  a \in I $ ),
 +
i.e. it is possible to select in any such ideal a finite number of differential polynomials such that the perfect differential ideal generated by these polynomials corresponds to the given ideal. As distinct from Hilbert's basis theorem in a polynomial ring, the essential feature of the Ritt–Raudenbush theorem is that the ideals are perfect, i.e. differential ideals (even perfect differential ideals) need not be finitely-generated differential modules.
  
<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/d/d031/d031830/d0318302.png" /></td> </tr></table>
+
A perfect differential ideal corresponds to a differential algebraic variety — the set of points in an affine space over some universal extension of the field of coefficients on which any polynomial from this ideal vanishes. The analogue of Hilbert's Nullstellensatz is valid. Let  $  F _{1} \dots F _{p} $
 +
be a finite system of differential polynomials and let  $  G $
 +
be a differential polynomial which vanishes in all solutions of this system. A certain power of  $  G $
 +
will then be a linear combination of the  $  F _{i} $
 +
and their derivatives of various orders with coefficients from the algebra of differential polynomials. In particular, if the system  $  F _{1} \dots F _{p} $
 +
has no zeros, then some linear combination of the  $  F _{i} $
 +
and their derivatives of various orders will be equal to one.
  
corresponds to the perfect differential ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d0318303.png" /> generated by this system in the algebra of differential polynomials. The Ritt–Raudenbush basis theorem states that all perfect differential ideals are obtained in this way (a differential ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d0318304.png" /> is called perfect if whenever <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d0318305.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d0318306.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d0318307.png" />), i.e. it is possible to select in any such ideal a finite number of differential polynomials such that the perfect differential ideal generated by these polynomials corresponds to the given ideal. As distinct from Hilbert's basis theorem in a polynomial ring, the essential feature of the Ritt–Raudenbush theorem is that the ideals are perfect, i.e. differential ideals (even perfect differential ideals) need not be finitely-generated differential modules.
+
A perfect differential ideal may be represented as the intersection of a finite number of prime differential ideals. To such a representation corresponds the decomposition of a variety into a finite number of irreducible components. As in algebraic geometry, the concept of a generic zero and its dimension is introduced for prime differential ideals. For an irreducible closed set  $  V $
 +
in a differential affine space, i.e. in an affine space over a universal extension  $  U $
 +
of the field of coefficients, one defines a differential dimension polynomial $$
 +
\omega _{V}  =   \sum _ {0 \leq i \leq m} a _{i} \binom{x+i}{i} ,
 +
$$
 +
where  $  m $
 +
is the number of differentiations in  $  F $ .
 +
The coefficient  $  a _{m} $
 +
is known as the differential dimension of  $  V $ ,
 +
the degree  $  \tau = \mathop{\rm deg}\nolimits \  \omega _{V} $
 +
of the polynomial is known as the differential type of the set  $  V $ ,
 +
while the coefficient  $  a _ \tau  $
 +
is called its typical differential dimension. The polynomial  $  \omega _{V} $
 +
is a birational invariant, but is not a differential birational invariant. This is the case for  $  a _{m} (V) $ ,
 +
$  \tau (V) $
 +
and  $  a _ {\tau (V)} (V) $ .
 +
The determination of differential birational invariants is of major interest. Another problem is to estimate the possible values of the invariants obtained. Let  $  \Sigma $
 +
be a set in  $  {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ .  
 +
If the orders of the elements of  $  \Sigma $
 +
are bounded, then the differential dimension polynomials of the components of  $  \{ \Sigma \} $
 +
are subject to certain restrictions. In particular, if for each  $  Y _{j} $
 +
the order of any element of  $  \Sigma $
 +
with respect to  $  Y _{j} $
 +
does not exceed  $  e _{j} $ ,
 +
it follows from the condition  $  a _{m} ( {\mathcal p} ) = 0 $
 +
that, for any component of the variety  $  \{ \Sigma \} $ ,
 +
one has  $  a _{m-1} ( {\mathcal p} ) \leq \sum e _{j} $ .  
 +
The hypothesis in the general case is $$
 +
a _ {\tau ( {\mathcal p} )} ( {\mathcal p} )  \leq  \sum _ {1 \leq j \leq n} \binom{e
 +
_{j} + m - \tau ( {\mathcal p} ) - 1}{m - \tau ( {\mathcal p} )} .
 +
$$
 +
This hypothesis is not valid, as was shown by M. Kondrat'eva. If the set  $  \Sigma \subset {\mathcal F} \{ Y _{1} \dots Y _{n} \} $
 +
consists of  $  n $
 +
differential polynomials  $  F _{1} \dots F _{n} $ ,
 +
two additional hypotheses are also postulated. Let $$
 +
e _{ij}  =    \mathop{\rm ord}\nolimits _ {Y _{j}} \  F _{i} ,  1 \leq i \leq n ,   i
 +
\leq j \leq n ,
 +
$$
 +
and $$
 +
h  =    \mathop{\rm max}\nolimits _ \pi  ( e _ {1 \pi (1)} + \dots + e _ {n \pi (n)} ),
 +
$$
 +
where  $  \pi $
 +
runs through the symmetric group  $  S _{n} $ .  
 +
The first hypothesis states that for any component  $  {\mathcal p} $
 +
of the variety  $  \{ F _{1} \dots F _{n} \} $
 +
it follows from  $  a _{m} ( {\mathcal p} ) = 0 $
 +
that  $  a _{m-1} ( {\mathcal p} ) \leq h $ .
 +
This statement has been proved in a number of special cases. According to the second hypothesis, for any component  $  {\mathcal p} $
 +
of the variety  $  \{ F _{1} \dots F _{n} \} $
 +
it follows from  $  a _{m} ( {\mathcal p} ) = a _{m-1} ( {\mathcal p} ) = 0 $
 +
that  $  \omega _  {\mathcal p}  = 0 $ .
 +
This hypothesis has been proved.
  
A perfect differential ideal corresponds to a differential algebraic variety — the set of points in an affine space over some universal extension of the field of coefficients on which any polynomial from this ideal vanishes. The analogue of Hilbert's Nullstellensatz is valid. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d0318308.png" /> be a finite system of differential polynomials and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d0318309.png" /> be a differential polynomial which vanishes in all solutions of this system. A certain power of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183010.png" /> will then be a linear combination of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183011.png" /> and their derivatives of various orders with coefficients from the algebra of differential polynomials. In particular, if the system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183012.png" /> has no zeros, then some linear combination of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183013.png" /> and their derivatives of various orders will be equal to one.
+
A difficult problem in differential algebra is the decomposition of a differential algebraic variety into irreducible components. Even if  $  \Sigma $
 +
consists of a single irreducible differential polynomial $  \sigma $
 +
the corresponding variety usually consists of several components, one of which contains all non-singular solutions of the equation  $  \sigma = 0 $ (
 +
and may also contain singular solutions), while all the remaining components consist of solutions in which any separant of the differential polynomial  $  \sigma $
 +
vanishes. The case of a hypersurface (a system $  \Sigma $
 +
of one equation) is especially important, since any differential algebraic variety over an ordinary differential field is differentially birationally isomorphic to a hypersurface.
  
A perfect differential ideal may be represented as the intersection of a finite number of prime differential ideals. To such a representation corresponds the decomposition of a variety into a finite number of irreducible components. As in algebraic geometry, the concept of a generic zero and its dimension is introduced for prime differential ideals. For an irreducible closed set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183014.png" /> in a differential affine space, i.e. in an affine space over a universal extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183015.png" /> of the field of coefficients, one defines a differential dimension polynomial
+
Since any prime differential ideal is completely defined by its characteristic set, one may subdivide the problem of the decomposition of a differential algebraic variety $  \{ {\mathcal p} \} $
 +
into two parts: 1) to find a finite set  $  {\mathcal A} $
 +
of autoreduced subsets of  $  {\mathcal F} \{ Y _{1} \dots Y _{n} \} $
 +
each of which is a characteristic set of a prime differential ideal containing  $  \Phi $
 +
such that  $  {\mathcal A} $
 +
contains a characteristic set of each component of  $  \{ \Phi \} $ ;
 +
2) to determine, for a given autoreduced set in $  {\mathcal F} \{ Y _{1} \dots Y _{n} \} $
 +
whether or not it is a characteristic set of any component of $  \{ \Phi \} $ .
  
<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/d/d031/d031830/d03183016.png" /></td> </tr></table>
 
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183017.png" /> is the number of differentiations in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183018.png" />. The coefficient <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183019.png" /> is known as the differential dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183020.png" />, the degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183021.png" /> of the polynomial is known as the differential type of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183022.png" />, while the coefficient <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183023.png" /> is called its typical differential dimension. The polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183024.png" /> is a birational invariant, but is not a differential birational invariant. This is the case for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183027.png" />. The determination of differential birational invariants is of major interest. Another problem is to estimate the possible values of the invariants obtained. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183028.png" /> be a set in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183029.png" />. If the orders of the elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183030.png" /> are bounded, then the differential dimension polynomials of the components of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183031.png" /> are subject to certain restrictions. In particular, if for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183032.png" /> the order of any element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183033.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183034.png" /> does not exceed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183035.png" />, it follows from the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183036.png" /> that, for any component of the variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183037.png" />, one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183038.png" />. The hypothesis in the general case is
+
The solution of 2) is not known (1987) in the general case, but the important special case when  $  \Phi $
 +
consists of one differential polynomial can be solved with the aid of two theorems of Ritt: The component theorem and the low power theorem (see below).
  
<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/d/d031/d031830/d03183039.png" /></td> </tr></table>
+
The problem of finding the components of the variety  $  \{ \Phi \} $
 +
may also be decomposed into problem 1) and the following problem: 3) to determine, for given characteristic sets  $  A $
 +
and  $  B $
 +
of prime differential ideals  $  {\mathcal p} $
 +
and  $  {\mathcal q} $
 +
respectively, if the inclusion  $  {\mathcal p} \subset {\mathcal q} $
 +
holds.
  
This hypothesis is not valid, as was shown by M. Kondrat'eva. If the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183040.png" /> consists of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183041.png" /> differential polynomials <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183042.png" />, two additional hypotheses are also postulated. Let
+
Problem 3) is also still far from being solved. In the particular case when  $  A $
 +
consists of one irreducible differential polynomial  $  A $
 +
and  $  {\mathcal q} $
 +
is a differential ideal  $  [ Y _{1} \dots Y _{n} ] $ ,
 +
the problem is to find whether or not the point  $  ( 0 \dots 0) $
 +
is comprised in the general solution of the differential equation  $  A = 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/d/d031/d031830/d03183043.png" /></td> </tr></table>
 
  
and
+
Problem 1) has been solved,  "in principle" , for a finite set  $  \Phi \subset {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ :
 +
An inductive procedure (the theory of elimination for systems of algebraic differential equations) converts it to a number of  "easier"  problems involving polynomials in a finite number of unknowns over  $  {\mathcal F} $ ,
 +
i.e. a problem involving algebraic differential equations is reduced to one involving algebraic 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/d/d031/d031830/d03183044.png" /></td> </tr></table>
+
The components theorem says that the singular components are in their turn generic components of other differential polynomials. More exactly, let  $  {\mathcal F} $
 +
be a differential field and let  $  F $
 +
denote a non-zero differential polynomial in  $  {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ .
 +
If  $  {\mathcal p} $
 +
is some component of the ideal  $  \{ F \} $
 +
of the ring  $  {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ ,
 +
then there exists an irreducible differential polynomial  $  B \in {\mathcal F} \{ Y _{1} \dots Y _{n} \} $
 +
such that  $  {\mathcal p} = {\mathcal p} _  {\mathcal F}  (B) $
 +
is a generic component of the variety  $  \{ B \} $ .
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183045.png" /> runs through the symmetric group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183046.png" />. The first hypothesis states that for any component <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183047.png" /> of the variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183048.png" /> it follows from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183049.png" /> that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183050.png" />. This statement has been proved in a number of special cases. According to the second hypothesis, for any component <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183051.png" /> of the variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183052.png" /> it follows from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183053.png" /> that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183054.png" />. This hypothesis has been proved.
 
  
A difficult problem in differential algebra is the decomposition of a differential algebraic variety into irreducible components. Even if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183055.png" /> consists of a single irreducible differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183056.png" /> the corresponding variety usually consists of several components, one of which contains all non-singular solutions of the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183057.png" /> (and may also contain singular solutions), while all the remaining components consist of solutions in which any separant of the differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183058.png" /> vanishes. The case of a hypersurface (a system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183059.png" /> of one equation) is especially important, since any differential algebraic variety over an ordinary differential field is differentially birationally isomorphic to a hypersurface.
+
The low power theorem provides a criterion for determining whether or not the component of an irreducible differential polynomial  $  A \in {\mathcal F} \{ Y _{1} \dots Y _{n} \} $
 +
is a component of  $  \{ F \} $ .
 +
More exactly, let  $  F ,\  A \in {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ ,
 +
let the orders of  $  F $
 +
and  $  A $
 +
with respect to  $  Y _{n} $
 +
be equal to  $  m $
 +
and  $  l $ ,
 +
respectively, let  $  A _{j} $
 +
be the  $  j $ -
 +
th derivative of  $  A $
 +
and let  $  S $
 +
be the separant of $  A $ .
 +
There exist a $  t \geq 0 $
 +
and an  $  r > 0 $
 +
such that $$
 +
S ^{t} F  =   \sum _{j=1} ^ r c _{j} A ^ {p _{j}} A _{1} ^
 +
{i _{1j}} \dots A _{m-l} ^ {i _ {m-l , j}} ,
 +
$$
 +
where  $  p _{j} \geq 0 $ ,
 +
$  i _{kj} \geq 0 $ ,
 +
no two sets  $  i _{1j} \dots i _ {m-l , j} $
 +
coincide, the order of  $  c _{j} $
 +
with respect to  $  Y _{n} $
 +
does not exceed  $  l $ ,
 +
and  $  c _{j} $
 +
is not divisible by  $  A $ .  
 +
If such a decomposition has been found, the low power theorem states that a generic component of the variety $  \{ A \} $
 +
is a component of the variety  $  \{ F \} $
 +
if and only if the decomposition, when written out, contains a term  $  c _{k} A ^ {p _{k}} $
 +
which does not contain derivatives of $  A $
 +
and the degree of which is lower than the degree of any other term in the decomposition, regarded as a polynomial in  $  A ,\  A _{1} \dots A _{m-l} $ (
 +
if the characteristic is non-zero, this condition is neither necessary nor sufficient).
  
Since any prime differential ideal is completely defined by its characteristic set, one may subdivide the problem of the decomposition of a differential algebraic variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183060.png" /> into two parts: 1) to find a finite set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183061.png" /> of autoreduced subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183062.png" /> each of which is a characteristic set of a prime differential ideal containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183063.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183064.png" /> contains a characteristic set of each component of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183065.png" />; 2) to determine, for a given autoreduced set in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183066.png" /> whether or not it is a characteristic set of any component of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183067.png" />.
+
The second trend of studies in differential algebra concerns the problem of extensions of specializations. Let  $  ( \eta _{1} \dots \eta _{n} ) $
 +
and  $  ( \zeta _{1} \dots \zeta _{n} ) $
 +
be points in  $  U ^{n} $ ,
 +
where  $  U $
 +
is a universal extension of a differential field  $  {\mathcal F} $ .  
 +
A point  $  ( \zeta _{1} \dots \zeta _{n} ) $
 +
is said to be a differential specialization of the point  $  ( \eta _{1} \dots \eta _{n} ) $
 +
over  $  {\mathcal F} $ (
 +
this is denoted by  $  ( \eta _{1} \dots \eta _{n} ) \rightarrow _  {\mathcal F}  ( \zeta _{1} \dots \zeta _{n} ) $ )
 +
if any differential polynomial which vanishes in  $  ( \eta _{1} \dots \eta _{n} ) $
 +
also vanishes in  $  ( \zeta _{1} \dots \zeta _{n} ) $ .  
 +
If  $  ( \eta _{1} \dots \eta _{n} ) \rightarrow _  {\mathcal F}  ( \zeta _{1} \dots \zeta _{n} ) $
 +
and  $  1 \leq k \leq n $ ,  
 +
it is clear that  $  ( \eta _{1} \dots \eta _{k} ) \rightarrow _  {\mathcal F}  ( \zeta _{1} \dots \zeta _{k} ) $ .  
 +
One says that the first specialization is an extension of the second.
  
The solution of 2) is not known (1987) in the general case, but the important special case when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183068.png" /> consists of one differential polynomial can be solved with the aid of two theorems of Ritt: The component theorem and the low power theorem (see below).
+
Let  $  ( \eta _{1} \dots \eta _{n} ) $
 +
and  $  k $
 +
be given, and let  $  B \in {\mathcal F} \{ Y _{1} \dots Y _{n} \} $
 +
be such that  $  B ( \eta _{1} \dots \eta _{n} ) \neq 0 $ .
 +
It can be shown that there exists a non-zero differential polynomial  $  B _{0} \in {\mathcal F} \{ Y _{1} \dots Y _{k} \} $
 +
satisfying the condition  $  B _{0} ( \eta _{1} \dots \eta _{k} ) \neq 0 $
 +
such that any differential specialization  $  ( \eta _{1} \dots \eta _{k} ) \rightarrow _  {\mathcal F}  ( \zeta _{1} \dots \zeta _{k} ) $
 +
for which  $  B _{0} ( \zeta _{1} \dots \zeta _{k} ) \neq 0 $
 +
may be extended to a differential specialization  $  ( \zeta _{1} \dots \zeta _{n} ) $
 +
where  $  B ( \zeta _{1} \dots \zeta _{n} ) \neq 0 $ .
 +
However, unlike the situation in algebraic geometry, a differential specialization  $  ( \eta _{1} \dots \eta _{k} ) \rightarrow _  {\mathcal F}  ( \zeta _{1} \dots \zeta _{k} ) $
 +
cannot always be extended to a differential specialization  $  ( \eta _{1} \dots \eta _{n} ) \rightarrow _  {\mathcal F}  ( \zeta _{1} \dots \zeta _{n} ) $ ,
 +
even if the elements  $  \zeta _{k+1} \dots \zeta _{n} $
 +
assume the value  $  \infty $ .
 +
Thus, the resulting problem is to find a criterion for the possibility of an extension of a specialization  $  ( \eta _{1} \dots \eta _{k} ) \rightarrow _  {\mathcal F}  ( \zeta _{1} \dots \zeta _{k} ) $
 +
to a differential specialization  $  ( \eta _{1} \dots \eta _{n} ) \rightarrow _  {\mathcal F}  ( \zeta _{1} \dots \zeta _{n} ) $ .
  
The problem of finding the components of the variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183069.png" /> may also be decomposed into problem 1) and the following problem: 3) to determine, for given characteristic sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183070.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183071.png" /> of prime differential ideals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183072.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183073.png" /> respectively, if the inclusion <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183074.png" /> holds.
 
  
Problem 3) is also still far from being solved. In the particular case when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183075.png" /> consists of one irreducible differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183076.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183077.png" /> is a differential ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183078.png" />, the problem is to find whether or not the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183079.png" /> is comprised in the general solution of the differential equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183080.png" />.
+
A special case of this problem is encountered in the problem of indeterminate forms. Let the polynomials  $  F,\  G \in {\mathcal F} \{ Y _{1} \dots Y _{n} \} $
 +
be relatively prime, let  $  G \neq 0 $ ,
 +
and let  $  F $
 +
and  $  G $
 +
vanish at  $  (0 \dots 0) $ .  
 +
The problem is to assign to the ratio  $  F/G $
 +
a value at the point  $  (0 \dots 0) $ .  
 +
Let the elements  $  t _{1} \dots t _{n} \in U $
 +
be differentially algebraically independent over  $  {\mathcal F} $
 +
and let $$
 +
=  
 +
\frac{F( t _{1} \dots t _{n} )}{G( t _{1} \dots t _{n} )}
 +
.
 +
$$
 +
It is natural to say that  $  F/G $
 +
admits the value  $  \alpha $
 +
at  $  ( 0 \dots 0 ) $
 +
if  $  ( t _{1} \dots t _{n} ,\  u) \rightarrow _  {\mathcal F}  ( 0 \dots 0 ,\  \alpha ) $ .  
 +
Thus, the problem is reduced to finding the extensions of  $  ( t _{1} \dots t _{n} ) \rightarrow _  {\mathcal F}  ( 0 \dots 0 ) $
 +
to  $  ( t _{1} \dots t _{n} ,\  u ) $ .  
 +
This is equivalent to determining the elements  $  \alpha \in U $
 +
such that  $  (0 \dots 0 ,\  \alpha ) $
 +
is a zero of the generic component of the differential polynomial  $  Y _{n+1} G - F \in {\mathcal F} \{ Y _{1} \dots Y _{n+1} \} $ .
 +
J.F. Ritt conjectured that  $  \alpha $
 +
is either uniquely defined (possibly equal to  $  \infty $ )
 +
or else is completely arbitrary; he proved this conjecture for ordinary differential fields for  $  n=1 $ ,
 +
$  \mathop{\rm ord}\nolimits (FG) = 1 $ .  
 +
Studies are made of the properties of concrete differential ideals in the ring  $  {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ .  
 +
In the case of an infinite sequence  $  \Sigma _{1} \dots \Sigma _{p} \dots $
 +
of prime differential ideals in  $  {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ ,
 +
where each  $  \Sigma _{i} $
 +
is a proper divisor of  $  \Sigma _{i+1} $ ,
 +
the intersection of all  $  \Sigma _{i} $
 +
is a prime differential ideal and the dimension of the corresponding variety  $  {\mathcal M} $
 +
is higher than that of the variety  $  {\mathcal M} _{i} $
 +
corresponding to  $  \Sigma _{i} $
 +
for an arbitrary  $  i $ .
  
Problem 1) has been solved,  "in principle" , for a finite set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183081.png" />: An inductive procedure (the theory of elimination for systems of algebraic differential equations) converts it to a number of  "easier"  problems involving polynomials in a finite number of unknowns over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183082.png" />, i.e. a problem involving algebraic differential equations is reduced to one involving algebraic equations.
 
  
The components theorem says that the singular components are in their turn generic components of other differential polynomials. More exactly, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183083.png" /> be a differential field and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183084.png" /> denote a non-zero differential polynomial in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183085.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183086.png" /> is some component of the ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183087.png" /> of the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183088.png" />, then there exists an irreducible differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183089.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183090.png" /> is a generic component of the variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183091.png" />.
+
Of the other results concerning differential algebraic varieties, the analogue of Lüroth's theorem is worth mentioning: If  $  {\mathcal G} $
 +
is an extension of a differential field $  {\mathcal F} $
 +
contained in $  {\mathcal F} \langle  u \rangle $ ,  
 +
then $  {\mathcal G} $
 +
contains an element  $  v $
 +
such that $  {\mathcal F} \langle v\rangle = {\mathcal G} $ .
  
The low power theorem provides a criterion for determining whether or not the component of an irreducible differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183092.png" /> is a component of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183093.png" />. More exactly, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183094.png" />, let the orders of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183095.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183096.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183097.png" /> be equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183098.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d03183099.png" />, respectively, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830100.png" /> be the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830101.png" />-th derivative of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830102.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830103.png" /> be the separant of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830104.png" />. There exist a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830105.png" /> and an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830106.png" /> such that
 
  
<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/d/d031/d031830/d031830107.png" /></td> </tr></table>
+
However, the theory of differential algebraic curves (varieties of differential dimension 1) is only in its initial stage of development; even for invariants such as the genus of the curve in algebraic geometry, differential algebraic analogues have not been found. Of major interest is the intersection theory of differential algebraic varieties. The theorem that the intersection of two irreducible varieties of dimensions  $  p $
 +
and  $  q $
 +
in  $  n $ -
 +
dimensional affine space has dimension  $  p+q-n $
 +
or higher is not valid for these varieties. However, differential algebraic varieties are characterized not only by the dimension but also by their order with respect to a chosen differential transcendence basis. A number of estimates from above have been obtained for the intersection order of varieties with respect to a specially chosen basis. The following analytic theorem on the intersection of components of the same differential polynomial has been proved: If  $  F $
 +
is a differential polynomial in the unknowns  $  Y _{1} \dots Y _{n} $ ,
 +
then in a zero of the polynomial  $  F $
 +
contained in more than one component of  $  F $
 +
the derivative  $  \partial F / \partial Y _{ij} $
 +
vanishes for  $  i=1 \dots n $
 +
and arbitrary  $  j $ .  
 +
The concept of a differential algebraic variety may be generalized (dropping the assumption that it is affine). In particular, it is possible to introduce the concepts of differentially homogeneous polynomials and of projective differential algebraic varieties.
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830108.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830109.png" />, no two sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830110.png" /> coincide, the order of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830111.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830112.png" /> does not exceed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830113.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830114.png" /> is not divisible by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830115.png" />. If such a decomposition has been found, the low power theorem states that a generic component of the variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830116.png" /> is a component of the variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830117.png" /> if and only if the decomposition, when written out, contains a term <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830118.png" /> which does not contain derivatives of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830119.png" /> and the degree of which is lower than the degree of any other term in the decomposition, regarded as a polynomial in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830120.png" /> (if the characteristic is non-zero, this condition is neither necessary nor sufficient).
+
For a differential field  $  F $
 +
there is no differential algebraic closure, and differential algebraically closed fields do not exist. They are replaced, in a sense, by the so-called  "constrained" extensions.
  
The second trend of studies in differential algebra concerns the problem of extensions of specializations. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830121.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830122.png" /> be points in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830123.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830124.png" /> is a universal extension of a differential field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830125.png" />. A point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830126.png" /> is said to be a differential specialization of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830127.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830128.png" /> (this is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830129.png" />) if any differential polynomial which vanishes in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830130.png" /> also vanishes in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830131.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830132.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830133.png" />, it is clear that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830134.png" />. One says that the first specialization is an extension of the second.
+
The Galois theory of differential fields represents a trend in differential algebra. A universal differential extension $  U $
 +
of a differential field $  {\mathcal F} $
 +
is constructed and the set of differential isomorphisms from a finitely-generated differential algebraic extension  $  {\mathcal G} $
 +
of the field  $  {\mathcal F} $
 +
into  $  U $
 +
which are the identity on  $  {\mathcal F} $
 +
are considered. If  $  {\mathcal G} $
 +
is a strongly normal extension of  $  {\mathcal F} $ ,
 +
it is possible to introduce the structure of an algebraic group over the field  $  K $ (
 +
of constants of  $  U $ )  
 +
on the set  $  G $
 +
of differential isomorphisms from  $  {\mathcal G} $
 +
into  $  U $ .  
 +
A special case of strongly normal extensions are the Picard–Vessiot extensions, obtained by adding to the field  $  {\mathcal F} $
 +
the solutions of a linear homogeneous differential equation with coefficients in $  {\mathcal F} $ .  
 +
The Galois group of a Picard–Vessiot extension is an algebraic matrix group. The correspondence between the intermediate fields and the subgroups of the group  $  G $
 +
is described by the following theorem.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830135.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830136.png" /> be given, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830137.png" /> be such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830138.png" />. It can be shown that there exists a non-zero differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830139.png" /> satisfying the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830140.png" /> such that any differential specialization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830141.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830142.png" /> may be extended to a differential specialization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830143.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830144.png" />. However, unlike the situation in algebraic geometry, a differential specialization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830145.png" /> cannot always be extended to a differential specialization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830146.png" />, even if the elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830147.png" /> assume the value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830148.png" />. Thus, the resulting problem is to find a criterion for the possibility of an extension of a specialization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830149.png" /> to a differential specialization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830150.png" />.
+
Let $  {\mathcal G} $
 +
be a strongly normal extension of a differential field  $  {\mathcal F} $
 +
with field of constants  $  C $ .  
 +
a) If  $  {\mathcal F} _{1} $
 +
is a differential field such that  $  {\mathcal F} \subset {\mathcal F} _{1} \subset {\mathcal G} $ ,
 +
then  $  {\mathcal G} $
 +
is strongly normal over  $  {\mathcal F} _{1} $ ,  
 +
the Galois group  $  G ( {\mathcal G} / {\mathcal F} _{1} ) $
 +
is a  $  C $ -
 +
subgroup in  $  G ( {\mathcal G} / {\mathcal F} ) $
 +
and the field of invariants of  $  G ( {\mathcal G} / {\mathcal F} _{1} ) $
 +
in  $  {\mathcal G} $
 +
coincides with  $  {\mathcal F} _{1} $ .  
 +
b) If  $  G _{1} $
 +
is a $  C $ -
 +
subgroup of  $  G ( {\mathcal G} / {\mathcal F} ) $
 +
and  $  {\mathcal F} _{1} $
 +
denotes the set of invariants of the group  $  G _{1} $
 +
in  $  {\mathcal G} $ ,
 +
then  $  {\mathcal F} _{1} $
 +
is a differential field,  $  {\mathcal F} \subset {\mathcal F} _{1} \subset {\mathcal G} $
 +
and  $  G ( {\mathcal G} / {\mathcal F} _{1} ) = G _{1} $ .
  
A special case of this problem is encountered in the problem of indeterminate forms. Let the polynomials <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830151.png" /> be relatively prime, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830152.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830153.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830154.png" /> vanish at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830155.png" />. The problem is to assign to the ratio <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830156.png" /> a value at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830157.png" />. Let the elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830158.png" /> be differentially algebraically independent over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830159.png" /> and let
 
  
<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/d/d031/d031830/d031830160.png" /></td> </tr></table>
+
The normal subgroups  $  G _{1} $
 +
of  $  G ( {\mathcal G} / {\mathcal F} _{1} ) $
 +
correspond to strongly normal extensions  $  {\mathcal F} _{1} $
 +
of  $  {\mathcal F} $
 +
and vice versa. The inverse Galois problem — that is, the problem of the existence of a strongly normal extension  $  {\mathcal G} $
 +
of a field  $  {\mathcal F} $
 +
the Galois group  $  G ( {\mathcal G} / {\mathcal F} ) $
 +
of which is isomorphic to a given group — has been solved for connected solvable groups. The problem was reduced to an estimate of the dimension of some vector space over the field of constants  $  C $
 +
of  $  {\mathcal F} $
 +
and the rank of a certain Abelian group. Results on the Galois theory of infinite extensions are available. The theory of integration in finite form deals with problems related to Galois theory.
  
It is natural to say that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830161.png" /> admits the value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830162.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830163.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830164.png" />. Thus, the problem is reduced to finding the extensions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830165.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830166.png" />. This is equivalent to determining the elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830167.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830168.png" /> is a zero of the generic component of the differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830169.png" />. J.F. Ritt conjectured that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830170.png" /> is either uniquely defined (possibly equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830171.png" />) or else is completely arbitrary; he proved this conjecture for ordinary differential fields for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830172.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830173.png" />. Studies are made of the properties of concrete differential ideals in the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830174.png" />. In the case of an infinite sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830175.png" /> of prime differential ideals in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830176.png" />, where each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830177.png" /> is a proper divisor of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830178.png" />, the intersection of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830179.png" /> is a prime differential ideal and the dimension of the corresponding variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830180.png" /> is higher than that of the variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830181.png" /> corresponding to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830182.png" /> for an arbitrary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830183.png" />.
+
The theory of differential algebraic groups, substantially different from its algebraic analogue, is in the course of development. In particular, the differential ring of everywhere-defined differential rational functions on an affine differential algebraic set is not a differential coordinate ring and, in general, is not finitely generated as a differential algebra.
  
Of the other results concerning differential algebraic varieties, the analogue of Lüroth's theorem is worth mentioning: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830184.png" /> is an extension of a differential field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830185.png" /> contained in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830186.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830187.png" /> contains an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830188.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830189.png" />.
+
The analogue of Liouville's theorem on the approximation of algebraic numbers by rational numbers may be mentioned as a result obtained for the approximation of differential algebraic functions by differential rational functions. However, the analogue of the Thue–Siegel–Roth theorem has not yet (1987) been proved.
  
However, the theory of differential algebraic curves (varieties of differential dimension 1) is only in its initial stage of development; even for invariants such as the genus of the curve in algebraic geometry, differential algebraic analogues have not been found. Of major interest is the intersection theory of differential algebraic varieties. The theorem that the intersection of two irreducible varieties of dimensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830190.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830191.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830192.png" />-dimensional affine space has dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830193.png" /> or higher is not valid for these varieties. However, differential algebraic varieties are characterized not only by the dimension but also by their order with respect to a chosen differential transcendence basis. A number of estimates from above have been obtained for the intersection order of varieties with respect to a specially chosen basis. The following analytic theorem on the intersection of components of the same differential polynomial has been proved: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830194.png" /> is a differential polynomial in the unknowns <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830195.png" />, then in a zero of the polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830196.png" /> contained in more than one component of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830197.png" /> the derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830198.png" /> vanishes for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830199.png" /> and arbitrary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830200.png" />. The concept of a differential algebraic variety may be generalized (dropping the assumption that it is affine). In particular, it is possible to introduce the concepts of differentially homogeneous polynomials and of projective differential algebraic varieties.
+
The theory of rings with higher differentiations is now being developed. Higher differentiations are a strong tool in the study of objects of non-zero characteristic. If the characteristic of the differential ring  $  A $
 +
is $  p $ ,
 +
the $  p $ -
 +
th power of any element is constant; this is not true of rings with higher differentiations. Analogues of many results listed above, concerning both the intersection theory of ideals and Galois theory, have been obtained for rings with higher differentiations.
  
For a differential field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830201.png" /> there is no differential algebraic closure, and differential algebraically closed fields do not exist. They are replaced, in a sense, by the so-called "constrained" extensions.
+
====References====
 +
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I. Kaplansky,  "An introduction to differential algebra" , Hermann  (1957)  {{MR|0093654}} {{ZBL|0083.03301}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  J.F. Ritt,  "Differential algebra" , Amer. Math. Soc. (1950)  {{MR|0035763}} {{ZBL|0037.18402}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  E.R. Kolchin,  "Differential algebra and algebraic groups" , Acad. Press  (1973)  {{MR|0568864}} {{ZBL|0264.12102}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  E.R. Kolchin,  "Some problems in differential algebra" , ''Proc. Internat. Congress Mathematicians (Moscow, 1966)'' , Mir  (1968) pp. 269–276 {{MR|0237476}} {{ZBL|0197.31601}} </TD></TR></table>
  
The Galois theory of differential fields represents a trend in differential algebra. A universal differential extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830202.png" /> of a differential field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830203.png" /> is constructed and the set of differential isomorphisms from a finitely-generated differential algebraic extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830204.png" /> of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830205.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830206.png" /> which are the identity on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830207.png" /> are considered. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830208.png" /> is a strongly normal extension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830209.png" />, it is possible to introduce the structure of an algebraic group over the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830210.png" /> (of constants of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830211.png" />) on the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830212.png" /> of differential isomorphisms from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830213.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830214.png" />. A special case of strongly normal extensions are the Picard–Vessiot extensions, obtained by adding to the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830215.png" /> the solutions of a linear homogeneous differential equation with coefficients in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830216.png" />. The Galois group of a Picard–Vessiot extension is an algebraic matrix group. The correspondence between the intermediate fields and the subgroups of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830217.png" /> is described by the following theorem.
 
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830218.png" /> be a strongly normal extension of a differential field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830219.png" /> with field of constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830220.png" />. a) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830221.png" /> is a differential field such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830222.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830223.png" /> is strongly normal over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830224.png" />, the Galois group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830225.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830226.png" />-subgroup in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830227.png" /> and the field of invariants of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830228.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830229.png" /> coincides with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830230.png" />. b) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830231.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830232.png" />-subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830233.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830234.png" /> denotes the set of invariants of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830235.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830236.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830237.png" /> is a differential field, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830238.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830239.png" />.
 
  
The normal subgroups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830240.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830241.png" /> correspond to strongly normal extensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830242.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830243.png" /> and vice versa. The inverse Galois problem — that is, the problem of the existence of a strongly normal extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830244.png" /> of a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830245.png" /> the Galois group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830246.png" /> of which is isomorphic to a given group — has been solved for connected solvable groups. The problem was reduced to an estimate of the dimension of some vector space over the field of constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830247.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830248.png" /> and the rank of a certain Abelian group. Results on the Galois theory of infinite extensions are available. The theory of integration in finite form deals with problems related to Galois theory.
+
====Comments====
 +
For the notion of dimension polynomial of an extension of differential fields cf. [[Dimension polynomial|Dimension polynomial]]. Universal extensions of a differential field, a substitute for the algebraic geometric notion of a universal (i.e. large enough algebraically closed) extension of the base field  $  k $
 +
one is working over, are discussed in [[Extension of a differential field|Extension of a differential field]]. The various other notions of differential algebra which occur in the main article above are described below.
  
The theory of differential algebraic groups, substantially different from its algebraic analogue, is in the course of development. In particular, the differential ring of everywhere-defined differential rational functions on an affine differential algebraic set is not a differential coordinate ring and, in general, is not finitely generated as a differential algebra.
+
Let  $  {\mathcal R} = ( R ,\  \partial _{1} \dots \partial _{m} ) $
 +
be a differential ring consisting of the commutative ring with unit element  $  R $
 +
and the commuting derivations  $  \partial _{i} : \  R \rightarrow R $ ,
 +
$  i = 1 \dots m $ .
 +
A differential ideal of  $  {\mathcal R} $
 +
is an ideal  $  {\mathcal I} $
 +
of  $  R $
 +
such that  $  \partial _{i} {\mathcal I} \subset {\mathcal I} $
 +
for all  $  i $ .
 +
Let  $  \Theta $
 +
denote the free commutative semi-group generated by the  $  \partial _{i} $ ,  
 +
$  i = 1 \dots m $ .
 +
The elements of  $  \Theta $
 +
are called the derivative operators of $  {\mathcal R} $ .  
 +
If  $  \theta = \prod _{i} \partial _{i} ^ {e _{i}} $ ,  
 +
the order of $  \theta $
 +
is $  \mathop{\rm ord}\nolimits ( \theta ) = \sum e _{i} $ .
  
The analogue of Liouville's theorem on the approximation of algebraic numbers by rational numbers may be mentioned as a result obtained for the approximation of differential algebraic functions by differential rational functions. However, the analogue of the Thue–Siegel–Roth theorem has not yet (1987) been proved.
 
  
The theory of rings with higher differentiations is now being developed. Higher differentiations are a strong tool in the study of objects of non-zero characteristic. If the characteristic of the differential ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830249.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830250.png" />, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830251.png" />-th power of any element is constant; this is not true of rings with higher differentiations. Analogues of many results listed above, concerning both the intersection theory of ideals and Galois theory, have been obtained for rings with higher differentiations.
+
Now consider a set  $  \{ y _{1} \dots y _{n} \} $
 +
of differential indeterminates over  $  {\mathcal R} $ (
 +
i.e. the  $  y _{1} \dots y _{n} $
 +
are differentiably algebraically independent over  $  {\mathcal R} $ ,
 +
cf. [[Extension of a differential field|Extension of a differential field]]). A ranking of  $  \{ y _{1} \dots y _{n} \} $
 +
is a total order on the set of all derivatives  $  \theta y _{i} $ ,
 +
$  \theta \in \Theta $ ,
 +
that satisfies for all such derivatives  $  u ,\  v $
 +
the conditions:  $  u \leq \theta u $
 +
and  $  u \leq v \Rightarrow \theta u \leq \theta v $ ,
 +
for all  $  \theta \in \Theta $ .
 +
Let  $  A \in {\mathcal R} \{ y _{1} \dots y _{n} \} $ ,
 +
the ring of differential polynomials in  $  y _{1} \dots y _{n} $
 +
over  $  {\mathcal R} $ .  
 +
The highest ranking derivative  $  \theta y _{i} $
 +
present in  $  A $
 +
is called the leader of the differential polynomial  $  A $ ;
 +
it will be denoted by  $  u _{A} $ .  
 +
Let  $  d = deg _ {u _{A}} (A) $ ,  
 +
then  $  A $
 +
can be written in the form  $  A = \sum _{i=0} ^{d} A _{i} u _{A} ^{i} $
 +
where the  $  A _{i} $
 +
are in  $  {\mathcal R} \{ y _{1} \dots y _{n} \} $
 +
and do not contain  $  u _{A} $ (
 +
or any higher ranking derivative). The differential polynomial  $  A _{d} $
 +
is called the initial differential polynomial of  $  A $
 +
and the differential polynomial  $  \sum i A _{i} u _{A} ^{i-1} $ (
 +
$  = \partial A / \partial u _{A} $ )
 +
is called the separant of $  A $ .
 +
All these notions are dependent on the ranking used. It is useful to extent the total order on the $  \theta y _{i} $
 +
to a comparative rank on all elements of $  {\mathcal R} \{ y _{1} \dots y _{n} \} $ .
 +
This is done as follows.
  
====References====
+
a) Every element of $ {\mathcal R} $
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I. Kaplansky,  "An introduction to differential algebra" , Hermann (1957) {{MR|0093654}} {{ZBL|0083.03301}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  J.F. Ritt,  "Differential algebra" , Amer. Math. Soc. (1950) {{MR|0035763}} {{ZBL|0037.18402}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  E.R. Kolchin,  "Differential algebra and algebraic groups" , Acad. Press  (1973)  {{MR|0568864}} {{ZBL|0264.12102}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  E.R. Kolchin,  "Some problems in differential algebra" , ''Proc. Internat. Congress Mathematicians (Moscow, 1966)'' , Mir  (1968)  pp. 269–276  {{MR|0237476}} {{ZBL|0197.31601}} </TD></TR></table>
+
has lower rank than every element of $ {\mathcal R} \{ y _{1} \dots y _{n} \} \setminus {\mathcal R} $ .
  
  
 +
b) Let  $  A ,\  B \in {\mathcal R} \{ y _{1} \dots y _{n} \} \setminus {\mathcal R} $ .
 +
If  $  u _{A} < u _{B} $ (
 +
or  $  u _{A} = u _{B} $
 +
and  $  \mathop{\rm deg}\nolimits _ {u _{A}} (A) <  \mathop{\rm deg}\nolimits _ {u _{A}} (B) $ ),
 +
then  $  A \leq B $ .
  
====Comments====
 
For the notion of dimension polynomial of an extension of differential fields cf. [[Dimension polynomial|Dimension polynomial]]. Universal extensions of a differential field, a substitute for the algebraic geometric notion of a universal (i.e. large enough algebraically closed) extension of the base field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830252.png" /> one is working over, are discussed in [[Extension of a differential field|Extension of a differential field]]. The various other notions of differential algebra which occur in the main article above are described below.
 
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830253.png" /> be a differential ring consisting of the commutative ring with unit element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830254.png" /> and the commuting derivations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830255.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830256.png" />. A differential ideal of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830257.png" /> is an ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830258.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830259.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830260.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830261.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830262.png" /> denote the free commutative semi-group generated by the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830263.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830264.png" />. The elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830265.png" /> are called the derivative operators of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830266.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830267.png" />, the order of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830268.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830269.png" />.
+
c) All elements in  $  {\mathcal R} $
 +
have the same rank.
  
Now consider a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830270.png" /> of differential indeterminates over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830271.png" /> (i.e. the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830272.png" /> are differentiably algebraically independent over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830273.png" />, cf. [[Extension of a differential field|Extension of a differential field]]). A ranking of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830274.png" /> is a total order on the set of all derivatives <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830275.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830276.png" />, that satisfies for all such derivatives <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830277.png" /> the conditions: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830278.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830279.png" />, for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830280.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830281.png" />, the ring of differential polynomials in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830282.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830283.png" />. The highest ranking derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830284.png" /> present in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830285.png" /> is called the leader of the differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830286.png" />; it will be denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830287.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830288.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830289.png" /> can be written in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830290.png" /> where the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830291.png" /> are in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830292.png" /> and do not contain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830293.png" /> (or any higher ranking derivative). The differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830294.png" /> is called the initial differential polynomial of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830295.png" /> and the differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830296.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830297.png" />) is called the separant of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830298.png" />. All these notions are dependent on the ranking used. It is useful to extent the total order on the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830299.png" /> to a comparative rank on all elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830300.png" />. This is done as follows.
+
d) If  $  u _{A} = u _{B} $
 +
and  $  \mathop{\rm deg}\nolimits _ {u _{A}} (A) = \mathop{\rm deg}\nolimits _ {u _{A}} (B) $ ,  
 +
then  $  A $
 +
and  $  B $
 +
have the same rank. Different differential polynomials may of course have the same rank but this does define in any case a partial order on $  {\mathcal R} \{ y _{1} \dots y _{n} \} $ .
  
a) Every element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830301.png" /> has lower rank than every element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830302.png" />.
 
  
b) Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830303.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830304.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830305.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830306.png" />), then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830307.png" />.
+
Let $  A \in {\mathcal R} \{ y _{1} \dots y _{n} \} \setminus {\mathcal R} $
 +
and let  $  F \in {\mathcal R} \{ y _{1} \dots y _{n} \} $ .  
 +
The differential polynomial  $  F $
 +
is called partially reduced with respect to  $  A $
 +
if  $  F $
 +
contains no proper derivative of  $  u _{A} $ (
 +
i.e. contains no  $  \theta {u _{A}} $ ,
 +
$  \theta \in \Theta $ ).  
 +
If, moreover,  $  \mathop{\rm deg}\nolimits _ {u _{A}} (F) < \mathop{\rm deg}\nolimits _ {u _{A}} (A) $ ,
 +
$  F $
 +
is said to be reduced with respect to  $  A $ .  
 +
More generally,  $  F $
 +
is said to be reduced with respect to a subset  $  \Sigma \subset {\mathcal R} \{ y _{1} \dots y _{n} \} \setminus {\mathcal R} $
 +
if  $  F $
 +
is reduced with respect to every member of  $  \Sigma $ .  
 +
A subset  $  \Sigma $
 +
of  $  {\mathcal R} \{ y _{1} \dots y _{n} \} $
 +
is said to be autoreduced if  $  \Sigma \cap {\mathcal R} = \emptyset $
 +
and if each element  $  F $
 +
of  $  \Sigma $
 +
is reduced with respect to  $  \Sigma \setminus \{ F \} $ .  
 +
Every autoreduced set is finite. These sets were introduced by Ritt (who called them ascending sets or chains) as a tool in his process of reduction of differential polynomials. This process plays a role analogous to Euclidean division (with remainder) for ordinary polynomials.
  
c) All elements in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830308.png" /> have the same rank.
+
The notion of comparative rank of elements of  $  {\mathcal R} \{ y _{1} \dots y _{n} \} $
 +
is extended to a ranking of autoreduced subsets of  $  {\mathcal R} \{ y _{1} \dots y _{n} \} $
 +
as follows. Let  $  {\mathcal A} = \{ A _{1} \dots A _{r} \} $
 +
and  $  {\mathcal B} = \{ B _{1} \dots B _{s} \} $
 +
be autoreduced subsets of  $  {\mathcal R} \{ y _{1} \dots y _{n} \} $ ,
 +
where both  $  A _{1} \dots A _{r} $
 +
and  $  B _{1} \dots B _{s} $
 +
are arranged in orders of increasing rank.
  
d) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830309.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830310.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830311.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830312.png" /> have the same rank. Different differential polynomials may of course have the same rank but this does define in any case a partial order on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830313.png" />.
+
e) If there exists a  $  k \in \mathbf N = \{ 1 ,\  2 ,\dots \} $ ,
 +
$  k \leq  \mathop{\rm min}\nolimits ( r ,\  s ) $ ,
 +
such that  $  \mathop{\rm rank}\nolimits ( A _{i} ) = \mathop{\rm rank}\nolimits ( B _{i} ) $ ,  
 +
$  i < k $
 +
and $  \mathop{\rm rank}\nolimits ( A _{k} ) < \mathop{\rm rank}\nolimits ( B _{k} ) $ ,
 +
then  $  {\mathcal A} $
 +
has lower rank than  $  {\mathcal B} $ .
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830314.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830315.png" />. The differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830316.png" /> is called partially reduced with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830317.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830318.png" /> contains no proper derivative of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830319.png" /> (i.e. contains no <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830320.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830321.png" />). If, moreover, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830322.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830323.png" /> is said to be reduced with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830324.png" />. More generally, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830325.png" /> is said to be reduced with respect to a subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830326.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830327.png" /> is reduced with respect to every member of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830328.png" />. A subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830329.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830330.png" /> is said to be autoreduced if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830331.png" /> and if each element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830332.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830333.png" /> is reduced with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830334.png" />. Every autoreduced set is finite. These sets were introduced by Ritt (who called them ascending sets or chains) as a tool in his process of reduction of differential polynomials. This process plays a role analogous to Euclidean division (with remainder) for ordinary polynomials.
 
  
The notion of comparative rank of elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830335.png" /> is extended to a ranking of autoreduced subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830336.png" /> as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830337.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830338.png" /> be autoreduced subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830339.png" />, where both <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830340.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830341.png" /> are arranged in orders of increasing rank.
+
f) If  $  r > s $
 +
and $  \mathop{\rm rank}\nolimits ( A _{i} ) = \mathop{\rm rank}\nolimits ( B _{i} ) $ ,
 +
$  i = 1 \dots s $ ,  
 +
then  $  {\mathcal A} $
 +
has lower rank than  $  {\mathcal B} $ .
  
e) If there exists a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830342.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830343.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830344.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830345.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830346.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830347.png" /> has lower rank than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830348.png" />.
 
  
f) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830349.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830350.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830351.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830352.png" /> has lower rank than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830353.png" />.
+
g) If $  r = s $
 +
and $  \mathop{\rm rank}\nolimits ( A _{i} ) = \mathop{\rm rank}\nolimits ( B _{i} ) $ ,  
 +
$  i \dots r $ ,  
 +
then $  {\mathcal A} $
 +
and  $  {\mathcal B} $
 +
have the same rank.
  
g) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830354.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830355.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830356.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830357.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830358.png" /> have the same rank.
+
Now let  $  {\mathcal I} $
 +
be a differential ideal in  $  {\mathcal R} \{ y _{1} \dots y _{n} \} $ .  
 +
Then there exists an autoreduced set  $  {\mathcal A} \subset {\mathcal I} $
 +
such that the separant  $  S _{A} $
 +
of  $  A $
 +
is not in  $  {\mathcal I} $
 +
for all  $  A \in {\mathcal A} $ .  
 +
Such an autoreduced subset of lowest rank of  $  {\mathcal I} $
 +
is called a characteristic set of  $  {\mathcal I} $ .
  
Now let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830359.png" /> be a differential ideal in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830360.png" />. Then there exists an autoreduced set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830361.png" /> such that the separant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830362.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830363.png" /> is not in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830364.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830365.png" />. Such an autoreduced subset of lowest rank of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830366.png" /> is called a characteristic set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830367.png" />.
 
  
Consider again a differential polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830368.png" />. If there is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830369.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830370.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830371.png" />, then there is such a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830372.png" /> of maximal order. This order is called the essential order of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830373.png" />. There is then also such a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830374.png" /> (such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830375.png" />) of highest rank. If, moreover, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830376.png" /> does not contain any proper derivative of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830377.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830378.png" /> is called the pseudo-leader of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830379.png" /> (relative to the given ranking); the pseudo-separant of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830380.png" /> is then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830381.png" />. (If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830382.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830383.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830384.png" />, then the notions of pseudo-leader and pseudo-separant of course coincide with those of leader and separant, but if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830385.png" /> is of characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830386.png" />, e.g., this need not be the case.)
+
Consider again a differential polynomial $  A \in {\mathcal R} \{ y _{1} \dots y _{n} \} $ .  
 +
If there is a $  u = \theta {y _{i}} $ ,  
 +
$  \theta \in \Theta $ ,  
 +
such that $  \partial A / \partial u \neq 0 $ ,  
 +
then there is such a $  u $
 +
of maximal order. This order is called the essential order of $  A $ .  
 +
There is then also such a $  v $ (
 +
such that $  \partial A / \partial v \neq 0 $ )  
 +
of highest rank. If, moreover, $  A $
 +
does not contain any proper derivative of $  v $ ,  
 +
then $  v $
 +
is called the pseudo-leader of $  A $ (
 +
relative to the given ranking); the pseudo-separant of $  A $
 +
is then $  \partial A / \partial v $ .  
 +
(If $  k a \neq 0 $
 +
for all $  k \in \mathbf N $ ,  
 +
0 \neq a \in {\mathcal R} $ ,  
 +
then the notions of pseudo-leader and pseudo-separant of course coincide with those of leader and separant, but if $  {\mathcal R} $
 +
is of characteristic $  p \neq 0 $ ,  
 +
e.g., this need not be the case.)
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830387.png" /> be a universal extension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830388.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830389.png" /> is a differential field. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830390.png" />. A point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830391.png" /> is called a non-singular zero of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830392.png" />, or a non-singular solution of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830393.png" />, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830394.png" /> is a zero of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830395.png" /> and there exists a ranking of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830396.png" /> relative to which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830397.png" /> is pseudo-led and such that the corresponding pseudo-separant does not vanish at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830398.png" />. The order zeros of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830399.png" /> (solutions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031830/d031830400.png" />) are called singular zeros (singular solutions).
+
Let $  {\mathcal U} $
 +
be a universal extension of $  k \{ y _{1} \dots y _{n} \} $ ,  
 +
where $  k $
 +
is a differential field. Let $  A \in k \{ y _{1} \dots y _{n} \} $ .  
 +
A point $  \eta \in {\mathcal U} ^{n} $
 +
is called a non-singular zero of $  A $ ,  
 +
or a non-singular solution of $  A = 0 $ ,  
 +
if $  \eta $
 +
is a zero of $  A $
 +
and there exists a ranking of $  \{ y _{1} \dots y _{n} \} $
 +
relative to which $  A $
 +
is pseudo-led and such that the corresponding pseudo-separant does not vanish at $  \eta $ .  
 +
The order zeros of $  A $ (
 +
solutions of $  A = 0 $ )  
 +
are called singular zeros (singular solutions).

Latest revision as of 19:44, 17 December 2019


A branch of algebra which deals with objects which involve not only addition and multiplication operations but also the operation of differentiation: differential rings, differential modules, differential fields, and differential algebraic varieties.

One of the main objects of differential algebra is the algebra of differential polynomials $ {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ , which is the analogue of the ring of polynomials in commutative algebra (cf. Extension of a differential field). Each system of differential equations $$ F _{1} = 0 \dots F _{k} = 0 $$ corresponds to the perfect differential ideal $ \{ F _{1} \dots F _{k} \} $ generated by this system in the algebra of differential polynomials. The Ritt–Raudenbush basis theorem states that all perfect differential ideals are obtained in this way (a differential ideal $ I $ is called perfect if whenever $ a ^{n} \in I $ for some $ n > 0 $ , then $ a \in I $ ), i.e. it is possible to select in any such ideal a finite number of differential polynomials such that the perfect differential ideal generated by these polynomials corresponds to the given ideal. As distinct from Hilbert's basis theorem in a polynomial ring, the essential feature of the Ritt–Raudenbush theorem is that the ideals are perfect, i.e. differential ideals (even perfect differential ideals) need not be finitely-generated differential modules.

A perfect differential ideal corresponds to a differential algebraic variety — the set of points in an affine space over some universal extension of the field of coefficients on which any polynomial from this ideal vanishes. The analogue of Hilbert's Nullstellensatz is valid. Let $ F _{1} \dots F _{p} $ be a finite system of differential polynomials and let $ G $ be a differential polynomial which vanishes in all solutions of this system. A certain power of $ G $ will then be a linear combination of the $ F _{i} $ and their derivatives of various orders with coefficients from the algebra of differential polynomials. In particular, if the system $ F _{1} \dots F _{p} $ has no zeros, then some linear combination of the $ F _{i} $ and their derivatives of various orders will be equal to one.

A perfect differential ideal may be represented as the intersection of a finite number of prime differential ideals. To such a representation corresponds the decomposition of a variety into a finite number of irreducible components. As in algebraic geometry, the concept of a generic zero and its dimension is introduced for prime differential ideals. For an irreducible closed set $ V $ in a differential affine space, i.e. in an affine space over a universal extension $ U $ of the field of coefficients, one defines a differential dimension polynomial $$ \omega _{V} = \sum _ {0 \leq i \leq m} a _{i} \binom{x+i}{i} , $$ where $ m $ is the number of differentiations in $ F $ . The coefficient $ a _{m} $ is known as the differential dimension of $ V $ , the degree $ \tau = \mathop{\rm deg}\nolimits \ \omega _{V} $ of the polynomial is known as the differential type of the set $ V $ , while the coefficient $ a _ \tau $ is called its typical differential dimension. The polynomial $ \omega _{V} $ is a birational invariant, but is not a differential birational invariant. This is the case for $ a _{m} (V) $ , $ \tau (V) $ and $ a _ {\tau (V)} (V) $ . The determination of differential birational invariants is of major interest. Another problem is to estimate the possible values of the invariants obtained. Let $ \Sigma $ be a set in $ {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ . If the orders of the elements of $ \Sigma $ are bounded, then the differential dimension polynomials of the components of $ \{ \Sigma \} $ are subject to certain restrictions. In particular, if for each $ Y _{j} $ the order of any element of $ \Sigma $ with respect to $ Y _{j} $ does not exceed $ e _{j} $ , it follows from the condition $ a _{m} ( {\mathcal p} ) = 0 $ that, for any component of the variety $ \{ \Sigma \} $ , one has $ a _{m-1} ( {\mathcal p} ) \leq \sum e _{j} $ . The hypothesis in the general case is $$ a _ {\tau ( {\mathcal p} )} ( {\mathcal p} ) \leq \sum _ {1 \leq j \leq n} \binom{e _{j} + m - \tau ( {\mathcal p} ) - 1}{m - \tau ( {\mathcal p} )} . $$ This hypothesis is not valid, as was shown by M. Kondrat'eva. If the set $ \Sigma \subset {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ consists of $ n $ differential polynomials $ F _{1} \dots F _{n} $ , two additional hypotheses are also postulated. Let $$ e _{ij} = \mathop{\rm ord}\nolimits _ {Y _{j}} \ F _{i} , 1 \leq i \leq n , i \leq j \leq n , $$ and $$ h = \mathop{\rm max}\nolimits _ \pi ( e _ {1 \pi (1)} + \dots + e _ {n \pi (n)} ), $$ where $ \pi $ runs through the symmetric group $ S _{n} $ . The first hypothesis states that for any component $ {\mathcal p} $ of the variety $ \{ F _{1} \dots F _{n} \} $ it follows from $ a _{m} ( {\mathcal p} ) = 0 $ that $ a _{m-1} ( {\mathcal p} ) \leq h $ . This statement has been proved in a number of special cases. According to the second hypothesis, for any component $ {\mathcal p} $ of the variety $ \{ F _{1} \dots F _{n} \} $ it follows from $ a _{m} ( {\mathcal p} ) = a _{m-1} ( {\mathcal p} ) = 0 $ that $ \omega _ {\mathcal p} = 0 $ . This hypothesis has been proved.

A difficult problem in differential algebra is the decomposition of a differential algebraic variety into irreducible components. Even if $ \Sigma $ consists of a single irreducible differential polynomial $ \sigma $ the corresponding variety usually consists of several components, one of which contains all non-singular solutions of the equation $ \sigma = 0 $ ( and may also contain singular solutions), while all the remaining components consist of solutions in which any separant of the differential polynomial $ \sigma $ vanishes. The case of a hypersurface (a system $ \Sigma $ of one equation) is especially important, since any differential algebraic variety over an ordinary differential field is differentially birationally isomorphic to a hypersurface.

Since any prime differential ideal is completely defined by its characteristic set, one may subdivide the problem of the decomposition of a differential algebraic variety $ \{ {\mathcal p} \} $ into two parts: 1) to find a finite set $ {\mathcal A} $ of autoreduced subsets of $ {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ each of which is a characteristic set of a prime differential ideal containing $ \Phi $ such that $ {\mathcal A} $ contains a characteristic set of each component of $ \{ \Phi \} $ ; 2) to determine, for a given autoreduced set in $ {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ whether or not it is a characteristic set of any component of $ \{ \Phi \} $ .


The solution of 2) is not known (1987) in the general case, but the important special case when $ \Phi $ consists of one differential polynomial can be solved with the aid of two theorems of Ritt: The component theorem and the low power theorem (see below).

The problem of finding the components of the variety $ \{ \Phi \} $ may also be decomposed into problem 1) and the following problem: 3) to determine, for given characteristic sets $ A $ and $ B $ of prime differential ideals $ {\mathcal p} $ and $ {\mathcal q} $ respectively, if the inclusion $ {\mathcal p} \subset {\mathcal q} $ holds.

Problem 3) is also still far from being solved. In the particular case when $ A $ consists of one irreducible differential polynomial $ A $ and $ {\mathcal q} $ is a differential ideal $ [ Y _{1} \dots Y _{n} ] $ , the problem is to find whether or not the point $ ( 0 \dots 0) $ is comprised in the general solution of the differential equation $ A = 0 $ .


Problem 1) has been solved, "in principle" , for a finite set $ \Phi \subset {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ : An inductive procedure (the theory of elimination for systems of algebraic differential equations) converts it to a number of "easier" problems involving polynomials in a finite number of unknowns over $ {\mathcal F} $ , i.e. a problem involving algebraic differential equations is reduced to one involving algebraic equations.

The components theorem says that the singular components are in their turn generic components of other differential polynomials. More exactly, let $ {\mathcal F} $ be a differential field and let $ F $ denote a non-zero differential polynomial in $ {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ . If $ {\mathcal p} $ is some component of the ideal $ \{ F \} $ of the ring $ {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ , then there exists an irreducible differential polynomial $ B \in {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ such that $ {\mathcal p} = {\mathcal p} _ {\mathcal F} (B) $ is a generic component of the variety $ \{ B \} $ .


The low power theorem provides a criterion for determining whether or not the component of an irreducible differential polynomial $ A \in {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ is a component of $ \{ F \} $ . More exactly, let $ F ,\ A \in {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ , let the orders of $ F $ and $ A $ with respect to $ Y _{n} $ be equal to $ m $ and $ l $ , respectively, let $ A _{j} $ be the $ j $ - th derivative of $ A $ and let $ S $ be the separant of $ A $ . There exist a $ t \geq 0 $ and an $ r > 0 $ such that $$ S ^{t} F = \sum _{j=1} ^ r c _{j} A ^ {p _{j}} A _{1} ^ {i _{1j}} \dots A _{m-l} ^ {i _ {m-l , j}} , $$ where $ p _{j} \geq 0 $ , $ i _{kj} \geq 0 $ , no two sets $ i _{1j} \dots i _ {m-l , j} $ coincide, the order of $ c _{j} $ with respect to $ Y _{n} $ does not exceed $ l $ , and $ c _{j} $ is not divisible by $ A $ . If such a decomposition has been found, the low power theorem states that a generic component of the variety $ \{ A \} $ is a component of the variety $ \{ F \} $ if and only if the decomposition, when written out, contains a term $ c _{k} A ^ {p _{k}} $ which does not contain derivatives of $ A $ and the degree of which is lower than the degree of any other term in the decomposition, regarded as a polynomial in $ A ,\ A _{1} \dots A _{m-l} $ ( if the characteristic is non-zero, this condition is neither necessary nor sufficient).

The second trend of studies in differential algebra concerns the problem of extensions of specializations. Let $ ( \eta _{1} \dots \eta _{n} ) $ and $ ( \zeta _{1} \dots \zeta _{n} ) $ be points in $ U ^{n} $ , where $ U $ is a universal extension of a differential field $ {\mathcal F} $ . A point $ ( \zeta _{1} \dots \zeta _{n} ) $ is said to be a differential specialization of the point $ ( \eta _{1} \dots \eta _{n} ) $ over $ {\mathcal F} $ ( this is denoted by $ ( \eta _{1} \dots \eta _{n} ) \rightarrow _ {\mathcal F} ( \zeta _{1} \dots \zeta _{n} ) $ ) if any differential polynomial which vanishes in $ ( \eta _{1} \dots \eta _{n} ) $ also vanishes in $ ( \zeta _{1} \dots \zeta _{n} ) $ . If $ ( \eta _{1} \dots \eta _{n} ) \rightarrow _ {\mathcal F} ( \zeta _{1} \dots \zeta _{n} ) $ and $ 1 \leq k \leq n $ , it is clear that $ ( \eta _{1} \dots \eta _{k} ) \rightarrow _ {\mathcal F} ( \zeta _{1} \dots \zeta _{k} ) $ . One says that the first specialization is an extension of the second.

Let $ ( \eta _{1} \dots \eta _{n} ) $ and $ k $ be given, and let $ B \in {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ be such that $ B ( \eta _{1} \dots \eta _{n} ) \neq 0 $ . It can be shown that there exists a non-zero differential polynomial $ B _{0} \in {\mathcal F} \{ Y _{1} \dots Y _{k} \} $ satisfying the condition $ B _{0} ( \eta _{1} \dots \eta _{k} ) \neq 0 $ such that any differential specialization $ ( \eta _{1} \dots \eta _{k} ) \rightarrow _ {\mathcal F} ( \zeta _{1} \dots \zeta _{k} ) $ for which $ B _{0} ( \zeta _{1} \dots \zeta _{k} ) \neq 0 $ may be extended to a differential specialization $ ( \zeta _{1} \dots \zeta _{n} ) $ where $ B ( \zeta _{1} \dots \zeta _{n} ) \neq 0 $ . However, unlike the situation in algebraic geometry, a differential specialization $ ( \eta _{1} \dots \eta _{k} ) \rightarrow _ {\mathcal F} ( \zeta _{1} \dots \zeta _{k} ) $ cannot always be extended to a differential specialization $ ( \eta _{1} \dots \eta _{n} ) \rightarrow _ {\mathcal F} ( \zeta _{1} \dots \zeta _{n} ) $ , even if the elements $ \zeta _{k+1} \dots \zeta _{n} $ assume the value $ \infty $ . Thus, the resulting problem is to find a criterion for the possibility of an extension of a specialization $ ( \eta _{1} \dots \eta _{k} ) \rightarrow _ {\mathcal F} ( \zeta _{1} \dots \zeta _{k} ) $ to a differential specialization $ ( \eta _{1} \dots \eta _{n} ) \rightarrow _ {\mathcal F} ( \zeta _{1} \dots \zeta _{n} ) $ .


A special case of this problem is encountered in the problem of indeterminate forms. Let the polynomials $ F,\ G \in {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ be relatively prime, let $ G \neq 0 $ , and let $ F $ and $ G $ vanish at $ (0 \dots 0) $ . The problem is to assign to the ratio $ F/G $ a value at the point $ (0 \dots 0) $ . Let the elements $ t _{1} \dots t _{n} \in U $ be differentially algebraically independent over $ {\mathcal F} $ and let $$ u = \frac{F( t _{1} \dots t _{n} )}{G( t _{1} \dots t _{n} )} . $$ It is natural to say that $ F/G $ admits the value $ \alpha $ at $ ( 0 \dots 0 ) $ if $ ( t _{1} \dots t _{n} ,\ u) \rightarrow _ {\mathcal F} ( 0 \dots 0 ,\ \alpha ) $ . Thus, the problem is reduced to finding the extensions of $ ( t _{1} \dots t _{n} ) \rightarrow _ {\mathcal F} ( 0 \dots 0 ) $ to $ ( t _{1} \dots t _{n} ,\ u ) $ . This is equivalent to determining the elements $ \alpha \in U $ such that $ (0 \dots 0 ,\ \alpha ) $ is a zero of the generic component of the differential polynomial $ Y _{n+1} G - F \in {\mathcal F} \{ Y _{1} \dots Y _{n+1} \} $ . J.F. Ritt conjectured that $ \alpha $ is either uniquely defined (possibly equal to $ \infty $ ) or else is completely arbitrary; he proved this conjecture for ordinary differential fields for $ n=1 $ , $ \mathop{\rm ord}\nolimits (FG) = 1 $ . Studies are made of the properties of concrete differential ideals in the ring $ {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ . In the case of an infinite sequence $ \Sigma _{1} \dots \Sigma _{p} \dots $ of prime differential ideals in $ {\mathcal F} \{ Y _{1} \dots Y _{n} \} $ , where each $ \Sigma _{i} $ is a proper divisor of $ \Sigma _{i+1} $ , the intersection of all $ \Sigma _{i} $ is a prime differential ideal and the dimension of the corresponding variety $ {\mathcal M} $ is higher than that of the variety $ {\mathcal M} _{i} $ corresponding to $ \Sigma _{i} $ for an arbitrary $ i $ .


Of the other results concerning differential algebraic varieties, the analogue of Lüroth's theorem is worth mentioning: If $ {\mathcal G} $ is an extension of a differential field $ {\mathcal F} $ contained in $ {\mathcal F} \langle u \rangle $ , then $ {\mathcal G} $ contains an element $ v $ such that $ {\mathcal F} \langle v\rangle = {\mathcal G} $ .


However, the theory of differential algebraic curves (varieties of differential dimension 1) is only in its initial stage of development; even for invariants such as the genus of the curve in algebraic geometry, differential algebraic analogues have not been found. Of major interest is the intersection theory of differential algebraic varieties. The theorem that the intersection of two irreducible varieties of dimensions $ p $ and $ q $ in $ n $ - dimensional affine space has dimension $ p+q-n $ or higher is not valid for these varieties. However, differential algebraic varieties are characterized not only by the dimension but also by their order with respect to a chosen differential transcendence basis. A number of estimates from above have been obtained for the intersection order of varieties with respect to a specially chosen basis. The following analytic theorem on the intersection of components of the same differential polynomial has been proved: If $ F $ is a differential polynomial in the unknowns $ Y _{1} \dots Y _{n} $ , then in a zero of the polynomial $ F $ contained in more than one component of $ F $ the derivative $ \partial F / \partial Y _{ij} $ vanishes for $ i=1 \dots n $ and arbitrary $ j $ . The concept of a differential algebraic variety may be generalized (dropping the assumption that it is affine). In particular, it is possible to introduce the concepts of differentially homogeneous polynomials and of projective differential algebraic varieties.

For a differential field $ F $ there is no differential algebraic closure, and differential algebraically closed fields do not exist. They are replaced, in a sense, by the so-called "constrained" extensions.

The Galois theory of differential fields represents a trend in differential algebra. A universal differential extension $ U $ of a differential field $ {\mathcal F} $ is constructed and the set of differential isomorphisms from a finitely-generated differential algebraic extension $ {\mathcal G} $ of the field $ {\mathcal F} $ into $ U $ which are the identity on $ {\mathcal F} $ are considered. If $ {\mathcal G} $ is a strongly normal extension of $ {\mathcal F} $ , it is possible to introduce the structure of an algebraic group over the field $ K $ ( of constants of $ U $ ) on the set $ G $ of differential isomorphisms from $ {\mathcal G} $ into $ U $ . A special case of strongly normal extensions are the Picard–Vessiot extensions, obtained by adding to the field $ {\mathcal F} $ the solutions of a linear homogeneous differential equation with coefficients in $ {\mathcal F} $ . The Galois group of a Picard–Vessiot extension is an algebraic matrix group. The correspondence between the intermediate fields and the subgroups of the group $ G $ is described by the following theorem.

Let $ {\mathcal G} $ be a strongly normal extension of a differential field $ {\mathcal F} $ with field of constants $ C $ . a) If $ {\mathcal F} _{1} $ is a differential field such that $ {\mathcal F} \subset {\mathcal F} _{1} \subset {\mathcal G} $ , then $ {\mathcal G} $ is strongly normal over $ {\mathcal F} _{1} $ , the Galois group $ G ( {\mathcal G} / {\mathcal F} _{1} ) $ is a $ C $ - subgroup in $ G ( {\mathcal G} / {\mathcal F} ) $ and the field of invariants of $ G ( {\mathcal G} / {\mathcal F} _{1} ) $ in $ {\mathcal G} $ coincides with $ {\mathcal F} _{1} $ . b) If $ G _{1} $ is a $ C $ - subgroup of $ G ( {\mathcal G} / {\mathcal F} ) $ and $ {\mathcal F} _{1} $ denotes the set of invariants of the group $ G _{1} $ in $ {\mathcal G} $ , then $ {\mathcal F} _{1} $ is a differential field, $ {\mathcal F} \subset {\mathcal F} _{1} \subset {\mathcal G} $ and $ G ( {\mathcal G} / {\mathcal F} _{1} ) = G _{1} $ .


The normal subgroups $ G _{1} $ of $ G ( {\mathcal G} / {\mathcal F} _{1} ) $ correspond to strongly normal extensions $ {\mathcal F} _{1} $ of $ {\mathcal F} $ and vice versa. The inverse Galois problem — that is, the problem of the existence of a strongly normal extension $ {\mathcal G} $ of a field $ {\mathcal F} $ the Galois group $ G ( {\mathcal G} / {\mathcal F} ) $ of which is isomorphic to a given group — has been solved for connected solvable groups. The problem was reduced to an estimate of the dimension of some vector space over the field of constants $ C $ of $ {\mathcal F} $ and the rank of a certain Abelian group. Results on the Galois theory of infinite extensions are available. The theory of integration in finite form deals with problems related to Galois theory.

The theory of differential algebraic groups, substantially different from its algebraic analogue, is in the course of development. In particular, the differential ring of everywhere-defined differential rational functions on an affine differential algebraic set is not a differential coordinate ring and, in general, is not finitely generated as a differential algebra.

The analogue of Liouville's theorem on the approximation of algebraic numbers by rational numbers may be mentioned as a result obtained for the approximation of differential algebraic functions by differential rational functions. However, the analogue of the Thue–Siegel–Roth theorem has not yet (1987) been proved.

The theory of rings with higher differentiations is now being developed. Higher differentiations are a strong tool in the study of objects of non-zero characteristic. If the characteristic of the differential ring $ A $ is $ p $ , the $ p $ - th power of any element is constant; this is not true of rings with higher differentiations. Analogues of many results listed above, concerning both the intersection theory of ideals and Galois theory, have been obtained for rings with higher differentiations.

References

[1] I. Kaplansky, "An introduction to differential algebra" , Hermann (1957) MR0093654 Zbl 0083.03301
[2] J.F. Ritt, "Differential algebra" , Amer. Math. Soc. (1950) MR0035763 Zbl 0037.18402
[3] E.R. Kolchin, "Differential algebra and algebraic groups" , Acad. Press (1973) MR0568864 Zbl 0264.12102
[4] E.R. Kolchin, "Some problems in differential algebra" , Proc. Internat. Congress Mathematicians (Moscow, 1966) , Mir (1968) pp. 269–276 MR0237476 Zbl 0197.31601


Comments

For the notion of dimension polynomial of an extension of differential fields cf. Dimension polynomial. Universal extensions of a differential field, a substitute for the algebraic geometric notion of a universal (i.e. large enough algebraically closed) extension of the base field $ k $ one is working over, are discussed in Extension of a differential field. The various other notions of differential algebra which occur in the main article above are described below.

Let $ {\mathcal R} = ( R ,\ \partial _{1} \dots \partial _{m} ) $ be a differential ring consisting of the commutative ring with unit element $ R $ and the commuting derivations $ \partial _{i} : \ R \rightarrow R $ , $ i = 1 \dots m $ . A differential ideal of $ {\mathcal R} $ is an ideal $ {\mathcal I} $ of $ R $ such that $ \partial _{i} {\mathcal I} \subset {\mathcal I} $ for all $ i $ . Let $ \Theta $ denote the free commutative semi-group generated by the $ \partial _{i} $ , $ i = 1 \dots m $ . The elements of $ \Theta $ are called the derivative operators of $ {\mathcal R} $ . If $ \theta = \prod _{i} \partial _{i} ^ {e _{i}} $ , the order of $ \theta $ is $ \mathop{\rm ord}\nolimits ( \theta ) = \sum e _{i} $ .


Now consider a set $ \{ y _{1} \dots y _{n} \} $ of differential indeterminates over $ {\mathcal R} $ ( i.e. the $ y _{1} \dots y _{n} $ are differentiably algebraically independent over $ {\mathcal R} $ , cf. Extension of a differential field). A ranking of $ \{ y _{1} \dots y _{n} \} $ is a total order on the set of all derivatives $ \theta y _{i} $ , $ \theta \in \Theta $ , that satisfies for all such derivatives $ u ,\ v $ the conditions: $ u \leq \theta u $ and $ u \leq v \Rightarrow \theta u \leq \theta v $ , for all $ \theta \in \Theta $ . Let $ A \in {\mathcal R} \{ y _{1} \dots y _{n} \} $ , the ring of differential polynomials in $ y _{1} \dots y _{n} $ over $ {\mathcal R} $ . The highest ranking derivative $ \theta y _{i} $ present in $ A $ is called the leader of the differential polynomial $ A $ ; it will be denoted by $ u _{A} $ . Let $ d = deg _ {u _{A}} (A) $ , then $ A $ can be written in the form $ A = \sum _{i=0} ^{d} A _{i} u _{A} ^{i} $ where the $ A _{i} $ are in $ {\mathcal R} \{ y _{1} \dots y _{n} \} $ and do not contain $ u _{A} $ ( or any higher ranking derivative). The differential polynomial $ A _{d} $ is called the initial differential polynomial of $ A $ and the differential polynomial $ \sum i A _{i} u _{A} ^{i-1} $ ( $ = \partial A / \partial u _{A} $ ) is called the separant of $ A $ . All these notions are dependent on the ranking used. It is useful to extent the total order on the $ \theta y _{i} $ to a comparative rank on all elements of $ {\mathcal R} \{ y _{1} \dots y _{n} \} $ . This is done as follows.

a) Every element of $ {\mathcal R} $ has lower rank than every element of $ {\mathcal R} \{ y _{1} \dots y _{n} \} \setminus {\mathcal R} $ .


b) Let $ A ,\ B \in {\mathcal R} \{ y _{1} \dots y _{n} \} \setminus {\mathcal R} $ . If $ u _{A} < u _{B} $ ( or $ u _{A} = u _{B} $ and $ \mathop{\rm deg}\nolimits _ {u _{A}} (A) < \mathop{\rm deg}\nolimits _ {u _{A}} (B) $ ), then $ A \leq B $ .


c) All elements in $ {\mathcal R} $ have the same rank.

d) If $ u _{A} = u _{B} $ and $ \mathop{\rm deg}\nolimits _ {u _{A}} (A) = \mathop{\rm deg}\nolimits _ {u _{A}} (B) $ , then $ A $ and $ B $ have the same rank. Different differential polynomials may of course have the same rank but this does define in any case a partial order on $ {\mathcal R} \{ y _{1} \dots y _{n} \} $ .


Let $ A \in {\mathcal R} \{ y _{1} \dots y _{n} \} \setminus {\mathcal R} $ and let $ F \in {\mathcal R} \{ y _{1} \dots y _{n} \} $ . The differential polynomial $ F $ is called partially reduced with respect to $ A $ if $ F $ contains no proper derivative of $ u _{A} $ ( i.e. contains no $ \theta {u _{A}} $ , $ \theta \in \Theta $ ). If, moreover, $ \mathop{\rm deg}\nolimits _ {u _{A}} (F) < \mathop{\rm deg}\nolimits _ {u _{A}} (A) $ , $ F $ is said to be reduced with respect to $ A $ . More generally, $ F $ is said to be reduced with respect to a subset $ \Sigma \subset {\mathcal R} \{ y _{1} \dots y _{n} \} \setminus {\mathcal R} $ if $ F $ is reduced with respect to every member of $ \Sigma $ . A subset $ \Sigma $ of $ {\mathcal R} \{ y _{1} \dots y _{n} \} $ is said to be autoreduced if $ \Sigma \cap {\mathcal R} = \emptyset $ and if each element $ F $ of $ \Sigma $ is reduced with respect to $ \Sigma \setminus \{ F \} $ . Every autoreduced set is finite. These sets were introduced by Ritt (who called them ascending sets or chains) as a tool in his process of reduction of differential polynomials. This process plays a role analogous to Euclidean division (with remainder) for ordinary polynomials.

The notion of comparative rank of elements of $ {\mathcal R} \{ y _{1} \dots y _{n} \} $ is extended to a ranking of autoreduced subsets of $ {\mathcal R} \{ y _{1} \dots y _{n} \} $ as follows. Let $ {\mathcal A} = \{ A _{1} \dots A _{r} \} $ and $ {\mathcal B} = \{ B _{1} \dots B _{s} \} $ be autoreduced subsets of $ {\mathcal R} \{ y _{1} \dots y _{n} \} $ , where both $ A _{1} \dots A _{r} $ and $ B _{1} \dots B _{s} $ are arranged in orders of increasing rank.

e) If there exists a $ k \in \mathbf N = \{ 1 ,\ 2 ,\dots \} $ , $ k \leq \mathop{\rm min}\nolimits ( r ,\ s ) $ , such that $ \mathop{\rm rank}\nolimits ( A _{i} ) = \mathop{\rm rank}\nolimits ( B _{i} ) $ , $ i < k $ and $ \mathop{\rm rank}\nolimits ( A _{k} ) < \mathop{\rm rank}\nolimits ( B _{k} ) $ , then $ {\mathcal A} $ has lower rank than $ {\mathcal B} $ .


f) If $ r > s $ and $ \mathop{\rm rank}\nolimits ( A _{i} ) = \mathop{\rm rank}\nolimits ( B _{i} ) $ , $ i = 1 \dots s $ , then $ {\mathcal A} $ has lower rank than $ {\mathcal B} $ .


g) If $ r = s $ and $ \mathop{\rm rank}\nolimits ( A _{i} ) = \mathop{\rm rank}\nolimits ( B _{i} ) $ , $ i \dots r $ , then $ {\mathcal A} $ and $ {\mathcal B} $ have the same rank.

Now let $ {\mathcal I} $ be a differential ideal in $ {\mathcal R} \{ y _{1} \dots y _{n} \} $ . Then there exists an autoreduced set $ {\mathcal A} \subset {\mathcal I} $ such that the separant $ S _{A} $ of $ A $ is not in $ {\mathcal I} $ for all $ A \in {\mathcal A} $ . Such an autoreduced subset of lowest rank of $ {\mathcal I} $ is called a characteristic set of $ {\mathcal I} $ .


Consider again a differential polynomial $ A \in {\mathcal R} \{ y _{1} \dots y _{n} \} $ . If there is a $ u = \theta {y _{i}} $ , $ \theta \in \Theta $ , such that $ \partial A / \partial u \neq 0 $ , then there is such a $ u $ of maximal order. This order is called the essential order of $ A $ . There is then also such a $ v $ ( such that $ \partial A / \partial v \neq 0 $ ) of highest rank. If, moreover, $ A $ does not contain any proper derivative of $ v $ , then $ v $ is called the pseudo-leader of $ A $ ( relative to the given ranking); the pseudo-separant of $ A $ is then $ \partial A / \partial v $ . (If $ k a \neq 0 $ for all $ k \in \mathbf N $ , $ 0 \neq a \in {\mathcal R} $ , then the notions of pseudo-leader and pseudo-separant of course coincide with those of leader and separant, but if $ {\mathcal R} $ is of characteristic $ p \neq 0 $ , e.g., this need not be the case.)

Let $ {\mathcal U} $ be a universal extension of $ k \{ y _{1} \dots y _{n} \} $ , where $ k $ is a differential field. Let $ A \in k \{ y _{1} \dots y _{n} \} $ . A point $ \eta \in {\mathcal U} ^{n} $ is called a non-singular zero of $ A $ , or a non-singular solution of $ A = 0 $ , if $ \eta $ is a zero of $ A $ and there exists a ranking of $ \{ y _{1} \dots y _{n} \} $ relative to which $ A $ is pseudo-led and such that the corresponding pseudo-separant does not vanish at $ \eta $ . The order zeros of $ A $ ( solutions of $ A = 0 $ ) are called singular zeros (singular solutions).

How to Cite This Entry:
Differential algebra. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Differential_algebra&oldid=44299
This article was adapted from an original article by A.V. MikhalevE.V. Pankrat'ev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article