A monoid S 1 obtained by adjoining a unit element to a 2-testable semigroup S is said to be 2-testable. It is shown that a 2-testable monoid S 1 is either inherently non-finitely based or hereditarily finitely based, depending on whether or not the variety generated by the semigroup S contains the Brandt semigroup of order five. Consequently, it is decidable in quadratic time if a finite 2-testable monoid is finitely based.
Contents
-
Open AccessFinite basis problem for 2-testable monoidsDecember 30, 2010
-
December 30, 2010
-
Open AccessThe group Sp10(ℤ) is (2,3)-generatedDecember 30, 2010
-
December 30, 2010
-
December 30, 2010
-
Open AccessKarhunen-Loève expansions of α-Wiener bridgesDecember 30, 2010
-
December 30, 2010
-
Open AccessAn explicit formula of Atkinson type for the product of the Riemann zeta-function and a Dirichlet polynomialDecember 30, 2010
-
Open AccessAffine Baire functions on Choquet simplicesDecember 30, 2010
-
Open AccessFinite codimensional linear isometries on spaces of differentiable and Lipschitz functionsDecember 30, 2010
-
December 30, 2010
-
December 30, 2010
-
December 30, 2010
-
Open AccessAscents of size less than d in compositionsDecember 30, 2010