Definition
Real quadratic field Q(sqrt(2))
A specific quadratic extension of the rational field.
The Real quadratic field Q(sqrt(2)) is the field extension
with addition and multiplication induced by the displayed quadratic relation.
Scalar structure
The two real embeddings send to and . This is a field of rational dimension two; its chosen real embedding does not make it a real vector space.
Maps and coordinates
A rational-linear endomorphism is any two-by-two rational matrix in the basis , where is the displayed quadratic generator. A unit-preserving rational-algebra map must send to a root of its defining polynomial, so there are precisely the identity and conjugation. The invertible linear maps form , a much larger group.