Stable varieties of semigroups and groupoids.

DOI10.1007/S00012-015-0359-7MaRDI QIDQ2634709zbMATH OpenOpenAlexFDO

Authors Slavcho Shtrakov, Jörg Koppitz

Publication date 18 February 2016

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1207.6970

zbMATH Keywords

compositions of termsessential positions in termsstable varietiesvarieties of groupoidsvarieties of semigroups

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Sets with a single binary operation (groupoids) (20N02)

Abstract: The paper deals with $Sigma-$composition and $Sigma$-essential composition of terms, which lead to stable and s-stable varieties of algebras. A full description of all stable varieties of semigroups, commutative and idempotent groupoids is obtained. We use an abstract reduction system which simplifies the presentations of terms of type $au=(2)$ to study the varietiy of idempotent groupoids and s-stable varieties of groupoids. They are used as an alternating of the stable varieties, aiming to highlight replacing the subterms of a term in a deductive systems instead of the usual replacing the variables with terms.

Review text

A position and subterm on that position in a term is essential if it can be used to change the value of the term in some representation of that term in an algebra; a variety \(V\) is called stable if the set \(\Sigma=\text{Id}(V)\) of defining identities is also closed for substitution of subterms in essential positions. Here are described all stable varieties of semigroups and groupoids, e.g. a variety of semigroups is stable iff it consists of zero, right (left)-zero semigroups or satisifes besides the associativity identity one of the identities \(x_1x_2x_3=x_1x_2\), \(x_1x_2x_3=x_2x_3\) or \(x_1x_2x_3=x_2x_3\).

Recommendations

• scientific article; zbMATH DE number 3863270
• On power varieties of semigroups
• scientific article; zbMATH DE number 4033946
• scientific article; zbMATH DE number 1488853
• scientific article; zbMATH DE number 3853170

Cites work

• All solid varieties of semigroups
• Essential variables and positions in terms
• Essential Variables and Separable Sets in Universal Algebra
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• On hyperassociativity
• The lattice of semigroup varieties

Cited in

(6)

• Essential variables and positions in terms
• On power varieties of semigroups
• All intra-regular generalized hypersubstitutions of type (2)
• Canalyzing minors of Boolean functions
• Superassociative structures of terms and formulas defined by transformations preserving a partition
• Algebras of left variable terms

This page was built for publication: Stable varieties of semigroups and groupoids.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2634709)