Definability of the variety generated by a commutative monoid in the lattice of commutative semigroup varieties

2010/11/06 by B. M. Vernikov, Vernikov, B. M.
Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Group Theory (math.GR) #Primary 20M07 #Rough Sets and Fuzzy Logic #secondary 08B15 #semigroups and automata theory

paper · pdf · doi:10.48550/arxiv.1011.1557

openalex publication_date 2010/11/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Let M be a commutative monoid. We provide an explicit first-order formular that defines the variety generated by M in the lattice of commutative semigroup varieties.

Related

• Proofs of definability of some varieties and sets of varieties of semigroups
• Special elements in the lattice of overcommutative semigroup varieties revisited
• Upper-modular and related elements of the lattice of commutative semigroup varieties
• Identities and quasiidentities in the lattice of overcommutative semigroup varieties
• On modular and cancellable elements of the lattice of semigroup\n varieties