The groupoid of o-reduced varieties of Semigroups (II)

Martynova, T. A.

doi:10.1007/bf02572836

Cited by 3 publications

(4 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Let us show that one can find A ⊆ A such that A is reduced modulo B and var(A ∪ B) = var(A ∪ B). The following argument is a modification of the argument of Martynova [14]. For each n > 0, let A n denote the set of all identities u ≈ 0 in A such that |u| ≤ n. Since for each n > 0 the set A n is finite, we can reduce A n modulo B to A n by throwing away extra identities of length n. Since set B contains only balanced identities, no derivation of any 0-reduced identity a ≈ 0 uses any 0-reduced identity b ≈ 0 with |b| > |a|.…”

Section: Corollary 61 Let B Be a Self-dual Set Of Balanced Identitiementioning

confidence: 97%

On definability in some lattices of semigroup varieties

Grech

Sapir

2012

Semigroup Forum

View full text Add to dashboard Cite

An identity of the form x 1 · · · x n ≈ x 1π x 2π · · · x nπ where π is a non-trivial permutation on the set {1, . . . , n} is called a permutation identity. If u ≈ v is a permutation identity, then (u ≈ v) [respectively r(u ≈ v)] is the maximal length of the common prefix For , r ≥ 0 and n > 1 let B ,r,n denote the set that consists of n! identities of the formwhere π is a permutation on the set {1, . . . , n}. We prove that for each permutative nilvariety V and each ≥ (V) and r ≥ r(V) there exists n > 1 such that V is definable by a first-order formula in L (var B l,r,n ) if = r or V is definable up to duality in L(var B ,r,n ) if = r.

show abstract

Section: Corollary 61 Let B Be a Self-dual Set Of Balanced Identitiementioning

confidence: 97%

On definability in some lattices of semigroup varieties

Grech

Sapir

2012

Semigroup Forum

View full text Add to dashboard Cite

show abstract

“…It is easy to see that ~= {~I~e[} forms a completely characteristic ideal of F. It was proved in [6] that the system of identities of ~ has an irreducible basis of identities of ~ ~. We denote the set {~I~= 06~# ~} by D' and put ~=~{I~II~6~}.…”

Section: Wherew={~=oil~}~=-{~=~!~oi~}mentioning

confidence: 99%

“…Some of these investigations have already been carried out. Thus, in [2] idempotents of this groupoid were described and a countable semigroup with nullary multiplication was distinguished, which consists of varieties of indempotent semigroups; in [3,4] some conditions were given under which the product of two varieties of semigroups is a variety; in [5] a groupoid with the power of the continuum was mentioned, which consists of so-called 0-reduced varieties, that is, varieties of semigroups with zero O, having an identity basis of the form w = 0, where w is a semigroup word; in [6] a number of important properties of this groupoid G were proved:…”

mentioning

confidence: 99%

“…Some of these investigations have already been carried out. Thus, in [2] idempotents of this groupoid were described and a countable semigroup with nullary multiplication was distinguished, which con- it is cancellative and is the union of two nonintersecting subgroupoids H and L, where H is the largest subsemigroup, and L is an ideal of G. The structure of H has been completely clarified [7,8]: it is the free product of a free cormmutative semigroup of countable rank and a free semigroup of the rank of the continuum with externally adjoined unity.The main result of the paper is the following theorem. …”

mentioning

confidence: 99%

See 1 more Smart Citation

The largest groupoid of varieties of semigroups with zero

Martynova¹

1982

Algebra and Logic

Self Cite

View full text Add to dashboard Cite

It is well known [i] that with respect to the operation of multiplication, the set of all varieties of semigroups forms a partial groupoid.The structure of this is very complicated and still not known.In studying this groupoid the most natural problems are the following: i) to describe all pairs of varieties whose product is a variety; 2) to find in this partial groupoid some important groupoids (in particular, semigroups) and to clarify their structure; 3) to distinguish maximal groupoids and semigroups. Some of these investigations have already been carried out. Thus, in [2] idempotents of this groupoid were described and a countable semigroup with nullary multiplication was distinguished, which con- it is cancellative and is the union of two nonintersecting subgroupoids H and L, where H is the largest subsemigroup, and L is an ideal of G. The structure of H has been completely clarified [7,8]: it is the free product of a free cormmutative semigroup of countable rank and a free semigroup of the rank of the continuum with externally adjoined unity.The main result of the paper is the following theorem. THEOREM.The groupoid G is the maximal groupoid in the partial groupoid of all varieties of semigroups.In the partial groupoid of varieties of semigroups with signature zero, G is the largest groupoid.We mention that this theorem gives a complete answer to the third question for the partial groupoid of semigroups with signature zero.Before proceeding to the proof of the theorem, we give the necessary definitions and notation.In this paper we use the generally accepted terminology (see [9, i0]). Our notation is also generally standard or follows the notation in [6].Let X be a countable alphabet, and F a free semigroup over X. For a word a of F we denote by C(a) the set of all letters of X that occur in writing 0~, and by 151 the length of the word ~L. A letter that occurs more than once in writing OJ will be called multiple, and the letters that appear in the first and last places in writing O~ will be called the beginning and end of ~L. For the graphic coincidences of the words C5 and b of F we shall write ~L=---~. The notation ~dL means that b is a subword of /~; ~ <0~ means that ~ is

show abstract

On Mal’cev’s Multiplication of Antivarieties of Algebraic Systems

Kartashova

2018

Lobachevskii J Math

View full text Add to dashboard Cite

The groupoid of o-reduced varieties of Semigroups (II)

Cited by 3 publications

References 2 publications

On definability in some lattices of semigroup varieties

On definability in some lattices of semigroup varieties

The largest groupoid of varieties of semigroups with zero

On Mal’cev’s Multiplication of Antivarieties of Algebraic Systems

Contact Info

Product

Resources

About