Gaussian rationals ℚ(i)

E157390

Gaussian rationals ℚ(i) are the field of complex numbers whose real and imaginary parts are rational, formed by adjoining the imaginary unit i to the rational numbers.

All labels observed (1)

Label Occurrences
Gaussian rationals ℚ(i) canonical 1

How this entity was disambiguated

Statements (51)

Predicate Object
instanceOf Euclidean domain (as a field) ⓘ
algebraic number field ⓘ
field ⓘ
number field ⓘ
quadratic extension of ℚ ⓘ
subfield of ℂ ⓘ
ℚ-vector space ⓘ
adjoinsElement i ⓘ
baseField ℚ ⓘ
characteristic 0 ⓘ
contains ℚ ⓘ
containsElement 0 ⓘ
1 ⓘ
i ⓘ
containsRootsOfUnity 4th roots of unity ⓘ
definedAs {a+bi ∈ ℂ | a,b ∈ ℚ} ⓘ
degreeOver 2 over ℚ ⓘ
dimensionAsVectorSpaceOverℚ 2 ⓘ
discriminantOverℚ -4 ⓘ
embedsInto ℂ ⓘ
fixedFieldOfComplexConjugation ℚ ⓘ
fractionFieldOf Gaussian integers ℤ[i] ⓘ
GaloisGroupOver cyclic group of order 2 ⓘ
generatedBy i ⓘ
ℚ ⓘ
hasAutomorphism complex conjugation ⓘ
hasBasisOverℚ {1,i} ⓘ
hasComplexEmbeddings 2 ⓘ
hasRealEmbeddings 0 ⓘ
hasSymbol ℚ(i) ⓘ
isAlgebraicOver ℚ ⓘ
isClosedUnder addition ⓘ
additive inverses ⓘ
multiplication ⓘ
multiplicative inverses (for nonzero elements) ⓘ
isComplexMultiplicationField yes, for elliptic curves with CM by ℤ[i] ⓘ
isCyclotomicField ℚ(ζ₄) ⓘ
isGaloisExtensionOf ℚ ⓘ
isSubfieldOf ℂ ⓘ
isSubsetOf Gaussian integers ℤ[i] tensored with ℚ ⓘ
isTotallyComplex true ⓘ
minimalPolynomialOfAdjoinedElement x²+1 over ℚ ⓘ
prime2Ramification 2 is ramified in ℚ(i) ⓘ
primeInertness odd prime p ≡ 3 mod 4 is inert in ℚ(i) ⓘ
primeSplitting odd prime p ≡ 1 mod 4 splits in ℚ(i) ⓘ
ringOfIntegers ℤ[i] ⓘ
signature (0,1) ⓘ
unitGroupOfRingOfIntegers {±1,±i} ⓘ
usedIn algebraic number theory ⓘ
complex multiplication theory ⓘ
quadratic forms over ℚ ⓘ

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Gaussian integers → fieldOfFractions → Gaussian rationals ℚ(i) ⓘ