Home
Random
Log in
Settings
Donate
About Wikiversity
Disclaimers
Search
Bijective group homomorphism/Inverse mapping/Homomorphism/Fact/Proof
Language
Watch
Edit
<
Bijective group homomorphism/Inverse mapping/Homomorphism/Fact
Proof
This follows from
φ
−
1
(
h
1
h
2
)
=
φ
−
1
(
φ
(
φ
−
1
(
h
1
)
)
φ
(
φ
−
1
(
h
2
)
)
)
=
φ
−
1
(
φ
(
φ
−
1
(
h
1
)
φ
−
1
(
h
2
)
)
)
=
φ
−
1
(
h
1
)
φ
−
1
(
h
2
)
.
{\displaystyle {}{\begin{aligned}\varphi ^{-1}(h_{1}h_{2})&=\varphi ^{-1}{\left(\varphi (\varphi ^{-1}(h_{1}))\varphi (\varphi ^{-1}(h_{2}))\right)}\\&=\varphi ^{-1}{\left(\varphi {\left(\varphi ^{-1}(h_{1})\varphi ^{-1}(h_{2})\right)}\right)}\\&=\varphi ^{-1}(h_{1})\varphi ^{-1}(h_{2}).\end{aligned}}}
To fact
