Complete not implies ambivalent
This article gives the statement and possibly, proof, of a non-implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., complete group) need not satisfy the second group property (i.e., ambivalent group)
View a complete list of group property non-implications | View a complete list of group property implications
Get more facts about complete group|Get more facts about ambivalent group
- Holomorph of cyclic group of odd prime order is complete
- Ambivalence is quotient-closed
- Characteristically simple and non-abelian implies automorphism group is complete
- Automorphism group of simple non-abelian group need not be ambivalent
Proof using facts (1) and (2)
Further information: Holomorph of Z5
By fact (1), the holomorph of any cyclic group of odd prime order is complete. Let and consider the holomorph of the cyclic group of order . This is a group of order , with the automorphism group a cyclic group of order .
On the other hand, if this holomorph were an ambivalent group, then, by fact (2), any quotient of it would also be ambivalent. But the quotient by the cyclic normal subgroup of order five is its automorphism group, which is a cyclic group of order four, which is not an ambivalent group because the generator and its inverse are not conjugate.
Proof using facts (3) and (4)
The proof follows directly from facts (3) and (4).