## kernel of G(Z/p^2 Z)->G(Z/pZ) is the lie algebra of G over Z/pZ?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $G$ be an affine algebraic group defined over $\mathbf Z$. The kernel of the natural homomorphism $G(\mathbf Z/p^2\mathbf Z)\to G(\mathbf Z/p\mathbf Z)$, if abelian, is a group which comes along with the conjugation action of $G(\mathbf Z/p\mathbf Z)$.

In the case where $G$ is a classical group, this kernel is isomorphic (as a set with $G(\mathbf Z/p\mathbf Z)$-action) to the Lie algebra $\mathfrak g(\mathbf Z/p\mathbf Z)$ of $G(\mathbf Z/p\mathbf Z)$ (which comes with the adjoint action). It seems that this should be the case in general.

Does anyone know of a reference for this kind of thing?

-

## 1 Answer

Take a look at Waterhouse's book - Introduction to affine group schemes. I think Theorem 12.2 is what you're looking for.

-

Thanks. Thats exactly what I was looking for. – Amritanshu Prasad Oct 26 2010 at 8:43
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 8, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9211193919181824, "perplexity_flag": "head"}