SMALL CONGRUENCE LATTICES
|
|
- Neil Spencer
- 5 years ago
- Views:
Transcription
1 SMALL CONGRUENCE LATTICES William DeMeo University of South Carolina joint work with Ralph Freese, Peter Jipsen, Bill Lampe, J.B. Nation BLAST Conference Chapman University August 5 9, 2013
2 THE PROBLEM CHARACTERIZE CONGRUENCE LATTICES OF FINITE ALGEBRAS. For an arbitrary algebra, there is essentially no restriction on the shape of its congruence lattice. THEOREM (GRÄTZER-SCHMIDT, 1963) Every algebraic lattice is isomorphic to the congruence lattice of an algebra.
3 THE PROBLEM CHARACTERIZE CONGRUENCE LATTICES OF FINITE ALGEBRAS. For an arbitrary algebra, there is essentially no restriction on the shape of its congruence lattice. THEOREM (GRÄTZER-SCHMIDT, 1963) Every algebraic lattice is isomorphic to the congruence lattice of an algebra. If an algebra is finite, then its congruence lattice is...
4 THE PROBLEM CHARACTERIZE CONGRUENCE LATTICES OF FINITE ALGEBRAS. For an arbitrary algebra, there is essentially no restriction on the shape of its congruence lattice. THEOREM (GRÄTZER-SCHMIDT, 1963) Every algebraic lattice is isomorphic to the congruence lattice of an algebra. If an algebra is finite, then its congruence lattice is... finite.
5 THE PROBLEM CHARACTERIZE CONGRUENCE LATTICES OF FINITE ALGEBRAS. For an arbitrary algebra, there is essentially no restriction on the shape of its congruence lattice. THEOREM (GRÄTZER-SCHMIDT, 1963) Every algebraic lattice is isomorphic to the congruence lattice of an algebra. If an algebra is finite, then its congruence lattice is... finite. Problem: Given an arbitrary finite lattice L, does there exist finite algebra A such that Con A = L? DEFINITION We call a finite lattice representable if it is (isomorphic to) the congruence lattice of a finite algebra.
6 A FEW IMPORTANT THEOREMS THEOREM (PUDLÁK AND TŮMA, 1980) Every finite lattice can be embedded in Eq(X), with X finite.
7 A FEW IMPORTANT THEOREMS THEOREM (PUDLÁK AND TŮMA, 1980) Every finite lattice can be embedded in Eq(X), with X finite. THEOREM (PÉTER PÁL PÁLFY AND PAVEL PUDLÁK, 1980) The following statements are equivalent: (I) Every finite lattice is representable. (II) Every finite lattice is isomorphic to an interval in the subgroup lattice of a finite group.
8 A FEW IMPORTANT THEOREMS THEOREM (PUDLÁK AND TŮMA, 1980) Every finite lattice can be embedded in Eq(X), with X finite. THEOREM (PÉTER PÁL PÁLFY AND PAVEL PUDLÁK, 1980) The following statements are equivalent: (I) Every finite lattice is representable. (II) Every finite lattice is isomorphic to an interval in the subgroup lattice of a finite group. THEOREM (BERMAN, QUACKENBUSH & WOLK, 1970) Every finite distributive lattice is representable.
9 PART 1: METHODS Given a finite lattice L, find a finite algebra A with Con A = L.
10 HOW TO FIND A FINITE ALGEBRA WITH A GIVEN CONGRUENCE LATTICE?
11 HOW TO FIND A FINITE ALGEBRA WITH A GIVEN CONGRUENCE LATTICE? 1. USE CLOSURE PROPERTIES Relate the given lattice to other lattices known to be representable. If L is representable, so is A. the dual of L (Kurzweil 1985, Netter) B. any interval sublattice of L (follows from A.) C. any sublattice that is the union of a principal filter and principal idea of L (Snow, 2000) If L 1 and L 2 are representable, so is 1. the direct product of L 1 and L 2 (Tůma1989) 2. the ordinal sum of L 1 and L 2 (McKenzie 1984, Snow 2000) 3. the parallel sum of L 1 and L 2 (Snow 2000)
12 HOW TO FIND A FINITE ALGEBRA WITH A GIVEN CONGRUENCE LATTICE? 2. THE CLOSURE METHOD Find a closed representation of L in Eq(X). YAGC For L Eq(X) define For F X X define λ(l) = {f X X : ( θ L) f (θ) θ} ρ(f) = {θ Eq(X) : ( f F) f (θ) θ} The map ρλ is a closure operator on Sub[Eq(X)]. (idempotent, extensive, order preserving)
13 HOW TO FIND A FINITE ALGEBRA WITH A GIVEN CONGRUENCE LATTICE? 2. THE CLOSURE METHOD Find a closed representation of L in Eq(X). YAGC For L Eq(X) define For F X X define λ(l) = {f X X : ( θ L) f (θ) θ} ρ(f) = {θ Eq(X) : ( f F) f (θ) θ} The map ρλ is a closure operator on Sub[Eq(X)]. (idempotent, extensive, order preserving) THEOREM A lattice L Eq(X) is a congruence lattice if and only if it is closed, i.e. ρλ(l) = L, in which case L = Con X, λ(l).
14 HOW TO FIND A FINITE ALGEBRA WITH A GIVEN CONGRUENCE LATTICE? 2. THE CLOSURE METHOD Find a closed representation of L in Eq(X). YAGC For L Eq(X) define For F X X define λ(l) = {f X X : ( θ L) f (θ) θ} ρ(f) = {θ Eq(X) : ( f F) f (θ) θ} The map ρλ is a closure operator on Sub[Eq(X)]. (idempotent, extensive, order preserving) THEOREM A lattice L Eq(X) is a congruence lattice if and only if it is closed, i.e. ρλ(l) = L, in which case L = Con X, λ(l). Example: M 3 = L Eq(5)
15 HOW TO FIND A FINITE ALGEBRA WITH A GIVEN CONGRUENCE LATTICE? 3. THE G-SET METHOD Find L as an interval in a subgroup lattice of a finite group. If H G are finite groups, then the filter above H in Sub(G), H, G := {K : H K G}, is isomorphic to Con G/H, Ḡ.
16 HOW TO FIND A FINITE ALGEBRA WITH A GIVEN CONGRUENCE LATTICE? 3. THE G-SET METHOD Find L as an interval in a subgroup lattice of a finite group. If H G are finite groups, then the filter above H in Sub(G), H, G := {K : H K G}, is isomorphic to Con G/H, Ḡ. 4. THE RABBIT EARS METHOD (AKA OVERALGEBRAS, AKA EXPANSION-EXTENSION) Build the required algebra by gluing together isomorphic copies of an algebra and adding new operations.
17 THE G-SET METHOD: DETAILS For groups H G, let A = H\G, Ḡ denote the algebra with universe: the right cosets H\G = {Hx : x G} operations: Ḡ = {g A : g G}, where g A (Hx) = Hxg.
18 THE G-SET METHOD: DETAILS For groups H G, let A = H\G, Ḡ denote the algebra with universe: the right cosets H\G = {Hx : x G} operations: Ḡ = {g A : g G}, where g A (Hx) = Hxg. THEOREM Con A = H, G := {K : H K G}. The isomorphism H, G K θ K Con A is given by θ K = {(Hx, Hy) : xy 1 K}. The inverse isomorphism Con A θ K θ H, G is K θ = {g G : (H, Hg) θ}.
19 THE G-SET METHOD: DETAILS For groups H G, let A = H\G, Ḡ denote the algebra with universe: the right cosets H\G = {Hx : x G} operations: Ḡ = {g A : g G}, where g A (Hx) = Hxg. THEOREM Con A = H, G := {K : H K G}. The isomorphism H, G K θ K Con A is given by θ K = {(Hx, Hy) : xy 1 K}. The inverse isomorphism Con A θ K θ H, G is K θ = {g G : (H, Hg) θ}. Aside: properties of such congruence lattices correspond to properties of subgroup lattices. For example, LEMMA In Con H\G, Ḡ, two congruences, θ K1 and θ K2, n-permute if and only if the corresponding subgroups, K 1 and K 2, n-permute.
20 FILTER+IDEAL METHOD: DETAILS LEMMA Suppose L 0 = Con A, F, and α, β L0 \ {0, 1}. L 0 β α
21 FILTER+IDEAL METHOD: DETAILS LEMMA Suppose L 0 = Con A, F, and α, β L0 \ {0, 1}. Consider L = α β. L L 0 β α
22 FILTER+IDEAL METHOD: DETAILS LEMMA Suppose L 0 = Con A, F, and α, β L0 \ {0, 1}. Consider L = α β. There exists a set F A A such that L = Con A, F F. L L 0 β α
23 FILTER+IDEAL METHOD: DETAILS LEMMA Suppose L 0 = Con A, F, and α, β L0 \ {0, 1}. Consider L = α β. There exists a set F A A such that L = Con A, F F. Proof: Fix θ L 0 \ L. Then α θ β, so (a, b) α \ θ, (u, v) θ \ β. L L 0 Define f θ : A A by f θ (x) = { a b x u/β, x / u/β. Then (f θ (u), f θ (v)) = (a, b) / θ, so f θ (θ) θ, ker f θ β, so f θ (γ) γ for all γ β, f θ (A) {a, b}, so f θ (γ) γ for all γ α. α θ β Let F = {f θ : θ L 0 \ L}.
24 PART 2: ATLAS Which finite lattices are known to be representable?
25 LATTICES WITH AT MOST 6 ELEMENTS ARE REPRESENTABLE. Watatani (1996) J. Funct. Anal. Aschbacher (2008) JAMS
26 LATTICES WITH AT MOST 6 ELEMENTS ARE REPRESENTABLE. Watatani (1996) J. Funct. Anal. Aschbacher (2008) JAMS Theorem: Lattices with at most 6 elements are intervals in subgroup lattices of finite groups.
27 ARE ALL LATTICES WITH AT MOST 7 ELEMENTS REPRESENTABLE? As of Spring Figure courtesy of Peter Jipsen.
28 ARE ALL LATTICES WITH AT MOST 7 ELEMENTS REPRESENTABLE? L 19 L 20 L 17 L 13 L 11 L 9 L 10
29 ARE ALL LATTICES WITH AT MOST 7 ELEMENTS REPRESENTABLE? L 19 L 20 L 17 L 13 L 11 L 9 L 10
30 FINDING REPRESENTATIONS......AS INTERVALS IN SUBGROUP LATTICES L 17 L 13
31 FINDING REPRESENTATIONS......AS INTERVALS IN SUBGROUP LATTICES G L 17 H SmallGroup(288,1025) G : H = 48 The group G = (A 4 A 4) C 2 has a subgroup H = S 3 such that H, G = L so the dual L 16 is also representable. L 13
32 FINDING REPRESENTATIONS......AS INTERVALS IN SUBGROUP LATTICES G L 17 H SmallGroup(288,1025) G : H = 48 The group G = (A 4 A 4) C 2 has a subgroup H = S 3 such that H, G = L so the dual L 16 is also representable. G L 13 The group G = (C 2 C 2 C 2 C 2) A 5 has a subgroup H = A 4 such that H, G = L 13. H SmallGroup(960,11358) G : H = 80
33 ARE ALL LATTICES WITH AT MOST 7 ELEMENTS REPRESENTABLE? L 19 L 20 L 17 L 13 L 11 L 9 L 10
34 FINDING REPRESENTATIONS......USING SUBGROUP LATTICE INTERVALS AND THE FILTER+IDEAL LEMMA. L 11
35 FINDING REPRESENTATIONS......USING SUBGROUP LATTICE INTERVALS AND THE FILTER+IDEAL LEMMA. SmallGroup(288,1025) G L 11 β γ H α Let G = (A 4 A 4) C 2. G has a subgroup H = C 6 with H, G = N 5. Let H, G = {H, α, β, γ, G} = N 5. 1 G : H = 48
36 FINDING REPRESENTATIONS......USING SUBGROUP LATTICE INTERVALS AND THE FILTER+IDEAL LEMMA. SmallGroup(288,1025) G L 11 β γ K H α Let G = (A 4 A 4) C 2. G has a subgroup H = C 6 with H, G = N 5. Let H, G = {H, α, β, γ, G} = N 5. Sub(G) is a congruence lattice, so if there exists a subgroup K 1, below β and not below γ, then 1 G : H = 48 L 11 = K H.
37 FINDING REPRESENTATIONS......USING SUBGROUP LATTICE INTERVALS AND THE FILTER+IDEAL LEMMA. SmallGroup(288,1025) G L 11 β γ K H α Let G = (A 4 A 4) C 2. G has a subgroup H = C 6 with H, G = N 5. Let H, G = {H, α, β, γ, G} = N 5. Sub(G) is a congruence lattice, so if there exists a subgroup K 1, below β and not below γ, then 1 G : H = 48 L 11 = K H. L 17 A 4 P V 4 Sub(A 4) is a congruence lattice (of A 4 acting regularly on itself). Therefore, L 17 = V 4 P is a congruence lattice.
38 ARE ALL LATTICES WITH AT MOST 7 ELEMENTS REPRESENTABLE? L 19 L 20 L 17 L 13 L 11 L 9 L 10
39 ARE ALL LATTICES WITH AT MOST 7 ELEMENTS REPRESENTABLE? L 19 L 20 L 17 L 13 L 11 L 9 L 10
40 CONSTRUCTION OF AN ALGEBRA A WITH Con A = L 9. M 4 L 9
41 CONSTRUCTION OF AN ALGEBRA A WITH Con A = L 9. STEP 1 Take a permutational algebra B = B, F with congruence lattice Con B = M 4. 1 B α β γ δ Con B 0 B L 9
42 CONSTRUCTION OF AN ALGEBRA A WITH Con A = L 9. 1 B α β γ δ Con B 0 B STEP 1 Take a permutational algebra B = B, F with congruence lattice Con B = M 4. Example: Let B = {0, 1,..., 5} index the elements of S 3 and consider the right regular action of S 3 on itself. g 0 = (0, 4)(1, 3)(2, 5) and g 1 = (0, 1, 2)(3, 4, 5) generate this action group, the image of S 3 S 6. Con B, {g 0, g 1 } = M 4 with congruences α = , β = , γ = , δ = L 9
43 CONSTRUCTION OF AN ALGEBRA A WITH Con A = L 9. 1 B α β γ δ Con B 0 B STEP 1 Take a permutational algebra B = B, F with congruence lattice Con B = M 4. Example: Let B = {0, 1,..., 5} index the elements of S 3 and consider the right regular action of S 3 on itself. g 0 = (0, 4)(1, 3)(2, 5) and g 1 = (0, 1, 2)(3, 4, 5) generate this action group, the image of S 3 S 6. Con B, {g 0, g 1 } = M 4 with congruences α = , β = , γ = , δ = Goal: expand B to an algebra A that has α doubled in Con A. α α Con A
44 CONSTRUCTION OF AN ALGEBRA A WITH Con A = L 9. 1 B α β γ δ Con B 0 B STEP 1 Take a permutational algebra B = B, F with congruence lattice Con B = M 4. Example: Let B = {0, 1,..., 5} index the elements of S 3 and consider the right regular action of S 3 on itself. g 0 = (0, 4)(1, 3)(2, 5) and g 1 = (0, 1, 2)(3, 4, 5) generate this action group, the image of S 3 S 6. Con B, {g 0, g 1 } = M 4 with congruences α = , β = , γ = , δ = Goal: expand B to an algebra A that has α doubled in Con A. α α Con A STEP 2 Since α = Cg B (0, 2), we let A = B 0 B 1 B 2 where B 0 = {0, 1, 2, 3, 4, 5} = B B 1 = {0, 6, 7, 8, 9, 10} B 2 = {11, 12, 2, 13, 14, 15}.
45 CONSTRUCTION OF AN ALGEBRA A WITH Con A = L 9. 1 B α β γ δ Con B 0 B STEP 1 Take a permutational algebra B = B, F with congruence lattice Con B = M 4. Example: Let B = {0, 1,..., 5} index the elements of S 3 and consider the right regular action of S 3 on itself. g 0 = (0, 4)(1, 3)(2, 5) and g 1 = (0, 1, 2)(3, 4, 5) generate this action group, the image of S 3 S 6. Con B, {g 0, g 1 } = M 4 with congruences α = , β = , γ = , δ = Goal: expand B to an algebra A that has α doubled in Con A. α α Con A STEP 2 Since α = Cg B (0, 2), we let A = B 0 B 1 B 2 where B 0 = {0, 1, 2, 3, 4, 5} = B B 1 = {0, 6, 7, 8, 9, 10} B 2 = {11, 12, 2, 13, 14, 15}. STEP 3 Define unary operations e 0, e 1, e 2, s, g 0e 0, and g 1e 0.
46 CONSTRUCTION OF AN ALGEBRA A WITH Con A = L 9. 1 B 1 A α β γ δ α α β γ δ 0 B 0 A Con A, F A α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10, 13, 14, 15 α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10 13, 14, 15 β = 0, 3, 8 1, 4 2, 5, 15 6, 9 7, 10 11, 13 12, 14 γ = 0, 4, 9 1, 5 2, 3, 13 6, 10 7, 8 11, 14 12, 15 δ = 0, 5, 10 1, 3 2, 4, 14 6, 8 7, 9, 11, 15 12, 13
47 CONSTRUCTION OF AN ALGEBRA A WITH Con A = L 9. 1 B 1 A α β γ δ α α β γ δ 0 B 0 A Con A, F A α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10, 13, 14, 15 α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10 13, 14, 15 β = 0, 3, 8 1, 4 2, 5, 15 6, 9 7, 10 11, 13 12, 14 γ = 0, 4, 9 1, 5 2, 3, 13 6, 10 7, 8 11, 14 12, 15 δ = 0, 5, 10 1, 3 2, 4, 14 6, 8 7, 9, 11, 15 12, 13 α = α B 2 = α B 2, β = β B 2,...
48 B 0
49 α B 0 2 5
50 β B 0 2 5
51 γ B 0 2 5
52 δ B 0 2 5
53 α B B 0 = { }
54 B 1 B B 0 A = B 0 B 1 B 2 B 1 = { } B 0 = { } B 2 = { }
55 B 1 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
56 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
57 10 9 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
58 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
59 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
60 B 0 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
61 7 10 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
62 B 0 B 2 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
63 B 0 B 2 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
64 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
65 B 0 B 2 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
66 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
67 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
68 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
69 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
70 B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
71 B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
72 B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
73 B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
74 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
75 B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
76 B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
77 B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
78 B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
79 B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
80 B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
81 B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
82 B 1 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
83 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
84 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
85 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
86 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
87 B B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
88 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
89 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
90 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
91 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
92 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
93 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
94 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
95 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
96 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
97 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
98 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
99 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
100 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
101 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
102 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
103 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
104 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
105 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
106 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
107 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
108 B A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
109 B 1 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
110 B 1 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
111 B 1 B B 0 A = B 0 B 1 B 2 Unary operations e 0: A B 0 e 1: A B 1 e 2: A B 2 s: A B 0 B 1 = { } B 0 = { } B 2 = { } ge 0: A e 0 g B 0 B 0
112 B 1 B B 0 Con A, F A α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10, 13, 14, 15 α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10 13, 14, 15 β = 0, 3, 8 1, 4 2, 5, 15 6, 9 7, 10 11, 13 12, 14 γ = 0, 4, 9 1, 5 2, 3, 13 6, 10 7, 8 11, 14 12, 15 δ = 0, 5, 10 1, 3 2, 4, 14 6, 8 7, 9, 11, 15 12, 13
113 B 1 B α B 0 Con A, F A α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10, 13, 14, 15 α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10 13, 14, 15 β = 0, 3, 8 1, 4 2, 5, 15 6, 9 7, 10 11, 13 12, 14 γ = 0, 4, 9 1, 5 2, 3, 13 6, 10 7, 8 11, 14 12, 15 δ = 0, 5, 10 1, 3 2, 4, 14 6, 8 7, 9, 11, 15 12, 13
114 B 1 B α 1 4 B Con A, F A α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10, 13, 14, 15 α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10 13, 14, 15 β = 0, 3, 8 1, 4 2, 5, 15 6, 9 7, 10 11, 13 12, 14 γ = 0, 4, 9 1, 5 2, 3, 13 6, 10 7, 8 11, 14 12, 15 δ = 0, 5, 10 1, 3 2, 4, 14 6, 8 7, 9, 11, 15 12, 13
115 B 1 B α 1 4 B Con A, F A α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10, 13, 14, 15 α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10 13, 14, 15 β = 0, 3, 8 1, 4 2, 5, 15 6, 9 7, 10 11, 13 12, 14 γ = 0, 4, 9 1, 5 2, 3, 13 6, 10 7, 8 11, 14 12, 15 δ = 0, 5, 10 1, 3 2, 4, 14 6, 8 7, 9, 11, 15 12, 13
116 B 1 B β B Con A, F A α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10, 13, 14, 15 α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10 13, 14, 15 β = 0, 3, 8 1, 4 2, 5, 15 6, 9 7, 10 11, 13 12, 14 γ = 0, 4, 9 1, 5 2, 3, 13 6, 10 7, 8 11, 14 12, 15 δ = 0, 5, 10 1, 3 2, 4, 14 6, 8 7, 9, 11, 15 12, 13
117 B 1 B β 1 4 B Con A, F A α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10, 13, 14, 15 α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10 13, 14, 15 β = 0, 3, 8 1, 4 2, 5, 15 6, 9 7, 10 11, 13 12, 14 γ = 0, 4, 9 1, 5 2, 3, 13 6, 10 7, 8 11, 14 12, 15 δ = 0, 5, 10 1, 3 2, 4, 14 6, 8 7, 9, 11, 15 12, 13
118 B 1 B β 1 4 B Con A, F A Why don t the β classes of B 1 and B 2 mix? α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10, 13, 14, 15 α = 0, 1, 2, 6, 7, 11, 12 3, 4, 5 8, 9, 10 13, 14, 15 β = 0, 3, 8 1, 4 2, 5, 15 6, 9 7, 10 11, 13 12, 14 γ = 0, 4, 9 1, 5 2, 3, 13 6, 10 7, 8 11, 14 12, 15 δ = 0, 5, 10 1, 3 2, 4, 14 6, 8 7, 9, 11, 15 12, 13
119 VARIATIONS ON THE SAME EXAMPLE... Suppose we want β = Cg B (0, 3) = 0, 3 2, 5 1, 4 to have non-trivial inverse image β 1 B = [β, β]. 1 B α β γ δ 0 B β B 0
120 VARIATIONS ON THE SAME EXAMPLE... Suppose we want β = Cg B (0, 3) = 0, 3 2, 5 1, 4 to have non-trivial inverse image β 1 B = [β, β]. Select elements 0 and 3 as intersection points: 1 B A = B 0 B 1 B 2 where α β γ δ B 0 = {0, 1, 2, 3, 4, 5} B 1 = {0, 6, 7, 8, 9, 10} B 2 = {11, 12, 13, 3, 14, 15}. 0 B β B 0
121 VARIATIONS ON THE SAME EXAMPLE... Suppose we want β = Cg B (0, 3) = 0, 3 2, 5 1, 4 to have non-trivial inverse image β 1 B = [β, β]. Select elements 0 and 3 as intersection points: 1 B A = B 0 B 1 B 2 where α β γ δ B 0 = {0, 1, 2, 3, 4, 5} B 1 = {0, 6, 7, 8, 9, 10} B 2 = {11, 12, 13, 3, 14, 15}. 0 B B β B B 0
122 VARIATIONS ON THE SAME EXAMPLE... Suppose we want β = Cg B (0, 3) = 0, 3 2, 5 1, 4 to have non-trivial inverse image β 1 B = [β, β]. Select elements 0 and 3 as intersection points: 1 B A = B 0 B 1 B 2 where α β γ δ B 0 = {0, 1, 2, 3, 4, 5} B 1 = {0, 6, 7, 8, 9, 10} B 2 = {11, 12, 13, 3, 14, 15}. 0 B B β α β β 1 A γ δ B B 0 0 A
123 VARIATIONS ON THE SAME EXAMPLE... Suppose we want β = Cg B (0, 3) = 0, 3 2, 5 1, 4 to have non-trivial inverse image β 1 B = [β, β]. Select elements 0 and 3 as intersection points: 1 B A = B 0 B 1 B 2 where α β γ δ B 0 = {0, 1, 2, 3, 4, 5} B 1 = {0, 6, 7, 8, 9, 10} B 2 = {11, 12, 13, 3, 14, 15}. 0 B B β α β β 1 A γ δ B B 0 0 A
124 VARIATIONS ON THE SAME EXAMPLE... Suppose we want β = Cg B (0, 3) = 0, 3 2, 5 1, 4 to have non-trivial inverse image β 1 B = [β, β]. Select elements 0 and 3 as intersection points: 1 B A = B 0 B 1 B 2 where α β γ δ B 0 = {0, 1, 2, 3, 4, 5} B 1 = {0, 6, 7, 8, 9, 10} B 2 = {11, 12, 13, 3, 14, 15}. 0 B B β ε α β 1 A β ε β γ δ B B 0 0 A
125 VARIATIONS ON THE SAME EXAMPLE... Suppose we want β = Cg B (0, 3) = 0, 3 2, 5 1, 4 to have non-trivial inverse image β 1 B = [β, β]. Select elements 0 and 3 as intersection points: 1 B A = B 0 B 1 B 2 where α β γ δ B 0 = {0, 1, 2, 3, 4, 5} B 1 = {0, 6, 7, 8, 9, 10} B 2 = {11, 12, 13, 3, 14, 15}. 0 B B β ε α β β ε β ε β 1 A γ δ B B 0 0 A
126 VARIATIONS ON THE SAME EXAMPLE... Suppose we want β = Cg B (0, 3) = 0, 3 2, 5 1, 4 to have non-trivial inverse image β 1 B = [β, β]. Select elements 0 and 3 as intersection points: 1 B A = B 0 B 1 B 2 where α β γ δ B 0 = {0, 1, 2, 3, 4, 5} B 1 = {0, 6, 7, 8, 9, 10} B 2 = {11, 12, 13, 3, 14, 15}. 0 B B β ε α β β ε β ε β 1 A γ δ B B 0 0 A
127 SEVEN ELEMENT LATTICES: SUMMARY L 19 L 20 L 17 L 13 L 11 L 9 L 7
128 SEVEN ELEMENT LATTICES: SUMMARY L 19 L 20 L 17 L 13 L 11 L 9 L 7
129 INTERVAL ENFORCEABLE PROPERTIES A minimal representation of L 7 must come from a transitive G-set. L 7
130 INTERVAL ENFORCEABLE PROPERTIES A minimal representation of L 7 must come from a transitive G-set. Suppose L 7 = H, G for some finite groups H < G. What can we say about the group G? G H
131 INTERVAL ENFORCEABLE PROPERTIES A minimal representation of L 7 must come from a transitive G-set. Suppose L 7 = H, G for some finite groups H < G. What can we say about the group G? If we prove G must have certain properties, then FLRP has a positive answer iff every finite lattice is an interval in the subgroup lattice of a group satisfying all of these properties. H G
132 INTERVAL ENFORCEABLE PROPERTIES A minimal representation of L 7 must come from a transitive G-set. Suppose L 7 = H, G for some finite groups H < G. What can we say about the group G? If we prove G must have certain properties, then FLRP has a positive answer iff every finite lattice is an interval in the subgroup lattice of a group satisfying all of these properties. PROPOSITION H G Suppose H < G, core G(H) = 1, L 7 = H, G. (I) G is a primitive permutation group. (II) If N G, then C G(N) = 1. (III) G contains no non-trivial abelian normal subgroup. (IV) G is not solvable. (V) G is subdirectly irreducible. (VI) With the possible exception of at most one maximal subgroup, all proper subgroups in the interval H, G are core-free.
133 OPEN PROBLEMS 1. Are homomorphic images of a representable lattices representable? 2. Are subdirect products of representable lattices representable? 3. Does representable imply group representable? i.e., is the congruence lattice of a finite algebra isomorphic to an interval in the subgroup lattice of a finite group? 4. Is the class of representable lattices recursive?
134 REMARKS ON THE PROBLEMS Are homomorphic images of representable lattices representable? If L = Con A, F and L is the homomorphic image {θ B 2 θ L}, where B = e(a) for some operation e 2 = e F, then L = Con B, F B.
135 REMARKS ON THE PROBLEMS Are homomorphic images of representable lattices representable? If L = Con A, F and L is the homomorphic image {θ B 2 θ L}, where B = e(a) for some operation e 2 = e F, then L = Con B, F B. Is the class of representable lattices recursive? In other words, is the membership problem for this class decidable? (Note that the class is recursively enumerable by the closure method.)
136 REMARKS ON THE PROBLEMS Are homomorphic images of representable lattices representable? If L = Con A, F and L is the homomorphic image {θ B 2 θ L}, where B = e(a) for some operation e 2 = e F, then L = Con B, F B. Is the class of representable lattices recursive? In other words, is the membership problem for this class decidable? (Note that the class is recursively enumerable by the closure method.) This question asks whether it s possible to write a program that, when given a finite lattice L, halts with output True if L is representable and False otherwise. A negative answer would solve the finite lattice representation problem.
137 OPEN PROBLEMS One approach: try to find a computable function f such that, if L is a representable lattice of size n, then L is representable as the congruence lattice of an algebra of cardinality f (n) or smaller. This would answer the decidability question, as follows: IsRepresentable( L ) { } n:= Size( L ) N:= f( n ) for each L in Sub[Eq(N)] { } if ( L isomorphic to L ) and ( L is closed ): return True return False
138 <ADVERTISEMENT> Workshop on Computational Universal Algebra Friday, October 4, 2013 University of Louisville, KY universalalgebra.wordpress.com
DEDEKIND S TRANSPOSITION PRINCIPLE
DEDEKIND S TRANSPOSITION PRINCIPLE AND PERMUTING SUBGROUPS & EQUIVALENCE RELATIONS William DeMeo williamdemeo@gmail.com University of South Carolina Zassenhaus Conference at WCU Asheville, NC May 24 26,
More informationCONGRUENCE LATTICES OF FINITE ALGEBRAS
CONGRUENCE LATTICES OF FINITE ALGEBRAS A DISSERTATION SUBMITTED TO THE GRADUATE DIVISION OF THE UNIVERSITY OF HAWAI I AT MĀNOA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY
More informationCONGRUENCE LATTICES OF FINITE ALGEBRAS
CONGRUENCE LATTICES OF FINITE ALGEBRAS A DISSERTATION SUBMITTED TO THE GRADUATE DIVISION OF THE UNIVERSITY OF HAWAI I AT MĀNOA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY
More informationThe finite congruence lattice problem
The finite congruence lattice problem Péter P. Pálfy Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences and Eötvös University, Budapest Summer School on General Algebra and Ordered Sets
More informationDEDEKIND S TRANSPOSITION PRINCIPLE
DEDEKIND S TRANSPOSITION PRINCIPLE AND ISOTOPIC ALGEBRAS WITH NONISOMORPHIC CONGRUENCE LATTICES William DeMeo williamdemeo@gmail.com University of South Carolina AMS Spring Western Sectional Meeting University
More informationNOTES ON THE FINITE LATTICE REPRESENTATION PROBLEM
NOTES ON THE FINITE LATTICE REPRESENTATION PROBLEM WILLIAM J. DEMEO Notation and Terminology. Given a finite lattice L, the expression L = [H, G] means there exist finite groups H < G such that L is isomorphic
More informationarxiv: v4 [math.ra] 8 Oct 2013
Expansions of finite algebras and their congruence lattices William DeMeo arxiv:1205.1106v4 [math.ra] 8 Oct 2013 This article is dedicated to Ralph Freese and Bill Lampe. Abstract. In this paper we present
More informationA CHARACTERIZATION OF LOCALLY FINITE VARIETIES THAT SATISFY A NONTRIVIAL CONGRUENCE IDENTITY
A CHARACTERIZATION OF LOCALLY FINITE VARIETIES THAT SATISFY A NONTRIVIAL CONGRUENCE IDENTITY KEITH A. KEARNES Abstract. We show that a locally finite variety satisfies a nontrivial congruence identity
More informationFinite Simple Abelian Algebras are Strictly Simple
Finite Simple Abelian Algebras are Strictly Simple Matthew A. Valeriote Abstract A finite universal algebra is called strictly simple if it is simple and has no nontrivial subalgebras. An algebra is said
More information10. Finite Lattices and their Congruence Lattices. If memories are all I sing I d rather drive a truck. Ricky Nelson
10. Finite Lattices and their Congruence Lattices If memories are all I sing I d rather drive a truck. Ricky Nelson In this chapter we want to study the structure of finite lattices, and how it is reflected
More informationCongruence lattices of finite algebras and intervals in subgroup lattices of finite groups
Algebra Universalis, 11 (1980) 22-27 Birkh~iuser Verlag, Basel Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups P~TER P~ P~FY AND PAVEL PUDLAK Introduction It
More informationOn the variety generated by planar modular lattices
On the variety generated by planar modular lattices G. Grätzer and R. W. Quackenbush Abstract. We investigate the variety generated by the class of planar modular lattices. The main result is a structure
More information3. Algebraic Lattices. The more I get, the more I want it seems... King Oliver
3. Algebraic Lattices The more I get, the more I want it seems... King Oliver In this section we want to focus our attention on the kind of closure operators and lattices that are associated with modern
More informationEmbedding theorems for normal divisible residuated lattices
Embedding theorems for normal divisible residuated lattices Chapman University Department of Mathematics and Computer Science Orange, California University of Siena Department of Mathematics and Computer
More informationRESIDUAL SMALLNESS AND WEAK CENTRALITY
RESIDUAL SMALLNESS AND WEAK CENTRALITY KEITH A. KEARNES AND EMIL W. KISS Abstract. We develop a method of creating skew congruences on subpowers of finite algebras using groups of twin polynomials, and
More informationNOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES
NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES G. GRÄTZER AND E. KNAPP Abstract. Let D be a finite distributive lattice with
More informationAN OVERVIEW OF MODERN UNIVERSAL ALGEBRA
AN OVERVIEW OF MODERN UNIVERSAL ALGEBRA ROSS WILLARD Abstract. This article, aimed specifically at young mathematical logicians, gives a gentle introduction to some of the central achievements and problems
More informationMath 222A W03 D. Congruence relations
Math 222A W03 D. 1. The concept Congruence relations Let s start with a familiar case: congruence mod n on the ring Z of integers. Just to be specific, let s use n = 6. This congruence is an equivalence
More informationCONGRUENCE MODULAR VARIETIES WITH SMALL FREE SPECTRA
CONGRUENCE MODULAR VARIETIES WITH SMALL FREE SPECTRA KEITH A. KEARNES Abstract. Let A be a finite algebra that generates a congruence modular variety. We show that the free spectrum of V(A) fails to have
More informationNOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES
NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES G. GRÄTZER AND E. KNAPP Abstract. Let D be a finite distributive lattice with
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.
MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is
More informationRemarks on categorical equivalence of finite unary algebras
Remarks on categorical equivalence of finite unary algebras 1. Background M. Krasner s original theorems from 1939 say that a finite algebra A (1) is an essentially multiunary algebra in which all operations
More informationPermutation groups/1. 1 Automorphism groups, permutation groups, abstract
Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.
More informationFinite pseudocomplemented lattices: The spectra and the Glivenko congruence
Finite pseudocomplemented lattices: The spectra and the Glivenko congruence T. Katriňák and J. Guričan Abstract. Recently, Grätzer, Gunderson and Quackenbush have characterized the spectra of finite pseudocomplemented
More informationDEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY
HANDOUT ABSTRACT ALGEBRA MUSTHOFA DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY 2012 BINARY OPERATION We are all familiar with addition and multiplication of two numbers. Both
More informationDefinition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson
Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson On almost every Friday of the semester, we will have a brief quiz to make sure you have memorized the definitions encountered in our studies.
More informationMATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions
MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,
More informationSUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS
SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P, let Co(P) denote the lattice of all order-convex
More informationThe Strength of the Grätzer-Schmidt Theorem
The Strength of the Grätzer-Schmidt Theorem Katie Brodhead Mushfeq Khan Bjørn Kjos-Hanssen William A. Lampe Paul Kim Long V. Nguyen Richard A. Shore September 26, 2015 Abstract The Grätzer-Schmidt theorem
More informationMath 588, Fall 2001 Problem Set 1 Due Sept. 18, 2001
Math 588, Fall 2001 Problem Set 1 Due Sept. 18, 2001 1. [Burris-Sanka. 1.1.9] Let A, be a be a finite poset. Show that there is a total (i.e., linear) order on A such that, i.e., a b implies a b. Hint:
More informationAn Overview of Residuated Kleene Algebras and Lattices Peter Jipsen Chapman University, California. 2. Background: Semirings and Kleene algebras
An Overview of Residuated Kleene Algebras and Lattices Peter Jipsen Chapman University, California 1. Residuated Lattices with iteration 2. Background: Semirings and Kleene algebras 3. A Gentzen system
More informationMath 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.
Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial
More information8. Distributive Lattices. Every dog must have his day.
8. Distributive Lattices Every dog must have his day. In this chapter and the next we will look at the two most important lattice varieties: distributive and modular lattices. Let us set the context for
More informationGalois Theory, summary
Galois Theory, summary Chapter 11 11.1. UFD, definition. Any two elements have gcd 11.2 PID. Every PID is a UFD. There are UFD s which are not PID s (example F [x, y]). 11.3 ED. Every ED is a PID (and
More informationExpansions of Heyting algebras
1 / 16 Expansions of Heyting algebras Christopher Taylor La Trobe University Topology, Algebra, and Categories in Logic Prague, 2017 Motivation Congruences on Heyting algebras are determined exactly by
More informationQuick course in Universal Algebra and Tame Congruence Theory
Quick course in Universal Algebra and Tame Congruence Theory Ross Willard University of Waterloo, Canada Workshop on Universal Algebra and the Constraint Satisfaction Problem Nashville, June 2007 (with
More informationAN AXIOMATIC FORMATION THAT IS NOT A VARIETY
AN AXIOMATIC FORMATION THAT IS NOT A VARIETY KEITH A. KEARNES Abstract. We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.
More informationCharacterizations of maximal-sized n-generated algebras
Characterizations of maximal-sized n-generated algebras Joel Berman Department of Mathematics, Statistics, and Computer Science University of Illinois at Chicago AMS Special Session on Universal Algebra
More informationLattice Theory Lecture 4. Non-distributive lattices
Lattice Theory Lecture 4 Non-distributive lattices John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Introduction Here we mostly consider
More informationEQUATIONS OF TOURNAMENTS ARE NOT FINITELY BASED
EQUATIONS OF TOURNAMENTS ARE NOT FINITELY BASED J. Ježek, P. Marković, M. Maróti and R. McKenzie Abstract. The aim of this paper is to prove that there is no finite basis for the equations satisfied by
More informationApproaching cosets using Green s relations and Schützenberger groups
Approaching cosets using Green s relations and Schützenberger groups Robert Gray Mini workshop in Algebra, CAUL April 2008 1 / 14 General question How are the properties of a semigroup related to those
More informationEquational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
More informationSubdirectly Irreducible Modes
Subdirectly Irreducible Modes Keith A. Kearnes Abstract We prove that subdirectly irreducible modes come in three very different types. From the description of the three types we derive the results that
More informationSemilattice Modes II: the amalgamation property
Semilattice Modes II: the amalgamation property Keith A. Kearnes Abstract Let V be a variety of semilattice modes with associated semiring R. We prove that if R is a bounded distributive lattice, then
More informationCongruence lattices and Compact Intersection Property
Congruence lattices and Compact Intersection Property Slovak Academy of Sciences, Košice June 8, 2013 Congruence lattices Problem. For a given class K of algebras describe Con K =all lattices isomorphic
More informationReceived: 1 September 2018; Accepted: 10 October 2018; Published: 12 October 2018
entropy Article Entropy Inequalities for Lattices Peter Harremoës Copenhagen Business College, Nørre Voldgade 34, 1358 Copenhagen K, Denmark; harremoes@ieee.org; Tel.: +45-39-56-41-71 Current address:
More informationSection III.15. Factor-Group Computations and Simple Groups
III.15 Factor-Group Computations 1 Section III.15. Factor-Group Computations and Simple Groups Note. In this section, we try to extract information about a group G by considering properties of the factor
More informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationFields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.
Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationLOCALLY SOLVABLE FACTORS OF VARIETIES
PROCEEDINGS OF HE AMERICAN MAHEMAICAL SOCIEY Volume 124, Number 12, December 1996, Pages 3619 3625 S 0002-9939(96)03501-0 LOCALLY SOLVABLE FACORS OF VARIEIES KEIH A. KEARNES (Communicated by Lance W. Small)
More informationAND. William DeMeo. joint work with. Cliff Bergman Jiali Li. Iowa State University BLAST 2015
THE ALGEBRAIC APPROACH TO CSP AND CSPS OF COMMUTATIVE IDEMPOTENT BINARS William DeMeo williamdemeo@gmail.com joint work with Cliff Bergman Jiali Li Iowa State University BLAST 2015 University of North
More informationOvergroups of Intersections of Maximal Subgroups of the. Symmetric Group. Jeffrey Kuan
Overgroups of Intersections of Maximal Subgroups of the Symmetric Group Jeffrey Kuan Abstract The O Nan-Scott theorem weakly classifies the maximal subgroups of the symmetric group S, providing some information
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationRESIDUALLY FINITE VARIETIES OF NONASSOCIATIVE ALGEBRAS
RESIDUALLY FINITE VARIETIES OF NONASSOCIATIVE ALGEBRAS KEITH A. KEARNES AND YOUNG JO KWAK Abstract. We prove that if V is a residually finite variety of nonassociative algebras over a finite field, and
More informationA note on congruence lattices of slim semimodular
A note on congruence lattices of slim semimodular lattices Gábor Czédli Abstract. Recently, G. Grätzer has raised an interesting problem: Which distributive lattices are congruence lattices of slim semimodular
More informationCOLLAPSING PERMUTATION GROUPS
COLLAPSING PERMUTATION GROUPS KEITH A. KEARNES AND ÁGNES SZENDREI Abstract. It is shown in [3] that any nonregular quasiprimitive permutation group is collapsing. In this paper we describe a wider class
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More informationFinitary Permutation Groups
Finitary Permutation Groups Combinatorics Study Group Notes by Chris Pinnock You wonder and you wonder until you wander out into Infinity, where - if it is to be found anywhere - Truth really exists. Marita
More informationCONSEQUENCES OF THE SYLOW THEOREMS
CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.
More informationPh.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018
Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The
More informationDefinably amenable groups in NIP
Definably amenable groups in NIP Artem Chernikov (Paris 7) Lyon, 21 Nov 2013 Joint work with Pierre Simon. Setting T is a complete first-order theory in a language L, countable for simplicity. M = T a
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
More informationSection 15 Factor-group computation and simple groups
Section 15 Factor-group computation and simple groups Instructor: Yifan Yang Fall 2006 Outline Factor-group computation Simple groups The problem Problem Given a factor group G/H, find an isomorphic group
More informationBoolean Semilattices
Boolean Semilattices Clifford Bergman Iowa State University June 2015 Motivating Construction Let G = G, be a groupoid (i.e., 1 binary operation) Form the complex algebra G + = Sb(G),,,,,, G X Y = { x
More informationA GUIDE FOR MORTALS TO TAME CONGRUENCE THEORY
A GUIDE FOR MORTALS TO TAME CONGRUENCE THEORY Tame congruence theory is not an easy subject and it takes a considerable amount of effort to understand it. When I started this project, I believed that this
More informationLattices, closure operators, and Galois connections.
125 Chapter 5. Lattices, closure operators, and Galois connections. 5.1. Semilattices and lattices. Many of the partially ordered sets P we have seen have a further valuable property: that for any two
More informationINTRODUCTION TO THE GROUP THEORY
Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationChapter 25 Finite Simple Groups. Chapter 25 Finite Simple Groups
Historical Background Definition A group is simple if it has no nontrivial proper normal subgroup. The definition was proposed by Galois; he showed that A n is simple for n 5 in 1831. It is an important
More informationCompletely regular semigroups and (Completely) (E, H E )-abundant semigroups (a.k.a. U-superabundant semigroups): Similarities and Contrasts
Completely regular semigroups and (Completely) (E, H E )-abundant semigroups (a.k.a. U-superabundant semigroups): Similarities and Contrasts Xavier MARY Université Paris-Ouest Nanterre-La Défense, Laboratoire
More informationHomework 2 /Solutions
MTH 912 Group Theory 1 F18 Homework 2 /Solutions #1. Let G be a Frobenius group with complement H and kernel K. Then K is a subgroup of G if and only if each coset of H in G contains at most one element
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationAM 106/206: Applied Algebra Madhu Sudan 1. Lecture Notes 11
AM 106/206: Applied Algebra Madhu Sudan 1 Lecture Notes 11 October 17, 2016 Reading: Gallian Chapters 9 & 10 1 Normal Subgroups Motivation: Recall that the cosets of nz in Z (a+nz) are the same as the
More informationABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.
ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS. ANDREW SALCH 1. Subgroups, conjugacy, normality. I think you already know what a subgroup is: Definition
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationMV-algebras and fuzzy topologies: Stone duality extended
MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationPermutation Groups and Transformation Semigroups Lecture 2: Semigroups
Permutation Groups and Transformation Semigroups Lecture 2: Semigroups Peter J. Cameron Permutation Groups summer school, Marienheide 18 22 September 2017 I am assuming that you know what a group is, but
More informationThe Blok-Ferreirim theorem for normal GBL-algebras and its application
The Blok-Ferreirim theorem for normal GBL-algebras and its application Chapman University Department of Mathematics and Computer Science Orange, California University of Siena Department of Mathematics
More informationSupplementary Notes: Simple Groups and Composition Series
18.704 Supplementary Notes: Simple Groups and Composition Series Genevieve Hanlon and Rachel Lee February 23-25, 2005 Simple Groups Definition: A simple group is a group with no proper normal subgroup.
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More informationγ γ γ γ(α) ). Then γ (a) γ (a ) ( γ 1
The Correspondence Theorem, which we next prove, shows that the congruence lattice of every homomorphic image of a Σ-algebra is isomorphically embeddable as a special kind of sublattice of the congruence
More informationChapter 9: Group actions
Chapter 9: Group actions Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Summer I 2014 M. Macauley (Clemson) Chapter 9: Group actions
More informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More informationA CLOSURE SYSTEM FOR ELEMENTARY SITUATIONS
Bulletin of the Section of Logic Volume 11:3/4 (1982), pp. 134 138 reedition 2009 [original edition, pp. 134 139] Bogus law Wolniewicz A CLOSURE SYSTEM FOR ELEMENTARY SITUATIONS 1. Preliminaries In [4]
More informationPermutation Groups. John Bamberg, Michael Giudici and Cheryl Praeger. Centre for the Mathematics of Symmetry and Computation
Notation Basics of permutation group theory Arc-transitive graphs Primitivity Normal subgroups of primitive groups Permutation Groups John Bamberg, Michael Giudici and Cheryl Praeger Centre for the Mathematics
More informationCHAPTER III NORMAL SERIES
CHAPTER III NORMAL SERIES 1. Normal Series A group is called simple if it has no nontrivial, proper, normal subgroups. The only abelian simple groups are cyclic groups of prime order, but some authors
More informationIDEMPOTENT n-permutable VARIETIES
IDEMPOTENT n-permutable VARIETIES M. VALERIOTE AND R. WILLARD Abstract. One of the important classes of varieties identified in tame congruence theory is the class of varieties which are n-permutable for
More informationAlgebraic Structures Exam File Fall 2013 Exam #1
Algebraic Structures Exam File Fall 2013 Exam #1 1.) Find all four solutions to the equation x 4 + 16 = 0. Give your answers as complex numbers in standard form, a + bi. 2.) Do the following. a.) Write
More informationFINITELY RELATED CLONES AND ALGEBRAS WITH CUBE-TERMS
FINITELY RELATED CLONES AND ALGEBRAS WITH CUBE-TERMS PETAR MARKOVIĆ, MIKLÓS MARÓTI, AND RALPH MCKENZIE Abstract. E. Aichinger, R. McKenzie, P. Mayr [1] have proved that every finite algebra with a cube-term
More informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationCongruence Computations in Principal Arithmetical Varieties
Congruence Computations in Principal Arithmetical Varieties Alden Pixley December 24, 2011 Introduction In the present note we describe how a single term which can be used for computing principal congruence
More informationFrom Semirings to Residuated Kleene Lattices
Peter Jipsen From Semirings to Residuated Kleene Lattices Abstract. We consider various classes of algebras obtained by expanding idempotent semirings with meet, residuals and Kleene-. An investigation
More informationCSIR - Algebra Problems
CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com
More informationSolutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3
Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group
More informationConjugacy in epigroups
October 2018 Conjugacy in epigroups António Malheiro (CMA/FCT/NOVA University of Lisbon) @ the York semigroup (joint work with João Araújo, Michael Kinyon, Janusz Konieczny) Acknowledgement: This work
More informationRings and Fields Theorems
Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)
More information1 + 1 = 2: applications to direct products of semigroups
1 + 1 = 2: applications to direct products of semigroups Nik Ruškuc nik@mcs.st-and.ac.uk School of Mathematics and Statistics, University of St Andrews Lisbon, 16 December 2010 Preview: 1 + 1 = 2... for
More information