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

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

• 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?)
• 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.
• Identical relations in finite groups
• Identities satisfied by a finite ring
• On Varieties of Groupoids and Loops
• On the number of finite algebraic structures
• 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

(11)

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

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)