Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Actually I would like to verify that those groups satisfy the following two properties: (M) every finite subgroup is contained in a maximal finite subgroup and (NM) If M is a finite maximal subgroup then N(M) its normalizer it is equal to M.