Photo:1
Photo:2
Photo:3
Photo:4
Photo:1 Photo:2 Photo:3 Photo:4 |
| Motivation | |
| 2>
Any p-adic integer can be written as a power series a0 + a1p1 + a2p2 + ... where the a's are usually taken from the set {0, 1, 2, ..., p − 1}. This set of representatives is not the only possible choice, and Teichmüller suggested an alternative set consisting of 0 together with the p − 1st roots of 1: in other words, the p roots of
xp − x = 0.
These Teichmüller representatives can be identified with the elements of the finite field Fp of order p (by taking residues mod p), so this identifies the set of p-adic integers with infinite sequences of elements of Fp.
We now have the following problem: given two infinite sequences of elements of Fp, identified with p-adic integers using Teichmüller's representatives, describe their sum and product as p-adic integers explicitly. This problem was solved by Witt using Witt vectors.
[edit] Tags:Infinite Sequence,Teichmüller,Finite Field, | |
| Construction of Witt rings | |
| 2>
Fix a prime number p. A Witt vector over a commutative ring R is a sequence (X0, X1,X2,...) of elements of R. Define the Witt polynomials Wi by
and in general
Then Witt showed that there is a unique way to make the set of Witt vectors over any commutative ring R into a ring, called the ring of Witt vectors, such that
the sum and product are given by polynomials with integral coefficients that do not depend on R, and
Every Witt polynomial is a homomorphism from the ring of Witt vectors over R to R.
The first few polynomials giving the sum and product of Witt vectors can be written down explicitly. For example,
(X0, X1,...) + (Y0, Y1,...) = (X0+Y0, X1 + Y1 + (X0p + Y0p − (X0 + Y0)p)/p, ...)
(X0, X1,...) × (Y0, Y1,...) = (X0Y0, X0pY1 + Y0pX1 + p X1Y1, ...)
[edit] Tags:Commutative Ring, | |
| Examples | |
| 2>
The Witt ring of any commutative ring R in which p is invertible is just isomorphic to RN (the product of a countable number of copies of R). In fact the Witt polynomials always give a homomorphism from the ring of Witt vectors to RN, and if p is invertible this homomorphism is an isomorphism.
The Witt ring of the finite field of order p is the ring of p-adic integers.
The Witt ring of a finite field of order pn is the unramified extension of degree n of the ring of p-adic integers.
[edit] Tags:Unramified Extension, | |
| Universal Witt vectors | |
| 2>
The Witt polynomials for different primes p are special cases of universal Witt polynomials, which can be used to form a universal Witt ring (not depending on a choice of prime p). Define the universal Witt polynomials Wn for n≥1 by
and in general
We can use these polynomials to define the ring of universal Witt vectors over any commutative ring R in much the same way as above (so the universal Witt polynomials are all homomorphisms to the ring R).
[edit] Tags: | |
| Ring schemes | |
| 2>
The map taking a commutative ring R to the ring of Witt vectors over R (for a fixed prime p) is a functor from commutative rings to commutative rings, and is also representable, so it can be thought of as a ring scheme, called the Witt scheme, over Spec(Z). The Witt scheme can be canonically identified with the spectrum of the ring of symmetric functions.
Similarly the rings of truncated Witt vectors, and the rings of universal Witt vectors, correspond to ring schemes, called the truncated Witt schemes and the universal Witt scheme .
Moreover, the functor taking the commutative ring R to the set Rn is represented by the affine space , and the ring structure on Rn makes into a ring scheme denoted . From the construction of truncated Witt vectors it follows that their associated ring scheme is the scheme with the unique ring structure such that the morphism given by the Witt polynomials is a morphism of ring schemes.
[edit] Tags:Structure,Functor,Ring Scheme, | |
| Commutative unipotent algebraic groups | |
| 2>
Over an algebraically closed field of characteristic 0, any unipotent abelian connected algebraic group is isomorphic to a product of copies of the additive group Ga. The analogue of this for fields of characteristic p is false: the truncated Witt schemes are counterexamples. (We make them into algebraic groups by forgetting the multiplication and just using the additive structure.) However these are essentially the only counterexamples: over an algebraically closed field of characteristic p, any unipotent abelian connected algebraic group is isogenous to a product of truncated Witt group schemes.
[edit] Tags:Algebraically Closed Field,Unipotent,Algebraic Group,Algebraic Groups, | |
| References | |
| 2>
Dolgachev, I.V. (2001), "Witt vector", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1556080104, http://www.encyclopediaofmath.org/index.php?title=w/w098100
Hazewinkel, Michiel (2009), "Witt vectors. I.", Handbook of algebra. Vol. 6, Amsterdam: Elsevier/North-Holland, pp. 319–472,, arXiv:0804.3888, ISBN 978-0444532572, MR2553661
Mumford, David, Lectures on Curves on an Algebraic Surface, Annals of Mathematics Studies, 59, Princeton, NJ: Princeton University Press, ISBN 978-0-691-07993-6
Serre, Jean-Pierre (1979), Local fields, Graduate Texts in Mathematics, 67, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90424-5, MR554237 , section II.6
Serre, Jean-Pierre (1988), Algebraic groups and class fields, Graduate Texts in Mathematics, 117, Berlin, New York: Springer-Verlag, ISBN 978-0-387-96648-9, MR918564
Witt, Ernst (1936), "Zyklische Körper und Algebren der Characteristik p vom Grad pn. Struktur diskret bewerteter perfekter Körper mit vollkommenem Restklassenkörper der Charakteristik pn" (in German), Journal für Reine und Angewandte Mathematik 176: 126–140, http://www.digizeitschriften.de/main/dms/img/?IDDOC=504725
Greenberg, M. J. (1969), Lectures on Forms in Many Variables, New York and Amsterdam, Benjamin, MR 241358, ASIN: B0006BX17M
Retrieved from "http://en.wikipedia.org/w/index.php?title=Witt_vector&oldid=471849742"
Categories: Ring theoryAlgebraic groupsCombinatorics on words
Personal tools
Log in / create account
Namespaces
Article
Talk
Variants
Views
Read
Edit
View history
Actions
Search
Navigation
Main page
Contents
Featured content
Current events
Random article
Donate to Wikipedia
Interaction
Help
About Wikipedia
Community portal
Recent changes
Contact Wikipedia
Toolbox
What links here
Related changes
Upload file
Special pages
Permanent link
Cite this page
Print/export
Create a bookDownload as PDFPrintable version
Languages
Deutsch
Polski
This page was last modified on 17 January 2012 at 11:35.
Text is available under the Creative Commons Attribution-ShareAlike License;
additional terms may apply.
See Terms of use for details.
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.Contact us
Privacy policy
About Wikipedia
Disclaimers
Mobile view
if ( window.isMSIE55 ) fixalpha();
if ( window.mediaWiki ) {
mw.loader.load(["mediawiki.user", "mediawiki.util", "mediawiki.page.ready", "mediawiki.legacy.wikibits", "mediawiki.legacy.ajax", "mediawiki.legacy.mwsuggest", "ext.gadget.wmfFR2011Style", "ext.vector.collapsibleNav", "ext.vector.collapsibleTabs", "ext.vector.editWarning", "ext.vector.simpleSearch", "ext.UserBuckets", "ext.articleFeedback.startup", "ext.articleFeedbackv5.startup", "ext.markAsHelpful"]);
}
if ( window.mediaWiki ) {
mw.user.options.set({"ccmeonemails":0,"cols":80,"date":"default","diffonly":0,"disablemail":0,"disablesuggest":0,"editfont":"default","editondblclick":0,"editsection":1,"editsectiononrightclick":0,"enotifminoredits":0,"enotifrevealaddr":0,"enotifusertalkpages":1,"enotifwatchlistpages":0,"extendwatchlist":0,"externaldiff":0,"externaleditor":0,"fancysig":0,"forceeditsummary":0,"gender":"unknown","hideminor":0,"hidepatrolled":0,"highlightbroken":1,"imagesize":2,"justify":0,"math":1,"minordefault":0,"newpageshidepatrolled":0,"nocache":0,"noconvertlink":0,"norollbackdiff":0,"numberheadings":0,"previewonfirst":0,"previewontop":1,"quickbar":5,"rcdays":7,"rclimit":50,"rememberpassword":0,"rows":25,"searchlimit":20,"showhiddencats":false,"showjumplinks":1,"shownumberswatching":1,"showtoc":1,"showtoolbar":1,"skin":"vector","stubthreshold":0,"thumbsize":4,"underline":2,"uselivepreview":0,"usenewrc":0,"watchcreations":1,"watchdefault":0,"watchdeletion":0,"watchlistdays":3,"watchlisthideanons":0,
"watchlisthidebots":0,"watchlisthideliu":0,"watchlisthideminor":0,"watchlisthideown":0,"watchlisthidepatrolled":0,"watchmoves":0,"wllimit":250,"flaggedrevssimpleui":1,"flaggedrevsstable":0,"flaggedrevseditdiffs":true,"flaggedrevsviewdiffs":false,"vector-simplesearch":1,"useeditwarning":1,"vector-collapsiblenav":1,"usebetatoolbar":1,"usebetatoolbar-cgd":1,"wikilove-enabled":1,"variant":"en","language":"en","searchNs0":true,"searchNs1":false,"searchNs2":false,"searchNs3":false,"searchNs4":false,"searchNs5":false,"searchNs6":false,"searchNs7":false,"searchNs8":false,"searchNs9":false,"searchNs10":false,"searchNs11":false,"searchNs12":false,"searchNs13":false,"searchNs14":false,"searchNs15":false,"searchNs100":false,"searchNs101":false,"searchNs108":false,"searchNs109":false,"gadget-wmfFR2011Style":1});;mw.user.tokens.set({"editToken":"+\\","watchToken":false});;mw.loader.state({"user.options":"ready","user.tokens":"ready"});
/* cache key: enwiki:resourceloader:filter:minify-js:4:b41a86ec4e0fe8329bc3ce917e792339 */
}
Tags:Mathematics,Encyclopedia Of Mathematics,978-0444532572,Mumford, David,Princeton University Press,Serre, Jean-pierre,Springer-verlag,978-0-387-90424-5,978-0-387-96648-9,Categories,Ring Theory, | |
z³ote monety |