On definability in some lattices of semigroup varieties
 Mariusz Grech,
 Olga Sapir
 … show all 2 hide
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}\) .
For ℓ,r≥0 and n>1 let \(\mathfrak{B}_{\ell,r,n}\) denote the set that consists of n! identities of the form $$t_1\cdots t_\ell x_1x_2 \cdots x_n z_{1}\cdots z_{r}\approx t_1\cdots t_\ell x_{1\pi}x_{2\pi} \cdots x_{n\pi}z_{1}\cdots z_{r}, $$ where π is a permutation on the set {1,…,n}. We prove that for each permutative nilvariety \(\mathcal{V}\) and each \(\ell\ge\ell(\mathcal{V})\) and \(r\ge r(\mathcal{V})\) there exists n>1 such that \(\mathcal{V}\) is definable by a firstorder formula in \(L(\operatorname{var}{\mathfrak{B}}_{l,r,n})\) if ℓ≠r or \(\mathcal{V}\) is definable up to duality in \(L(\operatorname{var}{\mathfrak{B}}_{\ell,r,n})\) if ℓ=r.
Inside
Within this Article
 Introduction
 Some definable varieties and classes of varieties in I
 Functions on varieties and sets of identities
 Definability of the set of all b0reduced varieties in I
 A quasiorder on the free semigroup modulo \({\mathfrak{B}}\)
 Definability of each word pattern modulo \(\mathfrak {B}\) in the ordered set of all such patterns
 Properties of varieties \({\mathcal{V}}_{a,b}^{}\) and \({\mathcal{V}}_{a,b}^{+}\)
 The set of varieties of the form \(\mathrm{var}\{u \approx0, \mathfrak{B}\}\) is definable in \(L (\mathrm{var}{\mathfrak{B}})\)
 Some definable and semidefinable varieties and sets of varieties in \(L (\mathrm{var}{\mathfrak{B}})\)
 Definability of each variety of the form \(\mathrm {var}\{u \approx v,{\mathfrak{B}}\}\) in \(L (\mathrm{var}{\mathfrak{B}})\) if u≈v is a regular identity and the words u and v are either equivalent or incomparable in the order \(\le_{\mathfrak{B}}\)
 Definability of permutative nilvarieties in \(L(\mathrm {var}{\mathfrak{B}}_{\ell,r,n})\)
 References
 References
Other actions
 Evans, T.: The lattice of semigroup varieties. Semigroup Forum 2, 1–43 (1971) CrossRef
 Grech, M.: Automorphisms of the lattice of equational theories of commutative semigroups. Trans. Am. Math. Soc. 361, 3435–3462 (2009) CrossRef
 Grech, M.: The structure and definability in the lattice of equational theories of strongly permutative semigroups. Trans. Am. Math. Soc. 364, 2959–2985 (2012) CrossRef
 Ježek, J.: Intervals in lattices of varieties. Algebra Univers. 6, 147–158 (1976) CrossRef
 Ježek, J.: The lattice of equational theories I: modular elements. Czechoslov. Math. J. 31, 127–152 (1981)
 Ježek, J.: The lattice of equational theories II: the lattice of full sets of terms. Czechoslov. Math. J. 31, 573–603 (1981)
 Ježek, J.: The lattice of equational theories III: definability and authomorphisms. Czechoslov. Math. J. 32, 129–164 (1982)
 Ježek, J.: The lattice of equational theories IV: equational theories of finite algebras. Czechoslov. Math. J. 36, 331–341 (1986)
 Ježek, J.: The ordering of commutative terms. Czechoslov. Math. J. 56, 133–154 (2006) CrossRef
 Ježek, J.: Definability for equational theories of commutative groupoids. Czechoslov. Math. J. 62, 305–333 (2012) CrossRef
 Jezek, J., McKenzie, R.: Definability in the lattice of equational theories of semigroups. Semigroup Forum 46, 199–245 (1993) CrossRef
 Kisielewicz, A.: Definability in the lattice of equational theories of commutative semigroups. Trans. Am. Math. Soc. 356, 3483–3504 (2004) CrossRef
 McKenzie, R.: Definability in the lattice of equational theories. Ann. Math. Log. 3, 197–237 (1971) CrossRef
 Martynova, T.: The groupoid of 0reduced semigroup varieties. Ural. Gos. Univ. Mat. Zap. 11(3), 96–115 (1979) (Russian)
 Perkins, P.: Bases for equational theories of semigroups. J. Algebra 11, 298–314 (1969) CrossRef
 Putcha, M., Yaqub, A.: Semigroups satisfying permutation identities. Semigroup Forum 3, 68–73 (1971) CrossRef
 Sapir, O.: Finitely generated permutative varieties. Semigroup Forum 78, 427–449 (2009) CrossRef
 Shaprynskii, V.: Distributive and neutral elements of the lattice of commutative semigroup varieties. Izv. Vysš. Učebn. Zaved., Mat. 7(7), 67–79 (2011) (Russian; Engl. translation in Russ. Math. (Iz. VUZ), 55, 56–5647 (2011))
 Shaprynskii, V.: Modular and lowermodular elements of lattices of semigroup varieties. Semigroup Forum 85, 97–110 (2012) CrossRef
 Shevrin, L., Volkov, M.: Identities of semigroups. Izv. Vysš. Učebn. Zaved., Mat. 11(11), 3–47 (1985) (Russian; Engl. translation in J. Sov. Math. (Iz. VUZ) 29, 1–64 (1985))
 Subramanian, H., Sundararaman, T.: Precomplete varieties of semigroups. Semigroup Forum 8, 278–281 (1974) CrossRef
 Tarski, A.: Equational logic and equational theories of algebras. In: Contributions to Math. Logic, Colloquium, Hannover, 1966, pp. 275–288. NorthHolland, Amsterdam (1968)
 Vernikov, B.: Semimodular and Arguesian varieties of semigroups: forbidden subvarieties. Proc. Ural State Univers. 22(4), 16–42 (2002) (Russian)
 Vernikov, B.: Lowermodular elements of the lattice of semigroup varieties. Semigroup Forum 75, 554–566 (2007) CrossRef
 Vernikov, B.: Proofs of definability of some varieties and sets of varieties of semigroups. Semigroup Forum 84, 374–392 (2012) CrossRef
 Vernikov, B.: Definability of the Variety Generated by a Commutative Monoid in the Lattice of Commutative Semigroups Varieties. Preprint, available under arXiv:1011.1557v3 [math.GR]
 Vernikov, B., Volkov, M.: Commuting fully invariant congruences on free semigroups. Contrib. Gen. Algebra 12, 391–417 (2000)
 Volkov, M.: Semigroup varieties with modular subvariety lattices. Izv. Vysš. Učebn. Zaved., Mat. 6(6), 51–60 (1989) (Russian; Engl. translation in J. Sov. Math. (Iz. VUZ) 33, 48–58 (1989))
 Volkov, M.: Modular elements in the lattice of semigroup varieties. Contrib. Gen. Algebra 16, 275–288 (2005)
 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
 20121201
 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