On a generalization of the notion of orthogonality and on the Riesz groups (Q5951075): Difference between revisions

Let \(G\) be a partially ordered group, \(a,b\in G^{+}\). \(a,b\) are called orthogonal in \(G\) if \(L(a,b)\subseteq L(e),\) which is a generalization of orthogonality of elements of a lattice-ordered group \(G\) introduced by \textit{L. Fuchs} [Ann. Scuola Norm. Sup. Pisa, Sci. Fis. Mat., III. Ser. 19, 1-34 (1965; Zbl 0125.28703)]. By considering the notion of \(p\)-orthogonality in \(pl\)-groups [the author, Contemp. Math. 131, Pt. I, 345-353 (1992; Zbl 0776.06017)], the author introduces the notion of almost orthogonality of a partially ordered group \(G\), i.e. if \(a,b\in G^+\), \(c\leq a,b\), then \(c^n\leq a,b\) for any \(c\in G, n\in Z^+.\) The author proves that orthogonal elements are almost orthogonal elements in any partially ordered group, and positive elements are almost orthogonal elements if and only if they are orthogonal in an \(l\)-group. Let \(a\in G^+, a\not= e\). Then there is a convex directed subgroup \([a]\) whose positive cone consists of elements \(x\in G\) such that \(e\leq x\leq a^m\) for some integer \(m > 0\) [\textit{P. Conrad}, Acta Math. 116, 199-221 (1966; Zbl 0158.03201)]. Let \( a,b\in G\) be almost orthogonal, \(S: = \{x\in G^+~\mid ~x\leq a, x\leq b\},\) \(H(a,b):=\{g\in G~\mid~ g = xy^{-1}, x,y\in S\}.\) Then \(H(a,b)\) is a convex directed subgroup if \(G\) is a Riesz group. The main results of this paper are: (1)~Let \(G\) is partially ordered group, \(a,b\) almost orthogonal. Then there is an \(o\)-homomorphism of the Riesz group \([a]\) onto the Riesz group \([a][b]/[b]\) with kernel \(H(a,b),\) and the quotient group \([a]/H(a,b)\) is \(o\)-isomorphic to the quotient group \([a][b]/[b].\) (2)~Let \(G\) be a Riesz group, \[ K = \bigcup\{H(a_i, b_i)~\mid ~ (a_i, b_i)~\text{ is a pair of almost orthogonal elements in \(G\)}\}. \] Then the the subgroup \(H\) generated by \(K\) is an \(o\)-ideal of \(G\).