Double-coset criterion for a one-point extension

ID: double-coset-criterion-for-a-one-point-extension

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.

New to topics? Read the docs here!