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

Trace: