Abstract: It is a classical theorem that the free product of ordered groups is orderable. In this note we show that, using a method of G. Bergman, an ordering of the free product can be constructed in a functorial manner, in the category of ordered groups and order-preserving homomorphisms. With this functor interpreted as a tensor product this category becomes a tensor (or monoidal) category. Moreover, if denotes the space of orderings of the group with the natural topology, then for fixed groups and our construction can be considered a function . We show that this function is continuous and injective. Similar results hold for left-ordered groups.
Recommendations
Cites work
- scientific article; zbMATH DE number 3706514 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 3057900 (Why is no real title available?)
- A very large class of small varieties of lattice-ordered groups1
- Braid Groups
- COMPACTNESS OF THE SPACE OF LEFT ORDERS
- On the dynamics of (left) orderable groups.
- Ordering coproducts of groups and semigroups
- Ordering free products of groups.
- Remark on a note of Gabor Revesz
- TOPOLOGY ON THE SPACES OF ORDERINGS OF GROUPS
- Theory of braids
Cited in
(5)- Free products of circularly ordered groups with amalgamated subgroup
- scientific article; zbMATH DE number 4016977 (Why is no real title available?)
- scientific article; zbMATH DE number 4025496 (Why is no real title available?)
- Ordering coproducts of groups and semigroups
- Ordered groups, knots, braids and hyperbolic 3-manifolds
This page was built for publication: Ordered groups as a tensor category
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1692385)