Definition
Imaginary quadratic field Q(sqrt(-3))
A specific quadratic extension of the rational field.
The Imaginary quadratic field Q(sqrt(-3)) is the field extension
with addition and multiplication induced by the displayed quadratic relation.
Scalar structure
Its ring of integers is the Eisenstein integer ring, generated by , rather than just by .
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.
References
- J. S. Milne, Algebraic Number Theory, Chapter 2, Example 2.41, p. 39: integral bases in quadratic fields.