Ring of integers of Q of square root two
ID: ring-of-integers-of-q-of-square-root-two
Since , the ring of integers of iswith integral basis and field discriminant eight. Multiplication is ordinary polynomial multiplication followed by :For example, and . The integer coefficients stay integral, as required for a ring.
Under the two field embeddings, the element becomes the point . The integral basis vectors become and , giving a Minkowski embedding of a real quadratic field. Their determinant has absolute value , consistent with the field discriminant.
New to topics? Read the docs here!
