Discriminator Varieties of Double-Heyting Algebras Christopher - - PowerPoint PPT Presentation

discriminator varieties of double heyting algebras
SMART_READER_LITE
LIVE PREVIEW

Discriminator Varieties of Double-Heyting Algebras Christopher - - PowerPoint PPT Presentation

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Discriminator Varieties of Double-Heyting Algebras Christopher Taylor Supervised by Dr. Tomasz Kowalski and Emer. Prof. Brian Davey


slide-1
SLIDE 1

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras

Discriminator Varieties of Double-Heyting Algebras

Christopher Taylor

Supervised by Dr. Tomasz Kowalski and Emer. Prof. Brian Davey Department of Mathematics and Statistics La Trobe University

Algebra and Substructural Logics 5

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 1 / 12

slide-2
SLIDE 2

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Definitions Discriminator varieties

Definitions

Let L be a bounded distributive lattice and let x ∈ L. The relative pseudocomplement operation x → y satisfies the following equivalence x ∧ z ≤ y ⇐ ⇒ z ≤ x → y Dually, the dual relative pseudocomplement operation y − x (sometimes written x ← y) satisfies the equivalence x ∨ z ≥ y ⇐ ⇒ z ≥ y − x A double-Heyting algebra is a bounded distributive lattice with the additional operations defined above

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 2 / 12

slide-3
SLIDE 3

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Definitions Discriminator varieties

Definitions

Let L be a bounded distributive lattice and let x ∈ L. The relative pseudocomplement operation x → y satisfies the following equivalence x ∧ z ≤ y ⇐ ⇒ z ≤ x → y Dually, the dual relative pseudocomplement operation y − x (sometimes written x ← y) satisfies the equivalence x ∨ z ≥ y ⇐ ⇒ z ≥ y − x A double-Heyting algebra is a bounded distributive lattice with the additional operations defined above

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 2 / 12

slide-4
SLIDE 4

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Definitions Discriminator varieties

Definitions

Let L be a bounded distributive lattice and let x ∈ L. The relative pseudocomplement operation x → y satisfies the following equivalence x ∧ z ≤ y ⇐ ⇒ z ≤ x → y Dually, the dual relative pseudocomplement operation y − x (sometimes written x ← y) satisfies the equivalence x ∨ z ≥ y ⇐ ⇒ z ≥ y − x A double-Heyting algebra is a bounded distributive lattice with the additional operations defined above

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 2 / 12

slide-5
SLIDE 5

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Definitions Discriminator varieties

Definitions

Let L be a bounded distributive lattice and let x ∈ L. The relative pseudocomplement operation x → y satisfies the following equivalence x ∧ z ≤ y ⇐ ⇒ z ≤ x → y Dually, the dual relative pseudocomplement operation y − x (sometimes written x ← y) satisfies the equivalence x ∨ z ≥ y ⇐ ⇒ z ≥ y − x A double-Heyting algebra is a bounded distributive lattice with the additional operations defined above

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 2 / 12

slide-6
SLIDE 6

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Definitions Discriminator varieties

The Discriminator Term

An algebra A is called a discriminator algebra if it has a discriminator term, i.e. a term t(x, y, z) where t(x, y, z) =

  • x

if x = y z

  • therwise

A discriminator variety is an equational class where there is a term t that is a discriminator term on every subdirectly irreducible member of the class

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 3 / 12

slide-7
SLIDE 7

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Definitions Discriminator varieties

The Discriminator Term

An algebra A is called a discriminator algebra if it has a discriminator term, i.e. a term t(x, y, z) where t(x, y, z) =

  • x

if x = y z

  • therwise

A discriminator variety is an equational class where there is a term t that is a discriminator term on every subdirectly irreducible member of the class

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 3 / 12

slide-8
SLIDE 8

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Definitions Discriminator varieties

The Discriminator Term

An algebra A is called a discriminator algebra if it has a discriminator term, i.e. a term t(x, y, z) where t(x, y, z) =

  • x

if x = y z

  • therwise

A discriminator variety is an equational class where there is a term t that is a discriminator term on every subdirectly irreducible member of the class

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 3 / 12

slide-9
SLIDE 9

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

The +∗ operation

Let H be a double-Heyting algebra. We can define the pseudocomplement of x ∈ H by x∗ := x → 0 Dually, the dual pseudocomplement of x ∈ H is given by x+ := 1 − x We set x0(+∗) = x, then define x(n+1)(+∗) := (xn(+∗))+∗ Lemma For any x we have x ≥ x+∗ ≥ x+∗+∗ ≥ · · · ≥ xn(+∗) ≥ . . .

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 4 / 12

slide-10
SLIDE 10

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

The +∗ operation

Let H be a double-Heyting algebra. We can define the pseudocomplement of x ∈ H by x∗ := x → 0 Dually, the dual pseudocomplement of x ∈ H is given by x+ := 1 − x We set x0(+∗) = x, then define x(n+1)(+∗) := (xn(+∗))+∗ Lemma For any x we have x ≥ x+∗ ≥ x+∗+∗ ≥ · · · ≥ xn(+∗) ≥ . . .

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 4 / 12

slide-11
SLIDE 11

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

The +∗ operation

Let H be a double-Heyting algebra. We can define the pseudocomplement of x ∈ H by x∗ := x → 0 Dually, the dual pseudocomplement of x ∈ H is given by x+ := 1 − x We set x0(+∗) = x, then define x(n+1)(+∗) := (xn(+∗))+∗ Lemma For any x we have x ≥ x+∗ ≥ x+∗+∗ ≥ · · · ≥ xn(+∗) ≥ . . .

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 4 / 12

slide-12
SLIDE 12

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

The +∗ operation

Let H be a double-Heyting algebra. We can define the pseudocomplement of x ∈ H by x∗ := x → 0 Dually, the dual pseudocomplement of x ∈ H is given by x+ := 1 − x We set x0(+∗) = x, then define x(n+1)(+∗) := (xn(+∗))+∗ Lemma For any x we have x ≥ x+∗ ≥ x+∗+∗ ≥ · · · ≥ xn(+∗) ≥ . . .

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 4 / 12

slide-13
SLIDE 13

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

The +∗ operation

Let H be a double-Heyting algebra. We can define the pseudocomplement of x ∈ H by x∗ := x → 0 Dually, the dual pseudocomplement of x ∈ H is given by x+ := 1 − x We set x0(+∗) = x, then define x(n+1)(+∗) := (xn(+∗))+∗ Lemma For any x we have x ≥ x+∗ ≥ x+∗+∗ ≥ · · · ≥ xn(+∗) ≥ . . .

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 4 / 12

slide-14
SLIDE 14

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

Normal filters

For a set F ⊆ H we say F is a filter if

F is an up-set F is closed under the operation ∧

If F is also closed under the term operation +∗ then we say F is a normal filter on H For any x ∈ H, the normal filter generated by x is given by N(x) =

  • m∈ω

↑xm(+∗)

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 5 / 12

slide-15
SLIDE 15

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

Normal filters

For a set F ⊆ H we say F is a filter if

F is an up-set F is closed under the operation ∧

If F is also closed under the term operation +∗ then we say F is a normal filter on H For any x ∈ H, the normal filter generated by x is given by N(x) =

  • m∈ω

↑xm(+∗)

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 5 / 12

slide-16
SLIDE 16

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

Normal filters

For a set F ⊆ H we say F is a filter if

F is an up-set F is closed under the operation ∧

If F is also closed under the term operation +∗ then we say F is a normal filter on H For any x ∈ H, the normal filter generated by x is given by N(x) =

  • m∈ω

↑xm(+∗)

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 5 / 12

slide-17
SLIDE 17

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

Congruences are determined by normal filters

Let NF(H) denote the lattice of normal filters of H For any F ∈ NF(H) define the congruence θ(F) by (x, y) ∈ θ(F) iff x ∧ f = y ∧ f for some f ∈ F Theorem The map θ : NF(H) → Con(H) as given above is an isomorphism.

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 6 / 12

slide-18
SLIDE 18

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

Congruences are determined by normal filters

Let NF(H) denote the lattice of normal filters of H For any F ∈ NF(H) define the congruence θ(F) by (x, y) ∈ θ(F) iff x ∧ f = y ∧ f for some f ∈ F Theorem The map θ : NF(H) → Con(H) as given above is an isomorphism.

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 6 / 12

slide-19
SLIDE 19

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

Congruences are determined by normal filters

Let NF(H) denote the lattice of normal filters of H For any F ∈ NF(H) define the congruence θ(F) by (x, y) ∈ θ(F) iff x ∧ f = y ∧ f for some f ∈ F Theorem The map θ : NF(H) → Con(H) as given above is an isomorphism.

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 6 / 12

slide-20
SLIDE 20

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras Normal filters Simple double-Heyting algebras

Simple if and only if +∗ has finite range

Lemma Let H be a double-Heyting algebra. Then H is simple if and

  • nly if for every x ∈ H with x = 1 there exists some nx < ω

where xnx(+∗) = 0. Proof. If H is simple there can only be two normal filters on H. In particular, for any x ∈ H with x = 1, we have N(x) = H ⇐ ⇒ 0 ∈ N(x) ⇐ ⇒ (∃nx < ω) 0 ∈ ↑xnx(+∗) as N(x) =

m∈ω ↑xm(+∗)

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 7 / 12

slide-21
SLIDE 21

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras The class Dn The main result

The class Dn

The class Dn is the equational class of double-Heyting algebras satisfying the following equation H x(n+1)(+∗) = xn(+∗)

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 8 / 12

slide-22
SLIDE 22

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras The class Dn The main result

The class Dn

Theorem Dn is a discriminator variety for every n < ω Proof sketch. We omit the proof that if H ∈ Dn is subdirectly irreducible, then xn(+∗) =

  • 1

if x = 1

  • therwise

Put x ↔ y := (x → y) ∧ (y → x). The discriminator term is [x ∧ (x ↔ y)n(+∗)+] ∨ [z ∧ (x ↔ y)n(+∗)]

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 9 / 12

slide-23
SLIDE 23

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras The class Dn The main result

The main result

An equational class K is said to be semisimple if every subdirectly irreducible algebra in K is simple. It is well-known that every discriminator variety is

  • semisimple. In general, the converse is not true.

For double-Heyting algebras, it is true Theorem Let V be an equational class of double-Heyting algebras. Then the following are equivalent.

1

V is a discriminator variety

2

V is semisimple

3

V ⊆ Dn for some n < ω

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 10 / 12

slide-24
SLIDE 24

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras The class Dn The main result

The main result

An equational class K is said to be semisimple if every subdirectly irreducible algebra in K is simple. It is well-known that every discriminator variety is

  • semisimple. In general, the converse is not true.

For double-Heyting algebras, it is true Theorem Let V be an equational class of double-Heyting algebras. Then the following are equivalent.

1

V is a discriminator variety

2

V is semisimple

3

V ⊆ Dn for some n < ω

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 10 / 12

slide-25
SLIDE 25

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras The class Dn The main result

The main result

An equational class K is said to be semisimple if every subdirectly irreducible algebra in K is simple. It is well-known that every discriminator variety is

  • semisimple. In general, the converse is not true.

For double-Heyting algebras, it is true Theorem Let V be an equational class of double-Heyting algebras. Then the following are equivalent.

1

V is a discriminator variety

2

V is semisimple

3

V ⊆ Dn for some n < ω

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 10 / 12

slide-26
SLIDE 26

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras The class Dn The main result

The main result

An equational class K is said to be semisimple if every subdirectly irreducible algebra in K is simple. It is well-known that every discriminator variety is

  • semisimple. In general, the converse is not true.

For double-Heyting algebras, it is true Theorem Let V be an equational class of double-Heyting algebras. Then the following are equivalent.

1

V is a discriminator variety

2

V is semisimple

3

V ⊆ Dn for some n < ω

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 10 / 12

slide-27
SLIDE 27

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras The class Dn The main result

Some required lemmas

Lemma Let H be a double-Heyting algebra and let x ∈ H. Then for any k < ω we have x+ ≤ xk(+∗)+k(+∗) Lemma Let L be a complete distributive lattice and let α, β ∈ L such that α is compact and α covers β. Put Γ := {γ ∈ L | γ ≥ β and γ α}. Then Γ ∈ Γ.

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 11 / 12

slide-28
SLIDE 28

Background Congruences in Double-Heyting Algebras Discriminator Varieties in Double-Heyting Algebras The class Dn The main result

The main result

Theorem Let V be an equational class of double-Heyting algebras. Then the following are equivalent.

1

V is a discriminator variety

2

V is semisimple

3

V ⊆ Dn for some n < ω

Chris Taylor Discriminator Varieties of Double-Heyting Algebras 12 / 12