Concept
Théorie combinatoire des groupes
Concepts associés (8)
Groupe hyperbolique
En théorie géométrique des groupes — une branche des mathématiques — un groupe hyperbolique, ou groupe à courbure négative, est un groupe de type fini muni d'une métrique des mots vérifiant certaines propriétés caractéristiques de la géométrie hyperbolique. Cette notion a été introduite et développée par Mikhaïl Gromov au début des années 1980. Il avait remarqué que beaucoup de résultats de Max Dehn concernant le groupe fondamental d'une surface de Riemann hyperbolique ne reposaient pas sur le fait qu'elle soit de 2 ni même que ce soit une variété, mais restaient vrais dans un contexte beaucoup plus général.
Présentation d'un groupe
En théorie des groupes, un groupe peut se définir par une présentation, autrement dit, la donnée d'un ensemble de générateurs et d'un ensemble de relations que ceux-ci vérifient. La possibilité d'une telle définition découle de ce que tout groupe est quotient d'un groupe libre. En général, une présentation d'un groupe G se note en écrivant entre crochets une liste de lettres et une liste minimale de mots sur cet alphabet, chaque mot étant censé valoir 1 dans le groupe et aucune relation n'existant entre les lettres, hormis celles-là et leurs conséquences.
Problème du mot pour les groupes
En mathématiques, plus précisément dans le domaine de la théorie combinatoire des groupes, le problème du mot pour un groupe de type fini G est le problème algorithmique de décider si deux mots en les générateurs du groupe représentent le même élément. Plus précisément, si X un ensemble fini de générateurs pour G, on considère le langage formel constitué des mots sur X et son ensemble d'inverses formels qui sont envoyés par l'application naturelle sur l'identité du groupe G.
Max Dehn
Max Dehn ( – ) est un mathématicien allemand. Il a étudié les fondements de la géométrie avec Hilbert à Göttingen en 1899, et obtenu une preuve du théorème de Jordan pour les polygones. En 1900, il a soutenu sa thèse sur le rôle du dans la géométrie axiomatique. En 1900, il a aussi résolu le troisième problème de Hilbert. Il était en poste de 1900 à 1911 à l'université de Münster. Ses intérêts se tournent ensuite vers la topologie et la théorie combinatoire des groupes.
Graphe de Cayley
En mathématiques, un graphe de Cayley (du nom d'Arthur Cayley) est un graphe qui encode la structure d'un groupe. C'est un outil important pour l'étude de la combinatoire et de la géométrie des groupes. Étant donné un groupe et une partie génératrice de ce groupe, le graphe de Cayley Cay(G,S) est construit comme suit : À chaque élément de , on associe un sommet . À chaque élément de , on associe une couleur . Pour tout et , on trace une arête orientée de couleur du sommet vers le sommet .
Groupe libre
En théorie des groupes, le groupe libre sur un ensemble S est le groupe F contenant S et caractérisé par la propriété universelle suivante : pour tout groupe G et toute application f : S → G, il existe un unique morphisme de groupes de F dans G prolongeant f. Soit encore, un groupe G est dit libre sur un sous-ensemble S de G si chaque élément de G s'écrit de façon unique comme produit réduit d'éléments de S et d'inverses d'éléments de S (réduit signifiant : sans occurrence d'un sous-produit de la forme x.x).
Groupe de symétrie
Le groupe de symétrie, ou groupe des isométries, d'un objet (, signal, etc.) est le groupe de toutes les isométries sous lesquelles cet objet est globalement invariant, l'opération de ce groupe étant la composition. C'est un sous-groupe du groupe euclidien, qui est le groupe des isométries de l'espace affine euclidien ambiant. (Si cela n'est pas indiqué, nous considérons ici les groupes de symétrie en géométrie euclidienne, mais le concept peut aussi être étudié dans des contextes plus larges, voir ci-dessous.
Théorie des groupes
vignette|Le Rubik's cube illustre la notion de groupes de permutations. Voir groupe du Rubik's Cube. La théorie des groupes est en mathématique, plus précisément en algèbre générale, la discipline qui étudie les structures algébriques appelées groupes. Le développement de la théorie des groupes est issu de la théorie des nombres, de la théorie des équations algébriques et de la géométrie. La théorie des groupes est étroitement liée à la théorie des représentations.