e/Hurwitz quaternion order

Information
has gloss	eng: 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. The Hurwitz quaternion order was studied in 1967 by Goro Shimura [4], but first explicitly described by Noam Elkies in 1998. For an alternative use of the term, see Integer quaternion (both usages are current in the literature). Definition Let K be the maximal real subfield of \mathbbQ}[\rho] where \rho is a 7th-primitive root of unity. The ring of integers of K is \mathbbZ}[\eta], where the element \eta=\rho+ \bar\rho can be identified with the positive real 2\cos(\tfrac2\pi}7}). Let D be the quaternion algebra, or symbol algebra
lexicalization	eng: Hurwitz quaternion order
instance of	e/Quaternion