Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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 $)?

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

2 Answers

up vote 4 down vote accepted

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.

share|improve this answer
    
Thank you for the answer. This seems very promising. –  Tran Chieu Minh Apr 9 '10 at 13:59
add comment

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 .

share|improve this answer
    
This is fine for the unramified extensions, i.e. those that p generates the maximal ideal. –  Felipe Voloch Apr 8 '10 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 '10 at 20:28
    
Thank you for the answer and the link. –  Tran Chieu Minh Apr 9 '10 at 14:01
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.