If $phi: Grightarrow G'$ be a group onto homomorphism then show that $|G'|$ divides $|G|$If $G$ is a finitely generated abelian group, then $G cong mathbbZ^r/phi(mathbbZ^s)$Homomorphism theorem and group productLet $G=langle arangle$ and $G'=langle brangle$ of order 12 and 4. Prove that there is a onto homomorphism with $o(Ker~ phi)=3$.Prove that a homomorphism $phi$ must be trivial.Does there exist an onto group homomorphism from $mathbbRto mathbbZ$?No homomorphism from $Z_16oplus Z_2$ onto $Z_4oplus Z_4$.For ring homomorphism $phi:Rto S$, prove that $phi$ is an isomorphism iff $phi$ is onto and $ker(phi)=left 0_R right $.Prove that if H is a group of odd order, there exists no nontrivial homomorphism from D_2017 to H?Suppose there is homomorphism from finite group G onto $Z_10$ Then G has Normal Subgroup of index 5 and 2.If $phi:G to overline G$ is group homomorphism, then prove that $|phi(G)|$ divides $|G|$.
What should be the ideal length of sentences in a blog post for ease of reading?
Should I assume I have passed probation?
Make a Bowl of Alphabet Soup
How can I, as DM, avoid the Conga Line of Death occurring when implementing some form of flanking rule?
Unable to disable Microsoft Store in domain environment
Should I warn new/prospective PhD Student that supervisor is terrible?
How to reduce predictors the right way for a logistic regression model
Can I cause damage to electrical appliances by unplugging them when they are turned on?
How would you translate "more" for use as an interface button?
Usage of an old photo with expired copyright
Why do Radio Buttons not fill the entire outer circle?
Is there anyway, I can have two passwords for my wi-fi
Is it feasible to let a newcomer play the "Gandalf"-like figure I created for my campaign?
Why can't the Brexit deadlock in the UK parliament be solved with a plurality vote?
Alignment of six matrices
How can I safely use "Thalidomide" in my novel while respecting the trademark?
Why would five hundred and five be same as one?
How do I prevent inappropriate ads from appearing in my game?
Quoting Keynes in a lecture
Is there a reason to prefer HFS+ over APFS for disk images in High Sierra and/or Mojave?
Would a primitive species be able to learn English from reading books alone?
Can you identify this lizard-like creature I observed in the UK?
Integral Notations in Quantum Mechanics
Why the "ls" command is showing the permissions of files in a FAT32 partition?
If $phi: Grightarrow G'$ be a group onto homomorphism then show that $|G'|$ divides $|G|$
If $G$ is a finitely generated abelian group, then $G cong mathbbZ^r/phi(mathbbZ^s)$Homomorphism theorem and group productLet $G=langle arangle$ and $G'=langle brangle$ of order 12 and 4. Prove that there is a onto homomorphism with $o(Ker~ phi)=3$.Prove that a homomorphism $phi$ must be trivial.Does there exist an onto group homomorphism from $mathbbRto mathbbZ$?No homomorphism from $Z_16oplus Z_2$ onto $Z_4oplus Z_4$.For ring homomorphism $phi:Rto S$, prove that $phi$ is an isomorphism iff $phi$ is onto and $ker(phi)=left 0_R right $.Prove that if H is a group of odd order, there exists no nontrivial homomorphism from D_2017 to H?Suppose there is homomorphism from finite group G onto $Z_10$ Then G has Normal Subgroup of index 5 and 2.If $phi:G to overline G$ is group homomorphism, then prove that $|phi(G)|$ divides $|G|$.
$begingroup$
If $phi: Grightarrow G'$ be a (finite) group onto homomorphism then show that $|G'|$ divides $|G|$
$phi: Grightarrow G'$ be a group onto homomorphism then by Isomorphism theorem,
$G/Ker~ phi simeq G'$ and then $|G/Ker~ phi|= |G'|$ i.e $$|Ker~ phi|=fracG $$
But $|G'|$ divides $|G|$ can be concluded only when $|Ker~ phi|$ exist finitely. What to do?
Is any other alternative method to solve?
abstract-algebra group-theory group-isomorphism group-homomorphism
asked Oct 10 '16 at 18:58
rama_ranrama_ran
300314
$endgroup$
add a comment |
$begingroup$
If $phi: Grightarrow G'$ be a (finite) group onto homomorphism then show that $|G'|$ divides $|G|$
$phi: Grightarrow G'$ be a group onto homomorphism then by Isomorphism theorem,
$G/Ker~ phi simeq G'$ and then $|G/Ker~ phi|= |G'|$ i.e $$|Ker~ phi|=fracG $$
But $|G'|$ divides $|G|$ can be concluded only when $|Ker~ phi|$ exist finitely. What to do?
Is any other alternative method to solve?
abstract-algebra group-theory group-isomorphism group-homomorphism
asked Oct 10 '16 at 18:58
rama_ranrama_ran
300314
$endgroup$
$begingroup$
The statement only makes sense for finite groups $G$. Since $ker(phi)$ is a subgroup of $G$, any situations where the kernel is infinite are irrelevant.
$endgroup$
– Kaj Hansen
Oct 10 '16 at 19:02
$begingroup$
If $G$ is a finite group, then $ker phi subset G$ is also finite.
$endgroup$
– u1571372
Oct 10 '16 at 19:02
$begingroup$
@DietrichBurde Without using Isomorphism theorem directly.
$endgroup$
– rama_ran
Oct 10 '16 at 19:20
$begingroup$
We could just show that the cardinalities $|G/ker(phi)|$ and $|G'|$ coincide. This is "less" than the "isomorphism theorem". But the proof would be suspiciously similar to the proof of the isomorphism theorem. So no real progress. Perhaps one would ask why you don't want the isomorphism theorem; it is so basic.
$endgroup$
– Dietrich Burde
Oct 10 '16 at 19:25
add a comment |
$begingroup$
If $phi: Grightarrow G'$ be a (finite) group onto homomorphism then show that $|G'|$ divides $|G|$
$phi: Grightarrow G'$ be a group onto homomorphism then by Isomorphism theorem,
$G/Ker~ phi simeq G'$ and then $|G/Ker~ phi|= |G'|$ i.e $$|Ker~ phi|=fracG $$
But $|G'|$ divides $|G|$ can be concluded only when $|Ker~ phi|$ exist finitely. What to do?
Is any other alternative method to solve?
abstract-algebra group-theory group-isomorphism group-homomorphism
asked Oct 10 '16 at 18:58
rama_ranrama_ran
300314
$endgroup$
If $phi: Grightarrow G'$ be a (finite) group onto homomorphism then show that $|G'|$ divides $|G|$
$phi: Grightarrow G'$ be a group onto homomorphism then by Isomorphism theorem,
$G/Ker~ phi simeq G'$ and then $|G/Ker~ phi|= |G'|$ i.e $$|Ker~ phi|=fracG $$
But $|G'|$ divides $|G|$ can be concluded only when $|Ker~ phi|$ exist finitely. What to do?
Is any other alternative method to solve?
abstract-algebra group-theory group-isomorphism group-homomorphism
abstract-algebra group-theory group-isomorphism group-homomorphism
asked Oct 10 '16 at 18:58
rama_ranrama_ran
300314
asked Oct 10 '16 at 18:58
rama_ranrama_ran
300314
edited Oct 10 '16 at 19:10
rama_ran
asked Oct 10 '16 at 18:58
rama_ranrama_ran
300314
asked Oct 10 '16 at 18:58
rama_ranrama_ran
300314
asked Oct 10 '16 at 18:58
rama_ranrama_ran
300314
300314
$begingroup$
The statement only makes sense for finite groups $G$. Since $ker(phi)$ is a subgroup of $G$, any situations where the kernel is infinite are irrelevant.
$endgroup$
– Kaj Hansen
Oct 10 '16 at 19:02
$begingroup$
If $G$ is a finite group, then $ker phi subset G$ is also finite.
$endgroup$
– u1571372
Oct 10 '16 at 19:02
$begingroup$
@DietrichBurde Without using Isomorphism theorem directly.
$endgroup$
– rama_ran
Oct 10 '16 at 19:20
$begingroup$
We could just show that the cardinalities $|G/ker(phi)|$ and $|G'|$ coincide. This is "less" than the "isomorphism theorem". But the proof would be suspiciously similar to the proof of the isomorphism theorem. So no real progress. Perhaps one would ask why you don't want the isomorphism theorem; it is so basic.
$endgroup$
– Dietrich Burde
Oct 10 '16 at 19:25
add a comment |
$begingroup$
The statement only makes sense for finite groups $G$. Since $ker(phi)$ is a subgroup of $G$, any situations where the kernel is infinite are irrelevant.
$endgroup$
– Kaj Hansen
Oct 10 '16 at 19:02
$begingroup$
If $G$ is a finite group, then $ker phi subset G$ is also finite.
$endgroup$
– u1571372
Oct 10 '16 at 19:02
$begingroup$
@DietrichBurde Without using Isomorphism theorem directly.
$endgroup$
– rama_ran
Oct 10 '16 at 19:20
$begingroup$
We could just show that the cardinalities $|G/ker(phi)|$ and $|G'|$ coincide. This is "less" than the "isomorphism theorem". But the proof would be suspiciously similar to the proof of the isomorphism theorem. So no real progress. Perhaps one would ask why you don't want the isomorphism theorem; it is so basic.
$endgroup$
– Dietrich Burde
Oct 10 '16 at 19:25
$begingroup$
The statement only makes sense for finite groups $G$. Since $ker(phi)$ is a subgroup of $G$, any situations where the kernel is infinite are irrelevant.
$endgroup$
– Kaj Hansen
Oct 10 '16 at 19:02
$begingroup$
The statement only makes sense for finite groups $G$. Since $ker(phi)$ is a subgroup of $G$, any situations where the kernel is infinite are irrelevant.
$endgroup$
– Kaj Hansen
Oct 10 '16 at 19:02
$begingroup$
If $G$ is a finite group, then $ker phi subset G$ is also finite.
$endgroup$
– u1571372
Oct 10 '16 at 19:02
$begingroup$
If $G$ is a finite group, then $ker phi subset G$ is also finite.
$endgroup$
– u1571372
Oct 10 '16 at 19:02
$begingroup$
@DietrichBurde Without using Isomorphism theorem directly.
$endgroup$
– rama_ran
Oct 10 '16 at 19:20
$begingroup$
@DietrichBurde Without using Isomorphism theorem directly.
$endgroup$
– rama_ran
Oct 10 '16 at 19:20
$begingroup$
We could just show that the cardinalities $|G/ker(phi)|$ and $|G'|$ coincide. This is "less" than the "isomorphism theorem". But the proof would be suspiciously similar to the proof of the isomorphism theorem. So no real progress. Perhaps one would ask why you don't want the isomorphism theorem; it is so basic.
$endgroup$
– Dietrich Burde
Oct 10 '16 at 19:25
$begingroup$
We could just show that the cardinalities $|G/ker(phi)|$ and $|G'|$ coincide. This is "less" than the "isomorphism theorem". But the proof would be suspiciously similar to the proof of the isomorphism theorem. So no real progress. Perhaps one would ask why you don't want the isomorphism theorem; it is so basic.
$endgroup$
– Dietrich Burde
Oct 10 '16 at 19:25
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
It is slightly more clear to stick to $|G'| |Ker phi|= |G|$, and not to divide by $|Ker phi|$.
This clearly shows the divisibility in case $|G|$ is finite. If $G$ is not finite, I'd say the question does not make sense. But if one were to make sense of it then it would be again the equality $|G'| |Ker phi|= |G|$ that is relevant.
answered Oct 10 '16 at 19:05
quid♦quid
37.2k95193
$endgroup$
add a comment |
$begingroup$
Since the problem asks us to prove $|G'|$ divides $|G|$ we assume that $G$ and $G'$ are already finite groups, which implies that $kerphi$ is also finite (as it is a subgroup of $G$)
answered Oct 10 '16 at 19:02
Jorge Fernández HidalgoJorge Fernández Hidalgo
76.8k1394195
$endgroup$
$begingroup$
Ok. Understood. Is any other alternative method to solve?
$endgroup$
– rama_ran
Oct 10 '16 at 19:09
$begingroup$
This is probably the simplest way to solve it.
$endgroup$
– Jorge Fernández Hidalgo
Oct 10 '16 at 19:15
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%2f1962674%2fif-phi-g-rightarrow-g-be-a-group-onto-homomorphism-then-show-that-g-di%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$
It is slightly more clear to stick to $|G'| |Ker phi|= |G|$, and not to divide by $|Ker phi|$.
This clearly shows the divisibility in case $|G|$ is finite. If $G$ is not finite, I'd say the question does not make sense. But if one were to make sense of it then it would be again the equality $|G'| |Ker phi|= |G|$ that is relevant.
answered Oct 10 '16 at 19:05
quid♦quid
37.2k95193
$endgroup$
add a comment |
$begingroup$
It is slightly more clear to stick to $|G'| |Ker phi|= |G|$, and not to divide by $|Ker phi|$.
This clearly shows the divisibility in case $|G|$ is finite. If $G$ is not finite, I'd say the question does not make sense. But if one were to make sense of it then it would be again the equality $|G'| |Ker phi|= |G|$ that is relevant.
answered Oct 10 '16 at 19:05
quid♦quid
37.2k95193
$endgroup$
add a comment |
$begingroup$
It is slightly more clear to stick to $|G'| |Ker phi|= |G|$, and not to divide by $|Ker phi|$.
This clearly shows the divisibility in case $|G|$ is finite. If $G$ is not finite, I'd say the question does not make sense. But if one were to make sense of it then it would be again the equality $|G'| |Ker phi|= |G|$ that is relevant.
answered Oct 10 '16 at 19:05
quid♦quid
37.2k95193
$endgroup$
It is slightly more clear to stick to $|G'| |Ker phi|= |G|$, and not to divide by $|Ker phi|$.
This clearly shows the divisibility in case $|G|$ is finite. If $G$ is not finite, I'd say the question does not make sense. But if one were to make sense of it then it would be again the equality $|G'| |Ker phi|= |G|$ that is relevant.
answered Oct 10 '16 at 19:05
quid♦quid
37.2k95193
answered Oct 10 '16 at 19:05
quid♦quid
37.2k95193
answered Oct 10 '16 at 19:05
quid♦quid
37.2k95193
answered Oct 10 '16 at 19:05
quid♦quid
37.2k95193
37.2k95193
add a comment |
add a comment |
$begingroup$
Since the problem asks us to prove $|G'|$ divides $|G|$ we assume that $G$ and $G'$ are already finite groups, which implies that $kerphi$ is also finite (as it is a subgroup of $G$)
answered Oct 10 '16 at 19:02
Jorge Fernández HidalgoJorge Fernández Hidalgo
76.8k1394195
$endgroup$
$begingroup$
Ok. Understood. Is any other alternative method to solve?
$endgroup$
– rama_ran
Oct 10 '16 at 19:09
$begingroup$
This is probably the simplest way to solve it.
$endgroup$
– Jorge Fernández Hidalgo
Oct 10 '16 at 19:15
add a comment |
$begingroup$
Since the problem asks us to prove $|G'|$ divides $|G|$ we assume that $G$ and $G'$ are already finite groups, which implies that $kerphi$ is also finite (as it is a subgroup of $G$)
answered Oct 10 '16 at 19:02
Jorge Fernández HidalgoJorge Fernández Hidalgo
76.8k1394195
$endgroup$
$begingroup$
Ok. Understood. Is any other alternative method to solve?
$endgroup$
– rama_ran
Oct 10 '16 at 19:09
$begingroup$
This is probably the simplest way to solve it.
$endgroup$
– Jorge Fernández Hidalgo
Oct 10 '16 at 19:15
add a comment |
$begingroup$
Since the problem asks us to prove $|G'|$ divides $|G|$ we assume that $G$ and $G'$ are already finite groups, which implies that $kerphi$ is also finite (as it is a subgroup of $G$)
answered Oct 10 '16 at 19:02
Jorge Fernández HidalgoJorge Fernández Hidalgo
76.8k1394195
$endgroup$
Since the problem asks us to prove $|G'|$ divides $|G|$ we assume that $G$ and $G'$ are already finite groups, which implies that $kerphi$ is also finite (as it is a subgroup of $G$)
answered Oct 10 '16 at 19:02
Jorge Fernández HidalgoJorge Fernández Hidalgo
76.8k1394195
answered Oct 10 '16 at 19:02
Jorge Fernández HidalgoJorge Fernández Hidalgo
76.8k1394195
answered Oct 10 '16 at 19:02
Jorge Fernández HidalgoJorge Fernández Hidalgo
76.8k1394195
answered Oct 10 '16 at 19:02
Jorge Fernández HidalgoJorge Fernández Hidalgo
76.8k1394195
76.8k1394195
$begingroup$
Ok. Understood. Is any other alternative method to solve?
$endgroup$
– rama_ran
Oct 10 '16 at 19:09
$begingroup$
This is probably the simplest way to solve it.
$endgroup$
– Jorge Fernández Hidalgo
Oct 10 '16 at 19:15
add a comment |
$begingroup$
Ok. Understood. Is any other alternative method to solve?
$endgroup$
– rama_ran
Oct 10 '16 at 19:09
$begingroup$
This is probably the simplest way to solve it.
$endgroup$
– Jorge Fernández Hidalgo
Oct 10 '16 at 19:15
$begingroup$
Ok. Understood. Is any other alternative method to solve?
$endgroup$
– rama_ran
Oct 10 '16 at 19:09
$begingroup$
Ok. Understood. Is any other alternative method to solve?
$endgroup$
– rama_ran
Oct 10 '16 at 19:09
$begingroup$
This is probably the simplest way to solve it.
$endgroup$
– Jorge Fernández Hidalgo
Oct 10 '16 at 19:15
$begingroup$
This is probably the simplest way to solve it.
$endgroup$
– Jorge Fernández Hidalgo
Oct 10 '16 at 19:15
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%2f1962674%2fif-phi-g-rightarrow-g-be-a-group-onto-homomorphism-then-show-that-g-di%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
$begingroup$
The statement only makes sense for finite groups $G$. Since $ker(phi)$ is a subgroup of $G$, any situations where the kernel is infinite are irrelevant.
$endgroup$
– Kaj Hansen
Oct 10 '16 at 19:02
$begingroup$
If $G$ is a finite group, then $ker phi subset G$ is also finite.
$endgroup$
– u1571372
Oct 10 '16 at 19:02
$begingroup$
@DietrichBurde Without using Isomorphism theorem directly.
$endgroup$
– rama_ran
Oct 10 '16 at 19:20
$begingroup$
We could just show that the cardinalities $|G/ker(phi)|$ and $|G'|$ coincide. This is "less" than the "isomorphism theorem". But the proof would be suspiciously similar to the proof of the isomorphism theorem. So no real progress. Perhaps one would ask why you don't want the isomorphism theorem; it is so basic.
$endgroup$
– Dietrich Burde
Oct 10 '16 at 19:25