Finitely generated equational classes

DOI10.1016/J.JPAA.2016.01.001zbMATH Open1354.08004arXiv1403.7938OpenAlexW2963454512MaRDI QIDQ258136FDOQ258136

Authors: Erhard Aichinger, Peter Mayr 

Publication date: 17 March 2016

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

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,...).

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

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

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)

Cites Work

• A field guide to equational logic
• Identities satisfied by a finite ring
• Finiteness properties of varieties and the restriction to finite algebras.
• Varieties of associative rings. I
• Identical relations in finite groups
• Constantive Mal’cev clones on finite sets are finitely related
• Title not available (Why is that?)
• Varieties with few subalgebras of powers
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Laws of Finite Pointed Groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the number of finite algebraic structures
• Title not available (Why is that?)
• SUBVARIETIES OF THE VARIETY GENERATED BY THE FIVE-ELEMENT BRANDT SEMIGROUP
• Varieties of groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Varieties of Groupoids and Loops

Cited In (10)

• A clonoid based approach to some finiteness results in universal algebraic geometry
• On the number of clonoids
• Dickson's lemma, Higman's theorem and beyond: a survey of some basic results in order theory
• Reflections and powers of multisorted minions
• Clonoids between modules
• Majority-closed minions of Boolean functions
• Equational theories for classes of finite semigroups
• Closed sets of finitary functions between products of finite fields of coprime order
• Closed sets of finitary functions between finite fields of coprime order
• Near-unanimity-closed minions of Boolean functions

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)