Imaginary quadratic field

Consider the monogenic imaginary quadratic field where . #m/thm/num/alg

K.<α> = QuadraticField(-21)

Discriminant

By Discriminant of an algebraic integer,

Group of units

By ^P1,

Class group

Minkowski's bound is given by

so applying Kummer's factorization theorem

Clearly no algebraic integers can have these norms, so we can be satisfied that these are not principal. Since , the ideal class group is generated by . Some algebraic integers of small field norm are

whence

• from we see ;
• from we see .

so we see .

#state/tidy | #lang/en | #SemBr