Adolf Hurwitz

Imaginez quatre cases destinées aux coordonnées d'un quaternion. Le nombre (1/2, 1/2, 1/2, 1/2) remplit les quatre cases avec des demi-entiers : il appartient aux quaternions de Hurwitz. Le nombre (1, 1/2, 0, 1/2) mélange entiers et demi-entiers : il n'y appartient pas. Cette règle de remplissage décrit un sous-anneau non commutatif des quaternions, étudié par Adolf Hurwitz.

Le nom renvoie aussi à une œuvre plus large. Hurwitz a travaillé sur les surfaces de Riemann, les courbes algébriques, les fonctions analytiques et l'analyse complexe. Son théorème sur les automorphismes d'une surface de Riemann compacte relie notamment géométrie et algèbre.

Adolf Hurwitz (1859–1919) est un mathématicien allemand dont les travaux se situent principalement à l'intersection de la géométrie et de l'algèbre. La théorie des surfaces de Riemann et celle des courbes algébriques occupent une place importante dans cette œuvre. Son apport géométrique met notamment en relation une surface de Riemann et son groupe d'automorphismes, c'est-à-dire le groupe des transformations qui la préservent dans la structure considérée.

En théorie des nombres, les quaternions de Hurwitz forment un sous-anneau non commutatif des quaternions. Un quaternion s'écrit avec quatre coordonnées (a, b, c, d) dans la base {1, i, j, k}. Il appartient à cet anneau si ses quatre coordonnées sont toutes entières, ou si elles sont toutes de la forme n + 1/2, où n est un entier. Le mélange des deux types de coordonnées n'est donc pas admis.

L'anneau possède des propriétés arithmétiques remarquables, notamment un analogue de la factorisation en éléments irréductibles. Cette formulation ne signifie pas que la multiplication des quaternions devient commutative. Hurwitz a également contribué à la théorie des fonctions analytiques et à l'analyse complexe.

On vérifie l'appartenance de deux quaternions à l'anneau de Hurwitz en observant leurs quatre coordonnées dans la base {1, i, j, k}. Les données sont les suivantes : q = (1/2, 1/2, 1/2, 1/2) et r = (1, 1/2, 0, 1/2).

Pour q, les quatre coordonnées sont des demi-entiers, car chacune est de la forme n + 1/2 avec n entier.

1. On écrit chaque coordonnée de q sous la forme n + 1/2 : 1/2 = 0 + 1/2 pour les quatre positions.
2. Le même entier n = 0 convient donc à chacune des coordonnées.
3. q appartient ainsi aux quaternions de Hurwitz.

Pour r, les coordonnées 1 et 0 sont entières, tandis que 1/2 est demi-entier. Les quatre coordonnées ne sont donc ni toutes entières ni toutes demi-entières. r n'appartient pas à l'anneau.

Le contrôle est local et refaisable : il suffit de classer chacune des quatre coordonnées, puis de vérifier l'un des deux motifs autorisés. Le dessin associé met ces deux motifs en regard.

Pour tester un quaternion proposé comme quaternion de Hurwitz, on écrit ses quatre coordonnées dans la base {1, i, j, k}. On vérifie ensuite séparément si chacune est entière ou demi-entière, puis on exige que les quatre réponses soient du même type. Cette vérification est préférable à l'examen d'une seule coordonnée, qui ne tranche pas l'appartenance.

Dans une étude de théorie des nombres, cette famille fournit un anneau non commutatif doté de propriétés arithmétiques remarquables. Le critère de coordonnées sert alors à reconnaître les éléments de la famille avant d'étudier des produits ou la factorisation analogue mentionnée par la source.

Pour situer l'autre versant de l'œuvre de Hurwitz, on peut partir d'une surface de Riemann et de ses transformations qui la préservent. Le théorème de Hurwitz concerne le groupe de ces automorphismes ; ce cadre géométrique est distinct du test arithmétique des coordonnées.

Un quaternion de Hurwitz n'est pas un quaternion dont une seule coordonnée est entière ou demi-entière. Le critère porte sur les quatre coordonnées simultanément. Ainsi, q = (1/2, 1/2, 1/2, 1/2) est admis, tandis que r = (1, 1/2, 0, 1/2) est rejeté parce qu'il mélange les deux formes.

Un sous-anneau non commutatif ne doit pas non plus être décrit comme un sous-anneau commutatif. Le test qui sépare ici les quaternions de Hurwitz porte sur les coordonnées ; la non-commutativité concerne la multiplication des quaternions et constitue une propriété structurelle différente.

Le cas charnière est le mélange des deux familles autorisées. Un quaternion comme r = (1, 1/2, 0, 1/2) possède des coordonnées qui sont chacune entière ou demi-entière, mais elles ne sont pas toutes du même type. Le symptôme est donc l'apparition des deux catégories dans la même quadruple ; il faut alors conclure à la non-appartenance.

La notation n + 1/2 exige que n soit un entier. Une coordonnée 1/3 n'est ni entière ni de cette forme ; elle échoue avant même la comparaison avec les trois autres coordonnées. Il faut appliquer le critère aux quatre positions, dans la base {1, i, j, k}, sans changer de base en cours de vérification.

Enfin, le théorème de Hurwitz sur les automorphismes d'une surface de Riemann compacte et l'anneau des quaternions de Hurwitz portent le même nom, mais ce sont deux résultats ou objets de domaines distincts. Le contexte géométrique ou arithmétique doit être identifié avant toute interprétation.

La fiche quaternion permet de revoir l'objet à quatre coordonnées dont les quaternions de Hurwitz constituent une famille arithmétiquement sélectionnée.

La fiche Surface de Riemann situe le cadre géométrique dans lequel s'énonce le théorème de Hurwitz sur les automorphismes.

La fiche analyse complexe ouvre le prolongement consacré aux fonctions analytiques et à l'analyse complexe, autre domaine auquel Hurwitz a contribué.

La fiche courbe algébrique permet de relier la biographie de Hurwitz à l'autre objet géométrique explicitement associé à ses travaux.