Using Isomorphism Theorem to show

Click For Summary
SUMMARY

The discussion focuses on using the Isomorphism Theorem to demonstrate that the quotient group G/Z(G) is isomorphic to the group of inner automorphisms Inn(G). The inner automorphism θa: G → G is defined as θa(g) = aga⁻¹, establishing a group homomorphism with the kernel being the center of G, Z(G). The conclusion follows from the theorem stating that Im(θ) is isomorphic to G/ker(θ), confirming that G/Z(G) ≅ Inn(G). The necessity to prove that Z(G) equals ker(θ) is also highlighted.

PREREQUISITES
  • Understanding of group theory concepts, specifically groups and homomorphisms.
  • Familiarity with the Isomorphism Theorem in abstract algebra.
  • Knowledge of inner automorphisms and their properties.
  • Basic comprehension of the center of a group, denoted Z(G).
NEXT STEPS
  • Study the Isomorphism Theorem in detail, focusing on its applications in group theory.
  • Explore the properties of inner automorphisms and their significance in group structure.
  • Investigate the relationship between the center of a group and the kernel of homomorphisms.
  • Practice proving isomorphisms between groups using various examples and exercises.
USEFUL FOR

This discussion is beneficial for students and researchers in abstract algebra, particularly those studying group theory, inner automorphisms, and the Isomorphism Theorem. It is also useful for anyone looking to deepen their understanding of group structures and properties.

missavvy
Messages
73
Reaction score
0

Homework Statement



If G is a group and aϵG, then the inner automorphism θa: G --> G is defined by θa(g) = aga-1. Let Inn(G) = group of inner automorphisms and Z(G) = the centre of G.
Use the Isomorphism theorem to show G/Z(G)≅Inn(G).

Homework Equations





The Attempt at a Solution


Firstly, the inner automorphism θa: G --> G defined by θa(g) = aga-1 is a group homomorphism, with its kernel being the centre of G, denoted Z(G). And its image = Inn(G).
So since the theorem says Im(θ) ≅ G/ker(θ), then G/Z(G)≅Inn(G).

Would I have to somehow prove that Z(G) = ker(θ)? I don't really know where to begin.
Likewise with Im(θ) = Inn(G).

Please let me know if this attempt is sort of close to the actual solution.
Thankss!
 
Physics news on Phys.org
You want to show that the assigment a\mapsto \theta_a is a homomorphism from G to Aut(G) (the group of automorphisms of G). Clearly the image of this map is Inn(G). From what you wrote I think you were looking at an individual \theta_a (which, btw, the kernel can be bigger than the center since there can be elements that commute with a but not with everything, so the center will be a subgroup of the kernel of an individual \theta_a)
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K