Finding Homomorphisms from dihedral groups to cyclical groups
up vote
0
down vote
favorite
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
asked Dec 4 at 19:31
L G
105
add a comment |
up vote
0
down vote
favorite
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
asked Dec 4 at 19:31
L G
105
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
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
asked Dec 4 at 19:31
L G
105
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 at 19:31
L G
105
asked Dec 4 at 19:31
L G
105
asked Dec 4 at 19:31
L G
105
asked Dec 4 at 19:31
L G
105
asked Dec 4 at 19:31
L G
105
105
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
up vote
0
down vote
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 at 18:04
ness
475
add a comment |
up vote
0
down vote
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 at 18:20
Lee Mosher
47.7k33681
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',
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
up vote
0
down vote
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 at 18:04
ness
475
add a comment |
up vote
0
down vote
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 at 18:04
ness
475
add a comment |
up vote
0
down vote
up vote
0
down vote
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 at 18:04
ness
475
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 at 18:04
ness
475
answered Dec 5 at 18:04
ness
475
answered Dec 5 at 18:04
ness
475
answered Dec 5 at 18:04
ness
475
475
add a comment |
add a comment |
up vote
0
down vote
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 at 18:20
Lee Mosher
47.7k33681
add a comment |
up vote
0
down vote
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 at 18:20
Lee Mosher
47.7k33681
add a comment |
up vote
0
down vote
up vote
0
down vote
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 at 18:20
Lee Mosher
47.7k33681
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 at 18:20
Lee Mosher
47.7k33681
answered Dec 5 at 18:20
Lee Mosher
47.7k33681
answered Dec 5 at 18:20
Lee Mosher
47.7k33681
answered Dec 5 at 18:20
Lee Mosher
47.7k33681
47.7k33681
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.
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%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
