Small BCK algebras of order 5.21
Help for the posets applet
list:=[
[# 1
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 3, 4, 5 ],
[ 1, 1, 1, 4, 5 ],
[ 1, 1, 3, 1, 5 ],
[ 1, 1, 3, 1, 1 ]
],
[# 2
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 3, 2, 5 ],
[ 1, 1, 1, 2, 5 ],
[ 1, 1, 3, 1, 5 ],
[ 1, 1, 3, 1, 1 ]
],
[# 3
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 3, 4, 5 ],
[ 1, 1, 1, 4, 5 ],
[ 1, 1, 3, 1, 4 ],
[ 1, 1, 3, 1, 1 ]
],
[# 4
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 3, 4, 4 ],
[ 1, 1, 1, 4, 4 ],
[ 1, 1, 3, 1, 2 ],
[ 1, 1, 3, 1, 1 ]
],
[# 5
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 3, 2, 4 ],
[ 1, 1, 1, 2, 4 ],
[ 1, 1, 3, 1, 2 ],
[ 1, 1, 3, 1, 1 ]
],
[# 6
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 3, 2, 2 ],
[ 1, 1, 1, 2, 2 ],
[ 1, 1, 3, 1, 2 ],
[ 1, 1, 3, 1, 1 ]
],
[# 7
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 2, 4, 5 ],
[ 1, 1, 1, 4, 5 ],
[ 1, 1, 2, 1, 5 ],
[ 1, 1, 2, 1, 1 ]
],
[# 8
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 2, 2, 5 ],
[ 1, 1, 1, 2, 5 ],
[ 1, 1, 2, 1, 5 ],
[ 1, 1, 2, 1, 1 ]
],
[# 9
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 2, 4, 5 ],
[ 1, 1, 1, 4, 5 ],
[ 1, 1, 2, 1, 4 ],
[ 1, 1, 2, 1, 1 ]
],
[# 10
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 2, 4, 4 ],
[ 1, 1, 1, 4, 4 ],
[ 1, 1, 2, 1, 2 ],
[ 1, 1, 2, 1, 1 ]
],
[# 11
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 2, 2, 4 ],
[ 1, 1, 1, 2, 4 ],
[ 1, 1, 2, 1, 2 ],
[ 1, 1, 2, 1, 1 ]
],
[# 12
[ 1, 2, 3, 4, 5 ],
[ 1, 1, 2, 2, 2 ],
[ 1, 1, 1, 2, 2 ],
[ 1, 1, 2, 1, 2 ],
[ 1, 1, 2, 1, 1 ]
]
];
Computed by Peter Jipsen
using GAP 3.4
(this list can be copied and read into GAP)