Automorphism groups of totally ordered sets: A retrospective survey
V. V. Bludov, Manfred Droste, A. M. W. Glass · Mathematica Slovaca · 2011
Abstract In 1963, W. Charles Holland proved that every lattice-ordered group can be embedded in the lattice-ordered group of all order-preserving permutations of a totally ordered set. In this article we examine the context and proof of this result and survey some of the many consequences of the ideas involved in this important theorem.