Homepage › Solution manuals › David A. Cox › Galois Theory › Exercise 14.3.13
Exercise 14.3.13
Consider the definition of -transitive given in the Mathematical Notes.
- (a)
- Prove that is -transitive.
- (b)
- Prove that is -transitive when .
Answers
Proof. (a) Take any ordered -tuple of distinct elements of . Then consider the map
Then and, since the are distinct, , so that . This shows that is surjective, and since the are distinct, is injective, thus is a permutation:
( is the only permutation such that ).
Since
the orbit of is the whole set of ordered -tuples of distinct elements of . This proves that there is only one orbit, and that acts transtitively on , i.e. is -transitive. (b) Take any ordered -tuple of distinct elements of . Name the two remaining elements:
Consider the two permutations
Then .
But , thus one of the two permutations is in , therefore is in the orbit of . Therefore acts transitively on . is -transitive. □