The fixed point submonoid of an endomorphism of a free product of a free monoid and cyclic groups is proved to be rational using automata-theoretic techniques. Maslakova’s result on the computability of the fixed point subgroup of a free group automorphism is generalized to endomorphisms of free products of a free monoid and a free group which are automorphisms of the maximal subgroup.
This paper surveys the area of Free Burnside Semigroups. The theory of these semigroups, as is the case for groups, is far from being completely known. For semigroups, the most impressive results were obtained in the last 10 years. In this paper we give priority to the mathematical treatment of the problem and do not stress too much neither motivation nor the historical aspects. No proofs are presented in this paper, but we tried to give as many examples as was possible.
This paper surveys the area of Free Burnside Semigroups. The theory of these semigroups, as is the case for groups, is far from being completely known. For semigroups, the most impressive results were obtained in the last 10 years. In this paper we give priority to the mathematical treatment of the problem and do not stress too much neither motivation nor the historical aspects. No proofs are presented in this paper, but we tried to give as many examples as was possible.
We prove that any countable set of surjective functions on an infinite set of cardinality ℵₙ with n ∈ ℕ can be generated by at most n²/2 + 9n/2 + 7 surjective functions of the same set; and there exist n²/2 + 9n/2 + 7 surjective functions that cannot be generated by any smaller number of surjections. We also present several analogous results for other classical infinite transformation semigroups such as the injective functions, the Baer-Levi semigroups, and the Schützenberger monoids.
We describe new combinatorial methods for constructing explicit free resolutions of by -modules when is a group of fractions of a monoid where enough lest common multiples exist (“locally Gaussian monoid”), and therefore, for computing the homology of . Our constructions apply in particular to all Artin-Tits groups of finite Coexter type. Technically, the proofs rely on the properties of least common multiples in a monoid.