Finding Homomorphisms from dihedral groups to cyclical groups
$begingroup$
Ok so there was another question very similar to this on here however it leaves me a little confused.
$bf{Question}$
Let G = $D_{14}$ the Dihedral group order 14 and A = $c_7$ be the cyclical group order 7. Find every homomorphism.
I started out by finding the trivial homomorphism when Im($varphi$)=1 then using the first isomorphism theorem the non trivial homomorphism we get $frac{|G|}{|K|}=7$ so we get |K|=2, however i understand that the answer to this is that there are no homomorphisms as the other subgroups aren't normal. But how do i work that out. And why does that mean there are no homomorphisms.
abstract-algebra group-theory group-isomorphism group-homomorphism dihedral-groups
$endgroup$
add a comment |
$begingroup$
Ok so there was another question very similar to this on here however it leaves me a little confused.
$bf{Question}$
Let G = $D_{14}$ the Dihedral group order 14 and A = $c_7$ be the cyclical group order 7. Find every homomorphism.
I started out by finding the trivial homomorphism when Im($varphi$)=1 then using the first isomorphism theorem the non trivial homomorphism we get $frac{|G|}{|K|}=7$ so we get |K|=2, however i understand that the answer to this is that there are no homomorphisms as the other subgroups aren't normal. But how do i work that out. And why does that mean there are no homomorphisms.
abstract-algebra group-theory group-isomorphism group-homomorphism dihedral-groups
$endgroup$
add a comment |
$begingroup$
Ok so there was another question very similar to this on here however it leaves me a little confused.
$bf{Question}$
Let G = $D_{14}$ the Dihedral group order 14 and A = $c_7$ be the cyclical group order 7. Find every homomorphism.
I started out by finding the trivial homomorphism when Im($varphi$)=1 then using the first isomorphism theorem the non trivial homomorphism we get $frac{|G|}{|K|}=7$ so we get |K|=2, however i understand that the answer to this is that there are no homomorphisms as the other subgroups aren't normal. But how do i work that out. And why does that mean there are no homomorphisms.
abstract-algebra group-theory group-isomorphism group-homomorphism dihedral-groups
$endgroup$
Ok so there was another question very similar to this on here however it leaves me a little confused.
$bf{Question}$
Let G = $D_{14}$ the Dihedral group order 14 and A = $c_7$ be the cyclical group order 7. Find every homomorphism.
I started out by finding the trivial homomorphism when Im($varphi$)=1 then using the first isomorphism theorem the non trivial homomorphism we get $frac{|G|}{|K|}=7$ so we get |K|=2, however i understand that the answer to this is that there are no homomorphisms as the other subgroups aren't normal. But how do i work that out. And why does that mean there are no homomorphisms.
abstract-algebra group-theory group-isomorphism group-homomorphism dihedral-groups
abstract-algebra group-theory group-isomorphism group-homomorphism dihedral-groups
asked Dec 4 '18 at 19:31
L GL G
248
248
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Here's a productive way to go about this question.
The isomorphism theorems tell us that the image of a homomorphism is determined, up to isomorphism, by the kernel: the image is isomorphic to the quotient modulo the kernel.
Also, the kernel is a normal subgroup.
So, let's start by listing all normal subgroups of $D_{14}$:
- the whole group $D_{14}$;
- its cyclic subgroup of order 7;
- the trivial subgroup.
Next, let's compute the quotient (up to isomorphism) of $D_{14}$ by each of these normal subgroups:
- the quotient by the whole group is the trivial group;
- the quotient by the cyclic subgroup of order 7 is the order 2 cyclic group $c_2$;
- the quotient by the trivial subgroup is the group $D_{14}$.
Finally, observe that the image of any homomorphism $D_{14} to c_7$ cannot be isomorphic to $c_2$ or to $D_{14}$, so the only possibility is that the image is trivial subgroup of $c_7$.
Thus, the only homomorphism $D_{14} to c_7$ is the trivial homomorphism.
$endgroup$
add a comment |
$begingroup$
If you found that there were only two possible subgroups, then they would have to be G itself and {e}, meaning there are no homomorphisms.
I'm really confused by some of the stuff you wrote, though. I would think that any of the rotations of the heptagon (1/7, 2/7, ..., 6/7) could be generators.
I might just be completely misunderstanding though, apologies.
$endgroup$
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%2f3026029%2ffinding-homomorphisms-from-dihedral-groups-to-cyclical-groups%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
$begingroup$
Here's a productive way to go about this question.
The isomorphism theorems tell us that the image of a homomorphism is determined, up to isomorphism, by the kernel: the image is isomorphic to the quotient modulo the kernel.
Also, the kernel is a normal subgroup.
So, let's start by listing all normal subgroups of $D_{14}$:
- the whole group $D_{14}$;
- its cyclic subgroup of order 7;
- the trivial subgroup.
Next, let's compute the quotient (up to isomorphism) of $D_{14}$ by each of these normal subgroups:
- the quotient by the whole group is the trivial group;
- the quotient by the cyclic subgroup of order 7 is the order 2 cyclic group $c_2$;
- the quotient by the trivial subgroup is the group $D_{14}$.
Finally, observe that the image of any homomorphism $D_{14} to c_7$ cannot be isomorphic to $c_2$ or to $D_{14}$, so the only possibility is that the image is trivial subgroup of $c_7$.
Thus, the only homomorphism $D_{14} to c_7$ is the trivial homomorphism.
$endgroup$
add a comment |
$begingroup$
Here's a productive way to go about this question.
The isomorphism theorems tell us that the image of a homomorphism is determined, up to isomorphism, by the kernel: the image is isomorphic to the quotient modulo the kernel.
Also, the kernel is a normal subgroup.
So, let's start by listing all normal subgroups of $D_{14}$:
- the whole group $D_{14}$;
- its cyclic subgroup of order 7;
- the trivial subgroup.
Next, let's compute the quotient (up to isomorphism) of $D_{14}$ by each of these normal subgroups:
- the quotient by the whole group is the trivial group;
- the quotient by the cyclic subgroup of order 7 is the order 2 cyclic group $c_2$;
- the quotient by the trivial subgroup is the group $D_{14}$.
Finally, observe that the image of any homomorphism $D_{14} to c_7$ cannot be isomorphic to $c_2$ or to $D_{14}$, so the only possibility is that the image is trivial subgroup of $c_7$.
Thus, the only homomorphism $D_{14} to c_7$ is the trivial homomorphism.
$endgroup$
add a comment |
$begingroup$
Here's a productive way to go about this question.
The isomorphism theorems tell us that the image of a homomorphism is determined, up to isomorphism, by the kernel: the image is isomorphic to the quotient modulo the kernel.
Also, the kernel is a normal subgroup.
So, let's start by listing all normal subgroups of $D_{14}$:
- the whole group $D_{14}$;
- its cyclic subgroup of order 7;
- the trivial subgroup.
Next, let's compute the quotient (up to isomorphism) of $D_{14}$ by each of these normal subgroups:
- the quotient by the whole group is the trivial group;
- the quotient by the cyclic subgroup of order 7 is the order 2 cyclic group $c_2$;
- the quotient by the trivial subgroup is the group $D_{14}$.
Finally, observe that the image of any homomorphism $D_{14} to c_7$ cannot be isomorphic to $c_2$ or to $D_{14}$, so the only possibility is that the image is trivial subgroup of $c_7$.
Thus, the only homomorphism $D_{14} to c_7$ is the trivial homomorphism.
$endgroup$
Here's a productive way to go about this question.
The isomorphism theorems tell us that the image of a homomorphism is determined, up to isomorphism, by the kernel: the image is isomorphic to the quotient modulo the kernel.
Also, the kernel is a normal subgroup.
So, let's start by listing all normal subgroups of $D_{14}$:
- the whole group $D_{14}$;
- its cyclic subgroup of order 7;
- the trivial subgroup.
Next, let's compute the quotient (up to isomorphism) of $D_{14}$ by each of these normal subgroups:
- the quotient by the whole group is the trivial group;
- the quotient by the cyclic subgroup of order 7 is the order 2 cyclic group $c_2$;
- the quotient by the trivial subgroup is the group $D_{14}$.
Finally, observe that the image of any homomorphism $D_{14} to c_7$ cannot be isomorphic to $c_2$ or to $D_{14}$, so the only possibility is that the image is trivial subgroup of $c_7$.
Thus, the only homomorphism $D_{14} to c_7$ is the trivial homomorphism.
answered Dec 5 '18 at 18:20
Lee MosherLee Mosher
48.5k33681
48.5k33681
add a comment |
add a comment |
$begingroup$
If you found that there were only two possible subgroups, then they would have to be G itself and {e}, meaning there are no homomorphisms.
I'm really confused by some of the stuff you wrote, though. I would think that any of the rotations of the heptagon (1/7, 2/7, ..., 6/7) could be generators.
I might just be completely misunderstanding though, apologies.
$endgroup$
add a comment |
$begingroup$
If you found that there were only two possible subgroups, then they would have to be G itself and {e}, meaning there are no homomorphisms.
I'm really confused by some of the stuff you wrote, though. I would think that any of the rotations of the heptagon (1/7, 2/7, ..., 6/7) could be generators.
I might just be completely misunderstanding though, apologies.
$endgroup$
add a comment |
$begingroup$
If you found that there were only two possible subgroups, then they would have to be G itself and {e}, meaning there are no homomorphisms.
I'm really confused by some of the stuff you wrote, though. I would think that any of the rotations of the heptagon (1/7, 2/7, ..., 6/7) could be generators.
I might just be completely misunderstanding though, apologies.
$endgroup$
If you found that there were only two possible subgroups, then they would have to be G itself and {e}, meaning there are no homomorphisms.
I'm really confused by some of the stuff you wrote, though. I would think that any of the rotations of the heptagon (1/7, 2/7, ..., 6/7) could be generators.
I might just be completely misunderstanding though, apologies.
answered Dec 5 '18 at 18:04
nessness
375
375
add a comment |
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.
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%2f3026029%2ffinding-homomorphisms-from-dihedral-groups-to-cyclical-groups%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