PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
inner automorphism (Definition)

Let $G$ be a group. For every $x\in G$ we define a mapping $$\phi_x:G\rightarrow G,\quad y\mapsto x y x^{-1},\quad y\in G,$$ called conjugation by $x$ It is easy to show the conjugation map is in fact, a group automorphism.

An automorphism of $G$ that corresponds to conjugation by some $x\in G$ is called inner. An automorphism that isn't inner is called an outer automorphism.

The composition operation gives the set of all automorphisms of $G$ the structure of a group, $\operatorname{Aut}(G)$ The inner automorphisms also form a group, $\operatorname{Inn}(G)$ which is a normal subgroup of $\operatorname{Aut}(G)$ Indeed, if $\phi_x,\; x\in G$ is an inner automorphism and $\pi:G\rightarrow G$ an arbitrary automorphism, then $$\pi\circ \phi_x \circ\pi^{-1} = \phi_{\pi(x)}.$$ Let us also note that the mapping $$x\mapsto \phi_x,\quad x\in G$$ is a surjective group homomorphism with kernel $\operatorname{Z}(G)$ the centre subgroup. Consequently, $\operatorname{Inn}(G)$ is naturally isomorphic to the quotient of $G/\operatorname{Z}(G)$

Note: the above definitions and assertions hold, mutatis mutandi, if we define the conjugation action of $x\in G$ on $B$ to be the right action $$ y\mapsto x^{-1} y x,\quad y\in G,$$ rather than the left action given above.




Anyone with an account can edit this entry. Please help improve it!

"inner automorphism" is owned by rmilson. [ full author list (3) | owner history (1) ]
(view preamble | get metadata)

View style:

Other names:  inner
Also defines:  conjugation, outer, outer automorphism, automorphism group
Log in to rate this entry.
(view current ratings)

Cross-references: left action, right action, action, definitions, quotient, isomorphic, subgroup, centre, kernel, group homomorphism, surjective, normal subgroup, structure, operation, composition, automorphism, group automorphism, mapping, group
There are 72 references to this entry.

This is version 9 of inner automorphism, born on 2002-07-04, modified 2007-07-31.
Object id is 3155, canonical name is InnerAutomorphism.
Accessed 20684 times total.

Classification:
AMS MSC20A05 (Group theory and generalizations :: Foundations :: Axiomatics and elementary properties)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy
hi by vitriol on 2002-07-04 09:17:15
dont know if this is terribly important but:

G/Z(G) ~= Inn(G)

by sending G into Inn(G)

cheers,
vitriol
[ reply | up ]
  • Re: hi by jimcp on 2007-02-18 13:19:59

Interact
post | correct | update request | add derivation | add example | add (any)