The Gaussian rational field is the

Q(i)=Q[x]/(x2+1)={a+bi:a,b∈Q},\mathbb Q(i)=\mathbb Q[x]/(x^2+1)=\{a+bi:a,b\in\mathbb Q\},

with addition and multiplication induced by the displayed quadratic relation.

Scalar structure

Here i2=−1i^2=-1, and conjugation sends a+bia+bi to a−bia-bi. The subring with integral coordinates is the .

Maps and coordinates

A rational-linear endomorphism is any two-by-two rational matrix in the basis 1,α1,\alpha, where α\alpha is the displayed quadratic generator. A unit-preserving rational-algebra map must send α\alpha to a root of its defining polynomial, so there are precisely the identity and conjugation. The invertible linear maps form GL2(Q)\mathrm{GL}_2(\mathbb Q), a much larger group.