Representation of free \(m\)-products of \(m\)-groups by automorphisms of linearly ordered sets (Q5965133)

An \(m\)-group \((G,\varphi)\) is a lattice-ordered group with the additional unary operation \(\varphi\), which is a second-order automorphism of the group \(G\) and an anti-isomorphism of the lattice \((G,\vee,\wedge)\). In other words, for any \(x,y\in G\), (1) \(\varphi(xy) = \varphi(x)\varphi(y)\), \(\varphi(\varphi(x)) = x\), (2) \(\varphi(x\vee y) = \varphi(x)\wedge \varphi(y)\), \(\varphi(x\wedge y) = \varphi(x)\vee \varphi(y)\). Let \(G\) be a group with a partial order \(P\) and a second-order automorpism \(\varphi\). We say that the order \(P\) is reversed by the automorpism \(\varphi\) if the relation \(x\leq_P y\) implies \(\varphi(y)\leq_P \varphi(y)\). \((G,\varphi)\) is called a partially ordered group (a po-group) with reversion. Let \((G,\varphi)\) be a po-group with reversion. We say that an \(m\)-group \((F,\varphi)\) is free over \((G,\varphi)\) if the following holds: {\parindent=0.7cm \begin{itemize}\item[(1)] there exists an order \(\varphi\)-epimorphism \(\varepsilon\): \((G, \varphi) \mapsto (F, \varphi)\) such that \(\varphi_G\varepsilon =\varepsilon \varphi_F\); \item[(2)] an \(m\)-group \((F,\varphi)\) is generated by a po-group \(\varepsilon(G)\); \item[(3)] for any order \(\varphi\)-homomorphism \(\alpha : (G, \varphi) \mapsto (H, \varphi)\) into an \(m\)-group \((H,\varphi)\), there exists an \(m\)-homomorphism \(\beta : (F, \varphi) \mapsto (H, \varphi)\) such that \(\varepsilon\beta= \alpha\). \end{itemize}} In this paper, the author proved that if \((G,\varphi)\) is a po-group with reversion, \(G^+\) is an intersection of right orders. Then, there exists a free \(m\)-group \((F,\varphi)\) over \((G,\varphi)\). Furthermore, a representation of a free \(m\)-product in the class of all of \(m\)-groups is constructed as a factor of a free \(m\)-group over a free product in the class of partially ordered groups with reversional automorphisms.