Concept

Dirichlet's unit theorem

In mathematics, Dirichlet's unit theorem is a basic result in algebraic number theory due to Peter Gustav Lejeune Dirichlet. 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 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 ; these will either be into the real numbers, or pairs of embeddings related by complex conjugation, so that Note that if K is Galois over then either r1 = 0 or r2 = 0. Other ways of determining r1 and r2 are use the primitive element theorem to write , and then r1 is the number of conjugates of α that are real, 2r2 the number that are complex; in other words, if f is the minimal polynomial of α over , 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 as a product of fields, there being r1 copies of and r2 copies of . 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 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.

Official source

https://en.wikipedia.org/wiki/Dirichlet's_unit_theorem

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (2)

MATH-482: Number theory I.a - Algebraic number theory

Algebraic number theory is the study of the properties of solutions of polynomial equations with integral coefficients; Starting with concrete problems, we then introduce more general notions like alg

MATH-326: Rational quadratic forms

Given a quadratic equation, e.g. x^2 + 2*y^2 = 81, how can we decide whether there is a rational solution (x,y)? This basic question is what the theory of Rational Quadratic Forms is all about. The co

Related concepts (7)

Algebraic number field

In mathematics, an algebraic number field (or simply number field) is an extension field of the field of rational numbers such that the field extension has finite degree (and hence is an algebraic field extension). Thus is a field that contains and has finite dimension when considered as a vector space over . The study of algebraic number fields, and, more generally, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory.

Ring of integers

In mathematics, the ring of integers of an algebraic number field is the ring of all algebraic integers contained in . An algebraic integer is a root of a monic polynomial with integer coefficients: . This ring is often denoted by or . Since any integer belongs to and is an integral element of , the ring is always a subring of . The ring of integers is the simplest possible ring of integers. Namely, where is the field of rational numbers. And indeed, in algebraic number theory the elements of are often called the "rational integers" because of this.

Dedekind zeta function

In mathematics, the Dedekind zeta function of an algebraic number field K, generally denoted ζK(s), is a generalization of the Riemann zeta function (which is obtained in the case where K is the field of rational numbers Q). It can be defined as a Dirichlet series, it has an Euler product expansion, it satisfies a functional equation, it has an analytic continuation to a meromorphic function on the complex plane C with only a simple pole at s = 1, and its values encode arithmetic data of K.

Official source

https://en.wikipedia.org/wiki/Dirichlet's_unit_theorem

About this result

Related courses (2)

MATH-482: Number theory I.a - Algebraic number theory

MATH-326: Rational quadratic forms

Related lectures (5)

Count Data Models & Univariate Time Series Analysis

Covers count data models and Poisson regression, then transitions to univariate time series analysis for forecasting economic variables.

Univariate Time Series Analysis

Explores univariate time series analysis, covering stationarity, ARMA processes, model selection, and unit root tests.

Polynomial Regulator Design

Covers the design of polynomial regulators using the RST method.

Related publications (4)

On p-adic Versions of the Manin-Mumford Conjecture

Vlad Serban

We establish p-adic versions of the Manin-Mumford conjecture, which states that an irreducible subvariety of an abelian variety with dense torsion has to be the translate of a subgroup by a torsion point. We do so in the context of certain rigid analytic s ...

OXFORD UNIV PRESS2021

On the relaxed maximum-likelihood blind MIMO channel estimation for orthogonal space-time block codes

Kamran Kalbasi

This paper concerns the maximum-likelihood channel estimation for MIMO systems with orthogonal space-time block codes when the finite alphabet constraint of the signal constellation is relaxed. We study the channel coefficients estimation subspace generate ...

ELSEVIER2020

Torsion homology of arithmetic lattices and K-2 of imaginary fields

Vincent Emery

Let be a symmetric space of noncompact type. A result of Gelander provides exponential upper bounds in terms of the volume for the torsion homology of the noncompact arithmetic locally symmetric spaces . We show that under suitable assumptions on this resu ...

Springer Heidelberg2014

Related concepts (7)

Algebraic number field

Ring of integers

Dedekind zeta function