Universal power not implies class-preserving

From Groupprops
Revision as of 11:50, 5 September 2008 by Vipul (talk | contribs) (New page: {{automorphism property non-implication| stronger = universal power automorphism| weaker = class-preserving}} ==Statement== A universal power automorphism of a group (i.e., an automo...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article gives the statement and possibly, proof, of a non-implication relation between two automorphism properties. That is, it states that every automorphism satisfying the first automorphism property (i.e., universal power automorphism) need not satisfy the second automorphism property (i.e., class-preserving)
View a complete list of automorphism property non-implications | View a complete list of automorphism property implications
Get more facts about universal power automorphism|Get more facts about class-preserving


A universal power automorphism of a group (i.e., an automorphism obtained by taking the n^{th} power for some integer n) need not be a class-preserving automorphism: it need not preserve conjugacy classes of elements.

Related facts

Stronger facts



Example of an Abelian group

Consider the cyclic group of order p, where p is an odd prime. The inverse map is a universal power automorphism of this group, and is not the identity map. Since the group is Abelian, the conjugacy classes are singleton, so we have a universal power automorphism that is not class-preserving.

The example generalizes to any Abelian group whose exponent is bigger than two.