Prove that if phi : S ---> T is an isomorphism of <S,*> with <T, #> and psi: T ---> U is an isomorphism of <T, #> with <U, diamond> then the composite function psi composed with phi is an isomorphism of <S, *> with <U, diamond>
To show that is an isomorphism, we show that is a homomorphism and then we show that it is bijective.
To show homomorphism: Let consider,
. Since is a homomorphism, we have that
And since is a homomorphism, we have that
as desired. Hence is a homomorphism.
To show that it is bijective, we show that is both injective and surjective.
Let for
And since is injective, we have that
And since is injective, we have that
.
Let , then
(Since is surjective).
Since , by the surjectivity of , we have that
So we have that
And this implies that is surjective. Hence we can safely conclude that is an isomorphism.
Comments