Completeness properties of certain normal subgroup lattices (Q1112172): Difference between revisions

Let (\(\Omega\),\(\leq)\) be a linearly ordered set such that \(A(\Omega)=Aut(\Omega,\leq)\) is 2 transitive on (\(\Omega\),\(\leq)\) (i.e., \(\alpha_ 1<\beta_ 1\) and \(\alpha_ 2<\beta_ 2\) \(\to\) \(\alpha_ 1g=\alpha_ 2\) and \(\beta_ 1g=\beta_ 2\) for some \(g\in A(\Omega))\). Let \(N_ 1\) be the lattice of normal subgroups of A(\(\Omega)\) that are finitely generated as normal subgroups. The author proves that \(N_ 1\) is closed under intersections and joins of at most \(\aleph_ 1\) elements of \(N_ 1\) and that \(a\wedge \bigvee_{i\in \omega_ 1}b_ i=\bigvee_{i\in \omega_ 1}(a\wedge b_ i)\) and dually if \(a,b_ i\in N_ 1\) for all \(i\in \omega_ 1\). Moreover, if N is the lattice of all normal subgroups of A(\(\Omega)\), then with respect to inclusion, \(N_ 1\) is closed in N under intersection of at most \(\aleph_ 1\) elements but not under suprema of such sets of elements. The proof depends on the deep set-theoretic classification of the class of all lattices \(N_ 1\) (A(\(\Omega)\) not necessarily 2-transitive on (\(\Omega\),\(\leq))\) given by \textit{M. Droste} and \textit{S. Shelah} [Isr. J. Math. 51, 223-261 (1985; Zbl 0608.06001)] and is achieved by a most insightful analysis thereof. Other results are also obtained.