On finitely based groups and nonfinitely based quasivarieties
type: Item
instance of: scholarly article
title: On finitely based groups and nonfinitely based quasivarieties
zbMATH Open document ID: 0909.20017
author: K. Appert
published in: Journal of Algebra
publication date: 1999-01-26T00:00:00Z
review text: A set \(W\) of identities of a variety \(\mathcal V\) of groups is said to be a strict basis for \(\mathcal V\) if, modulo the group axioms, every identity of \(\mathcal V\) can be deduced from the members of \(W\) using only substitutions in which variables are replaced by variables. A variety is strictly finitely based if it has a finite strict basis, and a group is strictly finitely based if the variety which it generates is. The main result of the second section of the paper is that a finite group is strictly finitely based if and only if it is nilpotent (and hence, if and only if the variety it generates does not contain a variety of the form \({\mathcal A}_p{\mathcal A}_q\), where \(p\) and \(q\) are distinct primes). In the remaining sections a two-sorted algebra \(\mathbb{A}=\langle S,G,b\rangle\), where \(G\) is a finite group and \(b\colon G\times S\to S\) is a faithful left action of \(G\) on \(S\), is introduced. From this a 1-sorted algebra \(\mathbb{A}^*\), called an \(\mathbb{L}\)-algebra is constructed. Using the results of Section 2, it is shown that \(\mathbb{A}^*\) is finitely based if and only if \(G\) is nilpotent, and if \(G\) is not nilpotent, then no set of \(\mathbb{L}\)-algebras generating the same variety as \(\mathbb{A}^*\) can be contained in any finitely based, locally finite quasivariety. The smallest such example is of order only 18, arising from the symmetric group of order 3 and its action on a 3-element set. This example answers affirmatively questions of \textit{W. Rautenberg} [Stud. Logica 40, 315-353 (1981; Zbl 0493.03006)] and Wroński, and \textit{D. Pigozzi} [Trans. Am. Math. Soc. 310, No. 2, 499-533 (1988; Zbl 0706.08009)].
Mathematics Subject Classification ID: 20E10
Mathematics Subject Classification ID: 08C15
zbMATH DE Number: 1203902
zbMATH Keywords: varieties of groups
zbMATH Keywords: quasivarieties
zbMATH Keywords: strictly finitely based varieties
zbMATH Keywords: finite bases of identities
reviewed by: Sheila Oates-Williams
MaRDI profile type: Publication
full work available at URL: jabr.1997.7470
OpenAlex ID: W2070692996
cites work: Heterogeneous algebras
cites work: Definable principal congruences in varieties of groups and rings
cites work: Q3934450
cites work: Q4081230
cites work: The structure of finite algebras
cites work: Inherently Nonfinitely Based Solvable Algebras
cites work: Q5551228
cites work: Quasi-identities of finite semigroups and symbolic dynamics
cites work: Q3751631
cites work: The structure of decidable locally finite varieties
cites work: Varieties of groups
cites work: Identical relations in finite groups
cites work: Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
cites work: 2-element matrices
cites work: Strongly finitely based equational theories
cites work: Q5331572
cites work: Q3712472
cites work: Characterizing Mal'cev conditions
DOI: 10.1006/JABR.1997.7470
Recommended article: Q3351590
Recommended article: Q4283158
Recommended article: A JUST NON-FINITELY BASED VARIETY OF BIGROUPS
Recommended article: Q3728057
Recommended article: Identities and quasi-identities of pointed algebras
Recommended article: Q3807431
Recommended article: Q3033815
Recommended article: A basis of identities of a variety generated by a finitely-based quasi-variety of groups
Recommended article: Q3735931
Recommended article: Q3834232
description: scientific article; zbMATH DE number 1203902