2016
DOI: 10.1016/j.jpaa.2016.01.001
|View full text |Cite
|
Sign up to set email alerts
|

Finitely generated equational classes

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 variet… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
35
0

Year Published

2019
2019
2021
2021

Publication Types

Select...
5

Relationship

1
4

Authors

Journals

citations
Cited by 17 publications
(35 citation statements)
references
References 15 publications
0
35
0
Order By: Relevance
“…By Theorem 5.3 in [1], C A,B satisfies the DCC. Hence there exists m ∈ N such that C m = C n for all n ≥ m. By (3.1), C = C m and C is finitely related.…”
Section: Cube Termmentioning
confidence: 92%
“…By Theorem 5.3 in [1], C A,B satisfies the DCC. Hence there exists m ∈ N such that C m = C n for all n ≥ m. By (3.1), C = C m and C is finitely related.…”
Section: Cube Termmentioning
confidence: 92%
“…Then every (F p , F q )linearly closed clonoid C is generated by its unary functions. Thus C = Clg(C [1] ).…”
Section: Definition 42mentioning
confidence: 99%
“…The aim of this paper is to describe sets of functions from F q to F p that are closed under all linear mappings from the left and from the right, in the case p and q are powers of distinct primes. We are dealing with sets of functions with different domains and codomains; such sets are investigated, e.g., in [1] and are called clonoids. Let B be an algebra, and let A be a non-empty set.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…Let A be a set, and let B be an algebra. Following [AM16], a subset C of n∈N B A n is called a clonoid from A to B if C is closed under taking minors of functions, and for every k ∈ N, the set…”
Section: Definable Setsmentioning
confidence: 99%