Ordering coproducts of groups and semigroups

coproduct of orderable groups coproduct of orderable semigroups groups with amalgamation one-sided orderability orderability of coproducts right orderable cancellative semigroups right orderable groups

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Ordered groups (06F15) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06)

Review text

\textit{A. A. Vinogradov} [Mat. Sb., Nov. Ser. 25(67), 163-168 (1949; Zbl 0038.159)] proved that a coproduct of orderable groups is orderable, and \textit{R. E. Johnson} [Proc. Am. Math. Soc. 19, 697-700 (1968; Zbl 0157.050)] extended this result to semigroups. A simpler version of their proof is given, using \(2\times 2\) matrices over a polynomial ring in place of infinite matrices, and the same method is used to study orderability of coproducts of groups with amalgamation. In particular, it is proved that the coproduct of two or more copies of an orderable group H with amalgamation of a subgroup \(T\subseteq H\) is orderable if and only if (a) T is the equalizer of a pair of homomorphisms from H into another orderable group, equivalently, (b) within some orderable overgroup of H, T can be written as the intersection of H with the centralizer of some subset, equivalently, (c) T is convex under some one-sided group-ordering of H. For coproducts of families of not necessarily isomorphic overgroups of a common group T, some sufficient conditions and some necessary conditions for orderability are obtained, and various counterexamples given. The last section treats one-sided orderability. It is deduced from the Kurosh subgroup theorem that the coproduct of a family of right orderable groups \(H_ i\) admit embeddings in some right orderable group by homomorphisms agreeing on T. In particular, a coproduct of copies of a single right orderable group H with amalgamation of any subgroup T is right orderable. Finally, the matrix method of the earlier sections is adapted to show that a coproduct (with only \(\{\) \(1\}\) amalgamated) of right orderable cancellative semigroups with 1 is right orderable.

Recommendations

Cites work

Cited in

(27)

This page was built for publication: Ordering coproducts of groups and semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1116964)