The natural partial order on an R-cancelative semigroup
In [2] it was proved that all hypersubstitutions of type τ = (2) which are not idempotent and are different from the hypersubstitution whichmaps the binary operation symbol f to the binary term f(y,x) haveinfinite order. In this paper we consider the order of hypersubstitutionswithin given varieties of semigroups. For the theory of hypersubstitution see [3].
We show that semigroups representable by triangular matrices over a fixed finite field form a decidable pseudovariety and provide a finite pseudoidentity basis for it.
We show that semigroups representable by triangular matrices over a fixed finite field form a decidable pseudovariety and provide a finite pseudoidentity basis for it.
The concept of rank of a commutative cancellative semigroup is extended to all commutative semigroups by defining as the supremum of cardinalities of finite independent subsets of . Representing such a semigroup as a semilattice of (archimedean) components , we prove that is the supremum of ranks of various . Representing a commutative separative semigroup as a semilattice of its (cancellative) archimedean components, the main result of the paper provides several characterizations...