db403820a020f91a.tex
1: \begin{definition}[{\cite[Theorem~2]{Cassunip}}] An LDAG $G$ is {\it unipotent} if one of 
2: the following equivalent conditions holds:
3: \begin{enumerate}[leftmargin=0.5cm,itemindent=0cm,labelsep=0.55cm,itemsep=0.1cm,align=parleft]
4: \item $G$ is conjugate to a differential algebraic subgroup  of the group  of unipotent upper triangular matrices;
5: \item $G$ contains no elements of finite order $>1$;
6: \item $G$ has a descending normal sequence  of differential algebraic subgroups 
7: $$G=G_0 \supset G_1 \supset \ldots \supset G_N =\{1\}$$
8: with $G_i/G_{i+1}$ isomorphic to a differential algebraic subgroup of the additive group $\bold{G}_a$.
9: \end{enumerate}
10: \end{definition}
11: