PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
regulator (Definition)

Let $K$ be a number field with $[K:\Rats]=n=r_1+2r_2$ . Here $r_1$ denotes the number of real embeddings: $$\sigma_i\colon K \hookrightarrow \Reals,\quad 1\leq i\leq r_1$$ while $r_2$ is half of the number of complex embeddings: $$\tau_j\colon K \hookrightarrow \Complex,\quad 1\leq j\leq r_2$$ Note that $\{\tau_j, \bar{\tau}_j\mid 1\leq j\leq r_2\}$ are all the complex embeddings of $K$ . Let $r=r_1+r_2$ and for $1\leq i\leq r$ define the ``norm'' in $K$ corresponding to each embedding: $$ \parallel \cdot \parallel _i\colon K^{\times} \to \Reals^+$$ $$ \parallel \alpha \parallel_i = \mid\sigma_i(\alpha)\mid, \quad 1\leq i \leq r_1$$ $$ \parallel \alpha \parallel_{r_1+j} = \mid\tau_j(\alpha)\mid^2, \quad 1\leq j \leq r_2$$ Let $\mathcal{O}_K$ be the ring of integers of $K$ . By Dirichlet's unit theorem, we know that the rank of the unit group $\mathcal{O}_K^{\times}$ is exactly $r-1=r_1+r_2-1$ . Let $$\{ \epsilon_1,\epsilon_2,\ldots,\epsilon_{r-1}\}$$ be a fundamental system of generators of $\mathcal{O}_K^{\times}$ modulo roots of unity (this is, modulo the torsion subgroup). Let $A$ be the $r\times (r-1)$ matrix

\begin{displaymath}A=\left( \begin{array}{cccc} \log \parallel \epsilon_1 \paral... ...log \parallel \epsilon_{r-1} \parallel_r \ \end{array}\right)\end{displaymath}
and let $A_i$ be the $(r-1)\times(r-1)$ matrix obtained by deleting the $i$ -th row from $A$ , $1\leq i\leq r$ . It can be checked that the determinant of $A_i$ , $\det{A_i}$ , is independent up to sign of the choice of fundamental system of generators of $\mathcal{O}_K^{\times}$ and is also independent of the choice of $i$ .
Definition 1   The regulator of $K$ is defined to be $$\operatorname{Reg}_K=\mid\det{A_1}\mid$$

The regulator is one of the main ingredients in the analytic class number formula for number fields.

Bibliography

1
Daniel A. Marcus, Number Fields, Springer, New York.
2
Serge Lang, Algebraic Number Theory. Springer-Verlag, New York.




"regulator" is owned by alozano.
(view preamble | get metadata)

View style:

See Also: number field, Dirichlet's unit theorem, class number formula, regulator of an elliptic curve

Also defines:  regulator of a number field
Keywords:  regulator, unit

Attachments:
$p$-adic regulator (Definition) by mathcam
Log in to rate this entry.
(view current ratings)

Cross-references: class number formula, analytic, independent, determinant, row, matrix, torsion subgroup, roots of unity, generators, unit group, rank, Dirichlet's unit theorem, ring of integers, embedding, complex embeddings, real embeddings, number, number field
There are 5 references to this entry.

This is version 5 of regulator, born on 2003-08-29, modified 2006-11-09.
Object id is 4663, canonical name is Regulator.
Accessed 4283 times total.

Classification:
AMS MSC11R27 (Number theory :: Algebraic number theory: global fields :: Units and factorization)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)