For each , conjugation sends a subgroup to , a subgroup of the same order and hence still proper. Identity conjugation fixes every subgroup, andThese verify the group action laws.
The stabilizer subgroup of for this conjugation action is its normalizer . Since , the orbit-stabilizer theorem gives the number of distinct conjugates asAll these conjugate subgroups contain the identity, so counting that element only once givesThe last inequality uses the properness of , so . There is therefore an element outside this union, which is not conjugate to any element of . This proves that conjugates of a proper subgroup do not cover a finite group, including the case .
Articles by others on the same topic
There are currently no matching articles.