Finitely generated permutative varieties.

DOI10.1007/S00233-009-9146-0MaRDI QIDQ2391163zbMATH OpenOpenAlexFDO

Authors Olga Sapir

Publication date 24 July 2009

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00233-009-9146-0

zbMATH Keywords

finitely generated varietiespermutation identitiessemigroup varieties

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07)

Review text

A permutation identity is an identity of the form \(x_1x_2\cdots x_n=x_{1\pi}x_{2\pi}\cdots x_{n\pi}\) where \(\pi\) is a non-trivial permutation of \(\{1,2,\dots,n\}\). The author presents an algorithm that, given a finite set \(\Sigma\) of semigroup identities containing a permutation identity, decides whether the variety defined by \(\Sigma\) is generated by a finite semigroup (Theorem~5). This answers a question by the reviewer and extends an earlier result by the author [Mat. Zap. 14, No. 3, 112-119 (1988; Zbl 0685.20041)] for \(\Sigma\) containing the commutative law.

Recommendations

• A new determination of the permutation identities which ensure that a semigroup variety is finitely based
• scientific article; zbMATH DE number 4029840
• Minimal non-permutative pseudovarieties of semigroups. I
• scientific article; zbMATH DE number 2213266
• Idempotent n-permutable varieties.

Cites work

• Bases for equational theories of semi-groups
• scientific article; zbMATH DE number 4023572 (Why is no real title available?)
• scientific article; zbMATH DE number 3737925 (Why is no real title available?)
• scientific article; zbMATH DE number 4112900 (Why is no real title available?)
• scientific article; zbMATH DE number 4122235 (Why is no real title available?)
• scientific article; zbMATH DE number 3377224 (Why is no real title available?)
• The finite basis problem for finite semigroups
• Unsolvable problems for equational theories
• Varieties of Commutative Semigroups

Cited in

(14)

• A new determination of the permutation identities which ensure that a semigroup variety is finitely based
• The set of types of a finitely generated variety
• On definability in some lattices of semigroup varieties.
• The structure and definability in the lattice of equational theories of strongly permutative semigroups
• On the atoms of algebraic lattices arising in 𝔮-theory
• scientific article; zbMATH DE number 4029840 (Why is no real title available?)
• scientific article; zbMATH DE number 31021 (Why is no real title available?)
• scientific article; zbMATH DE number 617993 (Why is no real title available?)
• scientific article; zbMATH DE number 3891641 (Why is no real title available?)
• COMBINATORIAL REES–SUSHKEVICH VARIETIES THAT ARE CROSS, FINITELY GENERATED, OR SMALL
• Idempotent n-permutable varieties.
• Uniformly generated submodules of permutation modules over fields of characteristic 0.
• Non-finitely based monoids.
• Residual finiteness in permutation varieties of semigroups

This page was built for publication: Finitely generated permutative varieties.

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