Integral solutions of x squared minus two equals y cubed

ID: integral-solutions-of-x-squared-minus-two-equals-y-cubed

In the ring of integers , which has class number two and units , write . Its norm is . Parity modulo eight and cubic residues modulo nine show that is odd and does not divide , so . The ideals of and its conjugate are coprime: a common prime cannot lie above two or three by their norms; at any other prime their difference forces divisibility of , contradicting divisibility of .
Unique factorization of ideals gives . The class group of order two forces principal, and its unit factor can be absorbed into a cube. Hence with integers , and . Comparing coefficients and eliminating yields
Integrality requires , so is the only integral possibility. Then , , and . Direct substitution verifies both solutions. The class-group step is what permits extracting a cube of an element from a cube of an ideal despite failure of unique factorization of elements.

New to topics? Read the docs here!