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.

Articles by others on the same topic (0)

There are currently no matching articles.