Representation of free \(m\)-products of \(m\)-groups by automorphisms of linearly ordered sets
type: Item
instance of: scholarly article
title: Representation of free \(m\)-products of \(m\)-groups by automorphisms of linearly ordered sets
zbMATH Open document ID: 1383.06004
author: S. V. Varaksin
published in: Algebra and Logic
publication date: 2016-03-02T00:00:00Z
review text: 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.
reviewed by: Xie Xiang-Yun
Mathematics Subject Classification ID: 06F15
zbMATH DE Number: 6548242
zbMATH Keywords: \(m\)-group
zbMATH Keywords: free \(m\)-group
zbMATH Keywords: partially ordered group with reversional automorphism
MaRDI profile type: MaRDI publication profile
full work available at URL: s10469-015-9359-0
OpenAlex ID: W2341526619
cites work: Groupes à moitié ordonnés
cites work: Q4841570
cites work: Free lattice-ordered groups
cites work: Free products of lattice ordered groups
DOI: 10.1007/S10469-015-9359-0
Recommended article: Representations of free \(m\)-groups by automorphisms of linearly ordered sets.
Recommended article: Q4230705
Recommended article: Presentations of the Automorphism Group of a Free Product
Recommended article: Linear representations of the automorphism group of a free group.
Recommended article: Some representations of groups of automorphisms of a free group
Recommended article: The automorphism group of a free product of finite groups
Recommended article: About the automorphism group of a free product of groups
Recommended article: The linearity of automorphism groups of relatively free groups
Recommended article: Free products of finite groups and groups of finitely automatic permutations
Recommended article: Free representations of outer automorphism groups of free products via characteristic abelian coverings
description: scientific article; zbMATH DE number 6548242