Proving Group Homomorphism: P(G1) is a Subgroup of G2 | Permutation Group Help

  • Thread starter Thread starter millwallcrazy
  • Start date Start date
  • Tags Tags
    Group Permutation
Click For Summary
SUMMARY

The discussion focuses on proving that the image of a group homomorphism P: G1 --> G2, specifically P(G1), is a subgroup of G2. Participants emphasize the necessity of demonstrating closure, identity, inverse, and associativity to validate that P(G1) meets subgroup criteria. Additionally, the conversation explores the map Q: G --> Perm(G), where Qg(h) = gh, and the need to establish that this mapping is well-defined and one-to-one. The example using the group Z3 illustrates the application of these concepts in a concrete setting.

PREREQUISITES
  • Understanding of group homomorphisms
  • Familiarity with subgroup criteria (closure, identity, inverse, associativity)
  • Knowledge of permutation groups, specifically Perm(G)
  • Basic concepts of group theory, including examples like Z3
NEXT STEPS
  • Study the subgroup test in detail to apply it effectively to P(G1)
  • Learn how to demonstrate that a mapping is well-defined in group theory
  • Explore the properties of permutation groups, focusing on their structure and applications
  • Review examples of group homomorphisms with explicit calculations
USEFUL FOR

Students and researchers in abstract algebra, particularly those studying group theory, group homomorphisms, and permutation groups. This discussion is beneficial for anyone looking to solidify their understanding of subgroup properties and mappings in group contexts.

millwallcrazy
Messages
14
Reaction score
0
i'm having trouble to show that if P: G1 --> G2 is a group homomorphism, then the image, P(G1) = {g belongs to G2 , s.t. there exists h belonging G1 , P(h) = g}, is a subgroup of G2

Also:

Let G be a group, and Perm(G) be the permutation group of G. Show that the
map Q : G --> Perm(G) g --> Qg (g is a subscript of Q) such that Qg(h) = gh (g is a subscript of Q) is well-defined, 1-1 and a group homomorphism, where g, h belong to G.

Suppose that G = Z3 = {e, a, a^2}, a^3 = e. Labelling the points of Z3 as {1, 2, 3},
with e = 1, a = 2 and a^2 = 3, give the permutations Qa and Qa^2 , explicitly. (a and a^2 are subscripts of Q)For the first part: Do i have to show the closure, identity, inverse and associativity

For the 2nd part: How do i show that the map is well defined?

For the third part: I'm not sure where to start?
 
Last edited:
Physics news on Phys.org
Consider the definition of a homomorphism itself, then the elements on the image should form a group(which is a subgroup of G2)
Try applying the subgroup test to P(G1), whichever one you've learned.

My group theory is kinda rusty, so I'll leave the rest to others.
 

Similar threads

Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
5
Views
3K