Free profinite R-trivial monoids.

J. Almeida, P. Weil

IBP-Litp 1995/50: Rapport de Recherche Litp / Litp research reports
41 pages - Octobre/October 1995 - Document en anglais.

PostScript : Ko /Kb

Titre / Title: Free profinite R-trivial monoids.

Résumé : Cet article est consacré à la structure des semigroupes d'opérations implicites sur R, la pseudovariété des semigroupes R-triviaux. Ces semigroupes d'opérations implicites sont décrits comme les objets libres de certaines variétés, et nous résolvons le problème du mot correspondant. La solution de ce problème requiert l'introduction d'opérations infinitaires. Nous en tirons des résultats de factorisation canonique pour des produits infinis, et une description de la variété de langages associée à R. Une étude similaire est menée sur les opérations implicites sur DRG, l'analogue non apériodique de R.

Abstract : This article is concerned with the structure of semigroups of implicit operations on R, the pseudovariety of all R-trivial semigroups. The semigroups of implicit operations are described as free objects of suitable varieties and the corresponding word problem is solved. In order to do this, certain infinitary operations are introduced. The solution of the word problem yields canonical forms for infinite products and a description of the corresponding variety of languages. A similar study is conducted for the implicit operations on DRG, the non aperiodic analogue of R.bstrac

Publications internes Litp 1995 / Litp research reports 1995