The Logical Language Group Online Dictionary Query |
There are specific tools that make searching this database easier:
la sutysisku dictionary, an offline enabled web app
la vlasisku search engine for the Lojban dictionary
From Lojban to English :
Word: narnonsmikemnonsmipi'i [jbovlaste] Type: lujvo Gloss Word: nonzero zero-divisor in the sense of "type of ring element that is nonzero in that ring" Definition: $x1$ is a zero-divisor partnered with element(s) $x2$ in structure/ring $x3$, where neither $x1$ nor $x2$ is the zero(-like) element in $x3$ Notes: Let structure x3 have commutative group substructure that we name as "additive" and let "0" denote the additive identity thereof in the structure x3. In the set underlying x3 there exist elements x1, x2 ≠ 0 in structure x3 such that x1*x2 = 0 in structure x3; the partnership aforementioned is thusly defined. See also: nonsmipi'i.