Showing changes from revision #1 to #2:
Added | Removed | Changed
In Let the Prüfer -group every be element the has finite precisely field with -elements In the Prüfer-group every element has precisely -th roots.
It is unique up to isomorphism.
Prüfer -group
-group
Sylow -subgroup of consisting of those elements whose order is a power of :
(relative Frobenius lifts some problems with the plain frobenius of shemes)
http://mathoverflow.net/questions/512/what-is-interesting-useful-about-big-witt-vectors
http://mathoverflow.net/questions/58/is-there-a-universal-property-for-witt-vectors
http://www.neverendingbooks.org/index.php/big-witt-vectors-for-everyone-12.html
http://www.noncommutative.org/index.php/cartiers-big-witt-functor.html
Is it right to say that this is a cohomological invariant?
See Hesselholt
KT (K-theory), NCG (Algebra and noncommutative geometry), AG (Algebraic geometry)?
Charp
nLab page on Witt vectors