El orden cuaternión de Hurwitz es un orden específico en álgebra de cuaterniones sobre un cuerpo de números apropiado.
El orden es de particular importancia en la teoría de la superficie de Riemann, en conexión con campos con simetría máxima, es decir, superficie de Hurwitz.
[1] El orden cuaternión de Hurwitz fue estudiado en 1967 por el matemático japonés Gorō Shimura,[2] pero fue descrita antes por Noam Elkies, en 1998.
[3] Para un uso alternativo de este término, véase cuaternión de Hurwitz (ambos términos se utilizan actualmente).
ser el subcampo máximo real de
es una raíz séptima de la unidad primitiva.
puede ser identificado con el real positivo
ser el álgebra de cuaterniones, o álgebra simbólica así que
están dentro de
( 1 + η i + τ j )
es el orden máximo de
, descrito explícitamente por Noam Elkies.
es también generado por los elementos y De hecho, el orden es módulo
libre sobre la base
Aquí los generadores satisfacen las relaciones los cuales descienden a las relaciones apropiadas en el grupo de triángulos (2,3,7), luego del cociente por el centro.
El subgrupo de congruencia principal definido por un ideal
es por definición el grupo es decir, el grupo de elementos de norma reducida 1 en
equivalente al módulo 1 del ideal
{\displaystyle I{\mathcal {Q}}_{\mathrm {Hur} }}
El grupo Fuchciano es obtenido como la imagen del subgrupo de congruencia principal bajo una representación a
El orden fue utilizado por Nick Katz, Mary Schaps y Uzi Vishne[5] para construir una familia de superficies de Hurwitz satisfaciendo un límite inferior asintótico para el sístole:
es el género, mejorando un resultado previo de Peter Sarnak y Peter Buser.