Is ψ an Isomorphism from H to G?

  • Context: MHB 
  • Thread starter Thread starter himynameJEF
  • Start date Start date
  • Tags Tags
    Isomorphism Proof
Click For Summary
SUMMARY

The discussion focuses on proving that ψ, the inverse function of the isomorphism ϕ: G → H, is itself an isomorphism from H to G. Key points include that ψ is injective due to the well-defined nature of ϕ and surjective since ϕ covers all elements in its domain. The proof involves demonstrating that ψ preserves the group operation, specifically showing that for any elements x, y in G, the equation ψ(xy) = ψ(x)ψ(y) holds true after applying ϕ.

PREREQUISITES
  • Understanding of group theory concepts, specifically isomorphisms.
  • Familiarity with injective and surjective functions.
  • Knowledge of homomorphisms and their properties.
  • Ability to manipulate mathematical symbols and expressions.
NEXT STEPS
  • Study the properties of isomorphisms in group theory.
  • Learn about injective and surjective functions in detail.
  • Explore homomorphisms and their role in group structures.
  • Practice proving mathematical statements involving group operations.
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in understanding group isomorphisms and their proofs.

himynameJEF
Messages
5
Reaction score
0
I'm trying to figure out how to prove this, but I'm unsure how to approach it.

Let G and H be groups, let ϕ: G → H be an isomorphism, and let ψ be the inverse function of ϕ. Prove that ψ is an isomorphism from H to G.

any help? thanks
 
Physics news on Phys.org
Here are some hints to start you off: $\psi$ is injective because $\phi$ is well defined, and it is surjective because $\phi$ is defined on all elements in its domain. There, you just have to translate that into mathematical symbols. (Smile) As for it being a homomorphism, observe that for $x,y\in G$,
$$xy\ =\ \left[\phi(\psi(x))\right]\left[\phi(\psi(y))\right]\ =\ \phi\left[\psi(x)\psi(y)\right].$$
Now apply $\psi$ to both sides.
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
640
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 26 ·
Replies
26
Views
968
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 34 ·
2
Replies
34
Views
7K
  • · Replies 2 ·
Replies
2
Views
2K