# Definition:Ring of Integers of Number Field

Jump to navigation
Jump to search

## Definition

Let $K$ be an number field.

The **ring of integers** of $K$, usually denoted $\OO_K$ or $\mathfrak o_K$, is the integral closure of $\Z$ in $K$.

## Also defined as

Some sources define a **ring of integers** specifically on an algebraic number field.

The motivation behind this decision is that some mathematicians are not very interested in the general case.

However, this point of view goes against the inclusivist philosophical position endorsed by $\mathsf{Pr} \infty \mathsf{fWiki}$.

## Also see

- Ring of Integers of Number Field is Free Z-Module
- Ring of Integers of Number Field is Dedekind Domain

- Results about
**rings of integers of number fields**can be found**here**.

### Special cases

## Sources

- 1991: Jürgen Neukirch:
*Algebraic Number Theory*: Chapter $\text I$: Algebraic Integers: $\S 2$ Integrality