Endomorph-dominating not implies automorph-conjugate

From Groupprops

This article gives the statement and possibly, proof, of a non-implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., endomorph-dominating subgroup) need not satisfy the second subgroup property (i.e., automorph-conjugate subgroup)
View a complete list of subgroup property non-implications | View a complete list of subgroup property implications
Get more facts about endomorph-dominating subgroup|Get more facts about automorph-conjugate subgroup

EXPLORE EXAMPLES YOURSELF: View examples of subgroups satisfying property endomorph-dominating subgroup but not automorph-conjugate subgroup|View examples of subgroups satisfying property endomorph-dominating subgroup and automorph-conjugate subgroup

Statement

It is possible to have a group and a subgroup such that both the following hold:

  • is an endomorph-dominating subgroup of : For every endomorphism of , there exists such that .
  • is not an automorph-conjugate subgroup of : There exists an automorphism of such that and are not conjugate subgroups.

Proof

We take and as a copy of inside the base .