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: Very high Entry average rating: Low
[parent] $p$-adic regulator (Definition)

Let $K$ , $n$ , $r_1$ , $r_2$ , $\{\varepsilon_n,\ldots,\varepsilon_{r-1}\}$ , and $||\cdot||_i$ be as in the entry regulator, but with $K$ taken to be a CM field.

Define the $p$ -adic logarithm $\log_p: \mb{C}_p^\times\ra \mb{C}_p$ by

$\displaystyle \log_p(x)=-\sum_{k=1}^\infty \frac{(1-x)^k}{k}$    

Let $A_{K,p}$ be the $(r-1)\times (r-1)$ matrix with general entry given by $a_{i,j}=\log_p ||\varepsilon_j||_i$ . The absolute value of the determinant of this matrix is again independent of your choice of basis for the units and of the ordering of the embeddings. This value is called the $p$ -adic regulator of $K$ , and is denoted by $R_{p,K}$ , or $R_p(K)$ .

Bibliography

1
L. C. Washington, Introduction to Cyclotomic Fields, Springer-Verlag, New York.




"$p$-adic regulator" is owned by mathcam.
(view preamble | get metadata)

View style:

See Also: p-adic exponential and p-adic logarithm

Also defines:  $p$-adic logarithm

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: embeddings, ordering, units, basis, independent, determinant, absolute value, matrix, logarithm, field, regulator
There is 1 reference to this entry.

This is version 2 of $p$-adic regulator, born on 2004-03-10, modified 2006-08-17.
Object id is 5679, canonical name is PAdicRegulator.
Accessed 2975 times total.

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

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

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