The lateral completion of a completely distributive lattice-ordered group (revisited)
Gary Ernest Davis, Stephen H. McCleary · Journal of the Australian Mathematical Society Series A Pure Mathematics and Statistics · 1981
Abstract The lateral completion of a completely distributive lattice-ordered permutation group is investigated via various completions, obtained by adjoining permutations which match some elements of the given group in various ways. This makes known results on the lateral completion of a completely distributive lattice-ordered group both transparent and easy.