All \(2\)-solid varieties of semigroups (Q1976430)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | All \(2\)-solid varieties of semigroups |
scientific article |
Statements
All \(2\)-solid varieties of semigroups (English)
0 references
10 May 2001
0 references
For a given type \(\tau\), a mapping from a set of operation symbols into the set of all terms of type \(\tau\) is called a hypersubstitution. The set \(\text{Hyp}(\tau)\) of all hypersubstitutions is a monoid with respect to composition and the identity map. For a variety \(V\) of type \(\tau\) an equivalence relation \(\sim_V\) on \(\text{Hyp}(V)\) of \(V\)-equivalent substitutions is a congruence if and only if \(V\) has a certain solidity property which for semigroup varieties is known to be equivalent to a condition known as 2-solidity. This paper characterizes all 2-solid varieties of semigroups as of two types: (i) band varieties containing all rectangular bands and (ii) varieties \(V\) containing the variety defined by the identity \(xyz=xz\), contained in another known finitely based variety \(W_2\), and whose set of identities is closed under duals of its 2-variable identities.
0 references
Plonka equivalences
0 references
hypersubstitutions
0 references
\(2\)-solid varieties of semigroups
0 references
band varieties
0 references
rectangular bands
0 references
finitely based varieties
0 references
identities
0 references