Codex Wiki OurBigBook logoOurBigBook.comSite Source code
Let , , and let be a prime-ideal factor of . If and is odd, then does not have order . Otherwise would give
for . The bound forces , after which is an integer square, impossible for odd .

Ancestors (7)

  1. Order of an ideal class
  2. Ideal class group
  3. Algebraic number theory
  4. Algebra
  5. Area of mathematics
  6. Mathematics
  7. Home