Hurwitz quaternion

Hurwitz quaternion

In mathematics, a Hurwitz quaternion (or Hurwitz integer) is a quaternion whose components are "either" all integers "or" all half-integers (a mixture of integers and half-integers is not allowed). The set of all Hurwitz quaternions is

:H = left{a+bi+cj+dk in mathbb{H} mid a,b,c,d in mathbb{Z} ;mbox{ or }, a,b,c,d in mathbb{Z} + frac{1}{2} ight}

It can be checked that "H" is closed under quaternion multiplication and addition, so that it forms a subring of the ring of all quaternions H.

A Lipschitz quaternion (or Lipschitz integer) is a quaternion whose components are all integers. The set of all Lipschitz quaternions

:L = left{a+bi+cj+dk in mathbb{H} mid a,b,c,d in mathbb{Z} ight}

forms a subring of the Hurwitz quaternions "H".

As a group, "H" is free abelian with generators {½(1+"i"+"j"+"k"), "i", "j", "k"}. It therefore forms a lattice in R4. This lattice is known as the "F"4 lattice since it is the root lattice of the semisimple Lie algebra "F"4. The Lipschitz quaternions "L" form an index 2 sublattice of "H".

The group of units in "L" is the order 8 quaternion group "Q" = {±1, ±"i", ±"j", ±"k"}. The group of units in "H" is a nonabelian group of order 24 known as the binary tetrahedral group. The elements of this group include the 8 elements of "Q" along with the 16 quaternions {½(±1±"i"±"j"±"k")} where signs may be taken in any combination. The quaternion group is a normal subgroup of the binary tetrahedral group "U"("H"). The elements of "U"("H"), which all have norm 1, form the vertices of the 24-cell inscribed in the 3-sphere.

The Hurwitz quaternions form an order (in the sense of ring theory) in the division ring of quaternions with rational components. It is in fact a maximal order; this accounts for its importance. The Lipschitz quaternions, which are the more obvious candidate for the idea of an "integral quaternion", also form an order. However, this latter order is not a maximal one, and therefore (as it turns out) less suitable for developing a theory of left ideals comparable to that of algebraic number theory. What Adolf Hurwitz realised, therefore, was that this definition of Hurwitz integral quaternion is the better one to operate with. This was one major step in the theory of maximal orders, the other being the remark that they will not, for a non-commutative ring such as H, be unique. One therefore needs to fix a maximal order to work with, in carrying over the concept of an algebraic integer.

The norm of a Hurwitz quaternion, given by a^2+b^2+c^2+d^2, is always an integer. By a theorem of Lagrange every nonnegative integer can be written as a sum of at most four squares. Thus, every nonnegative integer is the norm of some Lipschitz (or Hurwitz) quaternion. A Hurwitz integer is prime if and only if its norm is prime.

ee also

* Gaussian integer
* Eisenstein integer
* The Lie group F4


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Hurwitz quaternion order — The Hurwitz quaternion order is a specific order in a quaternion algebra over a suitable number field. The order is of particular importance in Riemann surface theory, in connection with surfaces with maximal symmetry, namely the Hurwitz surfaces …   Wikipedia

  • Hurwitz — is a surname and may refer to:*Aaron Hurwitz, musician, see Live on Breeze Hill *Adolf Hurwitz (1859 1919), German mathematician **Hurwitz polynomial **Hurwitz matrix **Hurwitz quaternion **Hurwitz s automorphisms theorem **Hurwitz zeta function… …   Wikipedia

  • Quaternion — Quaternions, in mathematics, are a non commutative extension of complex numbers. They were first described by the Irish mathematician Sir William Rowan Hamilton in 1843 and applied to mechanics in three dimensional space. They find uses in both… …   Wikipedia

  • Quaternion algebra — In mathematics, a quaternion algebra over a field, F , is a particular kind of central simple algebra, A , over F , namely such an algebra that has dimension 4, and therefore becomes the 2 times;2 matrix algebra over some field extension of F ,… …   Wikipedia

  • Hurwitz surface — In Riemann surface theory and hyperbolic geometry, a Hurwitz surface, named after Adolf Hurwitz, is a compact Riemann surface with precisely :84( g − 1) automorphisms, where g is the genus of the surface. This number is maximal by virtue of… …   Wikipedia

  • Quaternion — Plaque commémorative de la naissance des quaternions sur le pont de Broom (Dublin). « Ici, le 16 octobre 1843, alors qu il se promenait, Sir William Rowan Hamilton découvrit dans un éclair de génie la formule fondamentale sur la… …   Wikipédia en Français

  • Quaternion group — In group theory, the quaternion group is a non abelian group of order 8. It is often denoted by Q and written in multiplicative form, with the following 8 elements : Q = {1, −1, i , − i , j , − j , k , − k }Here 1 is the identity element, (−1)2 …   Wikipedia

  • Hurwitz's theorem — In mathematics, Hurwitz s theorem is any of at least five different results named after Adolf Hurwitz. Hurwitz s theorem in complex analysis In complex analysis, Hurwitz s theorem roughly states that, under certain conditions, if a sequence of… …   Wikipedia

  • Adolf Hurwitz — Infobox Scientist name = Adolf Hurwitz |300px caption = birth date = birth date|1859|3|26|df=y birth place = Hildesheim, Kingdom of Hannover (now Germany) death date = death date and age|1919|11|18|1859|3|26|df=y death place = Zürich, Switzerland …   Wikipedia

  • First Hurwitz triplet — In the mathematical theory of Riemann surfaces, the first Hurwitz triplet is a triple of distinct Hurwitz surfaces with the identical automorphism group of the lowest possible genus, namely 14 (genera 3 and 7 admit a unique Hurwitz surface,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”