show · nf.label all knowls · up · search:

Each (global) number field has a unique label of the form d.r.D.i where

  • \(d\) is the degree;
  • \(r\) is the real signature; the full signature is therefore \([r,(d-r)/2]\);
  • \(D\) is the absolute value of the discriminant;
  • \(i\) is the index, counting from 1. This is in case there is more than one field with the same signature and absolute value of the discriminant: for example 4.0.1008.1 and 4.0.1008.2.

The discriminant portion of the label can take the form \(a_1\) e \(\epsilon_1\) _ \(a_2\) e \(\epsilon_2\) _ \(\cdots\) _ \(a_k\) e \(\epsilon_k\) to mean the absolute value of the discriminant equals \(a_1^{\epsilon_1}a_2^{\epsilon_2}\cdots a_k^{\epsilon_k}\). The separators are the letter e and the underscore symbol.

Knowl status:
  • Review status: reviewed
  • Last edited by Holly Swisher on 2019-04-29 12:50:29
Referred to by:
History: (expand/hide all) Differences (show/hide)