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.
Inhalt
-
Open AccessFinite basis problem for 2-testable monoids30. Dezember 2010
-
30. Dezember 2010
-
Open AccessThe group Sp10(ℤ) is (2,3)-generated30. Dezember 2010
-
30. Dezember 2010
-
30. Dezember 2010
-
Open AccessKarhunen-Loève expansions of α-Wiener bridges30. Dezember 2010
-
30. Dezember 2010
-
Open AccessAn explicit formula of Atkinson type for the product of the Riemann zeta-function and a Dirichlet polynomial30. Dezember 2010
-
Open AccessAffine Baire functions on Choquet simplices30. Dezember 2010
-
Open AccessFinite codimensional linear isometries on spaces of differentiable and Lipschitz functions30. Dezember 2010
-
30. Dezember 2010
-
30. Dezember 2010
-
30. Dezember 2010
-
Open AccessAscents of size less than d in compositions30. Dezember 2010