Recognising dualities in finite simple groups (Q2769822)

Given a group \(G\), a subgroup \(K\) is called cocyclic if the interval \([G/K]\) is anti-isomorphic to the lattice of subgroups of a cyclic group. Groups \(G\), \(\overline G\) are considered for which the following properties hold: \((D_1)\) there exists an anti-isomorphism \(\tau\) of the partially ordered set \(Co G\) of all cocyclic subgroups of \(G\) onto the partially ordered set \(C \overline G\) of all cyclic subgroups of \(\overline G\), \((D_2)\) every subgroup of \(G\) is the intersection of cocyclic subgroups, \((D_3)\) if \(X,Y,Z\) are cocyclic subgroups of \(G\), then \(X\geq Y\cap Z\) if and only if \(X^\tau\leq\langle Y^\tau,Z^\tau\rangle\). A group \(G\) is said to admit a \(D\)-situation if there exist a group \(\overline G\) and a map \(\tau\) such that the properties \(D_1\)-\(D_3\) hold. Theorem. A finite simple group \(G\) admits a \(D\)-situation if and only if \(G\) is Abelian.