Product of conjugates is proper
This article describes an easy-to-prove fact about basic notions in group theory, that is not very well-known or important in itself
View other elementary non-basic facts
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
VIEW: Survey articles about this
This article describes a result of the form that argues that a subset constructed in a certain fashion is proper, viz it is not the whole group
Let be a proper subgroup, and let be a conjugate of . Then is a proper subset of .
- Union of all conjugates of subgroup of finite index is proper: This states that the union of all conjugates of a proper subgroup in a finite group is again proper.
Applications and similar facts
- Maximal implies normal or abnormal: The proof idea here is very similar.
- Maximal conjugate-permutable implies normal: This is an easy corollary.
- Maximal implies self-conjugate-permutable
- Conjugate-permutable and self-conjugate-permutable implies normal
- Conjugate-permutable implies subnormal in finite
Given: A finite group , two proper conjugate subgroups and , where .
To prove: is a proper subset of .
Proof: Suppose not, i.e., suppose .
- , so we can write where .
- Thus, . This yields .
- But we know that , so we get .
- We thus get , contradicting the assumption that is a proper subgroup of .