Regulator of An Algebraic Number Field

Get Regulator of An Algebraic Number Field essential facts below. View Videos or join the Regulator of An Algebraic Number Field discussion. Add Regulator of An Algebraic Number Field to your PopFlock.com topic list for future reference or share this resource on social media.
## The regulator

### Examples

## Higher regulators

## Stark regulator

*p*-adic regulator

## See also

## Notes

## References

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Regulator of An Algebraic Number Field

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 *O*_{K} 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*=*r*_{1}+*r*_{2}- 1

where *r*_{1} is the *number of real embeddings* and *r*_{2} the *number of conjugate pairs of complex embeddings* of K. This characterisation of *r*_{1} and *r*_{2} is based on the idea that there will be as many ways to embed K in the complex number field as the degree *n* = [*K* : Q]; these will either be into the real numbers, or pairs of embeddings related by complex conjugation, so that

*n*=*r*_{1}+ 2*r*_{2}.

Note that if K is Galois over Q then either *r*_{1}=0 or *r*_{2}=0.

Other ways of determining *r*_{1} and *r*_{2} are

- use the primitive element theorem to write
*K*= Q(*?*), and then*r*_{1}is the number of conjugates of ? that are real, 2*r*_{2}the number that are complex; in other words, if*f*is the minimal polynomial of ? over Q, then*r*_{1}is the number of real roots and*2r*_{2}is the number of non-real complex roots of*f*(which come in complex conjugate pairs); - write the tensor product of fields
*K*?_{Q}R as a product of fields, there being*r*_{1}copies of R and*r*_{2}copies of C.

As an example, if K is a quadratic field, the rank is 1 if it is a real quadratic field, and 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 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 O_{K} but to any order *O* ? *O _{K}*

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. Also, the Galois module structure of Q ? *O*_{K,S} ?_{Z} Q has been determined.^{[3]}

Suppose that *u*_{1},...,*u*_{r} are a set of generators for the unit group modulo roots of unity. If *u* is an algebraic number, write *u*^{1}, ..., *u*^{r + 1} for the different embeddings into R or C, and set *N*_{j} to 1 or 2 if the corresponding embedding is real or complex respectively. Then the *r* × (*r* + 1) matrix whose entries are *N _{j}* log||,

The regulator has the following geometric interpretation. The map taking a unit u to the vector with entries *N _{j}* log|| has an image in the r-dimensional subspace of R

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.

- The regulator of an imaginary quadratic field, or of the rational integers, is 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: for example, that of Q is log . This can be seen as follows. A fundamental unit is , and its images under the two embeddings into R are and . So the
*r*× (*r*+ 1) matrix is

- The regulator of the cyclic cubic field Q(
*?*), where ? is a root of*x*^{3}+*x*^{2}- 2*x*- 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]}

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 *K*_{1}. A theory of such regulators has been in development, with work of Armand Borel and others. Such higher regulators play a role, for example, 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.

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]}

Let K be a number field and for each prime P of K above some fixed rational prime p, let *U*_{P} denote the local units at P and let *U*_{1,P} denote the subgroup of principal units in *U*_{P}. Set

Then let *E*_{1} denote the set of global units ? that map to *U*_{1} via the diagonal embedding of the global units in E.

Since *E*_{1} is a finite-index subgroup of the global units, it is an abelian group of rank *r*_{1} + *r*_{2} - 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]}

**^**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.**11**. Providence, RI: American Mathematical Society. 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) (Thesis). Archived from the original (PDF) on 2008-05-10.**^**Neukirch et al. (2008) p. 626-627**^**Iwasawa, Kenkichi (1972).*Lectures on p-adic L-functions*. Annals of Mathematics Studies.**74**. Princeton, NJ: Princeton University Press and University of Tokyo Press. pp. 36-42. ISBN 0-691-08112-3. Zbl 0236.12001.

- Cohen, Henri (1993).
*A Course in Computational Algebraic Number Theory*. Graduate Texts in Mathematics.**138**. Berlin, New 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*. Retrieved . - Lang, Serge (1994).
*Algebraic number theory*. Graduate Texts in Mathematics.**110**(2nd ed.). New York: Springer-Verlag. ISBN 0-387-94225-4. Zbl 0811.11001. - Neukirch, Jürgen (1999).
*Algebraic Number Theory*.*Grundlehren der mathematischen Wissenschaften*.**322**. Berlin: Springer-Verlag. ISBN 978-3-540-65399-8. MR 1697859. Zbl 0956.11021. - 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, MR 1737196, Zbl 0948.11001

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists