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

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.
- 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)
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 4282 times total.
Classification:
| AMS MSC: | 11R27 (Number theory :: Algebraic number theory: global fields :: Units and factorization) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|