# Endomorphism kernel does not satisfy intermediate subgroup condition

From Groupprops

This article gives the statement, and possibly proof, of a subgroup property (i.e., endomorphism kernel)notsatisfying 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|

## Statement

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 .

## Proof

### Finite example

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.

Then:

- 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).