# zbMATH — the first resource for mathematics

Weak isometries and direct decompositions of dually residuated lattice ordered semigroups. (English) Zbl 0782.06012
A commutative lattice-ordered semigroup $$(S,+,\land,\lor,0)$$ with zero is called dually residuated (DRl-semigroup) if 1) for any $$a,b\in S$$ there exists a least $$x\in S$$, $$x=a-b$$, such that $$a\leq b+x$$, 2) $$(a- b)\lor 0+ b\leq a\lor b$$ for all $$a,b\in S$$, 3) $$a-a\geq 0$$ for each $$a\in S$$. A mapping $$f: S\to S$$ is called a weak 0-isometry in $$S$$ if $$f(0)=0$$ and $$d(x,y)= d(f(x),f(y))$$ for all $$x,y\in S$$, where $$d(a,b)= (a- b)\lor (b- a)$$ for $$a,b\in S$$. The relation between isometries and direct product decompositions in lattice-ordered groups, studied by Ch. Holland, J. Jakubik, W. Powell and the author, is shown to hold also for DRl- semigroups. Here, a commutative partially ordered semigroup $$(H,+,\leq)$$ with zero is said to be the direct product of its subsemigroups $$P$$ and $$Q$$, if 1) for each $$c\in H$$, $$c=c_ 1+ c_ 2$$ with unique $$c_ 1\in P$$, $$c_ 2\in Q$$, 2) if $$c=c_ 1+ c_ 2$$, $$d=d_ 1+ d_ 2$$ $$(c_ 1,d_ 1\in P, c_ 2,d_ 2\in Q)$$ then $$c\leq d$$ iff $$c_ 1\leq d_ 1$$ and $$c_ 2\leq d_ 2$$. The main result of the paper states that for any DRl-semigroup $$S$$ each weak 0-isometry $$f$$ defines a direct product decomposition of $$S$$ into the DRl-semigroup $$A=\{x\in S\mid f(x)=x\}$$ and the lattice-ordered group $$B=\{x\in S\mid f(x)=0-x\}$$.
Reviewer: H.Mitsch (Wien)

##### MSC:
 06F05 Ordered semigroups and monoids
Full Text:
##### References:
  BIRKHOFF G.: Lattice Theory. Amer. Math. Soc. Colloq. Publ. 25. (3rd, Amer. Math. Soc., Providence, RI, 1967. · Zbl 0153.02501  HOLLAND, CH.: Intrinsic metrics for lattice ordered groups. Algebra Universalis 19 (1984), 142-150. · Zbl 0557.06011  JAKUBÍK J.: Isometries of lattice ordered groups. Czechoslovak Math. J. 30 (1980), 142-152. · Zbl 0436.06013  JAKUBÍK J.: On isometries of non-abelian lattice ordered groups. Math. Slovaca 31 (1981), 171-175. · Zbl 0457.06014  JAKUBÍK J.: Weak isometries of lattice ordered groups. Math. Slovaca 38 (1988), 133-138. · Zbl 0642.06009  JAKUBÍK J., KOLIBIAR M.: Isometries of multilattice groups. Czechoslovak Math. J. 33 (1983), 602-612. · Zbl 0538.06018  JASEM M.: Isometries in Riesz groups. Czechoslovak Math. J. 36 (1986), 35-43. · Zbl 0603.06007  JASEM M.: On weak isometries in multilattice groups. Math. Slovaca 40 (1990), 337-340. · Zbl 0753.06015  JASEM M.: Weak isometries and isometries in partially ordered groups. · Zbl 0821.06016  JASEM M.: Isometries in non-abelian multilattice groups. Czechoslovak Math. J.) · Zbl 0890.06012  POWELL W. B.: On isometries in abelian lattice ordered groups. J. Indian Math. Soc. 46 (1982), 189-194. · Zbl 0614.06012  RACHŮNEK J.: Isometries in ordered groups. Czechoslovak Math. J. 34 (1984), 334-341. · Zbl 0558.06020  SWAMY K. L. N.: A general theory of autometrized algebras. Math. Ann. 157 (1964), 65-74. · Zbl 0135.02602  SWAMY K. L. N.: Dually residuated lattice ordered semigroups. Math. Ann. 159 (1965), 105-114. · Zbl 0138.02104  SWAMY K. L. N.: Dually residuated lattice ordered semigroups. II. Math. Ann. 160 (1965), 64-71. · Zbl 0138.02104  SWAMY K. L. N.: Dually residuated lattice ordered semigroups. III. Math. Ann. 167 (1966), 71-74. · Zbl 0158.02601  SWAMY K. L. N.: Isometries in autometrized lattice ordered groups. Algebra Universalis 8 (1978), 59-64. · Zbl 0409.06007  SWAMY K. L. N.: Isometries in autometrized lattice ordered groups. II. Math. Seminar Notes Kobe Univ. 5 (1977), 211-214. · Zbl 0457.06015  SWAMY K. L. N., SUBBA RAO B. V.: Isometries in dually residuated lattice ordered semigroups. Math. Seminar Notes Kobe Univ. 8 (1980), 369-379. · Zbl 0464.06008  TRIAS J.: Lattice isometries in Riesz spaces. Preprint, Univ. Politecnica Barcelona. (1981). · Zbl 0515.06014
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.