Put , and . The Minkowski bound for ideal classes is , so the ideal class group is generated by primes above three and five; two and seven are inert. The prime ideal factorizations and reduce it to a cyclic group of order dividing three. It is not trivial: the unit has field norm minus one. If an algebraic integer had norm of absolute value three, multiplying by a power of this unit would make both real absolute values at most . For , this bounds , forcing , which cannot have norm of absolute value three.
Articles by others on the same topic
There are currently no matching articles.