Subgroup of the direct product of groups












0














Consider a group $Gtimes H$ (The direct product of groups). I came across with the following theorem (Link):




if $A$ is a subgroup of $G$ and $B$ is a subgroup of $H$, then the direct product $Atimes B$ is a subgroup of $G times H$.




It made me wonder if $(Atimes B) leq (Gtimes H)$ then $Aleq G$ and $Bleq H$? Tried to find an example which disproves it but they all did not. Is the theorem valid? If so, how should I prove it?



EDIT:
I would like to find two groups $A$ and $B$ so $Atimes B leq Gtimes H$ but $Anot leq G$ or $Bnotleq H$ (or both).










share|cite|improve this question




















  • 1




    It depends what you mean by $A times B le G times H$. The notation you use seems to assume that $A le G$ and $B le H$, in which case what you ask is tautologically true.
    – Derek Holt
    Dec 1 '18 at 17:12












  • $Atimes B leq G times H$ means $Atimes B$ is a subgroup of $Gtimes H$
    – vesii
    Dec 1 '18 at 17:23






  • 1




    Yes but not all subgroups of $G times H$ can be written in the form $A times B$. So why are you writing the subgroup as $A times B$?
    – Derek Holt
    Dec 1 '18 at 17:53












  • @DerekHolt I think that we don't understand each other. Of course not all of the subgroups of $Gtimes H$ can be written as $Atimes B$. I want to find two groups $A$ and $B$ so $Atimes B leq Gtimes H$ but $Anot leq G$ or $Bnotleq H$ (or both).
    – vesii
    Dec 1 '18 at 20:13










  • Think about the notation you are using. It's wrong.
    – the_fox
    Dec 1 '18 at 20:21
















0














Consider a group $Gtimes H$ (The direct product of groups). I came across with the following theorem (Link):




if $A$ is a subgroup of $G$ and $B$ is a subgroup of $H$, then the direct product $Atimes B$ is a subgroup of $G times H$.




It made me wonder if $(Atimes B) leq (Gtimes H)$ then $Aleq G$ and $Bleq H$? Tried to find an example which disproves it but they all did not. Is the theorem valid? If so, how should I prove it?



EDIT:
I would like to find two groups $A$ and $B$ so $Atimes B leq Gtimes H$ but $Anot leq G$ or $Bnotleq H$ (or both).










share|cite|improve this question




















  • 1




    It depends what you mean by $A times B le G times H$. The notation you use seems to assume that $A le G$ and $B le H$, in which case what you ask is tautologically true.
    – Derek Holt
    Dec 1 '18 at 17:12












  • $Atimes B leq G times H$ means $Atimes B$ is a subgroup of $Gtimes H$
    – vesii
    Dec 1 '18 at 17:23






  • 1




    Yes but not all subgroups of $G times H$ can be written in the form $A times B$. So why are you writing the subgroup as $A times B$?
    – Derek Holt
    Dec 1 '18 at 17:53












  • @DerekHolt I think that we don't understand each other. Of course not all of the subgroups of $Gtimes H$ can be written as $Atimes B$. I want to find two groups $A$ and $B$ so $Atimes B leq Gtimes H$ but $Anot leq G$ or $Bnotleq H$ (or both).
    – vesii
    Dec 1 '18 at 20:13










  • Think about the notation you are using. It's wrong.
    – the_fox
    Dec 1 '18 at 20:21














0












0








0


0





Consider a group $Gtimes H$ (The direct product of groups). I came across with the following theorem (Link):




if $A$ is a subgroup of $G$ and $B$ is a subgroup of $H$, then the direct product $Atimes B$ is a subgroup of $G times H$.




It made me wonder if $(Atimes B) leq (Gtimes H)$ then $Aleq G$ and $Bleq H$? Tried to find an example which disproves it but they all did not. Is the theorem valid? If so, how should I prove it?



EDIT:
I would like to find two groups $A$ and $B$ so $Atimes B leq Gtimes H$ but $Anot leq G$ or $Bnotleq H$ (or both).










share|cite|improve this question















Consider a group $Gtimes H$ (The direct product of groups). I came across with the following theorem (Link):




if $A$ is a subgroup of $G$ and $B$ is a subgroup of $H$, then the direct product $Atimes B$ is a subgroup of $G times H$.




It made me wonder if $(Atimes B) leq (Gtimes H)$ then $Aleq G$ and $Bleq H$? Tried to find an example which disproves it but they all did not. Is the theorem valid? If so, how should I prove it?



EDIT:
I would like to find two groups $A$ and $B$ so $Atimes B leq Gtimes H$ but $Anot leq G$ or $Bnotleq H$ (or both).







group-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 1 '18 at 20:13

























asked Dec 1 '18 at 13:53









vesii

685




685








  • 1




    It depends what you mean by $A times B le G times H$. The notation you use seems to assume that $A le G$ and $B le H$, in which case what you ask is tautologically true.
    – Derek Holt
    Dec 1 '18 at 17:12












  • $Atimes B leq G times H$ means $Atimes B$ is a subgroup of $Gtimes H$
    – vesii
    Dec 1 '18 at 17:23






  • 1




    Yes but not all subgroups of $G times H$ can be written in the form $A times B$. So why are you writing the subgroup as $A times B$?
    – Derek Holt
    Dec 1 '18 at 17:53












  • @DerekHolt I think that we don't understand each other. Of course not all of the subgroups of $Gtimes H$ can be written as $Atimes B$. I want to find two groups $A$ and $B$ so $Atimes B leq Gtimes H$ but $Anot leq G$ or $Bnotleq H$ (or both).
    – vesii
    Dec 1 '18 at 20:13










  • Think about the notation you are using. It's wrong.
    – the_fox
    Dec 1 '18 at 20:21














  • 1




    It depends what you mean by $A times B le G times H$. The notation you use seems to assume that $A le G$ and $B le H$, in which case what you ask is tautologically true.
    – Derek Holt
    Dec 1 '18 at 17:12












  • $Atimes B leq G times H$ means $Atimes B$ is a subgroup of $Gtimes H$
    – vesii
    Dec 1 '18 at 17:23






  • 1




    Yes but not all subgroups of $G times H$ can be written in the form $A times B$. So why are you writing the subgroup as $A times B$?
    – Derek Holt
    Dec 1 '18 at 17:53












  • @DerekHolt I think that we don't understand each other. Of course not all of the subgroups of $Gtimes H$ can be written as $Atimes B$. I want to find two groups $A$ and $B$ so $Atimes B leq Gtimes H$ but $Anot leq G$ or $Bnotleq H$ (or both).
    – vesii
    Dec 1 '18 at 20:13










  • Think about the notation you are using. It's wrong.
    – the_fox
    Dec 1 '18 at 20:21








1




1




It depends what you mean by $A times B le G times H$. The notation you use seems to assume that $A le G$ and $B le H$, in which case what you ask is tautologically true.
– Derek Holt
Dec 1 '18 at 17:12






It depends what you mean by $A times B le G times H$. The notation you use seems to assume that $A le G$ and $B le H$, in which case what you ask is tautologically true.
– Derek Holt
Dec 1 '18 at 17:12














$Atimes B leq G times H$ means $Atimes B$ is a subgroup of $Gtimes H$
– vesii
Dec 1 '18 at 17:23




$Atimes B leq G times H$ means $Atimes B$ is a subgroup of $Gtimes H$
– vesii
Dec 1 '18 at 17:23




1




1




Yes but not all subgroups of $G times H$ can be written in the form $A times B$. So why are you writing the subgroup as $A times B$?
– Derek Holt
Dec 1 '18 at 17:53






Yes but not all subgroups of $G times H$ can be written in the form $A times B$. So why are you writing the subgroup as $A times B$?
– Derek Holt
Dec 1 '18 at 17:53














@DerekHolt I think that we don't understand each other. Of course not all of the subgroups of $Gtimes H$ can be written as $Atimes B$. I want to find two groups $A$ and $B$ so $Atimes B leq Gtimes H$ but $Anot leq G$ or $Bnotleq H$ (or both).
– vesii
Dec 1 '18 at 20:13




@DerekHolt I think that we don't understand each other. Of course not all of the subgroups of $Gtimes H$ can be written as $Atimes B$. I want to find two groups $A$ and $B$ so $Atimes B leq Gtimes H$ but $Anot leq G$ or $Bnotleq H$ (or both).
– vesii
Dec 1 '18 at 20:13












Think about the notation you are using. It's wrong.
– the_fox
Dec 1 '18 at 20:21




Think about the notation you are using. It's wrong.
– the_fox
Dec 1 '18 at 20:21















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',
autoActivateHeartbeat: false,
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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3021367%2fsubgroup-of-the-direct-product-of-groups%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3021367%2fsubgroup-of-the-direct-product-of-groups%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

Wiesbaden

Marschland

Dieringhausen