Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 20 Janvier 2009

Les GAG (groupes d'automates à groupe)

par Ali Akhavi (GREYC)

Les semi-groupes réalisés par des transducteurs lettre à lettre sont des objets connus. Beaucoup plus récemment les groupes d'automates ont eu un grand intérêt car ils ont apportés des exemples ou contre-exemples de groupes à des conjectures difficiles.

Un problème classique mais difficile en théorie des groupes est celui de la finitude d'un groupe: Il n'existe aucun algorithme permettant de répondre dans un cas général (par exemple le groupe étant donné par un ensemble de générateurs et des relateurs).

Dans cet exposé nous rappelons ce que sont les groupes d'automates, puis les groupes d'automates à groupes (GAG). Nous présenterons ensuite une caractérisation des GAGs finis.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr