 |
|
|
|
| HAL : hal-00019880, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Bulletin of the London Mathematical Society 23 (1991) 356-362 |
|
|
|
|
| A conjecture on the Hall topology for the free group |
|
|
| Jean-Eric Pin 1Christophe Reutenauer 2 |
|
|
| (1991) |
|
|
|
| The Hall topology for the free group is the coarsest topology such that every group morphism from the free group onto a finite discrete group is continuous. It was shown by M. Hall Jr. that every finitely generated subgroup of the free group is closed for this topology. We conjecture that if H1, H2, ..., Hn are finitely generated subgroups of the free group, then the product H1H2... Hn is closed. We discuss some consequences of this conjecture. First, it would give a nice and simple algorithm to compute the closure of a given rational subset of the free group. Next, it implies a similar conjecture for the free monoid, which, in turn, is equivalent to a deep conjecture on finite semigroup, for the solution of which J. Rhodes has offered $100. We hope that our new conjecture will shed some light on the Rhodes's conjecture. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
| 2 : | Université du Québec à Montréal (LACIM) |
|
|
|
UQAM |
|
|
|
|
|
|
|
|
|
| Automates et Applications |
|
|
|
|
| Domaine | : | Mathématiques/Théorie des groupes Informatique/Mathématique discrète |
|
|
| Profinite topology – Free group – finite semigroup |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00019880, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00019880 | |
| oai:hal.archives-ouvertes.fr:hal-00019880 | |
| Contributeur : Jean-Eric Pin | |
| Soumis le : Mardi 28 Février 2006, 18:04:52 | |
| Dernière modification le : Samedi 4 Mars 2006, 16:20:40 | |
