Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Closed subgroups of lattice-ordered permutation groups


Author: Stephen H. McCleary
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
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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\vert\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\vert\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 }\vert\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 }\vert\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 [Enhancements On Off] (What's this?)

  • [1] R. D. Byrd, Complete distributivity in lattice-ordered groups, Pacifie J. Math. 20 (1967), 423-432. MR 34 #7680. MR 0207866 (34:7680)
  • [2] R. D. Byrd and J. T. Lloyd, Closed subgroups and complete distributivity in lattice-ordered groups, Math. Z. 101 (1967), 123-130. MR 36 #1371. MR 0218284 (36:1371)
  • [3] G. Holland, The lattice-ordered group of automorphisms of an ordered set, Michigan Math. J. 10 (1963), 399-408. MR 28 #1237. MR 0158009 (28:1237)
  • [4] -, Transitive lattice-ordered permutation groups, Math. Z. 87 (1965), 420-433. MR 31 #2310. MR 0178052 (31:2310)
  • [5] W. C. Holland and S. H. McCleary, Wreath products of ordered permutation groups, Pacific J. Math. 31 (1969), 703-716. MR 41 #3350. MR 0258704 (41:3350)
  • [6] J. T. Lloyd, Representations of lattice-ordered groups having a basis, Pacific J. Math. 15 (1965), 1313-1317. MR 32 #2489. MR 0185019 (32:2489)
  • [7] -, Complete distributivity in certain infinite permutation groups, Michigan Math. J. 14 (1967), 393-400. MR 36 #2544. MR 0219462 (36:2544)
  • [8] S. H. McCleary, Pointwise suprema of order-preserving permutations, Illinois J. Math. 16 (1972), 69-75. MR 0294202 (45:3275)
  • [9] -, The closed prime subgroups of certain ordered permutation groups, Pacific J. Math. 31 (1969), 745-753. MR 42 #1736. MR 0266833 (42:1736)
  • [10] -, $ O$-primitive ordered permutation groups, Pacific J. Math. 40 (1972), 349-372. MR 0313155 (47:1710)
  • [11] -, $ O$-$ 2$-transitive ordered permutation groups (to appear).
  • [12] -, $ O$-primitive ordered permutation groups, II (to appear).

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 06A55, 20B99

Retrieve articles in all journals with MSC: 06A55, 20B99


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1972-0311535-1
Keywords: Lattice-ordered permutation group, totally ordered set, complete subgroup, prime subgroup, closed subgroup, stabilizer subgroup, complete distributivity, wreath product
Article copyright: © Copyright 1972 American Mathematical Society

American Mathematical Society