Finitely generated equational classes

DOI10.1016/J.JPAA.2016.01.001MaRDI QIDQ258136zbMATH OpenOpenAlexFDO

Authors Erhard Aichinger, Peter Mayr

Publication date 17 March 2016

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1403.7938

zbMATH Keywords

congruence modular varietyedge operationedge termhereditarily finitely generated variety

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Abstract: Classes of algebraic structures that are defined by equational laws are called varieties or equational classes. A variety is finitely generated if it is defined by the laws that hold in some fixed finite algebra. We show that every subvariety of a finitely generated congruence permutable variety is finitely generated; in fact, we prove the more general result that if a finitely generated variety has an edge term, then all its subvarieties are finitely generated as well. This applies in particular to all varieties of groups, loops, quasigroups and their expansions (e.g., modules, rings, Lie algebras,...).

Review text

An algebra is said to admit an edge term if one of its term operations is an edge operation in the sense of \textit{J. Berman} et al. [Trans. Am. Math. Soc. 362, No. 3, 1445--1473 (2010; Zbl 1190.08004)]. Every variety generated by a finite algebra admitting an edge term is congruence modular and hereditarily finitely generated, which means that each subvariety is finitely generated. This crucial result of the present paper contributes to the open question whether all finitely generated congruence modular varieties are hereditarily finitely generated; it applies to groups, quasigroups, loops, and lattices as well as to respective expansions.

Recommendations

• Varieties whose finitely generated members are free
• Locally finite varieties.
• Generating subdirect products
• Finitely Decidable Congruence Modular Varieties
• PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES

Cites work

• A field guide to equational logic
• Constantive Mal’cev clones on finite sets are finitely related
• Finiteness properties of varieties and the restriction to finite algebras.
• scientific article; zbMATH DE number 3650557 (Why is no real title available?)
• scientific article; zbMATH DE number 3914378 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3609888 (Why is no real title available?)
• scientific article; zbMATH DE number 4000007 (Why is no real title available?)
• scientific article; zbMATH DE number 3341295 (Why is no real title available?)
• scientific article; zbMATH DE number 3019695 (Why is no real title available?)
• Identical relations in finite groups
• Identities satisfied by a finite ring
• On the number of finite algebraic structures
• On Varieties of Groupoids and Loops
• SUBVARIETIES OF THE VARIETY GENERATED BY THE FIVE-ELEMENT BRANDT SEMIGROUP
• The Laws of Finite Pointed Groups
• Varieties of associative rings. I
• Varieties of groups
• Varieties with few subalgebras of powers

Cited in

(15)

• A clonoid based approach to some finiteness results in universal algebraic geometry
• Reflections and powers of multisorted minions
• On the number of clonoids
• Closed sets of finitary functions between products of finite fields of coprime order
• Closed sets of finitary functions between finite fields of coprime order
• Dickson's lemma, Higman's theorem and beyond: a survey of some basic results in order theory
• Equational theories for classes of finite semigroups
• Independence of algebras with edge term.
• Majority-closed minions of Boolean functions
• Clonoids between modules
• Near-unanimity-closed minions of Boolean functions
• Clonoids of Boolean functions with a monotone or discriminator source clone
• Clonoids of Boolean functions with essentially unary, linear, semilattice, or 0- or 1-separating source and target clones
• The subpower membership problem of 2-nilpotent algebras
• Clonoids of Boolean functions with a linear source clone and a semilattice or 0- or 1-separating target clone

This page was built for publication: Finitely generated equational classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q258136)