Definition
Gaussian rational field
A specific quadratic extension of the rational field.
The Gaussian rational field is the field extension
with addition and multiplication induced by the displayed quadratic relation.
Scalar structure
Here , and conjugation sends to . The subring with integral coordinates is the Gaussian integer ring.
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.