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)