This entry is about a section of the text
Let $G$ be an affine k-group. Then the following conditions are equivalent.
The completion of the Cartier dual $\hat D(G)$ of $G$ is a connected formal group.
Any multiplicative subgroup of $G$ is zero.
For any subgroup $H$ of $G$ with $H\neq 0$ we have $Gr_k(H,\alpha_k)\neq 0$.
Any algebraic quotient of $G$ is an extension of subgroups of $\alpha_k$.
(If $p\neq 0)$, $\cap Im V^n_G =e$.
A group satisfying the conditions of the previous theorem is called unipotent k-group?.
Unipotent groups correspond by duality to connected formal $k$-groups.
The category $ACu_k$ of affine commutative unipotent groups form a thick subcategory of $AC_k$ which is stable under limits.
The following theorem is the dual to the theorem of the previos chapter.
An affine $k$ group is in a unique way an extension of a unipotent group by a multiplicative group.
This extension splits if $k$ is perfect.
If $k$ is perfect any finite group is uniquely the product of four subgroups which are respectively étale? multiplicative, étale unipotent, infinitesimal? multiplicative and infinitesimal unipotent.
The category $F_k$ of finite commutative $k$-groups splits as a product of four subcategories: $Fem_k$, $Feu_k$, $Fim_k$, $Fiu_k$.
The categories $Feu_k$ and $Fim_k$ are dual to each other.
The categories $Fem_k$ and $Fiu_k$ are selfdual.
Let $p = 0$, then Then $F_k=Fem_k$.
Let $p\neq 0$, let $k$ be algebraically closed. Then any commutative finite $k$-group is an extension of copies of $p \alpha_k$, $p \mu_k$ and $(\mathbb{Z}/r\mathbb{Z})_k$ where $r$ is prime.
If $m$ is a prime and $G$is a finite commutative $k$-group, then$m^\alpha id_G=0$ for large $\alpha$ iff $rk(G)$ is a power of $m$.
Last revised on June 5, 2012 at 16:18:15. See the history of this page for a list of all contributions to it.