Differences

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

normal_valued_lattice-ordered_groups [2011/07/14 04:04]
jipsen created
normal_valued_lattice-ordered_groups [2011/07/14 04:05] (current)
jipsen
Line 7: Line 7:
A \emph{normal valued lattice-ordered group} (or \emph{normal valued} $\ell$\emph{-group}) is a A \emph{normal valued lattice-ordered group} (or \emph{normal valued} $\ell$\emph{-group}) is a
[[lattice-ordered group]] [[lattice-ordered group]]
-$\mathbf{L}=\langle L, \vee, \wedge, \cdot, ^{-1}, e\rangle$ that satisfies the identity+$\mathbf{L}=\langle L, \vee, \wedge, \cdot, ^{-1}, e\rangle$ that satisfies
$(x\vee x^{-1})(y\vee y^{-1}) \le (y\vee y^{-1})^2(x\vee x^{-1})^2$ $(x\vee x^{-1})(y\vee y^{-1}) \le (y\vee y^{-1})^2(x\vee x^{-1})^2$