Displaying similar documents to “Undecidable varieties with solvable word problems. II.”

Finite basis problem for 2-testable monoids

Edmond Lee (2011)

Open Mathematics

Similarity:

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.

[unknown]

О.Г. Харлампович (1987)

Algebra i Logika

Similarity:

Presolid varieties of n-semigroups

Avapa Chantasartrassmee, Jörg Koppitz (2005)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

he class of all M-solid varieties of a given type t forms a complete sublattice of the lattice ℒ(τ) of all varieties of algebrasof type t. This gives a tool for a better description of the lattice ℒ(τ) by characterization of complete sublattices. In particular, this was done for varieties of semigroups by L. Polák ([10]) as well as by Denecke and Koppitz ([4], [5]). Denecke and Hounnon characterized M-solid varieties of semirings ([3]) and M-solid varieties of groups were characterized...

The dimension of a variety

Ewa Graczyńska, Dietmar Schweigert (2007)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Derived varieties were invented by P. Cohn in [4]. Derived varieties of a given type were invented by the authors in [10]. In the paper we deal with the derived variety V σ of a given variety, by a fixed hypersubstitution σ. We introduce the notion of the dimension of a variety as the cardinality κ of the set of all proper derived varieties of V included in V. We examine dimensions of some varieties in the lattice of all varieties of a given type τ. Dimensions of varieties of lattices...