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.