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 withBecause 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
There are currently no matching articles.