Preserves conjugacy classes for a generating set implies IA
This article gives the statement and possibly, proof, of an implication relation between two automorphism properties. That is, it states that every automorphism satisfying the first automorphism property (i.e., automorphism that preserves conjugacy classes for a generating set) must also satisfy the second automorphism property (i.e., IA-automorphism)
View all automorphism property implications | View all automorphism property non-implications
Get more facts about automorphism that preserves conjugacy classes for a generating set|Get more facts about IA-automorphism
Suppose is a group, is a generating set for , and is an automorphism of such that is in the conjugacy class of for all . Then, is an IA-automorphism of , i.e., the automorphism induced by on the abelianization of (the quotient group of by its derived subgroup ) is the identity map.
Given: A group , a generating set for , an automorphism of such that, for every , there exists for which . is the derived subgroup of and is the quotient map to the abelianization .
To prove: For every ,
Proof: The proof has two steps:
- We first show the statement to be proved for all elements of the generating set .
- We then extend to all of using the fact that both and are homomorphisms.