Thread: Question about isomorphism 4?

Given a group G, let A(G) be the set of all isomorphism from G to itself. For every g∈G, define the map φg : G-->G by φg(x) = g^ -1xg
(a) Show that A(G) is a group under composition.
(b) Prove thatφg ∈A(G) for every g ∈G.
(c) Let φ: G-->A(G) be the map g-->φg. Verify that φ is a homomorphism.

Note φg, g is subscript to the φ (i do not know how to type)

Originally Posted by koukou8617

Given a group G, let A(G) be the set of all isomorphism from G to itself. For every g∈G, define the map φg : G-->G by φg(x) = g^ -1xg
(a) Show that A(G) is a group under composition.
(b) Prove thatφg ∈A(G) for every g ∈G.
(c) Let φ: G-->A(G) be the map g-->φg. Verify that φ is a homomorphism.

Note φg, g is subscript to the φ (i do not know how to type)

For (a), you need to verify the group axioms for A(G).
The identity element of A(G) is the trivial automorphism sending each element to itself and the inverse of an automorphism is its inverse as a set map.

For (b) and (c), to show that is an automorphism, you need to show first that is well-defined. Then, you need to show that is homomorphism such that . To show injectivity of , you need to show that if , then x=y, where . To show surjectivity, it suffice to show that , where .

=======================
This is some additional stuff.
Those maps in (b) is called an inner automorphism of G. If and , then , which shows . Additionally, outer automorphism can be defined as .