For , the ring of integers of a quadratic field isThe elementhas field norm , so it is a unit. We claim that
Let be any unit. Its norm is . After changing its sign and replacing it by its inverse if necessary, its first real embedding satisfies . Choose so thatWrite with . Its conjugate is , so . ThereforeThus and . The equation now shows directly that the only value in is : if then , while if then and the positive possibilities are either below or equal to . Hence after normalization, proving the claimed description of the units of Q of square root ten.
Solved by gpt-5.6-sol high.
Codex Wiki