How to find a homomorphic map in following question?











up vote
1
down vote

favorite
1













Let $S1$ and $S2$ be two sets. Suppose that there exists a one-to-one
mapping $J$ of $S1$ into $S2$ . Show that 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.




I am not able to find the homomorphic map because $J$ is not necessarily onto.If $J$ was onto we have define a map in which each symbol in an element $x$ belonging to $A(S1)$ could be replaced by corresponding in S2 by using the map $J$.



This Question is from Herstein 2.7.21 .










share|cite|improve this question









New contributor




Amit is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • I think you are right that it is not true, even with finite sets, if J is not onto. I would assume that J is onto and then do it. Also, sometimes people write "a one-to-one mapping between sets" to mean a bijective map, rather than just an injective map.
    – Keshav
    Nov 13 at 17:19










  • @Keshav This Question is from Herstein 2.7.21 . No i am sure it's not bijective
    – Amit
    Nov 13 at 17:26










  • You need to check Herstein's definition of isomorphism. I think "isomorphism of $A(S_1)$ into $A(S_2)$" mean an injective homomorphism from $A(S_1)$ to $A(S_2)$. There is a bijection from $S_1$ to a subset of $T$ of $S_2$, which enables you to construct a bijective isomorphism from $A(S_1)$ to $A(T)$. Then you can embed $A(T)$ into $A(S_2)$.
    – Derek Holt
    Nov 13 at 17:50












  • @DerekHolt I know .But i am not able to do so.Still trying
    – Amit
    Nov 13 at 18:00










  • @DerekHolt Can you tell me how to embed .
    – Amit
    Nov 13 at 18:02















up vote
1
down vote

favorite
1













Let $S1$ and $S2$ be two sets. Suppose that there exists a one-to-one
mapping $J$ of $S1$ into $S2$ . Show that 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.




I am not able to find the homomorphic map because $J$ is not necessarily onto.If $J$ was onto we have define a map in which each symbol in an element $x$ belonging to $A(S1)$ could be replaced by corresponding in S2 by using the map $J$.



This Question is from Herstein 2.7.21 .










share|cite|improve this question









New contributor




Amit is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • I think you are right that it is not true, even with finite sets, if J is not onto. I would assume that J is onto and then do it. Also, sometimes people write "a one-to-one mapping between sets" to mean a bijective map, rather than just an injective map.
    – Keshav
    Nov 13 at 17:19










  • @Keshav This Question is from Herstein 2.7.21 . No i am sure it's not bijective
    – Amit
    Nov 13 at 17:26










  • You need to check Herstein's definition of isomorphism. I think "isomorphism of $A(S_1)$ into $A(S_2)$" mean an injective homomorphism from $A(S_1)$ to $A(S_2)$. There is a bijection from $S_1$ to a subset of $T$ of $S_2$, which enables you to construct a bijective isomorphism from $A(S_1)$ to $A(T)$. Then you can embed $A(T)$ into $A(S_2)$.
    – Derek Holt
    Nov 13 at 17:50












  • @DerekHolt I know .But i am not able to do so.Still trying
    – Amit
    Nov 13 at 18:00










  • @DerekHolt Can you tell me how to embed .
    – Amit
    Nov 13 at 18:02













up vote
1
down vote

favorite
1









up vote
1
down vote

favorite
1






1






Let $S1$ and $S2$ be two sets. Suppose that there exists a one-to-one
mapping $J$ of $S1$ into $S2$ . Show that 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.




I am not able to find the homomorphic map because $J$ is not necessarily onto.If $J$ was onto we have define a map in which each symbol in an element $x$ belonging to $A(S1)$ could be replaced by corresponding in S2 by using the map $J$.



This Question is from Herstein 2.7.21 .










share|cite|improve this question









New contributor




Amit is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












Let $S1$ and $S2$ be two sets. Suppose that there exists a one-to-one
mapping $J$ of $S1$ into $S2$ . Show that 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.




I am not able to find the homomorphic map because $J$ is not necessarily onto.If $J$ was onto we have define a map in which each symbol in an element $x$ belonging to $A(S1)$ could be replaced by corresponding in S2 by using the map $J$.



This Question is from Herstein 2.7.21 .







group-theory group-isomorphism group-homomorphism






share|cite|improve this question









New contributor




Amit is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




Amit is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited Nov 13 at 17:26





















New contributor




Amit is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked Nov 13 at 16:36









Amit

297




297




New contributor




Amit is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





Amit is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






Amit is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












  • I think you are right that it is not true, even with finite sets, if J is not onto. I would assume that J is onto and then do it. Also, sometimes people write "a one-to-one mapping between sets" to mean a bijective map, rather than just an injective map.
    – Keshav
    Nov 13 at 17:19










  • @Keshav This Question is from Herstein 2.7.21 . No i am sure it's not bijective
    – Amit
    Nov 13 at 17:26










  • You need to check Herstein's definition of isomorphism. I think "isomorphism of $A(S_1)$ into $A(S_2)$" mean an injective homomorphism from $A(S_1)$ to $A(S_2)$. There is a bijection from $S_1$ to a subset of $T$ of $S_2$, which enables you to construct a bijective isomorphism from $A(S_1)$ to $A(T)$. Then you can embed $A(T)$ into $A(S_2)$.
    – Derek Holt
    Nov 13 at 17:50












  • @DerekHolt I know .But i am not able to do so.Still trying
    – Amit
    Nov 13 at 18:00










  • @DerekHolt Can you tell me how to embed .
    – Amit
    Nov 13 at 18:02


















  • I think you are right that it is not true, even with finite sets, if J is not onto. I would assume that J is onto and then do it. Also, sometimes people write "a one-to-one mapping between sets" to mean a bijective map, rather than just an injective map.
    – Keshav
    Nov 13 at 17:19










  • @Keshav This Question is from Herstein 2.7.21 . No i am sure it's not bijective
    – Amit
    Nov 13 at 17:26










  • You need to check Herstein's definition of isomorphism. I think "isomorphism of $A(S_1)$ into $A(S_2)$" mean an injective homomorphism from $A(S_1)$ to $A(S_2)$. There is a bijection from $S_1$ to a subset of $T$ of $S_2$, which enables you to construct a bijective isomorphism from $A(S_1)$ to $A(T)$. Then you can embed $A(T)$ into $A(S_2)$.
    – Derek Holt
    Nov 13 at 17:50












  • @DerekHolt I know .But i am not able to do so.Still trying
    – Amit
    Nov 13 at 18:00










  • @DerekHolt Can you tell me how to embed .
    – Amit
    Nov 13 at 18:02
















I think you are right that it is not true, even with finite sets, if J is not onto. I would assume that J is onto and then do it. Also, sometimes people write "a one-to-one mapping between sets" to mean a bijective map, rather than just an injective map.
– Keshav
Nov 13 at 17:19




I think you are right that it is not true, even with finite sets, if J is not onto. I would assume that J is onto and then do it. Also, sometimes people write "a one-to-one mapping between sets" to mean a bijective map, rather than just an injective map.
– Keshav
Nov 13 at 17:19












@Keshav This Question is from Herstein 2.7.21 . No i am sure it's not bijective
– Amit
Nov 13 at 17:26




@Keshav This Question is from Herstein 2.7.21 . No i am sure it's not bijective
– Amit
Nov 13 at 17:26












You need to check Herstein's definition of isomorphism. I think "isomorphism of $A(S_1)$ into $A(S_2)$" mean an injective homomorphism from $A(S_1)$ to $A(S_2)$. There is a bijection from $S_1$ to a subset of $T$ of $S_2$, which enables you to construct a bijective isomorphism from $A(S_1)$ to $A(T)$. Then you can embed $A(T)$ into $A(S_2)$.
– Derek Holt
Nov 13 at 17:50






You need to check Herstein's definition of isomorphism. I think "isomorphism of $A(S_1)$ into $A(S_2)$" mean an injective homomorphism from $A(S_1)$ to $A(S_2)$. There is a bijection from $S_1$ to a subset of $T$ of $S_2$, which enables you to construct a bijective isomorphism from $A(S_1)$ to $A(T)$. Then you can embed $A(T)$ into $A(S_2)$.
– Derek Holt
Nov 13 at 17:50














@DerekHolt I know .But i am not able to do so.Still trying
– Amit
Nov 13 at 18:00




@DerekHolt I know .But i am not able to do so.Still trying
– Amit
Nov 13 at 18:00












@DerekHolt Can you tell me how to embed .
– Amit
Nov 13 at 18:02




@DerekHolt Can you tell me how to embed .
– Amit
Nov 13 at 18:02















active

oldest

votes











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});






Amit is a new contributor. Be nice, and check out our Code of Conduct.










 

draft saved


draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996956%2fhow-to-find-a-homomorphic-map-in-following-question%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes








Amit is a new contributor. Be nice, and check out our Code of Conduct.










 

draft saved


draft discarded


















Amit is a new contributor. Be nice, and check out our Code of Conduct.













Amit is a new contributor. Be nice, and check out our Code of Conduct.












Amit is a new contributor. Be nice, and check out our Code of Conduct.















 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996956%2fhow-to-find-a-homomorphic-map-in-following-question%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

How do I know what Microsoft account the skydrive app is syncing to?

Grease: Live!

When does type information flow backwards in C++?