17/05/2001: Patrick Dehornoy (Univ. de Caen)
Presentations completes de (semi)groupes.
Résumé
En general, il n'est pas facile de dire grand chose a
partir d'une presentation explicite d'un groupe ou d'un
semigroupe; il en va differemment si la presentation
est complete, ceci signifiant qu'elle contient assez
de relations pour que des proprietes comme la
simplifiabilite puissent s'y lire directement.
Le
resultat principal est un critere effectif permettant
de reconnaitre les presentations completes dans le cas
dit Noetherien (pas de suite infinie decroissante pour
la divisibilite). La preuve utilise une induction
ordinale et des diagrammes qui semblent tres proches de
la reecriture abstraite.