Closed subgroups of lattice-ordered permutation groups
HTML articles powered by AMS MathViewer
- by Stephen H. McCleary
- Trans. Amer. Math. Soc. 173 (1972), 303-314
- DOI: https://doi.org/10.1090/S0002-9947-1972-0311535-1
- PDF | Request permission
Abstract:
Let $G$ be an $l$-subgroup of the lattice-ordered group $A(\Omega )$ of order-preserving permutations of a chain $\Omega$; and in this abstract, assume for convenience that $G$ is transitive. Let $\bar \Omega$ denote the completion by Dedekind cuts of $\Omega$. The stabilizer subgroups ${G_{\bar \omega }} = \{ g \epsilon G|\bar \omega g = \bar \omega \} ,\bar \omega \epsilon \bar \Omega$, will be used to characterize certain subgroups of $G$ which are closed (under arbitrary suprema which exist in $G$). If $\Delta$ is an $o$-block of $G$ (a nonempty convex subset such that for any $g \epsilon G$, either $\Delta g = \Delta$ or $\Delta g \cap \Delta$ is empty), and if $\bar \omega = \sup \Delta ,{G_\Delta }$ will denote $\{ g \epsilon G|\Delta g = \Delta \} = {G_{\bar \omega }}$; and the $o$-block system $\tilde \Delta$ consisting of the translates $\Delta g$ of $\Delta$ will be called closed if ${G_\Delta }$ is closed. When the collection of $o$-block systems is totally ordered (by inclusion, viewing the systems as congruences), there is a smallest closed system $\mathcal {C}$, and all systems above $\mathcal {C}$ are closed. $\mathcal {C}$ is the trivial system (of singletons) iff $G$ is complete (in $A(\Omega )$). ${G_{\bar \omega }}$ is closed iff $\bar \omega$ is a cut in $\mathcal {C}$ i.e., $\bar \omega$ is not in the interior of any $\Delta \epsilon \mathcal {C}$. Every closed convex $l$-subgroup of $G$ is an inter-section of stabilizers of cuts in $\mathcal {C}$. Every closed prime subgroup $\ne G$ is either a stabilizer of a cut in $\mathcal {C}$, or else is minimal and is the intersection of a tower of such stabilizers. $L(\mathcal {C}) = \cap \{ {G_\Delta }|\Delta \epsilon \mathcal {C}\}$ is the distributive radical of $G$, so that $G$ acts faithfully (and completely) on $\mathcal {C}$ iff $G$ is completely distributive. Every closed $l$-ideal of $G$ is $L(\mathcal {D})$ for some system $\mathcal {D}$. A group $G$ in which every nontrivial $o$-block supports some $1 \ne g \epsilon G$ (e.g., a generalized ordered wreath product) fails to be complete iff $G$ has a smallest nontrivial system $\tilde \Delta$ and the restriction ${G_\Delta }|\Delta$ is $o$-$2$-transitive and lacks elements $\ne 1$ of bounded support. These results about permutation groups are used to show that if $H$ is an abstract $l$-group having a representing subgroup, its closed $l$-ideals form a tower under inclusion; and that if $\{ {K_\lambda }\}$ is a Holland kernel of a completely distributive abstract $l$-group $H$, then so is the set of closures $\{ K_\lambda ^ \ast \}$, so that if $H$ has a transitive representation as a permutation group, it has a complete transitive representation.References
- Richard D. Byrd, Complete distributivity in lattice-ordered groups, Pacific J. Math. 20 (1967), 423–432. MR 207866, DOI 10.2140/pjm.1967.20.423
- Richard D. Byrd and Justin T. Lloyd, Closed subgroups and complete distributivity in lattice-ordered groups, Math. Z. 101 (1967), 123–130. MR 218284, DOI 10.1007/BF01136029
- Charles Holland, The lattice-ordered groups of automorphisms of an ordered set, Michigan Math. J. 10 (1963), 399–408. MR 158009
- Charles Holland, Transitive lattice-ordered permutation groups, Math. Z. 87 (1965), 420–433. MR 178052, DOI 10.1007/BF01111722
- W. Charles Holland and Stephen H. McCleary, Wreath products of ordered permutation groups, Pacific J. Math. 31 (1969), 703–716. MR 258704, DOI 10.2140/pjm.1969.31.703
- Justin T. Lloyd, Representations of lattice-ordered groups having a basis, Pacific J. Math. 15 (1965), 1313–1317. MR 185019, DOI 10.2140/pjm.1965.15.1313
- Justin T. Lloyd, Complete distributivity in certain infinite permutation groups, Michigan Math. J. 14 (1967), 393–400. MR 219462
- Stephen H. McCleary, Pointwise suprema of order-preserving permutations, Illinois J. Math. 16 (1972), 69–75. MR 294202
- Stephen H. McCleary, The closed prime subgroups of certain ordered permutation groups, Pacific J. Math. 31 (1969), 745–753. MR 266833, DOI 10.2140/pjm.1969.31.745
- Stephen H. McCleary, $0$-primitive ordered permutation groups, Pacific J. Math. 40 (1972), 349–372. MR 313155, DOI 10.2140/pjm.1972.40.349 —, $O$-$2$-transitive ordered permutation groups (to appear). —, $O$-primitive ordered permutation groups, II (to appear).
Bibliographic Information
- © Copyright 1972 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 173 (1972), 303-314
- MSC: Primary 06A55; Secondary 20B99
- DOI: https://doi.org/10.1090/S0002-9947-1972-0311535-1
- MathSciNet review: 0311535