## Is there a notion of Galois extension for Z / p^2?

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

The above title is in fact a special case of what I want to ask.

Certainly we have a well defined notion of Galois extension for $\mathbb{Q}_p$. The intersections of these extensions to the ring of integer of the absolute algebraic closure of $\mathbb{Q}_p$ give us a notion of Galois extensions for $\mathbb{Z}_p$. ( I know that there is a notion of Galois extension for commutative rings, and I believe that it should give us this. Am I correct?)

Let's go further. Let $A_K$ be the ring of integer in a finite Galois extension $K$ of $\mathbb{Q}_p$. Let $e$ be the ramification degree of $K$ over $\mathbb{Q}_p$. The injection of $\mathbb{Z}_p$ into $A_K$ will induce an injection of $\mathbb{Z} / p^n$ into $A_K / \mathfrak{p}^{en}$. In this picture, there seems to be some desire to say that $A_K / \mathfrak{p}^{en}$ is the correct notion Galois of extension of $\mathbb{Z} / p^n$. But there are problems; taking this notion of Galois extension, if $K$ is has ramification degree $e >1$, the corresponding extension $A_K /p^e$ is not a field (it is not even an integral domain).

Question 1: Is there any notion of Galois extensions corresponding to what I desire?

Question 2: Can a class field theory (i.e a nice description of absolute abelian Galois extension) of $\mathbb{Z}/p^n$ be developed in this context? Is there any relationship between this and the local class field theory of $\mathbb{Q}_p$ ( which is the same as that of $\mathbb{Z}_p$)?

-

Re Q2. Class field theory only describes abelian extensions. – Felipe Voloch Apr 8 2010 at 20:22
Ah, yes thank you. – Tran Chieu Minh Apr 9 2010 at 1:18
I removed the LaTeX from the title as it does not display properly on the front page. – Harry Gindi Apr 9 2010 at 2:21
I have accepted the answer by dke, still I hope for an answer to question 2. – Tran Chieu Minh Apr 9 2010 at 14:00

## 2 Answers

Perhaps not directly answering your questions but something along those lines is Deligne's theory of truncated valuation rings, given in Les corps locaux de caractéristique $p$, limites de corps locaux de caractéristique 0.

A truncated valuation ring is an Artin local ring with principal maximal ideal and finite residue field - by Cohen's structure theorem, these are precisely the quotients of rings of integers in local fields by a power of the maximal ideal. Deligne sets up a category using these truncated valuation rings and provides definitions of extensions aswell as a ramification theory for them.

He goes on to show an equivalence between the category of "at most $e$-ramified" separable extensions of a local field $K$ and the category of "at most $e$-ramified" extensions of the length $e$ truncation of the ring of integers of $K$.

The main point of all this is that the behaviour of objects defined over discrete valuation rings is often determined by their reduction modulo a power of the maximal ideal i.e. on truncated data. It also ties in with Krasner's idea (hence the title of Deligne's paper) that local fields of characteristic $p$ are limits of local fields of characteristic 0 as the absolute ramification index tends to infinity.

-

Thank you for the answer. This seems very promising.  – Tran Chieu Minh Apr 9 2010 at 13:59

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

There's the notion of Galois ring. Let $K$ be the degree $m$ unramified extension of $\mathbb{Q}_p$ and let $\mathcal{O}_K$ be its ring of integers. Then the quotient $R=\mathcal{O}_K/p^n\mathcal{O}_K$ is called the Galois ring of characteristic $p^m$ and residue field $\mathbf{F}_{p^m}$.

The Frobenius map of $\mathbb{F}_{p^m}$ lifts to an automorphism of $R$ whose fixed ring is $\mathbb{Z}/p^n\mathbb{Z}$. There is a whole book on the topic: http://www.worldscibooks.com/mathematics/5350.html .

-

This is fine for the unramified extensions, i.e. those that p generates the maximal ideal. – Felipe Voloch Apr 8 2010 at 20:18
If I recall correctly, the Galois rings are precisely the finite local rings with maximal ideal generated by a prime $p$. – Robin Chapman Apr 8 2010 at 20:28
Thank you for the answer and the link. – Tran Chieu Minh Apr 9 2010 at 14:01
{"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": 39, "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.8988168239593506, "perplexity_flag": "head"}