Choose a nonzero integral ideal whose class is ; one obtains such an ideal by multiplying the fractional ideal by a suitable nonzero integer. The assumed Minkowski bound for ideal classes gives with
Because and nonzero ideals of the ring of integers are invertible,
It is an integral ideal in class . By multiplicativity of the ideal norm,
The same argument applies if the starting is a fractional ideal, since its class is unchanged by clearing denominators.

Articles by others on the same topic (0)

There are currently no matching articles.