TheInfoList

Algebraic number theory is a branch of
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of devoted primarily to the study of the s and . German mathematician (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen ...

that uses the techniques of
abstract algebra In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathema ...
to study the
integers An integer (from the Latin Latin (, or , ) is a classical language belonging to the Italic languages, Italic branch of the Indo-European languages. Latin was originally spoken in the area around Rome, known as Latium. Through the power of t ...

,
rational numbers In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...
, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as
algebraic number field In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...
s and their rings of integers,
finite field In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
s, and function fields. These properties, such as whether a ring admits unique
factorization In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...

, the behavior of
ideal Ideal may refer to: Philosophy * Ideal (ethics) An ideal is a principle A principle is a proposition or value that is a guide for behavior or evaluation. In law Law is a system A system is a group of Interaction, interacting ...
s, and the
Galois group In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
s of
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grassl ...
s, can resolve questions of primary importance in number theory, like the existence of solutions to
Diophantine equation In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...
s.

# History of algebraic number theory

## Diophantus

The beginnings of algebraic number theory can be traced to Diophantine equations, named after the 3rd-century
Alexandria Alexandria ( or ; ar, الإسكندرية ; arz, اسكندرية ; Coptic language, Coptic: Rakodī; el, Αλεξάνδρεια ''Alexandria'') is the List of cities and towns in Egypt, third-largest city in Egypt after Cairo and Giza, ...

n mathematician,
Diophantus Diophantus of Alexandria ( grc, Διόφαντος ὁ Ἀλεξανδρεύς; born probably sometime between AD 200 and 214; died around the age of 84, probably sometime between AD 284 and 298) was an Alexandrian mathematician, who was the autho ...
, who studied them and developed methods for the solution of some kinds of Diophantine equations. A typical Diophantine problem is to find two integers ''x'' and ''y'' such that their sum, and the sum of their squares, equal two given numbers ''A'' and ''B'', respectively: :$A = x + y\$ :$B = x^2 + y^2.\$ Diophantine equations have been studied for thousands of years. For example, the solutions to the quadratic Diophantine equation ''x''2 + ''y''2 = ''z''2 are given by the
Pythagorean triple A Pythagorean triple consists of three positive integers , , and , such that . Such a triple is commonly written , and a well-known example is . If is a Pythagorean triple, then so is for any positive integer . A primitive Pythagorean triple is ...
s, originally solved by the Babylonians (c. 1800 BC). Solutions to linear Diophantine equations, such as 26''x'' + 65''y'' = 13, may be found using the
Euclidean algorithm In mathematics, the Euclidean algorithm,Some widely used textbooks, such as I. N. Herstein's ''Topics in Algebra'' and Serge Lang's ''Algebra'', use the term "Euclidean algorithm" to refer to Euclidean division or Euclid's algorithm, is an effi ...
(c. 5th century BC). Diophantus' major work was the ''
Arithmetica ''Arithmetica'' ( grc-gre, Ἀριθμητικά) is an Ancient Greek Ancient Greek includes the forms of the Greek language used in ancient Greece and the classical antiquity, ancient world from around 1500 BC to 300 BC. It is often roug ...

'', of which only a portion has survived.

## Fermat

Fermat's last theorem In number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of devoted primarily to the study of the s and . German mathematician (1777–1855) said, "Mathematics is the queen of the sciences—and number ...
was first
conjectured In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...
by
Pierre de Fermat Pierre de Fermat (; between 31 October and 6 December 1607 – 12 January 1665) was a French mathematician A mathematician is someone who uses an extensive knowledge of mathematics Mathematics (from Greek: ) includes the study of suc ...

in 1637, famously in the margin of a copy of ''Arithmetica'' where he claimed he had a proof that was too large to fit in the margin. No successful proof was published until 1995 despite the efforts of countless mathematicians during the 358 intervening years. The unsolved problem stimulated the development of algebraic number theory in the 19th century and the proof of the
modularity theorem The modularity theorem (formerly called the Taniyama–Shimura conjecture, Taniyama-Weil conjecture or modularity conjecture for elliptic curves) states that elliptic curves over the field of rational numbers are related to modular form In m ...
in the 20th century.

## Gauss

One of the founding works of algebraic number theory, the ''Disquisitiones Arithmeticae'' (
Latin Latin (, or , ) is a classical language belonging to the Italic languages, Italic branch of the Indo-European languages. Latin was originally spoken in the area around Rome, known as Latium. Through the power of the Roman Republic, it became ...

: ''Arithmetical Investigations'') is a textbook of number theory written in Latin by
Carl Friedrich Gauss Johann Carl Friedrich Gauss (; german: Gauß ; la, Carolus Fridericus Gauss; 30 April 177723 February 1855) was a German mathematician This is a List of German mathematician A mathematician is someone who uses an extensive knowledge of m ...

in 1798 when Gauss was 21 and first published in 1801 when he was 24. In this book Gauss brings together results in number theory obtained by mathematicians such as Fermat,
Euler Leonhard Euler ( ; ; 15 April 170718 September 1783) was a Swiss mathematician A mathematician is someone who uses an extensive knowledge of mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithm ...

,
Lagrange Joseph-Louis Lagrange (born Giuseppe Luigi LagrangiaRoman_Forum.html" ;"title="Curia Julia in the Roman Forum">Curia Julia in the Roman Forum A senate is a deliberative assembly, often the upper house or Debating chamber, chamber of a bicame ...

and Legendre and adds important new results of his own. Before the ''Disquisitiones'' was published, number theory consisted of a collection of isolated theorems and conjectures. Gauss brought the work of his predecessors together with his own original work into a systematic framework, filled in gaps, corrected unsound proofs, and extended the subject in numerous ways. The ''Disquisitiones'' was the starting point for the work of other nineteenth century
Europe Europe is a continent A continent is any of several large landmass A landmass, or land mass, is a large region In geography Geography (from Greek: , ''geographia'', literally "earth description") is a field of scienc ...

an mathematicians including
Ernst Kummer Ernst Eduard Kummer (29 January 1810 – 14 May 1893) was a German mathematician A mathematician is someone who uses an extensive knowledge of mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quan ...
,
Peter Gustav Lejeune Dirichlet Johann Peter Gustav Lejeune Dirichlet (; 13 February 1805 – 5 May 1859) was a German mathematician A mathematician is someone who uses an extensive knowledge of mathematics Mathematics (from Ancient Greek, Greek: ) includes the study ...

and
Richard Dedekind Julius Wilhelm Richard Dedekind (6 October 1831 – 12 February 1916) was a German mathematician who made important contributions to abstract algebra (particularly ring theory In algebra, ring theory is the study of ring (mathematics), rings ...
. Many of the annotations given by Gauss are in effect announcements of further research of his own, some of which remained unpublished. They must have appeared particularly cryptic to his contemporaries; we can now read them as containing the germs of the theories of
L-function In mathematics, an ''L''-function is a meromorphic In the mathematical field of complex analysis, a meromorphic function on an open subset Open or OPEN may refer to: Music * Open (band) Open is a band. Background Drummer Pete Neville has ...
s and
complex multiplication In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...

, in particular.

## Dirichlet

In a couple of papers in 1838 and 1839
Peter Gustav Lejeune Dirichlet Johann Peter Gustav Lejeune Dirichlet (; 13 February 1805 – 5 May 1859) was a German mathematician A mathematician is someone who uses an extensive knowledge of mathematics Mathematics (from Ancient Greek, Greek: ) includes the study ...

proved the first
class number formulaIn number theory, the class number formula relates many important invariants of a number field In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, stru ...
, for
quadratic form In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
s (later refined by his student
Leopold Kronecker Leopold Kronecker (; 7 December 1823 – 29 December 1891) was a German mathematician A mathematician is someone who uses an extensive knowledge of mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics a ...

). The formula, which Jacobi called a result "touching the utmost of human acumen", opened the way for similar results regarding more general
number field In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...
s. Based on his research of the structure of the
unit group In the branch of abstract algebra known as ring theory, a unit of a ring (mathematics), ring R is any element u \in R that has a multiplicative inverse in R: an element v \in R such that :vu = uv = 1, where is the multiplicative identity. The s ...
of
quadratic field In algebraic number theory, a quadratic field is an algebraic number field ''K'' of Degree of a field extension, degree two over Q, the rational numbers. The map ''d'' ↦ Q() is a bijection from the Set (mathematics), set of all square-f ...
s, he proved the Dirichlet unit theorem, a fundamental result in algebraic number theory. He first used the
pigeonhole principle In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
, a basic counting argument, in the proof of a theorem in
diophantine approximation In number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Fried ...
, later named after him
Dirichlet's approximation theorem In number theory, Dirichlet's theorem on Diophantine approximation, also called Dirichlet's approximation theorem, states that for any real numbers Real may refer to: * Reality, the state of things as they exist, rather than as they may appear or m ...
. He published important contributions to Fermat's last theorem, for which he proved the cases ''n'' = 5 and ''n'' = 14, and to the biquadratic reciprocity law. The Dirichlet divisor problem, for which he found the first results, is still an unsolved problem in number theory despite later contributions by other researchers.

## Dedekind

Richard Dedekind Julius Wilhelm Richard Dedekind (6 October 1831 – 12 February 1916) was a German mathematician who made important contributions to abstract algebra (particularly ring theory In algebra, ring theory is the study of ring (mathematics), rings ...
's study of Lejeune Dirichlet's work was what led him to his later study of algebraic number fields and ideals. In 1863, he published Lejeune Dirichlet's lectures on number theory as ''
Vorlesungen über Zahlentheorie (German for ''Lectures on Number Theory'') is the name of several different textbooks of number theory. The best known was written by Peter Gustav Lejeune Dirichlet Johann Peter Gustav Lejeune Dirichlet (; 13 February 1805 – 5 May 1859) was ...
'' ("Lectures on Number Theory") about which it has been written that:
"Although the book is assuredly based on Dirichlet's lectures, and although Dedekind himself referred to the book throughout his life as Dirichlet's, the book itself was entirely written by Dedekind, for the most part after Dirichlet's death." (Edwards 1983)
1879 and 1894 editions of the ''Vorlesungen'' included supplements introducing the notion of an ideal, fundamental to
ring theory In algebra Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry and mathematical analysis, analysis. ...
. (The word "Ring", introduced later by
Hilbert David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician and one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in man ...
, does not appear in Dedekind's work.) Dedekind defined an ideal as a subset of a set of numbers, composed of
algebraic integer In algebraic number theory Title page of the first edition of Disquisitiones Arithmeticae, one of the founding works of modern algebraic number theory. Algebraic number theory is a branch of number theory that uses the techniques of abstrac ...
s that satisfy polynomial equations with integer coefficients. The concept underwent further development in the hands of Hilbert and, especially, of
Emmy Noether Amalie Emmy Noether Emmy is the '' Rufname'', the second of two official given names, intended for daily use. Cf. for example the résumé submitted by Noether to Erlangen University in 1907 (Erlangen University archive, ''Promotionsakt Emmy Noeth ...

. Ideals generalize Ernst Eduard Kummer's
ideal numberIn number theory an ideal number is an algebraic integer which represents an ideal Ideal may refer to: Philosophy * Ideal (ethics), values that one actively pursues as goals * Platonic ideal, a philosophical idea of trueness of form, associated ...
s, devised as part of Kummer's 1843 attempt to prove Fermat's Last Theorem.

## Hilbert

David Hilbert David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician This is a List of German mathematician A mathematician is someone who uses an extensive knowledge of mathematics Mathematics (from Ancient Greek, G ...
unified the field of algebraic number theory with his 1897 treatise '' Zahlbericht'' (literally "report on numbers"). He also resolved a significant number-theory problem formulated by Waring in 1770. As with the finiteness theorem, he used an existence proof that shows there must be solutions for the problem rather than providing a mechanism to produce the answers. He then had little more to publish on the subject; but the emergence of
Hilbert modular formIn mathematics, a Hilbert modular form is a generalization of modular forms to functions of two or more variables. It is a (complex) analytic function on the ''m''-fold product of upper half-planes \mathcal satisfying a certain kind of functional equ ...
s in the dissertation of a student means his name is further attached to a major area. He made a series of conjectures on
class field theory In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...
. The concepts were highly influential, and his own contribution lives on in the names of the
Hilbert class fieldIn algebraic number theory Title page of the first edition of Disquisitiones Arithmeticae, one of the founding works of modern algebraic number theory. Algebraic number theory is a branch of number theory that uses the techniques of abstract al ...
and of the
Hilbert symbolIn mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ha ...
of
local class field theoryIn mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ha ...
. Results were mostly proved by 1930, after work by
Teiji Takagi Teiji Takagi (高木 貞治 ''Takagi Teiji'', April 21, 1875 – February 28, 1960) was a Japanese mathematician A mathematician is someone who uses an extensive knowledge of mathematics Mathematics (from Greek: ) includes the study of ...
.

## Artin

Emil Artin Emil Artin (; March 3, 1898 – December 20, 1962) was an Austrian mathematician A mathematician is someone who uses an extensive knowledge of mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as qua ...
established the
Artin reciprocity lawThe Artin reciprocity law, which was established by Emil Artin in a series of papers (1924; 1927; 1930), is a general theorem in number theory that forms a central part of global class field theory. The term " reciprocity law" refers to a long li ...
in a series of papers (1924; 1927; 1930). This law is a general theorem in number theory that forms a central part of global class field theory. The term "
reciprocity law In mathematics, a reciprocity law is a generalization of the law of quadratic reciprocity In number theory, the law of quadratic reciprocity is a theorem about modular arithmetic that gives conditions for the solvability of quadratic equations mo ...
" refers to a long line of more concrete number theoretic statements which it generalized, from the
quadratic reciprocity law In number theory, the law of quadratic reciprocity is a theorem about modular arithmetic that gives conditions for the solvability of quadratic equations modulo prime numbers. Due to its subtlety, it has many formulations, but the most standard st ...
and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to
Hilbert's ninth problem Hilbert's ninth problem, from the list of 23 Hilbert's problems (1900), asked to find the most general reciprocity law (mathematics), reciprocity law for the Hilbert symbol, norm residues of ''k''-th order in a general algebraic number field, where ...
.

## Modern theory

Around 1955, Japanese mathematicians
Goro Shimura was a Japan , image_flag = Flag of Japan.svg , alt_flag = Centered deep red circle on a white rectangle , image_coat = Imperial Seal of Japan.svg , alt_coat = Gold ...
and Yutaka Taniyama observed a possible link between two apparently completely distinct, branches of mathematics,
elliptic curve In mathematics, an elliptic curve is a Nonsingular variety, smooth, Projective variety, projective, algebraic curve of Genus of an algebraic curve, genus one, on which there is a specified point ''O''. An elliptic curve is defined over a field ...
s and
modular form In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...
s. The resulting
modularity theorem The modularity theorem (formerly called the Taniyama–Shimura conjecture, Taniyama-Weil conjecture or modularity conjecture for elliptic curves) states that elliptic curves over the field of rational numbers are related to modular form In m ...
(at the time known as the Taniyama–Shimura conjecture) states that every elliptic curve is
modular Broadly speaking, modularity is the degree to which a system A system is a group of Interaction, interacting or interrelated elements that act according to a set of rules to form a unified whole. A system, surrounded and influenced by its ...
, meaning that it can be associated with a unique
modular form In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...
. It was initially dismissed as unlikely or highly speculative, and was taken more seriously when number theorist
André Weil André Weil (; ; 6 May 1906 – 6 August 1998) was a French mathematician A mathematician is someone who uses an extensive knowledge of mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic a ...

found evidence supporting it, but no proof; as a result the "astounding" conjecture was often known as the Taniyama–Shimura-Weil conjecture. It became a part of the
Langlands program In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...
, a list of important conjectures needing proof or disproof. From 1993 to 1994,
Andrew Wiles Sir Andrew John Wiles (born 11 April 1953) is an English mathematician and a Royal Society The Royal Society, formally The Royal Society of London for Improving Natural Knowledge, is a learned society and the United Kingdom's national a ...
provided a proof of the
modularity theorem The modularity theorem (formerly called the Taniyama–Shimura conjecture, Taniyama-Weil conjecture or modularity conjecture for elliptic curves) states that elliptic curves over the field of rational numbers are related to modular form In m ...
for semistable elliptic curves, which, together with
Ribet's theorem In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
, provided a proof for Fermat's Last Theorem. Almost every mathematician at the time had previously considered both Fermat's Last Theorem and the Modularity Theorem either impossible or virtually impossible to prove, even given the most cutting edge developments. Wiles first announced his proof in June 1993 in a version that was soon recognized as having a serious gap at a key point. The proof was corrected by Wiles, partly in collaboration with , and the final, widely accepted version was released in September 1994, and formally published in 1995. The proof uses many techniques from
algebraic geometry Algebraic geometry is a branch of mathematics Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and thei ...

and number theory, and has many ramifications in these branches of mathematics. It also uses standard constructions of modern algebraic geometry, such as the
category Category, plural categories, may refer to: Philosophy and general uses *Categorization Categorization is the ability and activity to recognize shared features or similarities between the elements of the experience of the world (such as O ...
of schemes and
Iwasawa theory In number theory, Iwasawa theory is the study of objects of arithmetic interest over infinite towers of number field In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), math ...
, and other 20th-century techniques not available to Fermat.

# Basic notions

## Failure of unique factorization

An important property of the ring of integers is that it satisfies the
fundamental theorem of arithmetic In number theory, the fundamental theorem of arithmetic, also called the unique factorization theorem or the unique-prime-factorization theorem, states that every integer An integer (from the Latin wikt:integer#Latin, ''integer'' meaning "wh ...
, that every (positive) integer has a factorization into a product of
prime number A prime number (or a prime) is a natural number greater than 1 that is not a Product (mathematics), product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime ...
s, and this factorization is unique up to the ordering of the factors. This may no longer be true in the ring of integers of an algebraic number field . A ''prime element'' is an element of such that if divides a product , then it divides one of the factors or . This property is closely related to primality in the integers, because any positive integer satisfying this property is either or a prime number. However, it is strictly weaker. For example, is not a prime number because it is negative, but it is a prime element. If factorizations into prime elements are permitted, then, even in the integers, there are alternative factorizations such as :$6 = 2 \cdot 3 = \left(-2\right) \cdot \left(-3\right).$ In general, if is a
unit Unit may refer to: Arts and entertainment * UNIT, a fictional military organization in the science fiction television series ''Doctor Who'' * Unit of action, a discrete piece of action (or beat) in a theatrical presentation Music * Unit (album), ...
, meaning a number with a multiplicative inverse in , and if is a prime element, then is also a prime element. Numbers such as and are said to be ''associate''. In the integers, the primes and are associate, but only one of these is positive. Requiring that prime numbers be positive selects a unique element from among a set of associated prime elements. When ''K'' is not the rational numbers, however, there is no analog of positivity. For example, in the
Gaussian integers In number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of devoted primarily to the study of the s and . German mathematician (1777–1855) said, "Mathematics is the queen of the sciences—and number t ...
, the numbers and are associate because the latter is the product of the former by , but there is no way to single out one as being more canonical than the other. This leads to equations such as :$5 = \left(1 + 2i\right)\left(1 - 2i\right) = \left(2 + i\right)\left(2 - i\right),$ which prove that in , it is not true that factorizations are unique up to the order of the factors. For this reason, one adopts the definition of unique factorization used in
unique factorization domain In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
s (UFDs). In a UFD, the prime elements occurring in a factorization are only expected to be unique up to units and their ordering. However, even with this weaker definition, many rings of integers in algebraic number fields do not admit unique factorization. There is an algebraic obstruction called the ideal class group. When the ideal class group is trivial, the ring is a UFD. When it is not, there is a distinction between a prime element and an
irreducible elementIn abstract algebra, a non-zero non-unit Unit may refer to: Arts and entertainment * UNIT, a fictional military organization in the science fiction television series ''Doctor Who'' * Unit of action, a discrete piece of action (or beat) in a theatri ...
. An ''irreducible element'' is an element such that if , then either or is a unit. These are the elements that cannot be factored any further. Every element in ''O'' admits a factorization into irreducible elements, but it may admit more than one. This is because, while all prime elements are irreducible, some irreducible elements may not be prime. For example, consider the ring . In this ring, the numbers , and are irreducible. This means that the number has two factorizations into irreducible elements, :$9 = 3^2 = \left(2 + \sqrt\right)\left(2 - \sqrt\right).$ This equation shows that divides the product . If were a prime element, then it would divide or , but it does not, because all elements divisible by are of the form . Similarly, and divide the product , but neither of these elements divides itself, so neither of them are prime. As there is no sense in which the elements , and can be made equivalent, unique factorization fails in . Unlike the situation with units, where uniqueness could be repaired by weakening the definition, overcoming this failure requires a new perspective.

## Factorization into prime ideals

If is an ideal in , then there is always a factorization :$I = \mathfrak_1^ \cdots \mathfrak_t^,$ where each $\mathfrak_i$ is a
prime ideal In algebra Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry and mathematical analysis, analysis. ...
, and where this expression is unique up to the order of the factors. In particular, this is true if is the principal ideal generated by a single element. This is the strongest sense in which the ring of integers of a general number field admits unique factorization. In the language of ring theory, it says that rings of integers are
Dedekind domain In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathema ...
s. When is a UFD, every prime ideal is generated by a prime element. Otherwise, there are prime ideals which are not generated by prime elements. In , for instance, the ideal is a prime ideal which cannot be generated by a single element. Historically, the idea of factoring ideals into prime ideals was preceded by Ernst Kummer's introduction of ideal numbers. These are numbers lying in an extension field of . This extension field is now known as the Hilbert class field. By the principal ideal theorem, every prime ideal of generates a principal ideal of the ring of integers of . A generator of this principal ideal is called an ideal number. Kummer used these as a substitute for the failure of unique factorization in
cyclotomic field In number theory, a cyclotomic field is a number field obtained by adjoining a complex root of unity to , the field of rational numbers. Cyclotomic fields played a crucial role in the development of modern algebra and number theory because of ...
s. These eventually led Richard Dedekind to introduce a forerunner of ideals and to prove unique factorization of ideals. An ideal which is prime in the ring of integers in one number field may fail to be prime when extended to a larger number field. Consider, for example, the prime numbers. The corresponding ideals are prime ideals of the ring . However, when this ideal is extended to the Gaussian integers to obtain , it may or may not be prime. For example, the factorization implies that : note that because , the ideals generated by and are the same. A complete answer to the question of which ideals remain prime in the Gaussian integers is provided by
Fermat's theorem on sums of two squares In additive number theory Additive number theory is the subfield of number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic fu ...
. It implies that for an odd prime number , is a prime ideal if and is not a prime ideal if . This, together with the observation that the ideal is prime, provides a complete description of the prime ideals in the Gaussian integers. 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 extensionIn abstract algebra, an abelian extension is a Galois extensionIn mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry ...
of Q (that is, a
Galois extension In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...
with abelian Galois group).

## Ideal class group

Unique factorization fails if and only if there are prime ideals that fail to be principal. The object which measures the failure of prime ideals to be principal is called the ideal class group. Defining the ideal class group requires enlarging the set of ideals in a ring of algebraic integers so that they admit a
group A group is a number A number is a mathematical object used to counting, count, measurement, measure, and nominal number, label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with ...
structure. This is done by generalizing ideals to
fractional ideal In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...
s. A fractional ideal is an additive subgroup of which is closed under multiplication by elements of , meaning that if . All ideals of are also fractional ideals. If and are fractional ideals, then the set of all products of an element in and an element in is also a fractional ideal. This operation makes the set of non-zero fractional ideals into a group. The group identity is the ideal , and the inverse of is a (generalized) ideal quotient: :$J^ = \left(O:J\right) = \.$ The principal fractional ideals, meaning the ones of the form where , form a subgroup of the group of all non-zero fractional ideals. The quotient of the group of non-zero fractional ideals by this subgroup is the ideal class group. Two fractional ideals and represent the same element of the ideal class group if and only if there exists an element such that . Therefore, the ideal class group makes two fractional ideals equivalent if one is as close to being principal as the other is. The ideal class group is generally denoted , , or (with the last notation identifying it with the
Picard group In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...
in algebraic geometry). The number of elements in the class group is called the class number of ''K''. The class number of is 2. This means that there are only two ideal classes, the class of principal fractional ideals, and the class of a non-principal fractional ideal such as . The ideal class group has another description in terms of
divisor In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...
s. These are formal objects which represent possible factorizations of numbers. The divisor group is defined to be the
free abelian group In mathematics, a free abelian group is an abelian group with a Free module, basis. Being an abelian group means that it is a Set (mathematics), set with an addition operation that is associative, commutative, and invertible. A basis, also called ...
generated by the prime ideals of . There is a
group homomorphism In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

from , the non-zero elements of up to multiplication, to . Suppose that satisfies :$\left(x\right) = \mathfrak_1^ \cdots \mathfrak_t^.$ Then is defined to be the divisor : The kernel (algebra), kernel of is the group of units in , while the cokernel is the ideal class group. In the language of homological algebra, this says that there is an exact sequence of abelian groups (written multiplicatively), :$1 \to O^\times \to K^\times \xrightarrow \operatorname K \to \operatorname K \to 1.$

## Real and complex embeddings

Some number fields, such as , can be specified as subfields of the real numbers. Others, such as , cannot. Abstractly, such a specification corresponds to a field homomorphism or . These are called real embeddings and complex embeddings, respectively. A real quadratic field , with , and not a square number, perfect square, is so-called because it admits two real embeddings but no complex embeddings. These are the field homomorphisms which send to and to , respectively. Dually, an imaginary quadratic field admits no real embeddings but admits a conjugate pair of complex embeddings. One of these embeddings sends to , while the other sends it to its complex conjugate, . Conventionally, the number of real embeddings of is denoted , while the number of conjugate pairs of complex embeddings is denoted . The signature of ''K'' is the pair . It is a theorem that , where is the degree of . Considering all embeddings at once determines a function :$M \colon K \to \mathbf^ \oplus \mathbf^.$ This is called the Minkowski embedding. The subspace of the codomain fixed by complex conjugation is a real vector space of dimension called Minkowski space (number field), Minkowski space. Because the Minkowski embedding is defined by field homomorphisms, multiplication of elements of by an element corresponds to multiplication by a diagonal matrix in the Minkowski embedding. The dot product on Minkowski space corresponds to the trace form $\langle x, y \rangle = \operatorname\left(xy\right)$. The image of under the Minkowski embedding is a -dimensional lattice (group), lattice. If is a basis for this lattice, then is the discriminant of . The discriminant is denoted or . The covolume of the image of is $\sqrt$.

## Places

Real and complex embeddings can be put on the same footing as prime ideals by adopting a perspective based on valuation (algebra), valuations. Consider, for example, the integers. In addition to the usual absolute value function , ·, : Q → R, there are p-adic absolute value functions , ·, p : Q → R, defined for each prime number ''p'', which measure divisibility by ''p''. Ostrowski's theorem states that these are all possible absolute value functions on Q (up to equivalence). Therefore, absolute values are a common language to describe both the real embedding of Q and the prime numbers. A place of an algebraic number field is an equivalence class of absolute value (algebra), absolute value functions on ''K''. There are two types of places. There is a $\mathfrak$-adic absolute value for each prime ideal $\mathfrak$ of ''O'', and, like the ''p''-adic absolute values, it measures divisibility. These are called finite places. The other type of place is specified using a real or complex embedding of ''K'' and the standard absolute value function on R or C. These are infinite places. Because absolute values are unable to distinguish between a complex embedding and its conjugate, a complex embedding and its conjugate determine the same place. Therefore, there are real places and complex places. Because places encompass the primes, places are sometimes referred to as primes. When this is done, finite places are called finite primes and infinite places are called infinite primes. If is a valuation corresponding to an absolute value, then one frequently writes $v \mid \infty$ to mean that is an infinite place and $v \nmid \infty$ to mean that it is a finite place. Considering all the places of the field together produces the adele ring of the number field. The adele ring allows one to simultaneously track all the data available using absolute values. This produces significant advantages in situations where the behavior at one place can affect the behavior at other places, as in the
Artin reciprocity lawThe Artin reciprocity law, which was established by Emil Artin in a series of papers (1924; 1927; 1930), is a general theorem in number theory that forms a central part of global class field theory. The term " reciprocity law" refers to a long li ...
.

### Places at infinity geometrically

There is a geometric analogy for places at infinity which holds on the function fields of curves. For example, let $k = \mathbb_q$ and $X/k$ be a Smooth scheme, smooth, Projective curve, projective, algebraic curve. The Function field of an algebraic variety, function field $F = k\left(X\right)$ has many absolute values, or places, and each corresponds to a point on the curve. If $X$ is the projective completion of an affine curve
$\hat \subset \mathbb^n$
then the points in
$X - \hat$
correspond to the places at infinity. Then, the completion of $F$ at one of these points gives an analogue of the $p$-adics. For example, if $X = \mathbb^1$ then its function field is isomorphic to $k\left(t\right)$ where $t$ is an indeterminant and the field $F$ is the field of fractions of polynomials in $t$. Then, a place $v_p$ at a point $p \in X$ measures the order of vanishing or the order of a pole of a fraction of polynomials $p\left(x\right)/q\left(x\right)$ at the point $p$. For example, if $p = \left[2:1\right]$, so on the affine chart $x_1 \neq 0$ this corresponds to the point $2 \in \mathbb^1$, the valuation $v_2$ measures the order of vanishing of $p\left(x\right)$ minus the order of vanishing of $q\left(x\right)$ at $2$. The function field of the completion at the place $v_2$ is then $k\left(\left(t-2\right)\right)$ which is the field of power series in the variable $t-2$, so an element is of the form
$\begin &a_\left(t-2\right)^ + \cdots + a_\left(t-1\right)^ + a_0 + a_1\left(t-2\right) + a_2\left(t-2\right)^2 + \cdots \\ &=\sum_^ a_n\left(t-2\right)^n \end$
for some $k \in \mathbb$. For the place at infinity, this corresponds to the function field $k\left(\left(1/t\right)\right)$ which are power series of the form
$\sum_^\infty a_n\left(1/t\right)^n$

## Units

The integers have only two units, and . Other rings of integers may admit more units. The Gaussian integers have four units, the previous two as well as . The Eisenstein integers have six units. The integers in real quadratic number fields have infinitely many units. For example, in , every power of is a unit, and all these powers are distinct. In general, the group of units of , denoted , is a finitely generated abelian group. The fundamental theorem of finitely generated abelian groups therefore implies that it is a direct sum of a torsion part and a free part. Reinterpreting this in the context of a number field, the torsion part consists of the root of unity, roots of unity that lie in . This group is cyclic. The free part is described by Dirichlet's unit theorem. This theorem says that rank of the free part is . Thus, for example, the only fields for which the rank of the free part is zero are and the imaginary quadratic fields. 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. The free part of the unit group can be studied using the infinite places of . Consider the function :$\begin L: K^\times \to \mathbf^ \\ L\left(x\right) = \left(\log , x, _v\right)_v \end$ where varies over the infinite places of and , ·, ''v'' is the absolute value associated with . The function is a homomorphism from to a real vector space. It can be shown that the image of is a lattice that spans the hyperplane defined by $x_1 + \cdots + x_ = 0.$ The covolume of this lattice is the regulator of the number field. One of the simplifications made possible by working with the adele ring is that there is a single object, the idele class group, that describes both the quotient by this lattice and the ideal class group.

## Zeta function

The Dedekind zeta function of a number field, analogous to the Riemann zeta function is an analytic object which describes the behavior of prime ideals in . When is an abelian extension of , Dedekind zeta functions are products of Dirichlet L-functions, with there being one factor for each Dirichlet character. The trivial character corresponds to the Riemann zeta function. When is a
Galois extension In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...
, the Dedekind zeta function is the Artin L-function of the regular representation of the Galois group of , and it has a factorization in terms of irreducible Artin representations of the Galois group. The zeta function is related to the other invariants described above by the
class number formulaIn number theory, the class number formula relates many important invariants of a number field In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, stru ...
.

## Local fields

Completion (metric space), Completing a number field ''K'' at a place ''w'' gives a complete field. If the valuation is Archimedean, one obtains R or C, if it is non-Archimedean and lies over a prime ''p'' of the rationals, one obtains a finite extension $K_w/\mathbf_p:$ 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.

# Major results

## Finiteness of the class group

One of the classical results in algebraic number theory is that the ideal class group of an algebraic number field ''K'' is finite. This is a consequence of Minkowski's bound, Minkowski's theorem since there are only finitely many Integral ideal, Integral ideals with norm less than a fixed positive integer page 78. The order of the class group is called the Class number (number theory), class number, and is often denoted by the letter ''h''.

## 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'' × Z''r'', where ''G'' is the finite cyclic group consisting of all the roots of unity in ''O'', and ''r'' = ''r''1 + ''r''2 − 1 (where ''r''1 (respectively, ''r''2) 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 of an abelian group, rank ''r''1 + ''r''2 − 1 whose torsion consists of the roots of unity in ''O''.

## Reciprocity laws

In terms of the Legendre symbol, the law of quadratic reciprocity for positive odd primes states :$\left\left(\frac\right\right) \left\left(\frac\right\right) = \left(-1\right)^.$ A reciprocity law is a generalization of the law of quadratic reciprocity. There are several different ways to express reciprocity laws. The early reciprocity laws found in the 19th century were usually expressed in terms of a power residue symbol (''p''/''q'') generalizing the Legendre symbol, quadratic reciprocity symbol, that describes when a
prime number A prime number (or a prime) is a natural number greater than 1 that is not a Product (mathematics), product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime ...
is an ''n''th power residue modular arithmetic, modulo another prime, and gave a relation between (''p''/''q'') and (''q''/''p''). Hilbert reformulated the reciprocity laws as saying that a product over ''p'' of Hilbert symbols (''a'',''b''/''p''), taking values in roots of unity, is equal to 1. Emil Artin, Artin's reformulated Artin reciprocity law, reciprocity law states that the Artin symbol from ideals (or ideles) to elements of a Galois group is trivial on a certain subgroup. Several more recent generalizations express reciprocity laws using cohomology of groups or representations of adelic groups or algebraic K-groups, and their relationship with the original quadratic reciprocity law can be hard to see.

## Class number formula

The class number formula relates many important invariants of a
number field In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...
to a special value of its Dedekind zeta function.

# Related areas

Algebraic number theory interacts with many other mathematical disciplines. It uses tools from homological algebra. Via the analogy of function fields vs. number fields, it relies on techniques and ideas from algebraic geometry. Moreover, the study of higher-dimensional schemes over Z instead of number rings is referred to as arithmetic geometry. Algebraic number theory is also used in the study of arithmetic hyperbolic 3-manifolds.

*Kummer theory *Locally compact field *Tamagawa number

*

* * *

*