|
|
|
|
ring of -integers
|
(Definition)
|
|
|
Notice that, for any set $S$ as above, the ring of integers of $K$ , $\mathcal{O}_K$ , is always contained in $R_S$ .
Example 1 Let $K=\Rats$ and let $S=\{\nu_p,|\cdot|\}$ where $p$ is a prime and $\nu_p$ is the usual $p$ -adic valuation, and $|\cdot|$ is the usual absolute value. Then $$R_S=\Ints\left[\frac{1}{p}\right]$$ , i.e. $R_S$ is the result of adjoining (as a new ring element) $1/p$ to $\Ints$ (i.e. we allow to invert $p$ ).
|
"ring of -integers" is owned by alozano.
|
|
(view preamble | get metadata)
| Other names: |
ring of S-integers |
This object's parent.
|
|
Cross-references: element, prime, contained, ring of integers, ring, valuations, archimedean, absolute values, finite set, number field
This is version 1 of ring of -integers, born on 2006-06-07.
Object id is 7970, canonical name is RingOfSIntegers.
Accessed 1642 times total.
Classification:
| AMS MSC: | 13B22 (Commutative rings and algebras :: Ring extensions and related topics :: Integral closure of rings and ideals ; integrally closed rings, related rings ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|