# Unique product group which is not right orderable

(1) I am looking for an example of a u.p (unique product) group which is not right orderable (RO).

Almost any group I pick up (obviously torsion-free, as u.p. group cannot have nontrivial torsion elements) turns out to be RO, whether it be easy groups like integers, modulo $$n$$ etc, or groups on matrices, or free groups, etc.
An example of a torsion-free non-RO group can be found at this question.

A group $$G$$ is said to be u.p., if given any two finite nonempty subsets $$A$$ and $$B$$ of $$G$$, there exist at least one element $$x$$ which has a unique representation $$x=ab$$ where $$a \in A$$ and $$b \in B$$.

Similarly, a two unique product group (t.u.p. group) is a group $$G$$ such that if given any two finite nonempty subsets $$A$$ and $$B$$ of $$G$$ with $$|A|+|B| > 2$$, there exist at least two elements $$x$$ and $$y$$ which have unique representations $$x=ab$$ and $$y=cd$$ where $$a,c \in A$$ and $$b,d \in B$$.

(2) Is there a u.p. group which is not t.u.p.? (clearly, every t.u.p. group is a u.p. group).

As every RO-group is a t.u.p. group, which in turn is u.p. group, (1) was a natural question that came to my mind.

• The problem is open. See e.g. Carter, William. New examples of torsion-free non-unique product groups. J. Group Theory 17 (2014), no. 3, 445--464. – Alireza Abdollahi May 30 '15 at 8:25
• What is some example of torsion free non RO group. That must be there somewhere. – Bhaskar Vashishth May 30 '15 at 8:28
• See the answer of Ian Agol to a question of mine. mathoverflow.net/questions/200080/… – Alireza Abdollahi May 30 '15 at 8:30
• Examples of torsion-free non-RO groups appeared as an answer to this older question. – YCor Feb 15 '20 at 21:26
• This post has two numbered emphasized questions: (1) which is a duplicate, and (2) which makes one answer (reduced to a reference). Finally the third question is the one suggested by the title, and then is hidden after the second emphasized question, and has an answer which is the accepted answer. The post should be rewritten so as to emphasize this latter question (and remove the first question, replacing it with a reference, maybe to the older question). – YCor Feb 15 '20 at 21:30

• Also for t.u.p groups, KG always have trivial units for any field K, but for u.p., only when char$K=0$ – Bhaskar Vashishth May 30 '15 at 9:11