ring of -integers
Definition.
Let be a number field and let be a finite set of absolute values
of , containing all archimedean valuations. The ring of -integers of , usually denoted by , is the ring:
Notice that, for any set as above, the ring of integers of , , is always contained in .
Example.
Let and let where is a prime and is the usual -adic valuation, and is the usual absolute value. Then
, i.e. is the result of adjoining (as a new ring element) to (i.e. we allow to invert ).