show that (gh)^-1 = (h^-1)(g^-1)
True :)
1 = 1
Or, 1/gh= 1/hg
yeah. but how do i show it?
(gh)^-1 = 1/(gh) = (1/g) * (1/h) = (g^-1)(h^-1) = (h^-1)(g^-1) = RHS
oh great thanks!
oh heck no
>.>
this \[f^{-1}\] means the inverse function, not the reciprocal
True, True, :)
you are trying to show that \[(h\circ g)^{-1}=g^{-1}\circ h^{-1}\]
it is always true that \[(ab)^{-1}=b^{-1}a{-1}\] now matter what a and be are. functions, anything. check as follows
first of all what does \[(h\circ g)^{-1}\] mean? it means if you compose this with \[(h\circ g)\] you should get the identity function back
in other words you know that \[(h\circ g)^{-1}\circ (h\circ g) = I\]
oh but h and g are elements of a group. it's not a function.
so now lets try to show that \[(h\circ g)^{-1}=g^{-1}\circ h^{-1}\] by checking that it is the right thing \[g^{-1}\circ h^{-1}\circ h \circ g =g^{-1}eg=g^{-1}g=e\]\]
fine a group it is and i got rid of the circle notation and used e as the identity. same idea exactly
point is if the group is not commutative, you cannot switch around the inverses. so \[(ab)^{-1}=b^{-1}a^{-1}\]
easy in this notation anyway. \[b^{-1}a^{-1}ab=b^{-1}eb=b^{-1}b=e\]
and likewise on the other side
oh ok
by the way they could be functions right? permutations, anything. that is why i said above that this is completely general
oh right okay. understood. thanks
Join our real-time social learning platform and learn together with your friends!