Transitivity lifted through unique pth roots
ID: transitivity-lifted-through-unique-pth-roots
Suppose a group of field automorphisms acts transitively on elements , and each has a unique th root in a stable extension. If every automorphism extends, it sends to the unique root above its image of , so the extended group acts transitively on the .
New to topics? Read the docs here!