Is it true that if $H_1$ and $H_2$ are isomorphic cyclic subgroups of $G$, then $G/H_1cong G/H_2$?
I have a question: it is true that if $H_1$ and $H_2$ are cyclic groups that are isomorphic, then $G/H_1$ is isomorphic to $G/H_2$? I know that if I remove the condition "cyclic groups", the given statement is false and there are numerous counterexamples that disprove it, but I don't know if my statement is true and I don't how to create a counterexample or to prove it. If it is true, can you give me a hint about how can this be proven?
For example, I just have shown that $Z_{12}/ langle 2 rangle$ is isomorphic to $Z_{12}/Z_6$ which is isomorphic to $Z_3$ (since both $langle 2 rangle$ and $Z_6$ are isomorphic). How this can be generalized?
group-theory normal-subgroups
edited Dec 4 at 6:26
the_fox
2,32911430
asked Nov 25 at 0:25
user573497
16119
add a comment |
I have a question: it is true that if $H_1$ and $H_2$ are cyclic groups that are isomorphic, then $G/H_1$ is isomorphic to $G/H_2$? I know that if I remove the condition "cyclic groups", the given statement is false and there are numerous counterexamples that disprove it, but I don't know if my statement is true and I don't how to create a counterexample or to prove it. If it is true, can you give me a hint about how can this be proven?
For example, I just have shown that $Z_{12}/ langle 2 rangle$ is isomorphic to $Z_{12}/Z_6$ which is isomorphic to $Z_3$ (since both $langle 2 rangle$ and $Z_6$ are isomorphic). How this can be generalized?
group-theory normal-subgroups
edited Dec 4 at 6:26
the_fox
2,32911430
asked Nov 25 at 0:25
user573497
16119
You haven't specified whether $G$ is abelian or whether your subgroups are normal or not, so it's ambiguous what you mean by "isomorphic" in your question. If $G$ is nonabelian the natural reading would be "isomorphic as $G$-sets," but it sounds like you intend $G$ to be abelian and to ask for an isomorphism of abelian groups.
– Qiaochu Yuan
Nov 25 at 8:11
@QiaochuYuan Many people working in group theory (including myself) only write $G/N$ when $N$ is a normal subgroup of $G$. And the fact that reference is made to isomorphisms between two quotients strongly suggests that this convention is eing used here.
– Derek Holt
Nov 25 at 8:24
I agree with Derek. In this particular case though, I think the OP has simply neglected to mention that $H_1$, $H_2$ are assumed to be normal subgroups of the group.
– the_fox
Nov 25 at 8:33
@Derek: really? Then how do you refer to the transitive $G$-set with stabilizer $H$?
– Qiaochu Yuan
Nov 25 at 9:09
I don't have a specific notation for that. But in any case that would (mildly) conflict with its meaning as a quotient group, because a group is not the same thing as a $G$-set.
– Derek Holt
Nov 25 at 10:55
add a comment |
I have a question: it is true that if $H_1$ and $H_2$ are cyclic groups that are isomorphic, then $G/H_1$ is isomorphic to $G/H_2$? I know that if I remove the condition "cyclic groups", the given statement is false and there are numerous counterexamples that disprove it, but I don't know if my statement is true and I don't how to create a counterexample or to prove it. If it is true, can you give me a hint about how can this be proven?
For example, I just have shown that $Z_{12}/ langle 2 rangle$ is isomorphic to $Z_{12}/Z_6$ which is isomorphic to $Z_3$ (since both $langle 2 rangle$ and $Z_6$ are isomorphic). How this can be generalized?
group-theory normal-subgroups
edited Dec 4 at 6:26
the_fox
2,32911430
asked Nov 25 at 0:25
user573497
16119
I have a question: it is true that if $H_1$ and $H_2$ are cyclic groups that are isomorphic, then $G/H_1$ is isomorphic to $G/H_2$? I know that if I remove the condition "cyclic groups", the given statement is false and there are numerous counterexamples that disprove it, but I don't know if my statement is true and I don't how to create a counterexample or to prove it. If it is true, can you give me a hint about how can this be proven?
For example, I just have shown that $Z_{12}/ langle 2 rangle$ is isomorphic to $Z_{12}/Z_6$ which is isomorphic to $Z_3$ (since both $langle 2 rangle$ and $Z_6$ are isomorphic). How this can be generalized?
group-theory normal-subgroups
group-theory normal-subgroups
edited Dec 4 at 6:26
the_fox
2,32911430
asked Nov 25 at 0:25
user573497
16119
edited Dec 4 at 6:26
the_fox
2,32911430
asked Nov 25 at 0:25
user573497
16119
edited Dec 4 at 6:26
the_fox
2,32911430
edited Dec 4 at 6:26
the_fox
2,32911430
edited Dec 4 at 6:26
the_fox
2,32911430
2,32911430
asked Nov 25 at 0:25
user573497
16119
asked Nov 25 at 0:25
user573497
16119
asked Nov 25 at 0:25
user573497
16119
16119
You haven't specified whether $G$ is abelian or whether your subgroups are normal or not, so it's ambiguous what you mean by "isomorphic" in your question. If $G$ is nonabelian the natural reading would be "isomorphic as $G$-sets," but it sounds like you intend $G$ to be abelian and to ask for an isomorphism of abelian groups.
– Qiaochu Yuan
Nov 25 at 8:11
@QiaochuYuan Many people working in group theory (including myself) only write $G/N$ when $N$ is a normal subgroup of $G$. And the fact that reference is made to isomorphisms between two quotients strongly suggests that this convention is eing used here.
– Derek Holt
Nov 25 at 8:24
I agree with Derek. In this particular case though, I think the OP has simply neglected to mention that $H_1$, $H_2$ are assumed to be normal subgroups of the group.
– the_fox
Nov 25 at 8:33
@Derek: really? Then how do you refer to the transitive $G$-set with stabilizer $H$?
– Qiaochu Yuan
Nov 25 at 9:09
I don't have a specific notation for that. But in any case that would (mildly) conflict with its meaning as a quotient group, because a group is not the same thing as a $G$-set.
– Derek Holt
Nov 25 at 10:55
add a comment |
You haven't specified whether $G$ is abelian or whether your subgroups are normal or not, so it's ambiguous what you mean by "isomorphic" in your question. If $G$ is nonabelian the natural reading would be "isomorphic as $G$-sets," but it sounds like you intend $G$ to be abelian and to ask for an isomorphism of abelian groups.
– Qiaochu Yuan
Nov 25 at 8:11
@QiaochuYuan Many people working in group theory (including myself) only write $G/N$ when $N$ is a normal subgroup of $G$. And the fact that reference is made to isomorphisms between two quotients strongly suggests that this convention is eing used here.
– Derek Holt
Nov 25 at 8:24
I agree with Derek. In this particular case though, I think the OP has simply neglected to mention that $H_1$, $H_2$ are assumed to be normal subgroups of the group.
– the_fox
Nov 25 at 8:33
@Derek: really? Then how do you refer to the transitive $G$-set with stabilizer $H$?
– Qiaochu Yuan
Nov 25 at 9:09
I don't have a specific notation for that. But in any case that would (mildly) conflict with its meaning as a quotient group, because a group is not the same thing as a $G$-set.
– Derek Holt
Nov 25 at 10:55
You haven't specified whether $G$ is abelian or whether your subgroups are normal or not, so it's ambiguous what you mean by "isomorphic" in your question. If $G$ is nonabelian the natural reading would be "isomorphic as $G$-sets," but it sounds like you intend $G$ to be abelian and to ask for an isomorphism of abelian groups.
– Qiaochu Yuan
Nov 25 at 8:11
You haven't specified whether $G$ is abelian or whether your subgroups are normal or not, so it's ambiguous what you mean by "isomorphic" in your question. If $G$ is nonabelian the natural reading would be "isomorphic as $G$-sets," but it sounds like you intend $G$ to be abelian and to ask for an isomorphism of abelian groups.
– Qiaochu Yuan
Nov 25 at 8:11
@QiaochuYuan Many people working in group theory (including myself) only write $G/N$ when $N$ is a normal subgroup of $G$. And the fact that reference is made to isomorphisms between two quotients strongly suggests that this convention is eing used here.
– Derek Holt
Nov 25 at 8:24
@QiaochuYuan Many people working in group theory (including myself) only write $G/N$ when $N$ is a normal subgroup of $G$. And the fact that reference is made to isomorphisms between two quotients strongly suggests that this convention is eing used here.
– Derek Holt
Nov 25 at 8:24
I agree with Derek. In this particular case though, I think the OP has simply neglected to mention that $H_1$, $H_2$ are assumed to be normal subgroups of the group.
– the_fox
Nov 25 at 8:33
I agree with Derek. In this particular case though, I think the OP has simply neglected to mention that $H_1$, $H_2$ are assumed to be normal subgroups of the group.
– the_fox
Nov 25 at 8:33
@Derek: really? Then how do you refer to the transitive $G$-set with stabilizer $H$?
– Qiaochu Yuan
Nov 25 at 9:09
@Derek: really? Then how do you refer to the transitive $G$-set with stabilizer $H$?
– Qiaochu Yuan
Nov 25 at 9:09
I don't have a specific notation for that. But in any case that would (mildly) conflict with its meaning as a quotient group, because a group is not the same thing as a $G$-set.
– Derek Holt
Nov 25 at 10:55
I don't have a specific notation for that. But in any case that would (mildly) conflict with its meaning as a quotient group, because a group is not the same thing as a $G$-set.
– Derek Holt
Nov 25 at 10:55
add a comment |
2 Answers
2
active
oldest
votes
No, that's not true. Take $G = C_2 times C_4$ and note that since $G$ is abelian, every subgroup of $G$ is normal in $G$. Let $H = C_2$ be the first direct factor of $G$ and $K$ be the unique subgroup of order $2$ of $C_4$. Obviously, $H cong K$ since both have order $2$, but $G/H cong C_4$ while $G/K cong C_2 times C_2$.
answered Nov 25 at 0:33
the_fox
2,32911430
add a comment |
Did you try cyclic subgroups of the additive group of integers $mathbb{Z}$?
answered Nov 25 at 0:32
Bartosz Malman
8011620
But what about integers mod n? I edited my question and I found very interesting that observation about the isomorphism about quotient groups.
– user573497
Nov 25 at 0:34
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3012280%2fis-it-true-that-if-h-1-and-h-2-are-isomorphic-cyclic-subgroups-of-g-then%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
No, that's not true. Take $G = C_2 times C_4$ and note that since $G$ is abelian, every subgroup of $G$ is normal in $G$. Let $H = C_2$ be the first direct factor of $G$ and $K$ be the unique subgroup of order $2$ of $C_4$. Obviously, $H cong K$ since both have order $2$, but $G/H cong C_4$ while $G/K cong C_2 times C_2$.
answered Nov 25 at 0:33
the_fox
2,32911430
add a comment |
No, that's not true. Take $G = C_2 times C_4$ and note that since $G$ is abelian, every subgroup of $G$ is normal in $G$. Let $H = C_2$ be the first direct factor of $G$ and $K$ be the unique subgroup of order $2$ of $C_4$. Obviously, $H cong K$ since both have order $2$, but $G/H cong C_4$ while $G/K cong C_2 times C_2$.
answered Nov 25 at 0:33
the_fox
2,32911430
add a comment |
No, that's not true. Take $G = C_2 times C_4$ and note that since $G$ is abelian, every subgroup of $G$ is normal in $G$. Let $H = C_2$ be the first direct factor of $G$ and $K$ be the unique subgroup of order $2$ of $C_4$. Obviously, $H cong K$ since both have order $2$, but $G/H cong C_4$ while $G/K cong C_2 times C_2$.
answered Nov 25 at 0:33
the_fox
2,32911430
No, that's not true. Take $G = C_2 times C_4$ and note that since $G$ is abelian, every subgroup of $G$ is normal in $G$. Let $H = C_2$ be the first direct factor of $G$ and $K$ be the unique subgroup of order $2$ of $C_4$. Obviously, $H cong K$ since both have order $2$, but $G/H cong C_4$ while $G/K cong C_2 times C_2$.
answered Nov 25 at 0:33
the_fox
2,32911430
answered Nov 25 at 0:33
the_fox
2,32911430
answered Nov 25 at 0:33
the_fox
2,32911430
answered Nov 25 at 0:33
the_fox
2,32911430
2,32911430
add a comment |
add a comment |
Did you try cyclic subgroups of the additive group of integers $mathbb{Z}$?
answered Nov 25 at 0:32
Bartosz Malman
8011620
But what about integers mod n? I edited my question and I found very interesting that observation about the isomorphism about quotient groups.
– user573497
Nov 25 at 0:34
add a comment |
Did you try cyclic subgroups of the additive group of integers $mathbb{Z}$?
answered Nov 25 at 0:32
Bartosz Malman
8011620
But what about integers mod n? I edited my question and I found very interesting that observation about the isomorphism about quotient groups.
– user573497
Nov 25 at 0:34
add a comment |
Did you try cyclic subgroups of the additive group of integers $mathbb{Z}$?
answered Nov 25 at 0:32
Bartosz Malman
8011620
Did you try cyclic subgroups of the additive group of integers $mathbb{Z}$?
answered Nov 25 at 0:32
Bartosz Malman
8011620
answered Nov 25 at 0:32
Bartosz Malman
8011620
answered Nov 25 at 0:32
Bartosz Malman
8011620
answered Nov 25 at 0:32
Bartosz Malman
8011620
8011620
But what about integers mod n? I edited my question and I found very interesting that observation about the isomorphism about quotient groups.
– user573497
Nov 25 at 0:34
add a comment |
But what about integers mod n? I edited my question and I found very interesting that observation about the isomorphism about quotient groups.
– user573497
Nov 25 at 0:34
But what about integers mod n? I edited my question and I found very interesting that observation about the isomorphism about quotient groups.
– user573497
Nov 25 at 0:34
But what about integers mod n? I edited my question and I found very interesting that observation about the isomorphism about quotient groups.
– user573497
Nov 25 at 0:34
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3012280%2fis-it-true-that-if-h-1-and-h-2-are-isomorphic-cyclic-subgroups-of-g-then%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
You haven't specified whether $G$ is abelian or whether your subgroups are normal or not, so it's ambiguous what you mean by "isomorphic" in your question. If $G$ is nonabelian the natural reading would be "isomorphic as $G$-sets," but it sounds like you intend $G$ to be abelian and to ask for an isomorphism of abelian groups.
– Qiaochu Yuan
Nov 25 at 8:11
@QiaochuYuan Many people working in group theory (including myself) only write $G/N$ when $N$ is a normal subgroup of $G$. And the fact that reference is made to isomorphisms between two quotients strongly suggests that this convention is eing used here.
– Derek Holt
Nov 25 at 8:24
I agree with Derek. In this particular case though, I think the OP has simply neglected to mention that $H_1$, $H_2$ are assumed to be normal subgroups of the group.
– the_fox
Nov 25 at 8:33
@Derek: really? Then how do you refer to the transitive $G$-set with stabilizer $H$?
– Qiaochu Yuan
Nov 25 at 9:09
I don't have a specific notation for that. But in any case that would (mildly) conflict with its meaning as a quotient group, because a group is not the same thing as a $G$-set.
– Derek Holt
Nov 25 at 10:55