# Dirichlet's unit theorem

Dirichlet's unit theorem In mathematics, Dirichlet's unit theorem is a basic result in algebraic number theory due to Peter Gustav Lejeune Dirichlet.[1] It determines the rank of the group of units in the ring OK of algebraic integers of a number field K. The regulator is a positive real number that determines how "dense" the units are.

The statement is that the group of units is finitely generated and has rank (maximal number of multiplicatively independent elements) equal to r = r1 + r2 − 1 where r1 is the number of real embeddings and r2 the number of conjugate pairs of complex embeddings of K. This characterisation of r1 and r2 is based on the idea that there will be as many ways to embed K in the complex number field as the degree {displaystyle n=[K:mathbb {Q} ]} ; these will either be into the real numbers, or pairs of embeddings related by complex conjugation, so that n = r1 + 2r2.

Note that if K is Galois over {estilo de exibição mathbb {Q} } then either r1 = 0 or r2 = 0.

Other ways of determining r1 and r2 are use the primitive element theorem to write {displaystyle K=mathbb {Q} (alfa )} , and then r1 is the number of conjugates of α that are real, 2r2 the number that are complex; em outras palavras, if f is the minimal polynomial of α over {estilo de exibição mathbb {Q} } , then r1 is the number of real roots and 2r2 is the number of non-real complex roots of f (which come in complex conjugate pairs); write the tensor product of fields {displaystyle Kotimes _{mathbb {Q} }mathbb {R} } as a product of fields, there being r1 copies of {estilo de exibição mathbb {R} } and r2 copies of {estilo de exibição mathbb {C} } .

Como um exemplo, if K is a quadratic field, the rank is 1 if it is a real quadratic field, e 0 if an imaginary quadratic field. The theory for real quadratic fields is essentially the theory of Pell's equation.

The rank is positive for all number fields besides {estilo de exibição mathbb {Q} } and imaginary quadratic fields, which have rank 0. The 'size' of the units is measured in general by a determinant called the regulator. In principle a basis for the units can be effectively computed; in practice the calculations are quite involved when n is large.

The torsion in the group of units is the set of all roots of unity of K, which form a finite cyclic group. For a number field with at least one real embedding the torsion must therefore be only {1,−1}. There are number fields, for example most imaginary quadratic fields, having no real embeddings which also have {1,−1} for the torsion of its unit group.

Totally real fields are special with respect to units. If L/K is a finite extension of number fields with degree greater than 1 and the units groups for the integers of L and K have the same rank then K is totally real and L is a totally complex quadratic extension. The converse holds too. (An example is K equal to the rationals and L equal to an imaginary quadratic field; both have unit rank 0.) The theorem not only applies to the maximal order OK but to any order O ⊂ OK.[2] There is a generalisation of the unit theorem by Helmut Hasse (and later Claude Chevalley) to describe the structure of the group of S-units, determining the rank of the unit group in localizations of rings of integers. Também, the Galois module structure of {estilo de exibição mathbb {Q} oplus O_{K,S}otimes _{mathbb {Z} }mathbb {Q} } has been determined.[3] Conteúdo 1 The regulator 1.1 Exemplos 2 Higher regulators 3 Stark regulator 4 p-adic regulator 5 Veja também 6 Notas 7 References The regulator Suppose that K is a number field and {displaystyle u_{1},pontos ,você_{r}} are a set of generators for the unit group of K modulo roots of unity. There will be r + 1 Archimedean places of K, either real or complex. Por {displaystyle uin K} , write {displaystyle u^{(1)},pontos ,u^{(r+1)}} for the different embeddings into {estilo de exibição mathbb {R} } ou {estilo de exibição mathbb {C} } and set Nj to 1 ou 2 if the corresponding embedding is real or complex respectively. Then the r × (r + 1) matriz {estilo de exibição à esquerda(N_{j}log à esquerda|você_{eu}^{(j)}certo|certo)_{i=1,dots ,r,;j=1,dots ,r+1}} has the property that the sum of any row is zero (because all units have norm 1, and the log of the norm is the sum of the entries in a row). This implies that the absolute value R of the determinant of the submatrix formed by deleting one column is independent of the column. The number R is called the regulator of the algebraic number field (it does not depend on the choice of generators ui). It measures the "densidade" of the units: if the regulator is small, this means that there are "lots" of units.

The regulator has the following geometric interpretation. The map taking a unit u to the vector with entries {textstyle N_{j}log à esquerda|u^{(j)}certo|} has an image in the r-dimensional subspace of {estilo de exibição mathbb {R} ^{r+1}} consisting of all vectors whose entries have sum 0, and by Dirichlet's unit theorem the image is a lattice in this subspace. The volume of a fundamental domain of this lattice is {estilo de exibição R{quadrado {r+1}}} .

The regulator of an algebraic number field of degree greater than 2 is usually quite cumbersome to calculate, though there are now computer algebra packages that can do it in many cases. It is usually much easier to calculate the product hR of the class number h and the regulator using the class number formula, and the main difficulty in calculating the class number of an algebraic number field is usually the calculation of the regulator.

Examples A fundamental domain in logarithmic space of the group of units of the cyclic cubic field K obtained by adjoining to {estilo de exibição mathbb {Q} } a root of f(x) = x3 + x2 − 2x − 1. If α denotes a root of f(x), then a set of fundamental units is {ε1, ε2}, where ε1 = α2 + α − 1 and ε2 = 2 − α2. The area of the fundamental domain is approximately 0.910114, so the regulator of K is approximately 0.525455. The regulator of an imaginary quadratic field, or of the rational integers, é 1 (as the determinant of a 0 × 0 matrix is 1). The regulator of a real quadratic field is the logarithm of its fundamental unit: por exemplo, that of {estilo de exibição mathbb {Q} ({quadrado {5}})} é {textstyle log {fratura {{quadrado {5}}+1}{2}}} . Poderá ser visto da seguinte forma. A fundamental unit is {estilo de texto {quadrado {5}}+1/2} , and its images under the two embeddings into {estilo de exibição mathbb {R} } são {estilo de texto {quadrado {5}}+1/2} e {estilo de texto -{quadrado {5}}+1/2} . So the r × (r + 1) matrix is {estilo de exibição à esquerda[1times log left|{fratura {{quadrado {5}}+1}{2}}certo|,quad 1times log left|{fratura {-{quadrado {5}}+1}{2}}certo| certo].} The regulator of the cyclic cubic field {estilo de exibição mathbb {Q} (alfa )} , where α is a root of x3 + x2 − 2x − 1, is approximately 0.5255. A basis of the group of units modulo roots of unity is {ε1, ε2} where ε1 = α2 + α − 1 and ε2 = 2 − α2.[4] Higher regulators A 'higher' regulator refers to a construction for a function on an algebraic K-group with index n > 1 that plays the same role as the classical regulator does for the group of units, which is a group K1. A theory of such regulators has been in development, with work of Armand Borel and others. Such higher regulators play a role, por exemplo, in the Beilinson conjectures, and are expected to occur in evaluations of certain L-functions at integer values of the argument.[5] See also Beilinson regulator.

Stark regulator The formulation of Stark's conjectures led Harold Stark to define what is now called the Stark regulator, similar to the classical regulator as a determinant of logarithms of units, attached to any Artin representation.[6][7] p-adic regulator Let K be a number field and for each prime P of K above some fixed rational prime p, let UP denote the local units at P and let U1,P denote the subgroup of principal units in UP. Definir {estilo de exibição U_{1}=prod_{P|p}VOCÊ_{1,P}.} Then let E1 denote the set of global units ε that map to U1 via the diagonal embedding of the global units in E.

Since E1 is a finite-index subgroup of the global units, it is an abelian group of rank r1 + r2 − 1. The p-adic regulator is the determinant of the matrix formed by the p-adic logarithms of the generators of this group. Leopoldt's conjecture states that this determinant is non-zero.[8][9] See also Elliptic unit Cyclotomic unit Shintani's unit theorem Notes ^ Elstrodt 2007, §8.D ^ Stevenhagen, P. (2012). Number Rings (PDF). p. 57. ^ Neukirch, Schmidt & Wingberg 2000, proposition VIII.8.6.11. ^ Cohen 1993, Table B.4 ^ Bloch, Spencer J. (2000). Higher regulators, algebraic K-theory, and zeta functions of elliptic curves. CRM Monograph Series. Volume. 11. Providência, RI: Sociedade Americana de Matemática. ISBN 0-8218-2114-8. Zbl 0958.19001. ^ Prasad, Dipendra; Yogonanda, C. S. (2007-02-23). A Report on Artin's holomorphy conjecture (PDF) (Report). ^ Dasgupta, Samit (1999). Stark's Conjectures (PDF) (Tese). Arquivado a partir do original (PDF) sobre 2008-05-10. ^ Neukirch et al. (2008) p. 626–627 ^ Iwasawa, Kenkichi (1972). Lectures on p-adic L-functions. Anais de Estudos Matemáticos. Volume. 74. Princeton, Nova Jersey: Princeton University Press and University of Tokyo Press. pp. 36-42. ISBN 0-691-08112-3. Zbl 0236.12001. References Cohen, Henrique (1993). A Course in Computational Algebraic Number Theory. Textos de Graduação em Matemática. Volume. 138. Berlim, Nova york: Springer-Verlag. ISBN 978-3-540-55640-4. MR 1228206. Zbl 0786.11071. Elstrodt, Jürgen (2007). "The Life and Work of Gustav Lejeune Dirichlet (1805–1859)" (PDF). Clay Mathematics Proceedings. Recuperado 2010-06-13. Lang, Sarja (1994). Algebraic number theory. Textos de Graduação em Matemática. Volume. 110 (2ª edição). Nova york: Springer-Verlag. ISBN 0-387-94225-4. Zbl 0811.11001. Neukirch, Jürgen (1999). Algebraische Zahlentheorie. Noções básicas de ciências matemáticas. Volume. 322. Berlim: Springer-Verlag. ISBN 978-3-540-65399-8. MR 1697859. Zbl 0956.11021. Neukirch, Jürgen; Schmidt, Alexandre; Wingberg, Kay (2000), Cohomology of Number Fields, fundamentos de ciencias matematicas, volume. 323, Berlim: Springer-Verlag, ISBN 978-3-540-66671-4, MR 1737196, Zbl 0948.11001 Categorias: Teoremas na teoria dos números algébricos

Se você quiser conhecer outros artigos semelhantes a **Dirichlet's unit theorem** você pode visitar a categoria **Teoremas na teoria dos números algébricos**.

Deixe uma resposta