Schur-triviality is not characteristic subgroup-closed
This article gives the statement, and possibly proof, of a group property (i.e., Schur-trivial group) not satisfying a group metaproperty (i.e., characteristic subgroup-closed group property).
View all group metaproperty dissatisfactions | View all group metaproperty satisfactions|Get help on looking up metaproperty (dis)satisfactions for group properties
Get more facts about Schur-trivial group|Get more facts about characteristic subgroup-closed group property|
Statement
It is possible to have a Schur-trivial group and a characteristic subgroup of such that is not a Schur-trivial group.
Proof
Example of semidihedral group
We take the following:
- is semidihedral group:SD16, which is a Schur-trivial group.
- is the subgroup D8 in SD16 inside . This is an isomorph-free subgroup, hence is characteristic.
- is abstractly isomorphic to dihedral group:D8, which is not Schur-trivial.