Diagonal action on a centerless group

ID: diagonal-action-on-a-centerless-group

For nontrivial centerless , this action of is faithful and transitive. Its identity stabilizer is the diagonal subgroup. Subgroups above that diagonal are with : multiply by a diagonal element to isolate the second coordinate, then use diagonal conjugation. Thus the action is primitive exactly when is nonabelian simple.

New to topics? Read the docs here!