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 (3)

How this entity was disambiguated

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 ⓘ
definedOver rational numbers ⓘ
formsLatticeIn R^4 ⓘ
hasAlternativeName Hurwitz integral quaternions ⓘ
linked to: Hurwitz quaternions

Hurwitz order ⓘ
linked to: Hurwitz quaternions
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 ⓘ
hasZeroDivisors false ⓘ
introducedBy Adolf Hurwitz ⓘ
isFiniteOver integers ⓘ
isFreeZModuleOfRank 4 ⓘ
isIntegralDomain false ⓘ
isLeftEuclidean true ⓘ
isMaximalOrderIn Hamilton quaternions over Q ⓘ
linked to: Quaternions
isNoncommutative true ⓘ
isOrderIn Hamilton quaternion algebra over Q ⓘ
isRightEuclidean true ⓘ
isSubsetOf Hamilton quaternions ⓘ
isSupersetOf Lipschitz quaternions ⓘ
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

Referenced by (4)

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

Lagrange's four-square theorem → relatedTo → Hurwitz quaternions ⓘ
Adolf Hurwitz → knownFor → Hurwitz quaternions ⓘ
Hurwitz quaternions → hasAlternativeName → Hurwitz order ⓘ
linked to: Hurwitz quaternions
Hurwitz quaternions → hasAlternativeName → Hurwitz integral quaternions ⓘ
linked to: Hurwitz quaternions