Definition:Gaussian Rational/Definition 2
Jump to navigation
Jump to search
Definition
The field $\struct {\Q \sqbrk i, +, \times}$ of Gaussian rationals is the field of quotients of the integral domain $\struct {\Z \sqbrk i, +, \times}$ of Gaussian integers.
This is shown to exist in Existence of Field of Quotients.
In view of Field of Quotients is Unique, we construct the field of quotients of $\Z \sqbrk i$, give it a label $\Q \sqbrk i$ and call its elements Gaussian rationals.
Notation
The set of all Gaussian rationals can be denoted $\Q \sqbrk i$, and hence we have:
- $\Q \sqbrk i = \set {z \in \C: z = a + b i: a, b \in \Q}$
Also see
- Results about Gaussian rationals can be found here.