Recognising dualities in finite simple groups

From MaRDI portal





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.











This page was built for publication: Recognising dualities in finite simple groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2769822)