Join-semilattices
Format as
Table
LaTeX
UACalc
Text
Filter by
Is subdirectly irreducible yes
no
Is simple yes
no
Find algebras of size
to
Counts:
1, 1, 2, 5, 15, 53
Show Con( ) yes
no
Show Sub( ) yes
no
Show Aut( ) yes
no
5 J 4,1 ∨ 0 1 2 3 0 0 3 3 3 1 3 1 3 3 2 3 3 2 3 3 3 3 3 3
6 J 4,2 ∨ 0 1 2 3 0 0 1 3 3 1 1 1 3 3 2 3 3 2 3 3 3 3 3 3
7 J 4,3 ∨ 0 1 2 3 0 0 1 2 3 1 1 1 3 3 2 2 3 2 3 3 3 3 3 3
8 J 4,4 ∨ 0 1 2 3 0 0 2 2 3 1 2 1 2 3 2 2 2 2 3 3 3 3 3 3
9 J 4,5 ∨ 0 1 2 3 0 0 1 2 3 1 1 1 2 3 2 2 2 2 3 3 3 3 3 3
10 J 5,1 ∨ 0 1 2 3 4 0 0 4 4 4 4 1 4 1 4 4 4 2 4 4 2 4 4 3 4 4 4 3 4 4 4 4 4 4 4
11 J 5,2 ∨ 0 1 2 3 4 0 0 1 4 4 4 1 1 1 4 4 4 2 4 4 2 4 4 3 4 4 4 3 4 4 4 4 4 4 4
12 J 5,3 ∨ 0 1 2 3 4 0 0 1 2 4 4 1 1 1 4 4 4 2 2 4 2 4 4 3 4 4 4 3 4 4 4 4 4 4 4
13 J 5,4 ∨ 0 1 2 3 4 0 0 2 2 4 4 1 2 1 2 4 4 2 2 2 2 4 4 3 4 4 4 3 4 4 4 4 4 4 4
14 J 5,5 ∨ 0 1 2 3 4 0 0 1 2 4 4 1 1 1 2 4 4 2 2 2 2 4 4 3 4 4 4 3 4 4 4 4 4 4 4
15 J 5,6 ∨ 0 1 2 3 4 0 0 1 2 3 4 1 1 1 4 4 4 2 2 4 2 4 4 3 3 4 4 3 4 4 4 4 4 4 4
16 J 5,7 ∨ 0 1 2 3 4 0 0 4 4 3 4 1 4 1 2 4 4 2 4 2 2 4 4 3 3 4 4 3 4 4 4 4 4 4 4
17 J 5,8 ∨ 0 1 2 3 4 0 0 2 2 3 4 1 2 1 2 4 4 2 2 2 2 4 4 3 3 4 4 3 4 4 4 4 4 4 4
18 J 5,9 ∨ 0 1 2 3 4 0 0 1 2 3 4 1 1 1 2 4 4 2 2 2 2 4 4 3 3 4 4 3 4 4 4 4 4 4 4
19 J 5,10 ∨ 0 1 2 3 4 0 0 1 2 3 4 1 1 1 2 3 4 2 2 2 2 4 4 3 3 3 4 3 4 4 4 4 4 4 4
20 J 5,11 ∨ 0 1 2 3 4 0 0 3 3 3 4 1 3 1 3 3 4 2 3 3 2 3 4 3 3 3 3 3 4 4 4 4 4 4 4
21 J 5,12 ∨ 0 1 2 3 4 0 0 1 3 3 4 1 1 1 3 3 4 2 3 3 2 3 4 3 3 3 3 3 4 4 4 4 4 4 4
22 J 5,13 ∨ 0 1 2 3 4 0 0 1 2 3 4 1 1 1 3 3 4 2 2 3 2 3 4 3 3 3 3 3 4 4 4 4 4 4 4
23 J 5,14 ∨ 0 1 2 3 4 0 0 2 2 3 4 1 2 1 2 3 4 2 2 2 2 3 4 3 3 3 3 3 4 4 4 4 4 4 4
24 J 5,15 ∨ 0 1 2 3 4 0 0 1 2 3 4 1 1 1 2 3 4 2 2 2 2 3 4 3 3 3 3 3 4 4 4 4 4 4 4
25 J 6,1 ∨ 0 1 2 3 4 5 0 0 5 5 5 5 5 1 5 1 5 5 5 5 2 5 5 2 5 5 5 3 5 5 5 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
26 J 6,2 ∨ 0 1 2 3 4 5 0 0 1 5 5 5 5 1 1 1 5 5 5 5 2 5 5 2 5 5 5 3 5 5 5 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
27 J 6,3 ∨ 0 1 2 3 4 5 0 0 1 2 5 5 5 1 1 1 5 5 5 5 2 2 5 2 5 5 5 3 5 5 5 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
28 J 6,4 ∨ 0 1 2 3 4 5 0 0 2 2 5 5 5 1 2 1 2 5 5 5 2 2 2 2 5 5 5 3 5 5 5 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
29 J 6,5 ∨ 0 1 2 3 4 5 0 0 1 2 5 5 5 1 1 1 2 5 5 5 2 2 2 2 5 5 5 3 5 5 5 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
30 J 6,6 ∨ 0 1 2 3 4 5 0 0 1 2 3 5 5 1 1 1 5 5 5 5 2 2 5 2 5 5 5 3 3 5 5 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
31 J 6,7 ∨ 0 1 2 3 4 5 0 0 5 5 3 5 5 1 5 1 2 5 5 5 2 5 2 2 5 5 5 3 3 5 5 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
32 J 6,8 ∨ 0 1 2 3 4 5 0 0 2 2 3 5 5 1 2 1 2 5 5 5 2 2 2 2 5 5 5 3 3 5 5 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
33 J 6,9 ∨ 0 1 2 3 4 5 0 0 1 2 3 5 5 1 1 1 2 5 5 5 2 2 2 2 5 5 5 3 3 5 5 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
34 J 6,10 ∨ 0 1 2 3 4 5 0 0 1 2 3 5 5 1 1 1 2 3 5 5 2 2 2 2 5 5 5 3 3 3 5 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
35 J 6,11 ∨ 0 1 2 3 4 5 0 0 3 3 3 5 5 1 3 1 3 3 5 5 2 3 3 2 3 5 5 3 3 3 3 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
36 J 6,12 ∨ 0 1 2 3 4 5 0 0 1 3 3 5 5 1 1 1 3 3 5 5 2 3 3 2 3 5 5 3 3 3 3 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
37 J 6,13 ∨ 0 1 2 3 4 5 0 0 1 2 3 5 5 1 1 1 3 3 5 5 2 2 3 2 3 5 5 3 3 3 3 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
38 J 6,14 ∨ 0 1 2 3 4 5 0 0 2 2 3 5 5 1 2 1 2 3 5 5 2 2 2 2 3 5 5 3 3 3 3 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
39 J 6,15 ∨ 0 1 2 3 4 5 0 0 1 2 3 5 5 1 1 1 2 3 5 5 2 2 2 2 3 5 5 3 3 3 3 3 5 5 4 5 5 5 5 4 5 5 5 5 5 5 5 5
40 J 6,16 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 5 5 5 5 2 2 5 2 5 5 5 3 3 5 5 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
41 J 6,17 ∨ 0 1 2 3 4 5 0 0 5 5 3 4 5 1 5 1 2 5 5 5 2 5 2 2 5 5 5 3 3 5 5 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
42 J 6,18 ∨ 0 1 2 3 4 5 0 0 2 2 3 4 5 1 2 1 2 5 5 5 2 2 2 2 5 5 5 3 3 5 5 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
43 J 6,19 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 2 5 5 5 2 2 2 2 5 5 5 3 3 5 5 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
44 J 6,20 ∨ 0 1 2 3 4 5 0 0 2 2 5 4 5 1 2 1 2 3 5 5 2 2 2 2 5 5 5 3 5 3 5 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
45 J 6,21 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 2 3 5 5 2 2 2 2 5 5 5 3 3 3 5 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
46 J 6,22 ∨ 0 1 2 3 4 5 0 0 5 5 5 4 5 1 5 1 3 3 5 5 2 5 3 2 3 5 5 3 5 3 3 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
47 J 6,23 ∨ 0 1 2 3 4 5 0 0 5 5 5 4 5 1 5 1 2 3 5 5 2 5 2 2 3 5 5 3 5 3 3 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
48 J 6,24 ∨ 0 1 2 3 4 5 0 0 3 3 3 4 5 1 3 1 3 3 5 5 2 3 3 2 3 5 5 3 3 3 3 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
49 J 6,25 ∨ 0 1 2 3 4 5 0 0 1 3 3 4 5 1 1 1 3 3 5 5 2 3 3 2 3 5 5 3 3 3 3 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
50 J 6,26 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 3 3 5 5 2 2 3 2 3 5 5 3 3 3 3 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
51 J 6,27 ∨ 0 1 2 3 4 5 0 0 3 3 3 4 5 1 3 1 2 3 5 5 2 3 2 2 3 5 5 3 3 3 3 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
52 J 6,28 ∨ 0 1 2 3 4 5 0 0 2 2 3 4 5 1 2 1 2 3 5 5 2 2 2 2 3 5 5 3 3 3 3 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
53 J 6,29 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 2 3 5 5 2 2 2 2 3 5 5 3 3 3 3 3 5 5 4 4 5 5 5 4 5 5 5 5 5 5 5 5
54 J 6,30 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 2 3 4 5 2 2 2 2 5 5 5 3 3 3 5 3 5 5 4 4 4 5 5 4 5 5 5 5 5 5 5 5
55 J 6,31 ∨ 0 1 2 3 4 5 0 0 4 3 3 4 5 1 4 1 5 5 4 5 2 3 5 2 3 5 5 3 3 5 3 3 5 5 4 4 4 5 5 4 5 5 5 5 5 5 5 5
56 J 6,32 ∨ 0 1 2 3 4 5 0 0 1 3 3 4 5 1 1 1 5 5 4 5 2 3 5 2 3 5 5 3 3 5 3 3 5 5 4 4 4 5 5 4 5 5 5 5 5 5 5 5
57 J 6,33 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 5 5 4 5 2 2 5 2 3 5 5 3 3 5 3 3 5 5 4 4 4 5 5 4 5 5 5 5 5 5 5 5
58 J 6,34 ∨ 0 1 2 3 4 5 0 0 1 3 3 4 5 1 1 1 3 3 4 5 2 3 3 2 3 5 5 3 3 3 3 3 5 5 4 4 4 5 5 4 5 5 5 5 5 5 5 5
59 J 6,35 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 3 3 4 5 2 2 3 2 3 5 5 3 3 3 3 3 5 5 4 4 4 5 5 4 5 5 5 5 5 5 5 5
60 J 6,36 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 2 3 4 5 2 2 2 2 3 5 5 3 3 3 3 3 5 5 4 4 4 5 5 4 5 5 5 5 5 5 5 5
61 J 6,37 ∨ 0 1 2 3 4 5 0 0 2 2 3 4 5 1 2 1 2 3 4 5 2 2 2 2 3 4 5 3 3 3 3 3 5 5 4 4 4 4 5 4 5 5 5 5 5 5 5 5
62 J 6,38 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 2 3 4 5 2 2 2 2 3 4 5 3 3 3 3 3 5 5 4 4 4 4 5 4 5 5 5 5 5 5 5 5
63 J 6,39 ∨ 0 1 2 3 4 5 0 0 4 4 4 4 5 1 4 1 4 4 4 5 2 4 4 2 4 4 5 3 4 4 4 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
64 J 6,40 ∨ 0 1 2 3 4 5 0 0 1 4 4 4 5 1 1 1 4 4 4 5 2 4 4 2 4 4 5 3 4 4 4 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
65 J 6,41 ∨ 0 1 2 3 4 5 0 0 1 2 4 4 5 1 1 1 4 4 4 5 2 2 4 2 4 4 5 3 4 4 4 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
66 J 6,42 ∨ 0 1 2 3 4 5 0 0 2 2 4 4 5 1 2 1 2 4 4 5 2 2 2 2 4 4 5 3 4 4 4 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
67 J 6,43 ∨ 0 1 2 3 4 5 0 0 1 2 4 4 5 1 1 1 2 4 4 5 2 2 2 2 4 4 5 3 4 4 4 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
68 J 6,44 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 4 4 4 5 2 2 4 2 4 4 5 3 3 4 4 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
69 J 6,45 ∨ 0 1 2 3 4 5 0 0 4 4 3 4 5 1 4 1 2 4 4 5 2 4 2 2 4 4 5 3 3 4 4 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
70 J 6,46 ∨ 0 1 2 3 4 5 0 0 2 2 3 4 5 1 2 1 2 4 4 5 2 2 2 2 4 4 5 3 3 4 4 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
71 J 6,47 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 2 4 4 5 2 2 2 2 4 4 5 3 3 4 4 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
72 J 6,48 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 2 3 4 5 2 2 2 2 4 4 5 3 3 3 4 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
73 J 6,49 ∨ 0 1 2 3 4 5 0 0 3 3 3 4 5 1 3 1 3 3 4 5 2 3 3 2 3 4 5 3 3 3 3 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
74 J 6,50 ∨ 0 1 2 3 4 5 0 0 1 3 3 4 5 1 1 1 3 3 4 5 2 3 3 2 3 4 5 3 3 3 3 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
75 J 6,51 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 3 3 4 5 2 2 3 2 3 4 5 3 3 3 3 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
76 J 6,52 ∨ 0 1 2 3 4 5 0 0 2 2 3 4 5 1 2 1 2 3 4 5 2 2 2 2 3 4 5 3 3 3 3 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5
77 J 6,53 ∨ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 1 2 3 4 5 2 2 2 2 3 4 5 3 3 3 3 3 4 5 4 4 4 4 4 4 5 5 5 5 5 5 5 5