Displaying similar documents to “Different levels of word problems for some varieties.”

[unknown]

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

Algebra i Logika

Similarity:

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...

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.

Binary relations on the monoid of V-proper hypersubstitutions

Klaus Denecke, Rattana Srithus (2006)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

In this paper we consider different relations on the set P(V) of all proper hypersubstitutions with respect to a given variety V and their properties. Using these relations we introduce the cardinalities of the corresponding quotient sets as degrees and determine the properties of solid varieties having given degrees. Finally, for all varieties of bands we determine their degrees.

Pre-solid varieties of semigroups

K. Denecke, Jörg Koppitz (1995)

Archivum Mathematicum

Similarity:

Pre-hyperidentities generalize the concept of a hyperidentity. A variety V is said to be pre-solid if every identity in V is a pre-hyperidentity. Every solid variety is pre-solid. We consider pre-solid varieties of semigroups which are not solid, determine the smallest and the largest of them, and some elements in this interval.