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. Par exemple, le groupe G de présentation ⟨a, b, c, d | cbcbcb, cbc⁻¹b⁻¹, b⁹⟩ est engendré par a, b, c, d ; dans G, le générateur b est d'ordre 9, cb est d'ordre 3, c et b commutent. Par conséquent c est d'ordre 1, 3 ou 9, et en fait exactement 9.

Introduction informelle

Si un groupe G est engendré par un ensemble S, il est possible d'écrire tout élément de G comme un produit

x₁^a₁ x₂^a₂ … x_n^a_n,

où tous les x_i sont des éléments de S, et chaque a_i un entier relatif. Autrement dit, tout élément du groupe s'écrit comme produit des générateurs et de leurs inverses.

Si G n'est pas un groupe libre, cette écriture n'est bien sûr pas unique. Pour arriver à retrouver le groupe G, il faut préciser lesquels de ces produits sont égaux. Il suffit pour cela de spécifier quels produits sont égaux à l'élément neutre du groupe, que l'on notera 1. Il est alors intuitivement clair que l'on pourra retrouver le groupe, au moins à isomorphisme près. En fait, il n'est en général pas nécessaire de préciser toutes les relations possibles, puisqu'à partir de certaines relations de bases, on peut en déduire des relations qui en sont les conséquences : par exemple, si s et t sont deux éléments de S, et si l'on sait que tsts = 1, où 1 est l'élément neutre de G, alors on peut en déduire que (st)⁴ = 1, et ainsi de suite.
On arrive ainsi à la notion intuitive de définition d'un groupe par générateurs et relations, c'est-à-dire par une présentation : il s'agit de spécifier un ensemble de générateurs — le S ci-dessus — et un ensemble R de relations, qui expriment 1 comme des produits d'éléments de S. G est alors le groupe engendré par S, et dont les générateurs vérifient seulement les relations spécifiées par R, ainsi que leurs conséquences.

Avant même de donner une définition plus précise, on peut donner quelques exemples évidents : ℤ/nℤ est engendré par un élément, la classe de 1. Si l'on note cet élément a, la seule relation que l'on impose est aⁿ = 1.

Un autre exemple assez standard est donné par le groupe diédral D_2m, c'est-à-dire le groupe des isométries d'un polygone régulier à m côtés. Ce groupe est engendré par deux symétries orthogonales s₁ et s₂, la première par rapport à la médiatrice de l'un des segments formant les côtés du polygone, la seconde par rapport à la droite joignant le centre du polygone à l'une des deux extrémités de ce segment. Le produit des deux symétries est alors la rotation d'angle 2π/m et est donc d'ordre m. Cette relation intervient dans une présentation de D_2m (cf exemple ci-dessous).

Définition formelle

Soient S un ensemble, F_S le groupe libre sur cet ensemble, et R une partie de ce groupe. R est l'ensemble des relations que l'on veut imposer, et pour cela, on va devoir quotienter F_S par R. Comme R n'est pas forcément un sous-groupe distingué, on va en fait quotienter par le plus petit sous-groupe distingué N contenant R, également appelé clôture normale de R.

On appelle le groupe F_S/N ainsi obtenu le groupe défini par générateurs S et relations R. On le note ⟨S | R⟩. Cette écriture s'appelle une présentation du groupe. Si G est un groupe quelconque, isomorphe au groupe ⟨S | R⟩, on dit que G admet ⟨S | R⟩ pour présentation.

Pour faire le lien avec l'introduction informelle ci-dessus, on peut remarquer que les éléments de N sont en fait les "conséquences" des relations R. On peut également remarquer que tout groupe admet une présentation : en effet, tout groupe est quotient d'un groupe libre (par exemple, le groupe libre F_G sur G). Par contre, une présentation n'est évidemment pas unique.

Un groupe est dit finiment engendré, ou de type fini s'il est engendré par une partie S finie^[1],[2], et finiment présenté, ou de présentation finie s'il admet une présentation de la forme ⟨S | R⟩, avec S et R finis^[2]. Tout groupe de présentation finie est donc de type fini, mais la réciproque est fausse. Une façon de le voir^[3] est d'invoquer un théorème de Bernhard Neumann affirmant que les groupes à deux générateurs, à isomorphisme près, forment un ensemble non dénombrable^[4], et de remarquer que l'ensemble des classes d'isomorphisme de groupes de présentation finie est dénombrable.

Propriété universelle

Le groupe G = ⟨S | R⟩ peut être caractérisé par la propriété universelle suivante^[5] : pour tout groupe H, et pour toute application f : S → H, il existe un unique morphisme de groupes F : G → H tel que F(s) = f(s) pour tout s dans S si et seulement si les images des éléments de S satisfont aux relations R (i. e. si s₁^a₁…s_n^a_n appartient à R alors f(s₁)^a₁…f(s_n)^a_n = 1).

Exemples

• Le groupe libre sur S est le groupe de présentation ⟨S | ∅⟩. Par exemple, le groupe ℤ a pour présentation ⟨1 | ∅⟩.
• Le groupe cyclique à n éléments a pour présentation ⟨a | aⁿ⟩.
• Le groupe diédral D_2m a pour présentation ⟨s₁, s₂ | s₁², s₂², (s₁s₂)^m⟩, comme expliqué à la fin du § « Introduction informelle » ci-dessus.
• Le groupe symétrique S_n est engendré par les transpositions de la forme s_i = (i, i + 1). Les relations sont alors s_i² = 1, (s_i s_{i + 1})³ = 1 et s_i s_j = s_j s_i pour j > i + 1. Par exemple, S₄ ≃ ⟨s₁, s₂, s₃ | s₁², s₂², s₃², (s₁ s₂)³, (s₂ s₃)³, (s₁ s₃)²⟩.
• Les deux derniers exemples sont des cas particuliers de groupes de Coxeter. Ceux-ci sont définis par une présentation : les générateurs sont des s_i et les relations qu'ils vérifient sont de la forme s_i² = 1 et (s_i s_j)^{m_{i, j}} = 1, où les m_{i, j} sont des entiers naturels.
• Dans la présentation de S_n, on peut remplacer chaque relation (s_i s_{i + 1})³ = 1 par s_i s_{i + 1} s_i = s_{i + 1} s_i s_{i + 1}. Si de plus on enlève les relations s_i² = 1, on obtient une présentation du groupe de tresses B_n. Par exemple, B₄ ≃ ⟨s₁, s₂, s₃ | s₁ s₂ s₁ s₂⁻¹ s₁⁻¹ s₂⁻¹, s₂ s₃ s₂ s₃⁻¹ s₂⁻¹ s₃⁻¹, s₁ s₃ s₁⁻¹ s₃⁻¹⟩.
• Le groupe modulaire PSL(2, ℤ) a pour présentation ⟨s, t | s², t³⟩.
• Le groupe de Tits est défini par 2 générateurs et 6 relations.
• En topologie algébrique, on obtient souvent des groupes définis par générateurs et relations, lorsque l'on veut calculer le groupe fondamental d'un CW-complexe, grâce au théorème de van Kampen. Par exemple, une présentation du groupe fondamental d'une surface orientable (compacte, connexe et sans bord) de genre g est ⟨a₁, b₁, … , a_g, b_g | [a₁, b₁] … [a_g, b_g]⟩, où [a, b] désigne le commutateur aba⁻¹b⁻¹. Réciproquement, une présentation d'un groupe G permet de construire un CW-complexe de groupe fondamental G.
• Il existe aussi des groupes présentés par plusieurs générateurs et une relation. Par exemple, les groupes de Baumslag-Solitar BS(m, n) sont définis par les générateurs a, b et la relation ba^mb⁻¹ = aⁿ (le groupe BS(1, –1) est le groupe fondamental de la bouteille de Klein).

Le problème du mot

Le concept de présentation de groupe peut permettre d'effectuer simplement des calculs dans le groupe. Cependant, il faut se rendre compte qu'il a ses limites. Par exemple, il est difficile de savoir a priori si un groupe défini par générateurs et relations est trivial ou non. Le moyen le plus courant pour montrer qu'un groupe défini par présentation n'est pas trivial est de le faire agir sur un ensemble, en utilisant la propriété universelle ci-dessus. Fabriquer cet ensemble n'est pas forcément une question facile.

Plus généralement, dans un groupe de présentation G = ⟨S | R⟩, il est difficile de savoir si deux mots sur S représentent ou non le même élément dans G. C'est ce qu'on appelle le problème du mot pour les groupes. Il a été montré que, même dans le cas des groupes de présentation finie, c'est en général un problème indécidable : il n'existe pas d'algorithme permettant de décider si deux mots sont égaux ou non.

Par contre, on peut montrer que ce problème admet une solution dans de nombreuses familles de groupes. Parmi les exemples dont certains sont décrits ci-dessus, on pourra citer les groupes abéliens de type fini, les groupes de tresses, les groupes de Coxeter, les groupes polycycliques (en), les groupes finiment présentés résiduellement finis. Connaître les groupes qui ont un problème du mot résoluble est un sujet de recherches actuel.

Notes et références

1. « Finitely generated, or of finite type » : (en) Pierre de la Harpe, Topics in Geometric Group Theory, Chicago/London, University of Chicago Press, coll. « Chicago Lectures in Mathematics », 2000, 310 p. (ISBN 0-226-31721-8, lire en ligne), p. 43.
2. Nicolas Bourbaki, Algèbre, chapitres 1 à 3 (lire en ligne), chap. 1, I.145.
3. Pour un autre argument, voir (en) E. Rips, « Subgroups of small cancellation groups », Bull. LMS, vol. 14, n^o 1,‎ 1982, p. 45-47.
4. Étienne Ghys et Pierre de la Harpe, Sur les groupes hyperboliques d'après Mikhaïl Gromov, Springer, 2013 (lire en ligne), p. 23, théorème 42.
5. (en) Eric W. Weisstein, « von Dyck's Theorem », sur MathWorld.

Voir aussi

Articles connexes

• Présentation absolue d'un groupe (en)
• Présentation d'un monoïde (en)

Bibliographie

• J. Calais, Théorie des groupes, PUF, Ellipses
• (en) H. S. M. Coxeter et W. O. J. Moser (de), Generators and Relations for Discrete Groups, Springer, 1972 (réimpr. 2013), 3^e éd. (1^re éd. 1957), 164 p. (ISBN 978-3-662-21946-1, présentation en ligne, lire en ligne)
• (en) Marshall Hall, Jr., The Theory of Groups [détail des éditions]
• J.-P. Serre, Arbres, amalgames, SL(2), 1977

• Portail de l’algèbre