In the LMFDB ideals in rings of integers of number fields are identified using the labeling system developed by John Cremona, Aurel Page and Andrew Sutherland [arXiv:2005.09491 ].

In a number field $K$, each nonzero ideal $I$ of its ring of integers $\mathcal{O}_K$ is assigned an **ideal label** of the form $\texttt{N.i}$, where $N$ and $i$ are positive integers, in which $N:=[\mathcal{O}_K:I]$ is the norm of the ideal and $i$ is the index of the ideal in a sorted list of all ideals of norm $N$. Once an integral primitive element $\alpha$ for the field $K$ is fixed, the ordering of ideals of the same norm is defined in a deterministic fashion (involving no arbitrary choices).

In the LMFDB we always represent number fields as $K = \mathbb{Q}[X]/(g(X))$ where $g$ is the unique monic integral polynomial which satisfies the polredabs condition. In this representation the image of $X$ under the quotient map $\mathbb{Q}[X]\rightarrow\mathbb{Q}[X]/(g(X))$ is a canonical integral primitive element $\alpha$ for $K$. Fixing this element determines a unique ordering of all $\mathcal{O}_K$-ideals of the same norm.

**Knowl status:**

- Review status: reviewed
- Last edited by John Voight on 2020-10-23 17:39:27

**Referred to by:**

**History:**(expand/hide all)

- 2020-10-23 17:39:27 by John Voight (Reviewed)
- 2020-10-23 17:38:40 by John Voight
- 2020-10-23 17:38:00 by John Voight
- 2020-10-23 17:37:55 by John Voight
- 2020-10-18 17:27:38 by Andrew Sutherland
- 2019-04-30 16:49:18 by David Roberts (Reviewed)
- 2017-06-14 04:13:48 by Andrew Sutherland

**Differences**(show/hide)