Strong shift equivalence in semigroups
Dans cet article, nous introduisons la notion de semi-groupe fortement automatique, qui entraîne la notion d’automaticité des semi-groupes usuelle. On s’intéresse particulièrement aux semi-groupes de développements en base , pour lesquels on obtient un critère de forte automaticité.
Certaines relations binaires sont définies sur les demi-groupes et les demi-groupes à involution. On examine comment elles peuvent en ordonner les éléments: notamment les idempotents, les éléments réguliers au sens de von Neumann, ceux qui possédent un inverse ponctuel ou de Moore-Penrose ; et en fonction aussi de conditions sur l'involution. Ces relations peuvent alors coïncider avec les ordres naturels des idempotents et des demi-groupes inverses, avec les ordres de Drazin et de Hartwig : elles...
In this paper we consider band compositions determined by two transitive systems of monomorphisms, called the sturdy bands of semigroups.