# Differences

This shows you the differences between two versions of the page.

m-zeroid [2016/11/21 10:46]
jipsen
m-zeroid [2016/11/21 11:09] (current)
jipsen
Line 35: Line 35:
====Basic results==== ====Basic results====
-All subdirectly irreducible algebras are linearly ordered.+All subdirectly irreducible algebras are linearly ordered.
+
+The lattice is always bounded, with top element $0$.
+
+The bottom element $-0$ is the identity of $+$.
+
+The dual operation $x\cdot y=-(-y+-x)$ is the fusion of a commutative integral involutive semilinear residuated lattice. In fact, m-zeroids are precisely the duals of these residuated lattices, which are also known as involutive IMTL algebras.
====Properties==== ====Properties====