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.
Articles by others on the same topic
There are currently no matching articles.