Log-linear varieties of semigroups
type: Item
instance of: scholarly article
title: Log-linear varieties of semigroups
zbMATH Open document ID: 0824.20050
DOI: 10.1007/BF01190705
author: Siniša Crvenković
author: N. Ruškuc
published in: Algebra Universalis
publication date: 1995-10-30T00:00:00Z
review text: Let the cardinality of the free algebra on \(n\) generators of the variety \(\mathcal V\) of algebras be denoted by \(f_ n({\mathcal V})\). Then \(\mathcal V\) is said to be log-linear if it is locally finite and there exists a constant \(c\) such that \(\log f_ n ({\mathcal V}) \leq cn\) for all \(n \geq 1\). The problem of characterizing log-linear varieties of semigroups was posed by \textit{G. Grätzer} and \textit{A. Kisielewicz} [Res. Expo. Math. 19, 57-88 (1992; Zbl 0772.08001)]. The main result of this paper solves this problem: Theorem. For any semigroup variety \(\mathcal V\) the following are equivalent: (i) \(\mathcal V\) is log-linear; (ii) \(\mathcal V\) satisfies the identities \(x^{\alpha + 1} \approx x^ \beta\), \(x_ 1 x_ 2 \dots x_ m \approx x_{\sigma(1)} x_{\sigma(2)} \dots x_{\sigma(m)}\), for some \(\alpha \geq \beta >0\) and some nontrivial permutation \(\sigma\) of the set \(\{1, \dots, m\}\); (iii) \(\mathcal V\) satisfies the identities \(x^{\alpha + 1} \approx x^ \beta\), \(x_ 1 x_ 2 \dots x_{i - 1} x_ i x_{i + 1} \dots x_ m \approx x_ 1 x_ 2 \dots x_{i - 1} x_{i + 1} x_ i x_{i + 2} \dots x_ m\), for some \(\alpha \geq \beta > 0\), \(m > i \geq 1\). An interesting consequence of this result is that every log-linear variety of semigroups is hereditarily finitely based. An example is given to show that the converse is false.
reviewed by: Sheila Oates-Williams
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 20M05
zbMATH DE Number: 759387
zbMATH Keywords: free algebras
zbMATH Keywords: log-linear varieties of semigroups
zbMATH Keywords: identities
zbMATH Keywords: hereditarily finitely based varieties
MaRDI profile type: Publication
cites work: On semigroups having \(n^ 2\) essentially \(n\)-ary polynomials
cites work: Q4029629
cites work: Bases for equational theories of semi-groups
full work available at URL: https://doi.org/10.1007/bf01190705
OpenAlex ID: W1979158005
Recommended article: Polynomial growth in semigroup varieties.
Recommended article: Q3765976
Recommended article: On bases of identities for the \(\omega\)-variety generated by locally testable semigroups.
Recommended article: Free spectrum of the variety generated by the five element combinatorial Brandt semigroup.
Recommended article: Q4728547
Recommended article: Q3976388
Recommended article: Q3976741
Recommended article: Q3717283
Recommended article: Variety Membership Problem for Two Classes of Non-Finitely Based Semigroups
Recommended article: Q4026908
description: scientific article; zbMATH DE number 759387