Abstract (EN):
Let J be the pseudovariety of all finite j-trivial semigroups and let OMEGABAR(n)J denote the topological semigroup of all n-ary implicit operations on J. The semigroup OMEGABAR(n)J is generated by the n component projections together with the 2n - 1 idempotents. Furthermore, OMEGABAR(n)J is described as a free algebra of type (1,2) in a certain variety and the word problem is solved in this algebra. As a consequence, OMEGABAR(n)J is countable, which settles a conjecture proposed by I. Simon.
Language:
English
Type (Professor's evaluation):
Scientific