Inner group automorphism

The inner group automorphism is a normal subgroup given by conjugation by an element, #m/def/group i.e. if then for some . It is hence the image of conjugation as a group action .

Proof of normal subgroup

That is a subgroup follows from the fact that it is the image of the homomorphism . Let and . Then for any

thus .

By the First isomorphism theorem, this is isomorphic to , where the divisor is the centre.

#state/tidy | #lang/en | #SemBr