, Volume 85, Issue 3, pp 477512
First online:
On definability in some lattices of semigroup varieties
 Mariusz GrechAffiliated withInstitute of Mathematics, University of Wrocław Email author
 , Olga SapirAffiliated withDepartment of Mathematics, Vanderbilt University
Abstract
An identity of the form x _{1}⋯x _{ n }≈x _{1π } x _{2π }⋯x _{ nπ } where π is a nontrivial 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 [suffix] of the words u and v. A variety that satisfies a permutation identity is called permutative. If \(\mathcal{V}\) is a permutative variety, then \(\ell=\ell(\mathcal{V})\) [respectively \(r=r(\mathcal{V})\)] is the least ℓ [respectively r] such that \(\mathcal{V}\) satisfies a permutation identity τ with ℓ(τ)=ℓ [respectively r(τ)=r]. A variety that consists of nilsemigroups is called a nilvariety. If Σ is a set of identities, then \(\operatorname {var}\varSigma\) denotes the variety of semigroups defined by Σ. If \(\mathcal{V}\) is a variety, then \(L (\mathcal{V})\) denotes the lattice of all subvarieties of \(\mathcal{V}\).
Keywords
Permutation identity Permutative variety 0Reduced identity Nilvariety Lattice of subvarieties First order definability Title
 On definability in some lattices of semigroup varieties
 Open Access
 Available under Open Access This content is freely available online to anyone, anywhere at any time.
 Journal

Semigroup Forum
Volume 85, Issue 3 , pp 477512
 Cover Date
 201212
 DOI
 10.1007/s0023301294298
 Print ISSN
 00371912
 Online ISSN
 14322137
 Publisher
 SpringerVerlag
 Additional Links
 Topics
 Keywords

 Permutation identity
 Permutative variety
 0Reduced identity
 Nilvariety
 Lattice of subvarieties
 First order definability
 Authors

 Mariusz Grech ^{(1)}
 Olga Sapir ^{(2)}
 Author Affiliations

 1. Institute of Mathematics, University of Wrocław, pl. Grunwaldzki 2, 50384, Wrocław, Poland
 2. Department of Mathematics, Vanderbilt University, Nashville, TN, 37240, USA