Endomorphism kernel does not satisfy intermediate subgroup condition
This article gives the statement, and possibly proof, of a subgroup property (i.e., endomorphism kernel) not satisfying a subgroup metaproperty (i.e., intermediate subgroup condition).
View all subgroup metaproperty dissatisfactions | View all subgroup metaproperty satisfactions|Get help on looking up metaproperty (dis)satisfactions for subgroup properties
Get more facts about endomorphism kernel|Get more facts about intermediate subgroup condition|
It is possible to have a group and subgroups such that:
- is an endomorphism kernel in , i.e., is a normal subgroup of and there is a subgroup of such that .
- is not an endomorphism kernel in .
Take the following:
- is semidihedral group:SD16.
- is the subgroup Q8 in SD16 and is isomorphic to the quaternion group.
- is the center of semidihedral group:SD16 and is isomorphic to cyclic group:Z2.
- is an endomorphism kernel in : The quotient group is isomorphic to dihedral group:D8, which occurs as D8 in SD16 in .
- is not an endomorphism kernel in : The quotient group is isomorphic to the Klein four-group, which is not isomorphic to any subgroup of (see subgroup structure of quaternion group).
Infinite example that always works
We combine the fact that normal not implies endomorphism kernel with the fact that normal iff potential endomorphism kernel (note that the roles of the letters and as used on that page are the reverse of the roles here).