Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The aim of the question is very simple, I would like to study Artin-Schreier Theory, but I have had embarassing difficulties in finding a book which could help me in doing that.

In specific I'm looking for a book which write down explicitely the main theorem of Artin-Schreir Theory, and have also a proof of it (or at least a sketch of it) and maybe also a short introduction on the topic.

The closest I get in the matter is with the book "Cohomology of Number Fields" of Neukirch, which is suggested as a reference by the Wikipedia page on Artin-Schreier Theory. But it doesn't fit with the requests I made above.

So the question is, what is the name of such a book? Or, if such abook does not exist, do you have any suggestions on how to proceed?

Thank you very much!

share|improve this question
1  
Have you tried Lang's Algebra? –  Corey Jul 7 '11 at 7:34
3  
An exposition of the characterization of abelian $p$-extensions of a field of characteristic $p$ in terms of the ring of Witt vectors is given in chapter 8 of the ever useful Basic Algebra II by Jacobson. If you want just a proof for the fact the a cyclic extension of char $p$ fields is of the form $E=F(y)$, where $y^p-y=z$ for some $z\in F$, then I can write it out, but undoubtedly you've seen those (or done it as an exercise), and are looking for something more :-) –  Jyrki Lahtonen Jul 7 '11 at 7:40
3  
(i) It's ironic that "Artin-Schreier theory" could refer either to the theory of fields with finite nontrivial absolute Galois group (which are necessarily of characteristic zero) or to the theory of cyclic $p$-extensions in characteristic $p$. I think you are asking about the latter, but I'm not completely sure. (ii) AS theory in the former sense is to be found in my notes-in-progress on field theory. I keep looking there for AS theory in the latter sense: so far I've never found it in my lecture notes, to my disappointment. But some day... –  Pete L. Clark Jul 7 '11 at 7:59
2  
P.S.: I'm having trouble imagining what embarrassing difficulties looking up Artin-Schreier theory might be. But anyway, I'm pretty sure it's not your fault: it's not as easy to find as it should be. Don't be embarrassed! –  Pete L. Clark Jul 7 '11 at 8:02
    
Thank you for your time! I'm actually looking for the theory of cyclic $p$-extensions in characteristic $p$. I will try to look to the books you suggested! In specific I was looking for the proof of the fact that a Galois extension (not merely cyclic, but maybe it is obvious how to extend the result) of $char(p)$ fields is of the form Jyrki suggested (as stated on the wiki page), but I have had troubles for an handmade proof. Thank you again! –  Giovanni De Gaetano Jul 7 '11 at 8:55
add comment

1 Answer 1

up vote 6 down vote accepted

Let $L/K$ be a cyclic Galois extension of order $p= char K$. Let $\sigma$ be a generator of the Galois group. By the 'independence of characters' theorem (don't remember for sure, whether it is due to Dedekind, Kummer or even Artin), there exists an element $x\in L^*$ such that $z=x+\sigma(x)+\sigma^2(x)+\cdots+\sigma^{p-1}(x)\neq0.$ Let us fix such an element $x$. Note that $z\in K$, because it is invariant under $\sigma$.

Write $$ y=(p-1)x+(p-2)\sigma(x)+\cdots+2\sigma^{p-3}(x)+\sigma^{p-2}(x)+0\cdot\sigma^{p-1}(x). $$ We see that $\sigma(y)=y+z$, so if we denote $u=y/z$, we get $\sigma(u)=u+1$. Therefore $u\notin K$, so $L=K(u)$. Fermat's little theorem tells us that $p(T)=T^p-T=\prod_{i=0}^{p-1}(T-i)$ in $K[T]$. In characteristic $p$ we have $p(a+b)=p(a)+p(b)$ for all $a,b\in L$. The minimal polynomial of $u$ is thus $$ \prod_{i=0}^{p-1}(T-\sigma^i(u))=\prod_{i=0}^{p-1}(T-(u+i))=p(T-u)=p(T)-p(u)= T^p-T+(-1)^p\prod_{i=0}^{p-1}(u+i), $$ so $L/K$ is of the AS form.

This is an additive analogue of the standard multiplicative argument (=starting point of Kummer theory) telling us that a cyclic extension of degree $m$ is a root extension, when the smaller field has a primitive root of unity of order $m$.

share|improve this answer
    
Thank you! I really appreciated this solution, now if I understand correctly this proof classifies all the abelian Galois extensions of degree $p$ (prime degree + abelian = cyclic). And if I want study extensions of degree a power of $p$ I need Witt vectors, am I right? I've still a doubt, what about non-abelian Galois extension? They does exist? How are they classified? Thank you again! Including the excellent reference you suggested the answer is exactly what I was looking for! –  Giovanni De Gaetano Jul 7 '11 at 10:24
    
The theorem on linear independece of character should be dued to Artin. –  Giovanni De Gaetano Jul 7 '11 at 10:32
1  
By the way, note that $\sum \sigma^k(x)$ is just $Tr(x)$. So, instead of using independence of characters, one can quote the fact that the trace map is nonzero for a separable extension. (I'm not sure which of those is easier to prove.) –  David Speyer Jul 7 '11 at 11:37
    
@David: A good point. I chose to do it this way, because it is more in line with the standard argument used in the Kummer case. –  Jyrki Lahtonen Jul 7 '11 at 11:47
    
May I ask the same question as that of Student73? Thanks in advance. –  awllower Nov 13 '11 at 17:01
show 1 more 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.