Some orders on groups

A left order on a group is a total order of the underlying set such that left multiplication by any element of the group is monotonous. Dually we have the definition of right order. A bi-order is an order that is both a left and a right order.

Example 1: The usual order on the integers is a bi-order for the usual group structure.

Example 2: The same is true for the real numbers.

Problem 1: Give a bi-order in the free group generated by an arbitrary set.

Now we will give a very strong consequence of having a right order. First we start with a nice excercise.

Problem 2: Find an infinite countable discrete subset of the real numbers such that the induced order in this set does not have maximum nor minumum and such that for any pair of distinct elements there is a third element in between.

We are ready to state the following very nice result:

Problem 3: Let B be a triangulated locally finite space. Suppose given a right order in \pi_1(B). Let p : E\to B be the universal cover of B. Then there exists h : E \to \mathbb{R} such that (p,h) : E \to B \times \mathbb{R} is an embedding.

In particular the universal cover of B embeds in B\times \mathbb{R}. Compare this with the classical drawing of the universal cover of S^1!

Some orders on groups

2 thoughts on “Some orders on groups

  1. Hint for 1: Start by finiding an order for the free (non-commutative) power series on the given set, that is compatible with addition. Find an order that is also compatible with multiplication when restricted to the units of the ring.

    Hint for 2: Consider the complement of some set.

    Hint for 3: This might be hard.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s