Scribd
Upload
71 views2 pages

Herstein: Topics in Algebra - Homomorphisms: by Bret Sherfinski June 21, 2015

1) There exists a one-to-one mapping ψ of set S1 into S2. 2) An isomorphism φ of the set of one-to-one mappings of S1 (A(S1)) into the set of one-to-one mappings of S2 (A(S2)) is constructed. 3) It is proved that φ is a one-to-one mapping of A(S1) into A(S2), thus showing the required isomorphism exists.

Uploaded by

Lakshmi Narayan
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
71 views2 pages

Herstein: Topics in Algebra - Homomorphisms: by Bret Sherfinski June 21, 2015

1) There exists a one-to-one mapping ψ of set S1 into S2. 2) An isomorphism φ of the set of one-to-one mappings of S1 (A(S1)) into the set of one-to-one mappings of S2 (A(S2)) is constructed. 3) It is proved that φ is a one-to-one mapping of A(S1) into A(S2), thus showing the required isomorphism exists.

Uploaded by

Lakshmi Narayan
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Herstein: Topics in Algebra - Homomorphisms

by Bret Sherfinski

June 21, 2015

21. Let S1 and S2 be two sets. Suppose there exists a one-to-one mapping ψ of S1 into
S2 . Show there exists an isomorphism of A(S1 ) into A(S2 ), where A(S) means the
set of all one-to-one mappings of S onto itself.

Proof: The mapping ψ sends a “copy” of S1 into S2 , so if we can “extend” A(ψ(S1 )) in


A(S2 ) without changing any algebraic structure it will the isomorphism or “copy” of A(S1 )
we need in A(S2 ). If σ ∈ A(S1 ) let’s define φ ∈ A(S2 ) in the following natural way so that
φ is “induced” by σ:
(
s2 if s2 ∈/ ψ(S1 ).
φ(s2 ) =
ψσ(s1 ) if s2 = ψ(s1 ) for some s1 ∈ S1 .

That is, φ moves only elements of S2 in the image of ψ which is “our copy of S1 in S2 ”.
Hence, σ ∈ A(S1 ) induces φ. Let’s show φ ∈ A(S2 ) or that φ is one-to-one mapping of S2
onto itself.

1. φ is onto:
/ ψ(S1 ) then φ(s2 ) = s2 otherwise s2 ∈ ψ(S1 ) so s2 = ψ(s∗1 ) where s∗1 ∈ S1 .
If s2 ∈
Since σ ∈ A(S1 ) there exists s∗∗ ∗∗ ∗ ∗∗
1 ∈ S1 such that σ(s1 ) = s1 . Let s2 = ψ(s1 ) ∈ S2
∗∗ ∗
then φ(s2 ) = ψ(σ(s1 )) = ψ(s1 ) = s2 .
2. φ is one-to-one:
Suppose φ(s2 ) = φ(s02 ) and s2 ∈ / ψ(S1 ) then φ(s2 ) = s2 . If s02 ∈ ψ(S1 ) then for some
s1 ∈ S1 , s2 = ψ(s1 ) hence s2 = φ(s2 ) = φ(s02 ) = ψ(σ(s001 )) which contradicts that
00 0 00

s2 ∈/ ψ(S1 ). Therefore, s02 ∈/ ψ(S1 ) so that φ(s02 ) = s02 = φ(s2 ) = s2 .


Finally, we have to consider the case when φ(s2 ) = φ(s02 ) and s2 , s02 ∈ ψ(S1 ). In this
case, there are s01 , s001 ∈ S1 such that ψ(s01 ) = s2 and ψ(s001 ) = s02 . Hence φ(s2 ) =
ψ(σ(s01 )) = φ(s02 ) = ψ(σ(s001 )). We know both ψ and σ are both one-to-one so ψσ is
one-to-one. Therefore, s01 = s001 and hence s2 = s02 .
Therefore, φ ∈ A(S2 ).

1
2

Define η : A(S1 ) → A(S2 ) by η(σ) = φ as constructed above. η is the isomorphism we


need. First we must show that it is a homomorphism and that it is one-to-one:

(1) η is a homomorphism:
We must show η(σ1 σ2 ) = η(σ1 )η(σ2 ).
If s2 ∈
/ ψ(S1 ) then η(σ1 σ2 )s2 = η(σ1 )η(σ2 )s2 = s2 .

If s2 ∈ ψ(S1 ) then s2 = ψ(s1 ) for some s1 ∈ S1 . Hence,

η(σ1 σ2 )s2 = (ψσ1 σ2 )(s1 )

and

η(σ1 )η(σ2 )s2 = η(σ1 )ψ(σ2 (s1 )) = ψσ1 (σ2 (s1 )) = (ψσ1 σ2 )(s1 ).

Thus,

η(σ1 σ2 ) = η(σ1 )η(σ2 ).

(2) η is one-to-one:
Suppose η(σ1 ) = η(σ2 ).
Let s1 ∈ S1 then ψ(s1 ) ∈ S2 so if η(σ1 ) = η(σ2 ) we have

η(σ1 )ψ(s1 ) = η(σ2 )ψ(s1 ) =⇒ ψ(σ1 (s1 )) = ψ(σ2 (s1 ))


but ψ is one-to-one so σ1 (s1 ) = σ2 (s1 ) implies σ1 = σ2 , proving η is one-to-one.

You might also like