Hurwitz's automorphisms theoremIn mathematics, Hurwitz's automorphisms theorem bounds the order of the group of automorphisms, via orientation-preserving conformal mappings, of a compact Riemann surface of genus g > 1, stating that the number of such automorphisms cannot exceed 84(g − 1). A group for which the maximum is achieved is called a Hurwitz group, and the corresponding Riemann surface a Hurwitz surface. Because compact Riemann surfaces are synonymous with non-singular complex projective algebraic curves, a Hurwitz surface can also be called a Hurwitz curve.
Uniform tilings in hyperbolic planeIn hyperbolic geometry, a uniform hyperbolic tiling (or regular, quasiregular or semiregular hyperbolic tiling) is an edge-to-edge filling of the hyperbolic plane which has regular polygons as faces and is vertex-transitive (transitive on its vertices, isogonal, i.e. there is an isometry mapping any vertex onto any other). It follows that all vertices are congruent, and the tiling has a high degree of rotational and translational symmetry.
Diagramme de Coxeter-DynkinEn géométrie, un diagramme de Coxeter-Dynkin est un graphe représentant un ensemble relationnel de miroirs (ou d'hyperplans de réflexion) dans l'espace pour une construction kaléidoscopique. En tant que graphe lui-même, le diagramme représente les groupes de Coxeter, chaque nœud du graphe représente un miroir (facette du domaine) et chaque branche du graphe représente l'ordre de l'angle diédral entre deux miroirs (sur une arête du domaine). En plus, les graphes ont des anneaux (cercles) autour des nœuds pour les miroirs actifs représentant un polytope précis.
Triangle hyperboliquedroite|vignette|250x250px| Un triangle hyperbolique sur une surface en selle de cheval. Un triangle hyperbolique est, en géométrie hyperbolique, un triangle dans le plan hyperbolique. Comme en géométrie plane, un triangle est constitué de trois segments (ses côtés) reliant trois points (ses sommets). Tout comme dans le cas euclidien, trois points d'un espace hyperbolique de dimension quelconque sont toujours coplanaires. Il suffit donc de caractériser les triangles dans le plan hyperbolique pour en avoir une description dans tous les espaces hyperboliques de dimensions supérieures.
Polyèdre uniformeUn polyèdre uniforme est un polyèdre dont les faces sont des polygones réguliers et qui est isogonal, c'est-à-dire que pour tout couple de sommets, il existe une isométrie qui applique un sommet sur l'autre. Il en découle que tous les sommets sont congruents et que le polyèdre possède un haut degré de symétrie par réflexion et rotation. La notion de polyèdre uniforme est généralisée, pour un nombre de dimensions quelconque, par celle de . Les polyèdres uniformes peuvent être réguliers, quasi réguliers ou semi-réguliers.
Quartique de Kleinthumb|La quartique de Klein est le quotient d'un pavage uniforme triangulaire d'ordre 7. En géométrie hyperbolique, la quartique de Klein, du nom du mathématicien allemand Felix Klein, est une surface de Riemann compacte de genre 3. Elle a le groupe d'automorphismes d'ordre le plus élevé possible parmi les surfaces de Riemann de genre 3, à savoir le groupe simple d'ordre 168. La quartique de Klein est en conséquence la de genre le plus bas possible. Surface de Bolza Surface de Macbeath Théorème de Stark-Hee
Triangle groupIn mathematics, a triangle group is a group that can be realized geometrically by sequences of reflections across the sides of a triangle. The triangle can be an ordinary Euclidean triangle, a triangle on the sphere, or a hyperbolic triangle. Each triangle group is the symmetry group of a tiling of the Euclidean plane, the sphere, or the hyperbolic plane by congruent triangles called Möbius triangles, each one a fundamental domain for the action. Let l, m, n be integers greater than or equal to 2.
Coxeter notationIn geometry, Coxeter notation (also Coxeter symbol) is a system of classifying symmetry groups, describing the angles between fundamental reflections of a Coxeter group in a bracketed notation expressing the structure of a Coxeter-Dynkin diagram, with modifiers to indicate certain subgroups. The notation is named after H. S. M. Coxeter, and has been more comprehensively defined by Norman Johnson. For Coxeter groups, defined by pure reflections, there is a direct correspondence between the bracket notation and Coxeter-Dynkin diagram.
Polyèdre sphériquevignette| Icosaèdre tronqué et ballon de football. Un polyèdre sphérique est constitué par un certain nombre d'arcs de grand cercle d'une même sphère (les arêtes) dont les extrémités (les sommets) sont communes à plusieurs arêtes ; les portions de sphère délimitées par les arêtes sont les faces. Autrement dit, un polyèdre sphérique est un pavage de la sphère par des polygones sphériques. Par abus de langage on appelle aussi polyèdre sphérique un polyèdre réalisant une approximation de la sphère, comme le dodécaèdre régulier, l'icosaèdre régulier ou l'icosaèdre tronqué.
Groupe modulaireEn mathématiques, on appelle groupe modulaire le groupe PSL(2, Z), quotient du groupe spécial linéaire SL(2, Z) par son centre { Id, –Id }. Il s'identifie à l'image de SL(2, Z) dans le groupe de Lie On le note souvent Γ(1) ou simplement Γ. Ce nom provient de l'action à gauche et fidèle de Γ(1) par homographies sur le demi-plan de Poincaré H des nombres complexes de partie imaginaire strictement positive. Cette action n'est que la restriction de l'action de PGL(2, C) sur la droite projective complexe P(C) = C ∪ {∞} : la matrice agit sur P(C) par la transformation de Möbius qui en envoie z sur .
