Characteristic not implies normal-isomorph-free
This article gives the statement and possibly, proof, of a non-implication relation between two subgroup properties, when the big group is a finite group. That is, it states that in a finite group, every subgroup satisfying the first subgroup property (i.e., characteristic subgroup) need not satisfy the second subgroup property (i.e., normal-isomorph-free subgroup)
View all subgroup property non-implications | View all subgroup property implications
- Characteristic not implies characteristic-isomorph-free in finite (combined with normal-isomorph-free implies characteristic-isomorph-free)
- Characteristic-isomorph-free not implies normal-isomorph-free in finite (combined with characteristic-isomorph-free implies characteristic)
- Characteristic not implies series-isomorph-free (combined with normal-isomorph-free implies series-isomorph-free)
The proof could be obtained using an example for any of the stronger facts (1)-(3).