Exercise 30, § 6
Algebra, I, 155
Bourbaki marks this one as harder than the rest.
Let be a prime number, and integers , S a cyclic group of order and T the subgroup of S of order . (a) If S operates on a finite set E, show that
where denotes the set of elements of E invariant under T. (b) Let . Show that
(Let M be a set with m elements and E the set of subsets of with elements. Define an operation of S on such that there exists a bijection of onto the set of subsets of with n elements; apply (a).)
Solution
No solution has been written yet.