LetIts minimal polynomial is , and the algebraic norm givesSuppose that is composite and choose a prime divisor . Since has the root modulo , the idealis a prime ideal of ideal norm . The triviality of the ideal class group makes principal, so .
The ring of integers of a quadratic field consists of elementswhose norm is . If , this norm is a square and cannot be the prime . If , thenand integrality gives , again a contradiction. Therefore the Euler prime-generating quadratic from class number one yields
Articles by others on the same topic
There are currently no matching articles.