Maximal subgroup (source code)

= Maximal subgroup

A proper subgroup with no strictly intermediate subgroup between it and the ambient group. In a transitive action a point stabilizer is maximal exactly when the action is primitive.