Topology of order complexes of intervals in subgroup lattices. (Q1415357)

Es ist ein offenes Problem, ob jeder endliche Verband isomorph zu einem Intervall im Untergruppenverband einer geeigneten endlichen Gruppe ist. Der Verf. formuliert drei Vermutungen über den Kettenkomplex \(\Delta(H,G)\) des offenen Intervalls \((H,G)=\{X\leq G\mid H<X<G\}\) für eine Untergruppe~\(H\) der endlichen Gruppe \(G\), so daß bereits die Richtigkeit der schwächsten eine negative Antwort des obigen Intervallproblems liefern würde. Er beweist für jede dieser Vermutungen, daß ein minimales Gegenbeispiel genau einen minimalen Normalteiler hat und daß dieser Normalteiler nicht abelsch und entweder einfach oder ein Komplement zu \(H\) in \(G\) ist.