Groupes par générateurs et relations

[jossrandal2002]

Bonjour,

Si on se donne un ensemble fini de générateurs et un ensemble fini de relations entre ces générateurs, existe-t-il au moins un groupe correspondant ?

Merci d'avance pour toute réponse ou toute référence sur ce sujet.

Joss

[GaBuZoMeu]

Il existe un unique (à isomorphisme unique près) groupe donné par cette présentation.
Tu peux voir la page wikipedia Présentation d'un groupe.