If interchanges the new point and , put . Then is a one-point extension exactly when , , and for every . These conditions make multiplication-closed, hence a group in the finite setting, with new-point stabilizer . Necessity comes from the two double cosets in the extended two-transitive action.
Articles by others on the same topic
There are currently no matching articles.