Hurwitz quaternions
E620663
Hurwitz quaternions are a specific lattice of quaternions with integer and half-integer components that form a maximal order in the quaternion algebra and provide a natural algebraic framework for understanding representations of integers as sums of four squares.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Hurwitz quaternions canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T6800992 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: Hurwitz quaternions Context triple: [Lagrange's four-square theorem, relatedTo, Hurwitz quaternions]
-
A.
Gaussian rationals ℚ(i)
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.
-
B.
Jacobi’s four-square theorem
Jacobi’s four-square theorem is a fundamental result in number theory that gives a precise formula for the number of ways an integer can be expressed as a sum of four squares.
-
C.
Hurwitz
Hurwitz is a surname of German and Ashkenazi Jewish origin borne by various notable individuals across fields such as mathematics, music, and law.
-
D.
Conway’s topograph
Conway’s topograph is a geometric visualization tool introduced by mathematician John H. Conway to study binary quadratic forms and their arithmetic properties using a planar graph of curves and regions.
-
E.
Hermitian forms (work on quadratic forms)
Hermitian forms (work on quadratic forms) are a class of complex-valued quadratic forms that are linear in one variable and conjugate-linear in the other, generalizing real symmetric quadratic forms and playing a central role in linear algebra and functional analysis.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Hurwitz quaternions Target entity description: Hurwitz quaternions are a specific lattice of quaternions with integer and half-integer components that form a maximal order in the quaternion algebra and provide a natural algebraic framework for understanding representations of integers as sums of four squares.
-
A.
Gaussian rationals ℚ(i)
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.
-
B.
Jacobi’s four-square theorem
Jacobi’s four-square theorem is a fundamental result in number theory that gives a precise formula for the number of ways an integer can be expressed as a sum of four squares.
-
C.
Hurwitz
Hurwitz is a surname of German and Ashkenazi Jewish origin borne by various notable individuals across fields such as mathematics, music, and law.
-
D.
Conway’s topograph
Conway’s topograph is a geometric visualization tool introduced by mathematician John H. Conway to study binary quadratic forms and their arithmetic properties using a planar graph of curves and regions.
-
E.
Hermitian forms (work on quadratic forms)
Hermitian forms (work on quadratic forms) are a class of complex-valued quadratic forms that are linear in one variable and conjugate-linear in the other, generalizing real symmetric quadratic forms and playing a central role in linear algebra and functional analysis.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
Dedekind domain
ⓘ
Euclidean domain ⓘ lattice ⓘ maximal order ⓘ noncommutative ring ⓘ principal ideal domain ⓘ quaternion order ⓘ |
| closedUnder |
addition
ⓘ
conjugation ⓘ multiplication ⓘ |
| contains | Lipschitz quaternions NERFINISHED ⓘ |
| definedOver | rational numbers ⓘ |
| formsLatticeIn | R^4 ⓘ |
| hasAlternativeName |
Hurwitz integral quaternions
NERFINISHED
ⓘ
Hurwitz order NERFINISHED ⓘ |
| hasBasis |
{(1+i+j+k)/2, i, j, k}
ⓘ
{1, i, j, k} ⓘ |
| hasCenter | integers ⓘ |
| hasComponentType |
half-integers
ⓘ
integers ⓘ |
| hasDiscriminant | 2 ⓘ |
| hasNormForm | sum of four squares ⓘ |
| hasRankAsZModule | 4 ⓘ |
| hasUniqueFactorizationOfElementsUpToUnits | true ⓘ |
| hasUniqueFactorizationOfIdeals | true ⓘ |
| hasUnitGroup | binary tetrahedral group NERFINISHED ⓘ |
| hasZeroDivisors | false ⓘ |
| introducedBy | Adolf Hurwitz NERFINISHED ⓘ |
| isFiniteOver | integers ⓘ |
| isFreeZModuleOfRank | 4 ⓘ |
| isIntegralDomain | false ⓘ |
| isLeftEuclidean | true ⓘ |
| isMaximalOrderIn | Hamilton quaternions over Q NERFINISHED ⓘ |
| isNoncommutative | true ⓘ |
| isOrderIn | Hamilton quaternion algebra over Q ⓘ |
| isRightEuclidean | true ⓘ |
| isSubsetOf | Hamilton quaternions ⓘ |
| isSupersetOf | Lipschitz quaternions NERFINISHED ⓘ |
| normIsMultiplicative | true ⓘ |
| normMap | maps to nonnegative integers ⓘ |
| providesFrameworkFor | representations of integers as sums of four squares ⓘ |
| relatedTo |
ADE classification
ⓘ
D4 root lattice ⓘ |
| unitGroupOrder | 24 ⓘ |
| usedIn |
arithmetic of quaternion algebras
ⓘ
sphere packings in four dimensions ⓘ |
| usedToProve | Lagrange four-square theorem ⓘ |
| yearIntroducedApprox | 1919 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: Hurwitz quaternions Description of subject: Hurwitz quaternions are a specific lattice of quaternions with integer and half-integer components that form a maximal order in the quaternion algebra and provide a natural algebraic framework for understanding representations of integers as sums of four squares.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.