Related papers: Distinct orders dividing each other on both sides

We classify the countable linear orders $X$ for which there is an order $A$ with at least two points such that the lexicographic product $AX$ is isomorphic to $X$. Given such an $X$, we determine every corresponding order $A$, and identify…

We give a new method to construct isolated left orderings of groups whose positive cones are finitely generated. Our construction uses an amalgamated free product of two groups having an isolated ordering. We construct a lot of new examples…

Let $X$ be a topological space. A subset of $C(X)$, the space of continuous real-valued functions on $X$, is a partially ordered set in the pointwise order. Suppose that $X$ and $Y$ are topological spaces, and $A(X)$ and $A(Y)$ are subsets…

We answer a question of Downey and Kurtz on left-orderable groups by showing that there is a computable left-orderable group which is not classically isomorphic to a computable group with a computable left-order.

There is a relatively well-known description of the algebra of (higher order) left differential operators on commutative algebras. This note gives a construction of similar flavor for algebras of differential operators on not necessarily…

We consider the structure group of a non-degenerate symmetric (non-trivial) set-theoretical solution of the quantum Yang-Baxter equation. This is a Bieberbach group and also a Garside group. We show this group is not bi-orderable, that is…

We prove that an HNN extension of a torsion-free nilpotent group is left-orderable. We also construct examples of non-left-orderable HNN extensions of left-orderable groups

When a semigroup has a unary operation, it is possible to define two binary operations, namely, left and right division. In addition it is well known that groups can be defined in terms of those two divisions. The aim of this paper is to…

We show that if $\mathbb{R} = A \cup B$ is a partition of $\mathbb{R}$ into two suborders $A$ and $B$, then there is an open interval $I$ such that $A \cap I$ is not order-isomorphic to $B \cap I$. The proof depends on the completeness of…

In this paper, we construct countably many isolated circular orders on the free products $G = F_{2n} \ast \mathbb{Z}_{m_1} \ast \cdots \ast \mathbb{Z}_{m_k}$ of cyclic groups. Moreover, we prove that these isolated circular orders are not…

We show that certain orderable groups admit no isolated left orders. The groups we consider are cyclic amalgamations of a free group with a general orderable group, the HNN extensions of free groups over cyclic subgroups, and a particular…

The binary products of right, left or double division in semigroups that are semilattices of groups give interesting groupoid structures that are in one to one correspondence with semigroups that are semilattices of groups. This work is…

We construct a metrizable Lawson semitopological semilattice $X$ whose partial order $\le_X=\{(x,y)\in X\times X:xy=x\}$ is not closed in $X\times X$. This resolves a problem posed earlier by the authors.

Linearizing two partial orders to maximize the number of adjacencies and minimize the number of breakpoints is APX-hard. This holds even if one of the two partial orders is already a linear order and the other is an interval order, or if…

We find a criterion for an effective divisor $D$ on a smooth surface to be left-orthogonal or strongly left-orthogonal (i.e. for the pair of line bundles $(\mathcal O,\mathcal O(D))$ to be exceptional or strong exceptional).

A development of an inverse first-order divided difference operator for functions of several variables is presented. Two generalized derivative-free algorithms builded up from Ostrowski's method for solving systems of nonlinear equations…

We present a way of constructing non-autonomous Hamiltonian diffeomorphisms with roots of all orders by adapting the Anosov-Katok construction. This answers a question by Kathryn Mann and Egor Shelukin. Additionally, we construct an action…

Yu. I. Merzljakov developed a method of splittable coordinates which helps to verify the linearity of some groups, he established some fundamental results using this method. In this paper we use the method of splittable coordinates and find…

Work of Linnell shows that the space of left-orderings of a group is either finite or uncountable, and in the case that the space is finite, the isomorphism type of the group is known---it is what is known as a Tararin group. By defining…

We study generalized sums of linear orders. These are binary operations that, given linear orders $A$ and $B$, return an order $A \oplus B$ that can be decomposed as an isomorphic copy of $A$ interleaved with a copy of $B$. We show that…