Let $G$ be a cyclic group of order $12$ generated by $a$ and $H$ be a subgroup of $G$ generated by $a^4$. Find the distinct left cosets of $H$ in $G$.Exhibiting the distinct cosets of a cyclic subgroup H in group G?Proof of Lagrange theorem - Order of a subgroup divides order of the groupLeft Cosets of Cyclic SubgroupGroup of order $pqr$ and cyclic subgroup$ G$ be a group of order $30$ generated by $a$.Finitely generated group (locally cyclic)Quotient group with normal subgroup dividing the order of another groupWhich of the following group has a proper subgroup that is not cyclic?How to prove the cosets are distinct?Left and right cosets of $H = e,(12)$ in $S_3$
What is a good source for large tables on the properties of water?
Should we release the security issues we found in our product as CVE or we can just update those on weekly release notes?
An Accountant Seeks the Help of a Mathematician
Provisioning profile doesn't include the application-identifier and keychain-access-groups entitlements
Could the Saturn V actually have launched astronauts around Venus?
Rules about breaking the rules. How do I do it well?
Does splitting a potentially monolithic application into several smaller ones help prevent bugs?
Making a sword in the stone, in a medieval world without magic
Why would a flight no longer considered airworthy be redirected like this?
Rejected in 4th interview round citing insufficient years of experience
Why do Australian milk farmers need to protest supermarkets' milk price?
Official degrees of earth’s rotation per day
How to deal with a cynical class?
Why using two cd commands in bash script does not execute the second command
Check this translation of Amores 1.3.26
It's a yearly task, alright
Why are there 40 737 Max planes in flight when they have been grounded as not airworthy?
Make a transparent 448*448 image
2D counterpart of std::array in C++17
Life insurance that covers only simultaneous/dual deaths
PTIJ: Who should pay for Uber rides: the child or the parent?
Meaning of "SEVERA INDEOVI VAS" from 3rd Century slab
Co-worker team leader wants to inject his friend's awful software into our development. What should I say to our common boss?
What has been your most complicated TikZ drawing?
Let $G$ be a cyclic group of order $12$ generated by $a$ and $H$ be a subgroup of $G$ generated by $a^4$. Find the distinct left cosets of $H$ in $G$.
Exhibiting the distinct cosets of a cyclic subgroup H in group G?Proof of Lagrange theorem - Order of a subgroup divides order of the groupLeft Cosets of Cyclic SubgroupGroup of order $pqr$ and cyclic subgroup$ G$ be a group of order $30$ generated by $a$.Finitely generated group (locally cyclic)Quotient group with normal subgroup dividing the order of another groupWhich of the following group has a proper subgroup that is not cyclic?How to prove the cosets are distinct?Left and right cosets of $H = e,(12)$ in $S_3$
$begingroup$
Let $G$ be a cyclic group of order $12$ generated by $a$ and $H$ be a subgroup of $G$ generated by $a^4$. Show that the distinct left cosets of $H$ in $G$ are $H, aH, a^2H, a^3H$. Verify that $Hcup a^2H$ is also a subgroup of $G$.
Given $o(G)=o(<a>)=12$ then $a^12=e$, $H=<a^4>=e, a^4, a^8$ therefore, $o(H)=o(<a^4>)=3$. Therefore, number of distinct left cosets of $H$ in $G$ $=[G:H]=fraco(G)o(H)=12/3=4$.
Clearly, $G=e, a, a^2, a^3, a^4, cdots a^11$. Then the left cosets are $a^rH$, $~~0leq rleq 11$.
The problem can be solved by exploring all 12 cases of $a^rH$, $~~0leq rleq 11$ and then choosing $4$ distinct left cosets will give the desired result.
I have three questions:
Is there are any error in the above answer? If there is any modification needed, however small, please feel free to suggest.
Exploring all 12 cases of $a^rH$, $~~0leq rleq 11$ and choosing desired cosets is laborious work. Please help me to get the desired cosets so that one can be convinced with the answer.
What will be the solution of the last verification part.
abstract-algebra group-theory finite-groups
asked Sep 27 '15 at 14:36
rama_ranrama_ran
300313
$endgroup$
add a comment |
$begingroup$
Let $G$ be a cyclic group of order $12$ generated by $a$ and $H$ be a subgroup of $G$ generated by $a^4$. Show that the distinct left cosets of $H$ in $G$ are $H, aH, a^2H, a^3H$. Verify that $Hcup a^2H$ is also a subgroup of $G$.
Given $o(G)=o(<a>)=12$ then $a^12=e$, $H=<a^4>=e, a^4, a^8$ therefore, $o(H)=o(<a^4>)=3$. Therefore, number of distinct left cosets of $H$ in $G$ $=[G:H]=fraco(G)o(H)=12/3=4$.
Clearly, $G=e, a, a^2, a^3, a^4, cdots a^11$. Then the left cosets are $a^rH$, $~~0leq rleq 11$.
The problem can be solved by exploring all 12 cases of $a^rH$, $~~0leq rleq 11$ and then choosing $4$ distinct left cosets will give the desired result.
I have three questions:
Is there are any error in the above answer? If there is any modification needed, however small, please feel free to suggest.
Exploring all 12 cases of $a^rH$, $~~0leq rleq 11$ and choosing desired cosets is laborious work. Please help me to get the desired cosets so that one can be convinced with the answer.
What will be the solution of the last verification part.
abstract-algebra group-theory finite-groups
asked Sep 27 '15 at 14:36
rama_ranrama_ran
300313
$endgroup$
add a comment |
$begingroup$
Let $G$ be a cyclic group of order $12$ generated by $a$ and $H$ be a subgroup of $G$ generated by $a^4$. Show that the distinct left cosets of $H$ in $G$ are $H, aH, a^2H, a^3H$. Verify that $Hcup a^2H$ is also a subgroup of $G$.
Given $o(G)=o(<a>)=12$ then $a^12=e$, $H=<a^4>=e, a^4, a^8$ therefore, $o(H)=o(<a^4>)=3$. Therefore, number of distinct left cosets of $H$ in $G$ $=[G:H]=fraco(G)o(H)=12/3=4$.
Clearly, $G=e, a, a^2, a^3, a^4, cdots a^11$. Then the left cosets are $a^rH$, $~~0leq rleq 11$.
The problem can be solved by exploring all 12 cases of $a^rH$, $~~0leq rleq 11$ and then choosing $4$ distinct left cosets will give the desired result.
I have three questions:
Is there are any error in the above answer? If there is any modification needed, however small, please feel free to suggest.
Exploring all 12 cases of $a^rH$, $~~0leq rleq 11$ and choosing desired cosets is laborious work. Please help me to get the desired cosets so that one can be convinced with the answer.
What will be the solution of the last verification part.
abstract-algebra group-theory finite-groups
asked Sep 27 '15 at 14:36
rama_ranrama_ran
300313
$endgroup$
Let $G$ be a cyclic group of order $12$ generated by $a$ and $H$ be a subgroup of $G$ generated by $a^4$. Show that the distinct left cosets of $H$ in $G$ are $H, aH, a^2H, a^3H$. Verify that $Hcup a^2H$ is also a subgroup of $G$.
Given $o(G)=o(<a>)=12$ then $a^12=e$, $H=<a^4>=e, a^4, a^8$ therefore, $o(H)=o(<a^4>)=3$. Therefore, number of distinct left cosets of $H$ in $G$ $=[G:H]=fraco(G)o(H)=12/3=4$.
Clearly, $G=e, a, a^2, a^3, a^4, cdots a^11$. Then the left cosets are $a^rH$, $~~0leq rleq 11$.
The problem can be solved by exploring all 12 cases of $a^rH$, $~~0leq rleq 11$ and then choosing $4$ distinct left cosets will give the desired result.
I have three questions:
Is there are any error in the above answer? If there is any modification needed, however small, please feel free to suggest.
Exploring all 12 cases of $a^rH$, $~~0leq rleq 11$ and choosing desired cosets is laborious work. Please help me to get the desired cosets so that one can be convinced with the answer.
What will be the solution of the last verification part.
abstract-algebra group-theory finite-groups
abstract-algebra group-theory finite-groups
asked Sep 27 '15 at 14:36
rama_ranrama_ran
300313
asked Sep 27 '15 at 14:36
rama_ranrama_ran
300313
asked Sep 27 '15 at 14:36
rama_ranrama_ran
300313
asked Sep 27 '15 at 14:36
rama_ranrama_ran
300313
asked Sep 27 '15 at 14:36
rama_ranrama_ran
300313
300313
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
- The biggest problem as I see it is that you use
<a>as angle brackets, rather thanlangle a rangle: $langle a rangle$. No real mathematical problems. - Saying something like "We note that $a^nH=a^n+4H$, so $H=a^4H=a^8H$, and so on." would give you a lot less checking. You would only have to check that $H, aH, a^2H$ and $a^3H$ are actually distinct.
- You verify that $$Hcup a^2H=e, a^4, a^8, a^2, a^6, a^10$$ is a subgroup, the same way you would in any other case. That means checking that it is closed under the group operation, that the identity element is there, and that every element in the set has its inverse in there as well.
answered Sep 27 '15 at 14:49
ArthurArthur
118k7117200
$endgroup$
$begingroup$
Thanks for the answer. Please explore $a^nH=a^n+4H$ and how to check cosets are distinct.
$endgroup$
– rama_ran
Sep 27 '15 at 15:13
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%2f1453628%2flet-g-be-a-cyclic-group-of-order-12-generated-by-a-and-h-be-a-subgroup-o%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
- The biggest problem as I see it is that you use
<a>as angle brackets, rather thanlangle a rangle: $langle a rangle$. No real mathematical problems. - Saying something like "We note that $a^nH=a^n+4H$, so $H=a^4H=a^8H$, and so on." would give you a lot less checking. You would only have to check that $H, aH, a^2H$ and $a^3H$ are actually distinct.
- You verify that $$Hcup a^2H=e, a^4, a^8, a^2, a^6, a^10$$ is a subgroup, the same way you would in any other case. That means checking that it is closed under the group operation, that the identity element is there, and that every element in the set has its inverse in there as well.
answered Sep 27 '15 at 14:49
ArthurArthur
118k7117200
$endgroup$
$begingroup$
Thanks for the answer. Please explore $a^nH=a^n+4H$ and how to check cosets are distinct.
$endgroup$
– rama_ran
Sep 27 '15 at 15:13
add a comment |
$begingroup$
- The biggest problem as I see it is that you use
<a>as angle brackets, rather thanlangle a rangle: $langle a rangle$. No real mathematical problems. - Saying something like "We note that $a^nH=a^n+4H$, so $H=a^4H=a^8H$, and so on." would give you a lot less checking. You would only have to check that $H, aH, a^2H$ and $a^3H$ are actually distinct.
- You verify that $$Hcup a^2H=e, a^4, a^8, a^2, a^6, a^10$$ is a subgroup, the same way you would in any other case. That means checking that it is closed under the group operation, that the identity element is there, and that every element in the set has its inverse in there as well.
answered Sep 27 '15 at 14:49
ArthurArthur
118k7117200
$endgroup$
$begingroup$
Thanks for the answer. Please explore $a^nH=a^n+4H$ and how to check cosets are distinct.
$endgroup$
– rama_ran
Sep 27 '15 at 15:13
add a comment |
$begingroup$
- The biggest problem as I see it is that you use
<a>as angle brackets, rather thanlangle a rangle: $langle a rangle$. No real mathematical problems. - Saying something like "We note that $a^nH=a^n+4H$, so $H=a^4H=a^8H$, and so on." would give you a lot less checking. You would only have to check that $H, aH, a^2H$ and $a^3H$ are actually distinct.
- You verify that $$Hcup a^2H=e, a^4, a^8, a^2, a^6, a^10$$ is a subgroup, the same way you would in any other case. That means checking that it is closed under the group operation, that the identity element is there, and that every element in the set has its inverse in there as well.
answered Sep 27 '15 at 14:49
ArthurArthur
118k7117200
$endgroup$
- The biggest problem as I see it is that you use
<a>as angle brackets, rather thanlangle a rangle: $langle a rangle$. No real mathematical problems. - Saying something like "We note that $a^nH=a^n+4H$, so $H=a^4H=a^8H$, and so on." would give you a lot less checking. You would only have to check that $H, aH, a^2H$ and $a^3H$ are actually distinct.
- You verify that $$Hcup a^2H=e, a^4, a^8, a^2, a^6, a^10$$ is a subgroup, the same way you would in any other case. That means checking that it is closed under the group operation, that the identity element is there, and that every element in the set has its inverse in there as well.
answered Sep 27 '15 at 14:49
ArthurArthur
118k7117200
answered Sep 27 '15 at 14:49
ArthurArthur
118k7117200
answered Sep 27 '15 at 14:49
ArthurArthur
118k7117200
answered Sep 27 '15 at 14:49
ArthurArthur
118k7117200
118k7117200
$begingroup$
Thanks for the answer. Please explore $a^nH=a^n+4H$ and how to check cosets are distinct.
$endgroup$
– rama_ran
Sep 27 '15 at 15:13
add a comment |
$begingroup$
Thanks for the answer. Please explore $a^nH=a^n+4H$ and how to check cosets are distinct.
$endgroup$
– rama_ran
Sep 27 '15 at 15:13
$begingroup$
Thanks for the answer. Please explore $a^nH=a^n+4H$ and how to check cosets are distinct.
$endgroup$
– rama_ran
Sep 27 '15 at 15:13
$begingroup$
Thanks for the answer. Please explore $a^nH=a^n+4H$ and how to check cosets are distinct.
$endgroup$
– rama_ran
Sep 27 '15 at 15:13
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%2f1453628%2flet-g-be-a-cyclic-group-of-order-12-generated-by-a-and-h-be-a-subgroup-o%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
