Primitive group with a transposition
ID: primitive-group-with-a-transposition
If a primitive subgroup of contains a transposition, make a graph whose edges are the supports of its conjugate transpositions. Connected components form blocks for the group. An edge exists, so primitivity forces the graph to be connected. Its edge transpositions generate all of , proving that the original group is .
New to topics? Read the docs here!