arXiv:1703.05781v1 [] 16 Mar 2017

On the free product of ordered groups
A. A. Vinogradov∗
One of the fundamental questions of the theory of ordered groups is what
abstract groups are orderable. E. P. Shimbireva [2] showed that a free group
on any set of generators can be ordered. This leads to the following problem:
under what conditions is it possible to order a free product of arbitrary
groups?
Using the matrix presentation method for groups proposed by Malcev [1],
in the present work we establish the orderability of a free product of arbitrary
ordered groups.
Definition 1. An ordered group is a group endowed with a relation >, satisfying the following conditions:
1. For any elements x and y of the group either x > y, or y > x, or x = y.
2. If x > y and y > z, then x > z.
3. If x > y, then axb > ayb for any elements a and b of the group.
Definition 2. An ordered ring (field) is a ring (field) such that:
1. the additive group of the ring (field) is ordered, and
2. for any elements a, x, y of the ring (field),
(a > 0 and x > y) =⇒ (ax > ay and xa > ya).
Definition 3. The group algebra kG of a group G over a field k is the algebra
whose elements are formal finite linear combinations of elements of G with
coefficients in k. These sums are multiplied and added in the usual way. A
group algebra has the obvious unit 1e, where e is the identity element of G
and 1 the unit of k.
Lemma 1. If k is an ordered field and G an ordered group, then kG is
orderable.
∗
Published in Mat. Sb. (N.S.), 1949, Volume 25(67), Number 1, 163–168. Translated
from Russian by Victoria Lebed and Arnaud Mortier.

1

Proof. Let A and A′ be elements of kG under the conditions of the lemma.
Then they can be written as
A=

n
X

A′ =

αi ai ,

i=1

n
X

αi′ ai ,

i=1

where some of the αi and αi′ might be zero, and a1 > . . . > an . We set A > A′
if for some r ∈ {1, . . . , n},
′
α1 = α1′ , . . . , αr−1 = αr−1
, αr > αr′ .
It is easy to check that the conditions from Definition 2 hold.
We call a triangular matrix any matrix, finite or infinite, with zeroes
under the main diagonal.
Lemma 2. The set of all triangular matrices with entries in an ordered unital
ring, and with every element on the main diagonal positive and invertible, is
an orderable group.
Proof. Triangular matrices of the form described in the statement clearly
form a group. Let X and Y be such matrices. We will call preceding entries
to a given entry xik , those1 xnm located to the right of or on the main diagonal,
for which
n − m ≤ k − i when m < i, and
n − m < k − i when m ≥ i.
Say that X > Y if either of the following conditions holds:
• xii = yii for i = 1, . . . , k − 1, and xkk > ykk for some k,
• xik > yik for some k > i, and their preceding entries coincide.
One easily checks that the conditions of Definition 1 are satisfied.
Lemma 3. The direct product of two ordered groups is orderable.
Proof. Let A and B be ordered groups. Say that (a, b) > (a′ , b′ ) in A × B
if either a > a′ , or a = a′ and b > b′ . It is easy to check that the conditions
from Definition 1 hold.
We denote by M the direct product of two ordered groups A and B. A
pair of the form (a, e1 ) where e1 is the identity of B will be denoted simply
by a, and a pair of the form (e, b) where e is the identity of A will be denoted
by b.
1

Translators’ note: we believe that there is a mistake here, xnm should probably be
replaced with xmn .

2

Consider now the following transcendental triangular matrix:

X=

1 x12 x13 x14
1 x23 x24
1 x34
1

·
·
·
·
·

·
·
·
·

·
·
·
·

·
·
We denote by G the free abelian group generated by the entries xij of
X. This group is orderable (see [2] and references therein). By Lemma 1,
the group algebra K = QG is orderable, and thus has no zero divisors. The
field of fractions Frac(K) of this algebra is also orderable [3]. Consider the
group algebra L = Frac(K)M, where M = A × B as above. According to
Lemmas 1 and 3, the algebra L is orderable.
Lemma 4. Consider the diagonal matrix
1
a
1
a
A=
·
·
·
where 1 is the unit of L and a ∈ L is neither 0 nor 1. Then every entry of
the matrix B = X −1 AX located to the right of or on the main diagonal is
non-zero.
Proof. Put X −1 = (yik ) and B = (bik ). Clearly2 ,
yin = −xin +

X

i<α1 <n

xiα1 xα1 n −

X

xiα1 xα1 α2 xα2 n + · · · +

i<α1 <α2 <n

+(−1)n−i xi, i+1 xi+1, i+2 . . . xn−1, n
2

Translators’ note: we corrected the last term of the formula given for yin . Note also
that this formula holds only for i 6= n, as yii = 1. As a result, the very last formula of this
proof is slightly incorrect when i is odd, but the main point—that the coefficient of bik is
not 0—seems to hold true after all.

3

and
bik = 1(yi1x1k + yi3 x3k + · · · + yi, 2l+1 x2l+1, k ) +
a(yi2 x2k + yi4 x4k + · · · + yi, 2r x2r, k ).
From this follows:
yi1 x1k + yi3 x3k + · · · + yi, 2l+1 x2l+1, k =
−

X

xin xnk +

X

X

xiα1 xα1 n xnk −

i<α1 <n

X

X

xiα1 xα1 α2 xα2 n xnk + · · · ,

i<α1 <α2 <n

where the external sums are over all odd integers n between i and k. This
equality shows that the coefficient of 1 in bik is non-zero, and so bik 6= 0.
Theorem. The free product of two ordered groups can be endowed with a
group order whose restriction to each factor is the original order.
Proof. Consider, together with the triangular matrix X introduced before,
the following transcendental triangular matrices:
1 y12 y13 y14
1 y23 y24
1 y34
1

Y =

·
·
·
·
·

·
·
·
·

·
·
·
·

,

·
·
u1

v1
u2

U=

v2
u3

V =

,

·
·

v3

.

·
·

·

·

Let A and B be ordered groups. As before, we construct an algebra
L = Frac(QG)M with M = A × B, where now the free abelian group G is
generated by the set of all formal entries not only of X, but also of Y , U,

4

and V . To every a = (a, e1 ) ∈ M we associate the diagonal matrix
1
a
1
a
Aa =
,
·
·
·
and to every b = (e, b) ∈ M the diagonal matrix
1
b
1
Bb =
b
.
·
·
·
o

n

o

n

Clearly the two sets of matrices A = Aa a ∈ A and B = Bb b ∈ B
form groups naturally isomorphic to A and B respectively.
Put A = U −1 X −1 AXU and B = V −1 Y −1 BY V . We are going to show
that the representations of A and B given by a 7→ Aa and b 7→ Bb induce a
faithful representation of the free product A ∗ B, that is, given elements of
A ∗ B of type
!
r1 =

n
Y

ai bi ,

r2 =

n
Y

r3 = bk

ai bi ak ,

the corresponding matrices
R1 =

n
Y

Ai Bi ,

R2 =

1

n
Y
1

ai bi ,

!

Ai Bi Ak ,

R3 = Bk

r4 =

n
Y

bi ai ,

1

1

1

1

n
Y

n
Y
1

Ai Bi ,

R4 =

n
Y

Bi Ai

1

are not the identity matrix. We will write down the proof for R1 only, as the
three remaining cases are similar.
i
′i
′i
Every entry akl of the matrix Ai is equal to u−1
k akl ul , where akl is an entry
−1
of A′i = X −1 Ai X, and u−1
k and ul are diagonal entries of the matrices U
i

and U. Similarly, bkl = vk−1 b′kli vl , where b′kli is an entry of Bi′ = X −1 Bi X, and
vk−1 and vl are diagonal entries of the matrices V −1 and V .
By Lemma 4, every matrix in the groups A′ = X −1 AX and B′ = Y −1 BY
different from the identity matrix has only non-zero entries to the right of or

5

on the main diagonal. The entries of the matrix R1 are given by
rik =

X

(1) (1)

(2)

(2)

(n)

(n)

aii2 bi2 i3 ai3 i4 bi4 i5 · · · ai2n−1 ,i2n bi2n ,k .

i≤i2 ≤i3 ≤...≤i2n ≤k

Here i ≤ k. This sum can be regarded as a polynomial in the diagonal
entries of U, V and of their inverses. The coefficients of this polynomial
are products of entries of the matrices A′1 , B1′ , A′2 , B2′ , . . .. Observe that no
monomial occurs twice in the sum as it is given. Moreover, every coefficient
is non-zero, since it is a product of non-zero elements of the algebra L, which
has no zero divisors.
Therefore, we have a faithful representation of the free product A ∗ B,
given by
ri 7→ Ri .
Every diagonal entry of Ri is either the unit of L or a positive invertible
element of L distinct from the unit. It follows then from Lemma 2 that all
matrices of all four types Ri together form an orderable group. Therefore,
the free product A ∗ B is orderable.
The proof presented here for two factors obviously works for any number
of factors.

References
[1] A. Malcev. On isomorphic matrix representations of infinite groups. Rec.
Math. [Mat. Sbornik] N.S., 8 (50):405–422, 1940.
[2] H. Shimbireva. On the theory of partially ordered groups. Rec. Math.
[Mat. Sbornik] N.S., 20(62):145–178, 1947.
[3] B. L. van der Waerden. Modern Algebra. Vol. I. M.–L., 1934.

6

