A rational root of the monic cubic would be one of , and substitution excludes all four. A reducible cubic over would have a rational root, so the polynomial is irreducible and
Its polynomial discriminant is . The integer 239 is prime: it has no prime divisor among , the primes not exceeding its square root.
The discriminant-index formula for an integral lattice for an integral primitive element is
Both discriminants are integers, and the left side is . Its squarefreeness forces the positive index to be one. Since is an algebraic integer by its monic equation,

Articles by others on the same topic (0)

There are currently no matching articles.