Units of Q of square root two

ID: units-of-q-of-square-root-two

The unit has norm minus one and is the least unit greater than one in the positive real embedding. Dirichlet unit theorem therefore gives

New to topics? Read the docs here!