A finite basis theorem for quasivarieties (Q1061158)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A finite basis theorem for quasivarieties |
scientific article |
Statements
A finite basis theorem for quasivarieties (English)
0 references
1986
0 references
A variety V has equationally definable principal meets (EDPM) if there is a finite system of pairs of terms \(<p_ i(x,y,z,w),q_ i(x,y,z,w)>\) for \(i=0,...,n-1\) with the following property: for every algebra \({\mathbb{A}}\in V\) and all a,b,c,d\(\in {\mathbb{A}}\), \[ \Xi (a,b)\cap \Xi (c,d)=\bigvee_{i<n}\Xi (p_ i^{{\mathbb{A}}}(a,b,c,d),q_ i^{{\mathbb{A}}}(a,b,c,d)). \] (\(\Xi\) (a,b) is the principal congruence relation on \({\mathbb{A}}\) generated by a and b.) Examples of varieties with EDPM: Boolean algebras, Heyting algebras, interior algebras, relation algebras, cylindric algebras of finite dimension, regular rings, vector groups, F-rings, vector lattices. The main results of the paper: Theorem 1. Every variety with EDPM is congruence-distributive. Theorem 2. For any variety K the following are equivalent: (i) K has EDPM; (ii) K is congruence-distributive and the finitely generated congruences of K are closed under intersection; (iii) K is congruence-distributive and the class of finitely generated subdirectly irreducible members of K forms a universal class. Theorem 3. If K is any finite subset of a variety with EDPM, then there is a finite base for the quasi-identities of K. Notes: The weaker version of Theorem 2 obtained when condition (i) is replaced by (i') K is congruence-distributive and has EDPM was known. For varieties with EDPM Theorem 3 is a generalization of K. Baker's well known finite basis theorem.
0 references
Blok, W. J.
0 references
Pigoi, Don
0 references
equationally definable principal meets
0 references
principal congruence
0 references
varieties
0 references
Boolean algebras
0 references
Heyting algebras
0 references
interior algebras
0 references
cylindric algebras
0 references
congruence-distributive
0 references
finitely generated congruences
0 references
subdirectly irreducible
0 references
quasi-identities
0 references
finite basis theorem
0 references
0 references
0 references