Photo:1
Photo:2
Photo:3
Photo:4
Photo:1 Photo:2 Photo:3 Photo:4 |
| Unique factorization and the ideal class group | |
| 3>
One of the first properties of Z that can fail in the ring of integers O of an algebraic number field K is that of the unique factorization of integers into prime numbers. The prime numbers in Z are generalized to irreducible elements in O, and though the unique factorization of elements of O into irreducible elements may hold in some cases (such as for the Gaussian integers Z[i]), it may also fail, as in the case of Z[√-5] where
The ideal class group of O is a measure of how much unique factorization of elements fails; in particular, the ideal class group is trivial if, and only if, O is a unique factorization domain.
[edit] Tags:Ring,Algebraic Number Field,Factorization,Field,Integers,Unique Factorization,Ring Of Integers,Prime Numbers,Irreducible Elements,Ideal Class Group,Trivial,Unique Factorization Domain,Numbers, | |
| Factoring prime ideals in extensions | |
| 3>
Unique factorization can be partially recovered for O in that it has the property of unique factorization of ideals into prime ideals (i.e. it is a Dedekind domain). This makes the study of the prime ideals in O particularly important. This is another area where things change from Z to O: the prime numbers, which generate prime ideals of Z (in fact, every single prime ideal of Z is of the form (p):=pZ for some prime number p,) may no longer generate prime ideals in O. For example, in the ring of Gaussian integers, the ideal 2Z[i] is no longer a prime ideal; in fact
On the other hand, the ideal 3Z[i] is a prime ideal. The complete answer for the Gaussian integers is obtained by using a theorem of Fermat's, with the result being that for an odd prime number p
Generalizing this simple result to more general rings of integers is a basic problem in algebraic number theory. Class field theory accomplishes this goal when K is an abelian extension of Q (i.e. a Galois extension with abelian Galois group).
[edit] Tags:Number Theory,Ideals,Prime Ideals,Dedekind Domain,Class Field Theory,Abelian Extension,Galois Extension,Abelian,Galois Group, | |
| Primes and places | |
| 3>
An important generalization of the notion of prime ideal in O is obtained by passing from the so-called ideal-theoretic approach to the so-called valuation-theoretic approach. The relation between the two approaches arises as follows. In addition to the usual absolute value function |·| : Q → R, there are absolute value functions |·|p : Q → R defined for each prime number p in Z, called p-adic absolute values. Ostrowski's theorem states that these are all possible absolute value functions on Q (up to equivalence). This suggests that the usual absolute value could be considered as another prime. More generally, a prime of an algebraic number field K (also called a place) is an equivalence class of absolute values on K. The primes in K are of two sorts: -adic absolute values like |·|p, one for each prime ideal of O, and absolute values like |·| obtained by considering K as a subset of the complex numbers in various possible ways and using the absolute value |·| : C → R. A prime of the first kind is called a finite prime (or finite place) and one of the second kind is called an infinite prime (or infinite place). Thus, the set of primes of Q is generally denoted { 2, 3, 5, 7, ..., ∞ }, and the usual absolute value on Q is often denoted |·|∞ in this context.
The set of infinite primes of K can be described explicitly in terms of the embeddings K → C (i.e. the non-zero ring homomorphisms from K to C). Specifically, the set of embeddings can be split up into two disjoint subsets, those whose image is contained in R, and the rest. To each embedding σ : K → R, there corresponds a unique prime of K coming from the absolute value obtained by composing σ with the usual absolute value on R; a prime arising in this fashion is called a real prime (or real place). To an embedding τ : K → C whose image is not contained in R, one can construct a distinct embedding τ, called the conjugate embedding, by composing τ with the complex conjugation map C → C. Given such a pair of embeddings τ and τ, there corresponds a unique prime of K again obtained by composing τ with the usual absolute value (composing τ instead gives the same absolute value function since |z| = |z| for any complex number z, where z denotes the complex conjugate of z). Such a prime is called a complex prime (or complex place). The description of the set of infinite primes is then as follows: each infinite prime corresponds either to a unique embedding σ : K → R, or a pair of conjugate embeddings τ, τ : K → C. The number of real (respectively, complex) primes is often denoted r1 (respectively, r2). Then, the total number of embeddings K → C is r1+2r2 (which, in fact, equals the degree of the extension K/Q).
[edit] Tags:P-adic Absolute Values,Ostrowski's Theorem,Ring Homomorphisms, | |
| Units | |
| 3>
The fundamental theorem of arithmetic describes the multiplicative structure of Z. It states that every non-zero integer can be written (essentially) uniquely as a product of prime powers and ±1. The unique factorization of ideals in the ring O recovers part of this description, but fails to address the factor ±1. The integers 1 and -1 are the invertible elements (i.e. units) of Z. More generally, the invertible elements in O form a group under multiplication called the unit group of O, denoted O×. This group can be much larger than the cyclic group of order 2 formed by the units of Z. Dirichlet's unit theorem describes the abstract structure of the unit group as an abelian group. A more precise statement giving the structure of O× ⊗Z Q as a Galois module for the Galois group of K/Q is also possible.[1] The size of the unit group, and its lattice structure give important numerical information about O, as can be seen in the class number formula.
[edit] Tags:Fundamental Theorem Of Arithmetic,Prime Powers,Units,Cyclic Group,Dirichlet's Unit Theorem,Galois Module,Class Number Formula,Class Number,Arithmetic, | |
| Local fields | |
| 3>
Main article: Local field
Completing a number field K at a place w gives a complete field. If the valuation is archimedean, one gets R or C, if it is non-archimedean and lies over a prime p of the rationals, one gets a finite extension Kw / Qp: a complete, discrete valued field with finite residue field. This process simplifies the arithmetic of the field and allows the local study of problems. For example the Kronecker–Weber theorem can be deduced easily from the analogous local statement. The philosophy behind the study of local fields is largely motivated by geometric methods. In algebraic geometry, it is common to study varieties locally at a point by localizing to a maximal ideal. Global information can then be recovered by gluing together local data. This spirit is adopted in algebraic number theory. Given a prime in the ring of algebraic integers in a number field, it is desirable to study the field locally at that prime. Therefore one localizes the ring of algebraic integers to that prime and then completes the fraction field much in the spirit of geometry.
[edit] Tags:Algebraic Integers,Local Field,Completing,Complete Field,Kronecker–weber Theorem, | |
| Finiteness of the class group | |
| 3>
One of the classical results in algebraic number theory is that the ideal class group of an algebraic number field K is finite. The order of the class group is called the class number, and is often denoted by the letter h.
[edit] Tags: | |
| Dirichlet's unit theorem | |
| 3>
Main article: Dirichlet's unit theorem
Dirichlet's unit theorem provides a description of the structure of the multiplicative group of units O× of the ring of integers O. Specifically, it states that O× is isomorphic to G × Zr, where G is the finite cyclic group consisting of all the roots of unity in O, and r = r1 + r2 − 1 (where r1 (respectively, r2) denotes the number of real embeddings (respectively, pairs of conjugate non-real embeddings) of K). In other words, O× is a finitely generated abelian group of rank r1 + r2 − 1 whose torsion consists of the roots of unity in O.
[edit] Tags:Finitely Generated Abelian Group, | |
| Artin reciprocity | |
| 3>
Main article: Artin reciprocity law
See also
Quadratic reciprocity
Cubic reciprocity
Quartic reciprocity
[edit] Tags:Artin Reciprocity Law,Quadratic Reciprocity,Cubic Reciprocity,Quartic Reciprocity, | |
| Introductory texts | |
| 3>
Kenneth Ireland and Michael Rosen, "A Classical Introduction to Modern Number Theory, Second Edition", Springer-Verlag, 1990
Ian Stewart and David O. Tall, "Algebraic Number Theory and Fermat's Last Theorem," A. K. Peters, 2002
[edit] Tags:Ian Stewart,David O. Tall,Springer-verlag, | |
| Graduate level accounts | |
| 3>
Cassels, J. W. S.; Fröhlich, Albrecht, eds. (1967), Algebraic number theory, London: Academic Press, MR0215665
Fröhlich, Albrecht; Taylor, Martin J. (1993), Algebraic number theory, Cambridge Studies in Advanced Mathematics, 27, Cambridge University Press, ISBN 0-521-43834-9, MR1215934
Lang, Serge (1994), Algebraic number theory, Graduate Texts in Mathematics, 110 (2 ed.), New York: Springer-Verlag, ISBN 978-0-387-94225-4, MR1282723
Neukirch, Jürgen (1999), Algebraic Number Theory, Grundlehren der mathematischen Wissenschaften, 322, Berlin: Springer-Verlag, ISBN 978-3-540-65399-8, MR1697859
[edit] Tags:Cassels, J. W. S.,Fröhlich, Albrecht,Taylor, Martin J.,Cambridge University Press,0-521-43834-9,Lang, Serge,Graduate Texts In Mathematics,978-0-387-94225-4,Neukirch, Jürgen,978-3-540-65399-8, | |
| Specific references | |
| 3>
Neukirch, Jürgen; Schmidt, Alexander; Wingberg, Kay (2000), Cohomology of Number Fields, Grundlehren der Mathematischen Wissenschaften, 323, Berlin: Springer-Verlag, ISBN 978-3-540-66671-4, MR1737196
[edit] Tags:978-3-540-66671-4, | |
| See also | |
| 2>
Arithmétique modulaire A survey of number theory, with applications (in French Wikipedia)
Langlands program
Adele ring
Tamagawa number
Iwasawa theory
Arithmetic algebraic geometry
v
d
e
Major topics in Number theory
Algebraic number theory
Analytic number theory
Geometric number theory
Computational number theory
Transcendental number theory
Combinatorial number theory
Arithmetic geometry
Arithmetic topology
Arithmetic dynamics
Numbers
Natural numbers
Prime numbers
Rational numbers
Irrational numbers
Algebraic numbers
Transcendental numbers
p-adic numbers
Arithmetic
Modular arithmetic
Arithmetic functions
Quadratic forms
Modular forms
L-functions
Diophantine equations
Diophantine approximation
Continued fractions
List of recreational number theory topics
List of number theory topics
Retrieved from "http://en.wikipedia.org/w/index.php?title=Algebraic_number_theory&oldid=474644760"
Categories: Algebraic number theory
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
العربية
বাংলা
Български
Català
Deutsch
Español
Français
한국어
Italiano
עברית
Nederlands
Polski
Português
Suomi
中文
This page was last modified on 2 February 2012 at 21:15.
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:Arithmétique Modulaire,Langlands Program,Adele Ring,Tamagawa Number, | |
zote monety click here click here click here click here |