Monogenic field

In mathematics, a monogenic field is an algebraic number field K for which there exists an element a such that the ring of integers OK is the polynomial ring Z[a]. The powers of such an element a constitute a power integral basis.

In a monogenic field K, the field discriminant of K is equal to the discriminant of the minimal polynomial of α.

Examples

Examples of monogenic fields include:

if with a square-free integer, then where if d  1 (mod 4) and if d ≡ 2 or 3 (mod 4).
if with a root of unity, then Also the maximal real subfield is monogenic, with ring of integers

While all quadratic fields are monogenic, already among cubic fields there are many that are not monogenic. The first example of a non-monogenic number field that was found is the cubic field generated by a root of the polynomial , due to Richard Dedekind.

References

This article is issued from Wikipedia - version of the 8/22/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.