Abstract Algebra: need a review of 1-1 and onto proof

Click For Summary
SUMMARY

The discussion centers on proving that the function f: H → gHg^{-1}, defined as f(h) = ghg^{-1}, is both one-to-one (1-1) and onto (surjective). The proof for 1-1 is established through left and right cancellations, confirming that if f(h1) = f(h2), then h1 = h2. However, the onto proof requires clarification on the normality of subgroup H, as the conclusion that every element h in H maps to an element in gHg^{-1} is contingent upon this property being satisfied.

PREREQUISITES
  • Understanding of group theory concepts, specifically functions between groups.
  • Knowledge of injective (1-1) and surjective (onto) functions.
  • Familiarity with subgroup properties, particularly normal subgroups.
  • Experience with group notation and operations, such as conjugation.
NEXT STEPS
  • Study the properties of normal subgroups in group theory.
  • Learn about injective and surjective functions in the context of abstract algebra.
  • Explore examples of functions between groups to solidify understanding of 1-1 and onto proofs.
  • Review the concept of conjugation and its implications in group structures.
USEFUL FOR

Students of abstract algebra, mathematicians focusing on group theory, and anyone seeking to deepen their understanding of function properties within algebraic structures.

Halaaku
Messages
23
Reaction score
0

Homework Statement



define a function f:H--> gHg^{-1}

Homework Equations


prove if f is 1-1 and onto.

The Attempt at a Solution


1-1:
f(h1)=f(h2)
gh1g^{-1}=gh2g^{-1}
h1=h2 (left and right cancellations)

onto:
f(g^{-1}hg)=gg^{-1}hgg^{-1}=h
so every h belonging to H has an image of g^{-1}hg.
However,I do not really understand the last line. I followed the example that we did in class but now I am not sure.
 
Physics news on Phys.org
Halaaku said:

Homework Statement



define a function f:H--> gHg^{-1}

If you tell me what H and g are (I'm assuming there's a group G, that H is a subgroup of G, and that g \in G) I will know the domain and codomain of f, but you haven't said anything about what f(h) is for h \in H, so I can't say whether f is injective or surjective.

Homework Equations


prove if f is 1-1 and onto.

The Attempt at a Solution


1-1:
f(h1)=f(h2)
gh1g^{-1}=gh2g^{-1}
h1=h2 (left and right cancellations)

That's one mystery solved: f: h \mapsto ghg^{-1} and it is indeed 1-1.

onto:
f(g^{-1}hg)=gg^{-1}hgg^{-1}=h
so every h belonging to H has an image of g^{-1}hg.

No. What you've written here is that if g^{-1}hg \in H then f(g^{-1}hg) = h \in gHg^{-1}. But unless H is normal, and you haven't told me that it is, it may not be the case that if h \in H then g^{-1}hg \in H.

To prove that f is onto, you need to start with a k \in gHg^{-1} and show that there exists h \in H such that f(h) = k.
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
9K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
640
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
992
  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K