Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-27T02:07:22.786Z Has data issue: false hasContentIssue false

Outer automorphisms of ordered permutation groups

Published online by Cambridge University Press:  20 January 2009

W. Charles Holland
Affiliation:
Bowling Green State University, Bowling Green, Ohio 43403
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

A well-known fact is that every automorphism of the symmetric group on a set must be inner (whether the set is finite or infinite) unless the set has exactly six elements (4, § 13). A long-standing conjecture concerns the analogue of this fact for the group A(S) of all order-preserving permutations of a totally ordered set S. The group A(S) is lattice ordered (l-group) by defining, for f, gA (S), fg whenever xyxg for all xS. From the standpoint of l-groups, A(S) is of considerable interest because of the analogue of Cayley's theorem proved in (2), namely every l-group may be embedded in some A(S). Unlike the non-ordered symmetric groups, which must be highly transitive, A(S) is severely restricted if assumed transitive. Of special interest are those cases when A(S) is doubly transitive (relative to the order), since the building blocks (primitive) of all transitive A(S) are either doubly transitive or uniquely transitive. It is easily seen that each inner automorphism of A(S) must preserve the lattice ordering (that is, must be an l-automorphism). It is tempting to conjecture that every l-automorphism of A(S) must be inner. However, an easy counterexample is at hand. If S consists of two copies of the ordered set of integers, one entirely above the other, then A(S) is the direct product of two copies of the l-group of integers, which has an outer l-automorphism exchanging the two factors. The conjecture referred to above is that if A(S) is transitive on S, then every l-automorphism of A(S) is inner.

Type
Research Article
Copyright
Copyright © Edinburgh Mathematical Society 1975

References

REFERENCES

(1) Holland, W. C., Transitive lattice ordered permutation groups, Math. Z. 87 (1965), 420433.Google Scholar
(2) Holland, W. C., The lattice ordered group of automorphisms of an ordered set, Michigan Math. J. 10 (1963), 399408.CrossRefGoogle Scholar
(3) Holland, W. C. and Mccleary, S. H., Wreath products of ordered permutation groups, Pacific J. Math. 31 (1969), 703716.CrossRefGoogle Scholar
(4) Kurosh, A. G., The theory of groups (Chelsea, New York, 1960).Google Scholar
(5) Lloyd, J. T., Lattice ordered groups and o-permutation groups, Ph.D. thesis (Tulane University, 1964).Google Scholar
(6) Tloyd, J. T., Complete distributivity in certain infinite permutation groups, Michigan Math. J. 14 (1967), 393400.Google Scholar
(7) McCleary, S. H., The closed prime subgroups of certain ordered permutation groups, Pacific J. Math. 31 (1969), 745753.CrossRefGoogle Scholar
(8) McCleary, S. H., The lattice-ordered group of automorphisms of an α-set, Pacific J. Math. 49 (1973), 419424.Google Scholar
(9) Ohkuma, T., Sur quelques ensembles ordonnés linéarment. Fund. Math. 43 (1954), 326337.Google Scholar