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====