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!
New to topics? Read the docs here!