Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work...
Transcript of Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work...
![Page 1: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/1.jpg)
Prime Maltsev Conditions
Libor Barto
joint work with Jakub Oprsal
Charles University in Prague
NSAC 2013, June 7, 2013
![Page 2: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/2.jpg)
Outline
I (Part 1) Interpretations
I (Part 2) Lattice of interpretability
I (Part 3) Prime filters
I (Part 4) Syntactic approach
I (Part 4) Relational approach
![Page 3: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/3.jpg)
(Part 1)Interpretations
![Page 4: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/4.jpg)
Interpretations between varieties
V,W: varieties of algebras
Interpretation V → W: mapping from terms of V to terms of W,which sends variables to the same variables and preservesidentities.
Determined by values on basic operations
Example:
I V given by a single ternary operation symbol m and
I the identity m(x , y , y) ≈ m(y , y , x) ≈ x
I f : V → W is determined by m′ = f (m)
I m′ must satisfy m′(x , y , y) ≈ m(y , y , x) ≈ x
![Page 5: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/5.jpg)
Interpretations between varieties
V,W: varieties of algebras
Interpretation V → W: mapping from terms of V to terms of W,which sends variables to the same variables and preservesidentities.
Determined by values on basic operations
Example:
I V given by a single ternary operation symbol m and
I the identity m(x , y , y) ≈ m(y , y , x) ≈ x
I f : V → W is determined by m′ = f (m)
I m′ must satisfy m′(x , y , y) ≈ m(y , y , x) ≈ x
![Page 6: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/6.jpg)
Interpretations between varieties
V,W: varieties of algebras
Interpretation V → W: mapping from terms of V to terms of W,which sends variables to the same variables and preservesidentities.
Determined by values on basic operations
Example:
I V given by a single ternary operation symbol m and
I the identity m(x , y , y) ≈ m(y , y , x) ≈ x
I f : V → W is determined by m′ = f (m)
I m′ must satisfy m′(x , y , y) ≈ m(y , y , x) ≈ x
![Page 7: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/7.jpg)
Interpretations between varieties
V,W: varieties of algebras
Interpretation V → W: mapping from terms of V to terms of W,which sends variables to the same variables and preservesidentities.
Determined by values on basic operations
Example:
I V given by a single ternary operation symbol m and
I the identity m(x , y , y) ≈ m(y , y , x) ≈ x
I f : V → W is determined by m′ = f (m)
I m′ must satisfy m′(x , y , y) ≈ m(y , y , x) ≈ x
![Page 8: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/8.jpg)
Interpretations between varieties
V,W: varieties of algebras
Interpretation V → W: mapping from terms of V to terms of W,which sends variables to the same variables and preservesidentities.
Determined by values on basic operations
Example:
I V given by a single ternary operation symbol m and
I the identity m(x , y , y) ≈ m(y , y , x) ≈ x
I f : V → W is determined by m′ = f (m)
I m′ must satisfy m′(x , y , y) ≈ m(y , y , x) ≈ x
![Page 9: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/9.jpg)
Interpretation between varieties
Exmaple: Unique interpretation from V = Sets to any W
Example: V = Semigroups, W = Sets, f : x · y 7→ x is aninterpretation
Example: Assume V is idempotent. No interpretation V → Setsequivalent to the existence of a Taylor term in V
![Page 10: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/10.jpg)
Interpretation between varieties
Exmaple: Unique interpretation from V = Sets to any W
Example: V = Semigroups, W = Sets, f : x · y 7→ x is aninterpretation
Example: Assume V is idempotent. No interpretation V → Setsequivalent to the existence of a Taylor term in V
![Page 11: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/11.jpg)
Interpretation between varieties
Exmaple: Unique interpretation from V = Sets to any W
Example: V = Semigroups, W = Sets, f : x · y 7→ x is aninterpretation
Example: Assume V is idempotent. No interpretation V → Setsequivalent to the existence of a Taylor term in V
![Page 12: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/12.jpg)
Interpretation between algebras
A, B: algebras
Interpretation A→ B: map from the term operations of A to termoperations of B which maps projections to projections andpreserves composition
I Interpretations A→ B essentially the same as interpretationsHSP(A)→ HSP(B)
I Depends only on the clone of A and the clone of B
Examples of interpretations between clones A→ B:
I Inclusion (A): when B contains A
I Diagonal map (P): when B = An
I Restriction to B (S): when B ≤ A
I Quotient modulo ∼ (H): when B = A/ ∼
Birkhoff theorem ⇒ ∀ interpretation is of the form A ◦ H ◦ S ◦ P.
![Page 13: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/13.jpg)
Interpretation between algebras
A, B: algebras
Interpretation A→ B: map from the term operations of A to termoperations of B which maps projections to projections andpreserves composition
I Interpretations A→ B essentially the same as interpretationsHSP(A)→ HSP(B)
I Depends only on the clone of A and the clone of B
Examples of interpretations between clones A→ B:
I Inclusion (A): when B contains A
I Diagonal map (P): when B = An
I Restriction to B (S): when B ≤ A
I Quotient modulo ∼ (H): when B = A/ ∼
Birkhoff theorem ⇒ ∀ interpretation is of the form A ◦ H ◦ S ◦ P.
![Page 14: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/14.jpg)
Interpretation between algebras
A, B: algebras
Interpretation A→ B: map from the term operations of A to termoperations of B which maps projections to projections andpreserves composition
I Interpretations A→ B essentially the same as interpretationsHSP(A)→ HSP(B)
I Depends only on the clone of A and the clone of B
Examples of interpretations between clones A→ B:
I Inclusion (A): when B contains A
I Diagonal map (P): when B = An
I Restriction to B (S): when B ≤ A
I Quotient modulo ∼ (H): when B = A/ ∼
Birkhoff theorem ⇒ ∀ interpretation is of the form A ◦ H ◦ S ◦ P.
![Page 15: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/15.jpg)
Interpretation between algebras
A, B: algebras
Interpretation A→ B: map from the term operations of A to termoperations of B which maps projections to projections andpreserves composition
I Interpretations A→ B essentially the same as interpretationsHSP(A)→ HSP(B)
I Depends only on the clone of A and the clone of B
Examples of interpretations between clones A→ B:
I Inclusion (A): when B contains A
I Diagonal map (P): when B = An
I Restriction to B (S): when B ≤ A
I Quotient modulo ∼ (H): when B = A/ ∼
Birkhoff theorem ⇒ ∀ interpretation is of the form A ◦ H ◦ S ◦ P.
![Page 16: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/16.jpg)
Interpretation between algebras
A, B: algebras
Interpretation A→ B: map from the term operations of A to termoperations of B which maps projections to projections andpreserves composition
I Interpretations A→ B essentially the same as interpretationsHSP(A)→ HSP(B)
I Depends only on the clone of A and the clone of B
Examples of interpretations between clones A→ B:
I Inclusion (A): when B contains A
I Diagonal map (P): when B = An
I Restriction to B (S): when B ≤ A
I Quotient modulo ∼ (H): when B = A/ ∼Birkhoff theorem ⇒ ∀ interpretation is of the form A ◦ H ◦ S ◦ P.
![Page 17: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/17.jpg)
Interpretation between algebras
A, B: algebras
Interpretation A→ B: map from the term operations of A to termoperations of B which maps projections to projections andpreserves composition
I Interpretations A→ B essentially the same as interpretationsHSP(A)→ HSP(B)
I Depends only on the clone of A and the clone of B
Examples of interpretations between clones A→ B:
I Inclusion (A): when B contains A
I Diagonal map (P): when B = An
I Restriction to B (S): when B ≤ A
I Quotient modulo ∼ (H): when B = A/ ∼Birkhoff theorem ⇒ ∀ interpretation is of the form A ◦ H ◦ S ◦ P.
![Page 18: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/18.jpg)
Interpretation between algebras
A, B: algebras
Interpretation A→ B: map from the term operations of A to termoperations of B which maps projections to projections andpreserves composition
I Interpretations A→ B essentially the same as interpretationsHSP(A)→ HSP(B)
I Depends only on the clone of A and the clone of B
Examples of interpretations between clones A→ B:
I Inclusion (A): when B contains A
I Diagonal map (P): when B = An
I Restriction to B (S): when B ≤ A
I Quotient modulo ∼ (H): when B = A/ ∼Birkhoff theorem ⇒ ∀ interpretation is of the form A ◦ H ◦ S ◦ P.
![Page 19: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/19.jpg)
Interpretation between algebras
A, B: algebras
Interpretation A→ B: map from the term operations of A to termoperations of B which maps projections to projections andpreserves composition
I Interpretations A→ B essentially the same as interpretationsHSP(A)→ HSP(B)
I Depends only on the clone of A and the clone of B
Examples of interpretations between clones A→ B:
I Inclusion (A): when B contains A
I Diagonal map (P): when B = An
I Restriction to B (S): when B ≤ A
I Quotient modulo ∼ (H): when B = A/ ∼Birkhoff theorem ⇒ ∀ interpretation is of the form A ◦ H ◦ S ◦ P.
![Page 20: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/20.jpg)
Interpretation between algebras
A, B: algebras
Interpretation A→ B: map from the term operations of A to termoperations of B which maps projections to projections andpreserves composition
I Interpretations A→ B essentially the same as interpretationsHSP(A)→ HSP(B)
I Depends only on the clone of A and the clone of B
Examples of interpretations between clones A→ B:
I Inclusion (A): when B contains A
I Diagonal map (P): when B = An
I Restriction to B (S): when B ≤ A
I Quotient modulo ∼ (H): when B = A/ ∼
Birkhoff theorem ⇒ ∀ interpretation is of the form A ◦ H ◦ S ◦ P.
![Page 21: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/21.jpg)
Interpretation between algebras
A, B: algebras
Interpretation A→ B: map from the term operations of A to termoperations of B which maps projections to projections andpreserves composition
I Interpretations A→ B essentially the same as interpretationsHSP(A)→ HSP(B)
I Depends only on the clone of A and the clone of B
Examples of interpretations between clones A→ B:
I Inclusion (A): when B contains A
I Diagonal map (P): when B = An
I Restriction to B (S): when B ≤ A
I Quotient modulo ∼ (H): when B = A/ ∼Birkhoff theorem ⇒ ∀ interpretation is of the form A ◦ H ◦ S ◦ P.
![Page 22: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/22.jpg)
Interpretations are complicated
Theorem (B, 2006)
The category of varieties and interpretations is as complicated as itcan be.
For instance: every small category is a full subcategory of it
![Page 23: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/23.jpg)
(Part 2)Lattice of Interpretability
Neumann 74
Garcia, Taylor 84
![Page 24: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/24.jpg)
The lattice L
V ≤ W: if ∃ interpretation V → W
This is a quasiorder
Define V ∼ W iff V ≤ W and W ≤ V.
≤ modulo ∼ is a poset, in fact a lattice:
The lattice L of intepretability types of varieties
I V ≤ W iff W satisfies the “strong Maltsev” conditiondetermined by V
I i.e. V ≤ W iff W gives a stronger condition than VI A ≤ B iff Clo(B) ∈ AHSP Clo(A)
![Page 25: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/25.jpg)
The lattice L
V ≤ W: if ∃ interpretation V → W
This is a quasiorder
Define V ∼ W iff V ≤ W and W ≤ V.
≤ modulo ∼ is a poset, in fact a lattice:
The lattice L of intepretability types of varieties
I V ≤ W iff W satisfies the “strong Maltsev” conditiondetermined by V
I i.e. V ≤ W iff W gives a stronger condition than VI A ≤ B iff Clo(B) ∈ AHSP Clo(A)
![Page 26: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/26.jpg)
The lattice L
V ≤ W: if ∃ interpretation V → W
This is a quasiorder
Define V ∼ W iff V ≤ W and W ≤ V.
≤ modulo ∼ is a poset, in fact a lattice:
The lattice L of intepretability types of varieties
I V ≤ W iff W satisfies the “strong Maltsev” conditiondetermined by V
I i.e. V ≤ W iff W gives a stronger condition than VI A ≤ B iff Clo(B) ∈ AHSP Clo(A)
![Page 27: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/27.jpg)
The lattice L
V ≤ W: if ∃ interpretation V → W
This is a quasiorder
Define V ∼ W iff V ≤ W and W ≤ V.
≤ modulo ∼ is a poset, in fact a lattice:
The lattice L of intepretability types of varieties
I V ≤ W iff W satisfies the “strong Maltsev” conditiondetermined by V
I i.e. V ≤ W iff W gives a stronger condition than V
I A ≤ B iff Clo(B) ∈ AHSP Clo(A)
![Page 28: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/28.jpg)
The lattice L
V ≤ W: if ∃ interpretation V → W
This is a quasiorder
Define V ∼ W iff V ≤ W and W ≤ V.
≤ modulo ∼ is a poset, in fact a lattice:
The lattice L of intepretability types of varieties
I V ≤ W iff W satisfies the “strong Maltsev” conditiondetermined by V
I i.e. V ≤ W iff W gives a stronger condition than VI A ≤ B iff Clo(B) ∈ AHSP Clo(A)
![Page 29: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/29.jpg)
Meet and joins in L
V ∨W:
Disjoint union of signatures of V and W and identities
A ∧ B (A and B are clones)
Base set = A× B
operations are f × g , where f (resp. g) is an operation of A (resp.B)
![Page 30: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/30.jpg)
Meet and joins in L
V ∨W:
Disjoint union of signatures of V and W and identities
A ∧ B (A and B are clones)
Base set = A× B
operations are f × g , where f (resp. g) is an operation of A (resp.B)
![Page 31: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/31.jpg)
About L
I Has the bottom element 0 = Sets = Semigroups and the topelement (x ≈ y).
I Every poset embeds into L (follows from the theoremmentioned; known before Barkhudaryan, Trnkova)
I Open problem: which lattices embed into L?
I Many important classes of varieties are filters in L: congruencepermutable/n-permutable/distributive/modular. . . varieties;clones with CSP in P/NL/L, . . .
I Many important theorems talk (indirectly) about (subposetsof) L
I Every nonzero locally finite idempotent variety is above asingle nonzero variety Siggers
I NU = EDGE ∩ CD (as filters) Berman, Idziak, Markovic,McKenzie, Valeriote, Willard
I no finite member of CD \ NU is finitely related B
![Page 32: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/32.jpg)
About L
I Has the bottom element 0 = Sets = Semigroups and the topelement (x ≈ y).
I Every poset embeds into L (follows from the theoremmentioned; known before Barkhudaryan, Trnkova)
I Open problem: which lattices embed into L?
I Many important classes of varieties are filters in L: congruencepermutable/n-permutable/distributive/modular. . . varieties;clones with CSP in P/NL/L, . . .
I Many important theorems talk (indirectly) about (subposetsof) L
I Every nonzero locally finite idempotent variety is above asingle nonzero variety Siggers
I NU = EDGE ∩ CD (as filters) Berman, Idziak, Markovic,McKenzie, Valeriote, Willard
I no finite member of CD \ NU is finitely related B
![Page 33: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/33.jpg)
About L
I Has the bottom element 0 = Sets = Semigroups and the topelement (x ≈ y).
I Every poset embeds into L (follows from the theoremmentioned; known before Barkhudaryan, Trnkova)
I Open problem: which lattices embed into L?
I Many important classes of varieties are filters in L: congruencepermutable/n-permutable/distributive/modular. . . varieties;clones with CSP in P/NL/L, . . .
I Many important theorems talk (indirectly) about (subposetsof) L
I Every nonzero locally finite idempotent variety is above asingle nonzero variety Siggers
I NU = EDGE ∩ CD (as filters) Berman, Idziak, Markovic,McKenzie, Valeriote, Willard
I no finite member of CD \ NU is finitely related B
![Page 34: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/34.jpg)
About L
I Has the bottom element 0 = Sets = Semigroups and the topelement (x ≈ y).
I Every poset embeds into L (follows from the theoremmentioned; known before Barkhudaryan, Trnkova)
I Open problem: which lattices embed into L?
I Many important classes of varieties are filters in L: congruencepermutable/n-permutable/distributive/modular. . . varieties;clones with CSP in P/NL/L, . . .
I Many important theorems talk (indirectly) about (subposetsof) L
I Every nonzero locally finite idempotent variety is above asingle nonzero variety Siggers
I NU = EDGE ∩ CD (as filters) Berman, Idziak, Markovic,McKenzie, Valeriote, Willard
I no finite member of CD \ NU is finitely related B
![Page 35: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/35.jpg)
About L
I Has the bottom element 0 = Sets = Semigroups and the topelement (x ≈ y).
I Every poset embeds into L (follows from the theoremmentioned; known before Barkhudaryan, Trnkova)
I Open problem: which lattices embed into L?
I Many important classes of varieties are filters in L: congruencepermutable/n-permutable/distributive/modular. . . varieties;clones with CSP in P/NL/L, . . .
I Many important theorems talk (indirectly) about (subposetsof) L
I Every nonzero locally finite idempotent variety is above asingle nonzero variety Siggers
I NU = EDGE ∩ CD (as filters) Berman, Idziak, Markovic,McKenzie, Valeriote, Willard
I no finite member of CD \ NU is finitely related B
![Page 36: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/36.jpg)
About L
I Has the bottom element 0 = Sets = Semigroups and the topelement (x ≈ y).
I Every poset embeds into L (follows from the theoremmentioned; known before Barkhudaryan, Trnkova)
I Open problem: which lattices embed into L?
I Many important classes of varieties are filters in L: congruencepermutable/n-permutable/distributive/modular. . . varieties;clones with CSP in P/NL/L, . . .
I Many important theorems talk (indirectly) about (subposetsof) L
I Every nonzero locally finite idempotent variety is above asingle nonzero variety Siggers
I NU = EDGE ∩ CD (as filters) Berman, Idziak, Markovic,McKenzie, Valeriote, Willard
I no finite member of CD \ NU is finitely related B
![Page 37: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/37.jpg)
(Part 3)Prime filters
![Page 38: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/38.jpg)
The problem
Question
Which important filters F are prime? (V ∨W ∈ F ⇒ V ∈ F orW ∈ F ).
Examples
I NU is not prime (NU = EDGE ∩ CD)
I CD is not prime (CD = CM ∩ SD(∧))
Question: congruence permutable/n-permutable (fixn)/n-permutable (some n)/modular?
My motivation: Very basic syntactic question, close to thecategory theory I was doing, I should start with it
![Page 39: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/39.jpg)
The problem
Question
Which important filters F are prime? (V ∨W ∈ F ⇒ V ∈ F orW ∈ F ).
Examples
I NU is not prime (NU = EDGE ∩ CD)
I CD is not prime (CD = CM ∩ SD(∧))
Question: congruence permutable/n-permutable (fixn)/n-permutable (some n)/modular?
My motivation: Very basic syntactic question, close to thecategory theory I was doing, I should start with it
![Page 40: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/40.jpg)
The problem
Question
Which important filters F are prime? (V ∨W ∈ F ⇒ V ∈ F orW ∈ F ).
Examples
I NU is not prime (NU = EDGE ∩ CD)
I CD is not prime (CD = CM ∩ SD(∧))
Question: congruence permutable/n-permutable (fixn)/n-permutable (some n)/modular?
My motivation: Very basic syntactic question, close to thecategory theory I was doing, I should start with it
![Page 41: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/41.jpg)
The problem
Question
Which important filters F are prime? (V ∨W ∈ F ⇒ V ∈ F orW ∈ F ).
Examples
I NU is not prime (NU = EDGE ∩ CD)
I CD is not prime (CD = CM ∩ SD(∧))
Question: congruence permutable/n-permutable (fixn)/n-permutable (some n)/modular?
My motivation: Very basic syntactic question, close to thecategory theory I was doing, I should start with it
![Page 42: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/42.jpg)
(Part 4)Syntactic approach
![Page 43: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/43.jpg)
Congruence permutable varieties
V is congruence permutable
iff any pair of congruences of a member of V permutes
iff V has a Maltsev term m(x , y , y) ≈ m(y , y , x) ≈ x
Theorem (Tschantz, unpublished)
The filter of congruence permutable varieties is prime
Unfortunately
I The proof is complicated, long and technical
I Does not provide much insight
I Seems close to impossible to generalize
![Page 44: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/44.jpg)
Congruence permutable varieties
V is congruence permutable
iff any pair of congruences of a member of V permutes
iff V has a Maltsev term m(x , y , y) ≈ m(y , y , x) ≈ x
Theorem (Tschantz, unpublished)
The filter of congruence permutable varieties is prime
Unfortunately
I The proof is complicated, long and technical
I Does not provide much insight
I Seems close to impossible to generalize
![Page 45: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/45.jpg)
Congruence permutable varieties
V is congruence permutable
iff any pair of congruences of a member of V permutes
iff V has a Maltsev term m(x , y , y) ≈ m(y , y , x) ≈ x
Theorem (Tschantz, unpublished)
The filter of congruence permutable varieties is prime
Unfortunately
I The proof is complicated, long and technical
I Does not provide much insight
I Seems close to impossible to generalize
![Page 46: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/46.jpg)
Coloring terms by variables
Definition (Segueira, (B))
Let A be a set of equivalences on X . We say that V is A-colorable,if there exists c : FV(X )→ X such that c(x) = x for all x ∈ X and
∀ f , g ∈ FV(X ) ∀ α ∈ A f α g ⇒ c(f ) α c(g)
Example:
I X = {x , y , z}, A = {xy |z , x |yz}I FV(X ) = ternary terms modulo identities of V,
I A-colorability meansIf f (x , x , z) ≈ g(x , x , z) then (c(f ), c(g)) ∈ xy |zIf f (x , z , z) ≈ g(x , z , z) then (c(f ), c(g)) ∈ x |yz
I If V has a Maltsev term then it is not A-colorable
I The converse is also true
![Page 47: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/47.jpg)
Coloring terms by variables
Definition (Segueira, (B))
Let A be a set of equivalences on X . We say that V is A-colorable,if there exists c : FV(X )→ X such that c(x) = x for all x ∈ X and
∀ f , g ∈ FV(X ) ∀ α ∈ A f α g ⇒ c(f ) α c(g)
Example:
I X = {x , y , z}, A = {xy |z , x |yz}I FV(X ) = ternary terms modulo identities of V,
I A-colorability meansIf f (x , x , z) ≈ g(x , x , z) then (c(f ), c(g)) ∈ xy |zIf f (x , z , z) ≈ g(x , z , z) then (c(f ), c(g)) ∈ x |yz
I If V has a Maltsev term then it is not A-colorable
I The converse is also true
![Page 48: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/48.jpg)
Coloring terms by variables
Definition (Segueira, (B))
Let A be a set of equivalences on X . We say that V is A-colorable,if there exists c : FV(X )→ X such that c(x) = x for all x ∈ X and
∀ f , g ∈ FV(X ) ∀ α ∈ A f α g ⇒ c(f ) α c(g)
Example:
I X = {x , y , z}, A = {xy |z , x |yz}I FV(X ) = ternary terms modulo identities of V,
I A-colorability meansIf f (x , x , z) ≈ g(x , x , z) then (c(f ), c(g)) ∈ xy |zIf f (x , z , z) ≈ g(x , z , z) then (c(f ), c(g)) ∈ x |yz
I If V has a Maltsev term then it is not A-colorable
I The converse is also true
![Page 49: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/49.jpg)
Coloring terms by variables
Definition (Segueira, (B))
Let A be a set of equivalences on X . We say that V is A-colorable,if there exists c : FV(X )→ X such that c(x) = x for all x ∈ X and
∀ f , g ∈ FV(X ) ∀ α ∈ A f α g ⇒ c(f ) α c(g)
Example:
I X = {x , y , z}, A = {xy |z , x |yz}I FV(X ) = ternary terms modulo identities of V,
I A-colorability meansIf f (x , x , z) ≈ g(x , x , z) then (c(f ), c(g)) ∈ xy |zIf f (x , z , z) ≈ g(x , z , z) then (c(f ), c(g)) ∈ x |yz
I If V has a Maltsev term then it is not A-colorable
I The converse is also true
![Page 50: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/50.jpg)
Coloring terms by variables
Definition (Segueira, (B))
Let A be a set of equivalences on X . We say that V is A-colorable,if there exists c : FV(X )→ X such that c(x) = x for all x ∈ X and
∀ f , g ∈ FV(X ) ∀ α ∈ A f α g ⇒ c(f ) α c(g)
Example:
I X = {x , y , z}, A = {xy |z , x |yz}I FV(X ) = ternary terms modulo identities of V,
I A-colorability meansIf f (x , x , z) ≈ g(x , x , z) then (c(f ), c(g)) ∈ xy |zIf f (x , z , z) ≈ g(x , z , z) then (c(f ), c(g)) ∈ x |yz
I If V has a Maltsev term then it is not A-colorable
I The converse is also true
![Page 51: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/51.jpg)
Coloring continued
I V is congruence permutable iff V is A-colorable for A = ...
I V is congruence n-permutable iff V is A-colorable for A = ...
I V is congruence modular iff V is A-colorable for A = ...
Results coming from this notion Sequeira, Bentz, Oprsal, (B):
I The join of two varieties which are linear and not congruencepermutable/n-permutable/modular is not congruencepermutable/ . . .
I If the filter of . . . is not prime then the counterexample mustbe complicated in some sense
Pros and cons
I + proofs are simple and natural
I - works (so far) only for linear identities
Open problem: For some natural class of filters, is it true that Fis prime iff members of F can be described by A-colorability forsome A?
![Page 52: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/52.jpg)
Coloring continued
I V is congruence permutable iff V is A-colorable for A = ...
I V is congruence n-permutable iff V is A-colorable for A = ...
I V is congruence modular iff V is A-colorable for A = ...
Results coming from this notion Sequeira, Bentz, Oprsal, (B):
I The join of two varieties which are linear and not congruencepermutable/n-permutable/modular is not congruencepermutable/ . . .
I If the filter of . . . is not prime then the counterexample mustbe complicated in some sense
Pros and cons
I + proofs are simple and natural
I - works (so far) only for linear identities
Open problem: For some natural class of filters, is it true that Fis prime iff members of F can be described by A-colorability forsome A?
![Page 53: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/53.jpg)
Coloring continued
I V is congruence permutable iff V is A-colorable for A = ...
I V is congruence n-permutable iff V is A-colorable for A = ...
I V is congruence modular iff V is A-colorable for A = ...
Results coming from this notion Sequeira, Bentz, Oprsal, (B):
I The join of two varieties which are linear and not congruencepermutable/n-permutable/modular is not congruencepermutable/ . . .
I If the filter of . . . is not prime then the counterexample mustbe complicated in some sense
Pros and cons
I + proofs are simple and natural
I - works (so far) only for linear identities
Open problem: For some natural class of filters, is it true that Fis prime iff members of F can be described by A-colorability forsome A?
![Page 54: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/54.jpg)
Coloring continued
I V is congruence permutable iff V is A-colorable for A = ...
I V is congruence n-permutable iff V is A-colorable for A = ...
I V is congruence modular iff V is A-colorable for A = ...
Results coming from this notion Sequeira, Bentz, Oprsal, (B):
I The join of two varieties which are linear and not congruencepermutable/n-permutable/modular is not congruencepermutable/ . . .
I If the filter of . . . is not prime then the counterexample mustbe complicated in some sense
Pros and cons
I + proofs are simple and natural
I - works (so far) only for linear identities
Open problem: For some natural class of filters, is it true that Fis prime iff members of F can be described by A-colorability forsome A?
![Page 55: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/55.jpg)
(Part 5)Relational approach
![Page 56: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/56.jpg)
(pp)-interpretation between relational structures
Every clone A is equal to Pol(A) for some relational structure A,namely A = Inv(A)
A ≤ B iff there is a pp-interpretation A→ B
pp-interpretation = first order interpretation from logic where only∃,=,∧ are allowed
Examples of pp-interpretations
I pp-definitions
I induced substructures on a pp-definable subsets
I Cartesian powers of structures
I other powers
![Page 57: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/57.jpg)
(pp)-interpretation between relational structures
Every clone A is equal to Pol(A) for some relational structure A,namely A = Inv(A)
A ≤ B iff there is a pp-interpretation A→ B
pp-interpretation = first order interpretation from logic where only∃,=,∧ are allowed
Examples of pp-interpretations
I pp-definitions
I induced substructures on a pp-definable subsets
I Cartesian powers of structures
I other powers
![Page 58: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/58.jpg)
(pp)-interpretation between relational structures
Every clone A is equal to Pol(A) for some relational structure A,namely A = Inv(A)
A ≤ B iff there is a pp-interpretation A→ B
pp-interpretation = first order interpretation from logic where only∃,=,∧ are allowed
Examples of pp-interpretations
I pp-definitions
I induced substructures on a pp-definable subsets
I Cartesian powers of structures
I other powers
![Page 59: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/59.jpg)
(pp)-interpretation between relational structures
Every clone A is equal to Pol(A) for some relational structure A,namely A = Inv(A)
A ≤ B iff there is a pp-interpretation A→ B
pp-interpretation = first order interpretation from logic where only∃,=,∧ are allowed
Examples of pp-interpretations
I pp-definitions
I induced substructures on a pp-definable subsets
I Cartesian powers of structures
I other powers
![Page 60: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/60.jpg)
(pp)-interpretation between relational structures
Every clone A is equal to Pol(A) for some relational structure A,namely A = Inv(A)
A ≤ B iff there is a pp-interpretation A→ B
pp-interpretation = first order interpretation from logic where only∃,=,∧ are allowed
Examples of pp-interpretations
I pp-definitions
I induced substructures on a pp-definable subsets
I Cartesian powers of structures
I other powers
![Page 61: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/61.jpg)
Results
We have A,B outside F , we want C outside F such that A,B ≤ C
I Much easier!
I Proofs make sense.
Theorem
If V, W are not permutable/n-permutable for some n/modular and(*) then neither is V ∨W
I (*) = locally finite idempotent
I for n-permutability (*) = locally finite, or (*) = idempotentValeriote, Willard
I for modularity, it follows form the work of McGarry, Valeriote
![Page 62: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/62.jpg)
Results
We have A,B outside F , we want C outside F such that A,B ≤ C
I Much easier!
I Proofs make sense.
Theorem
If V, W are not permutable/n-permutable for some n/modular and(*) then neither is V ∨W
I (*) = locally finite idempotent
I for n-permutability (*) = locally finite, or (*) = idempotentValeriote, Willard
I for modularity, it follows form the work of McGarry, Valeriote
![Page 63: Prime Maltsev Conditions - University of Novi SadPrime Maltsev Conditions Libor Barto joint work with Jakub Opr sal Charles University in Prague NSAC 2013, June 7, 2013 Interpretations](https://reader033.fdocuments.us/reader033/viewer/2022060514/5f8412c794bead05fa5c5645/html5/thumbnails/63.jpg)
Results
We have A,B outside F , we want C outside F such that A,B ≤ C
I Much easier!
I Proofs make sense.
Theorem
If V, W are not permutable/n-permutable for some n/modular and(*) then neither is V ∨W
I (*) = locally finite idempotent
I for n-permutability (*) = locally finite, or (*) = idempotentValeriote, Willard
I for modularity, it follows form the work of McGarry, Valeriote