$S_3oplus S_3$ has an element of order $4,6,9$ or $18$.
$S_3oplus S_3$ has an element of order $4,6,9$ or $18$. $oplus$ is the direct sum.
Its order is $36$ so by sylow theorem it has subgroups of order $4$ and $9$. Also order of a permutation is the lcm of the order of disjoint cycles. But when I consider elements of $S_3oplus S_3$ the cycles might not be disjoint eg. $(12)(123)$. It says the answer is 6 but I'm not convinced because of this reason.
group-theory permutations least-common-multiple
add a comment |
$S_3oplus S_3$ has an element of order $4,6,9$ or $18$. $oplus$ is the direct sum.
Its order is $36$ so by sylow theorem it has subgroups of order $4$ and $9$. Also order of a permutation is the lcm of the order of disjoint cycles. But when I consider elements of $S_3oplus S_3$ the cycles might not be disjoint eg. $(12)(123)$. It says the answer is 6 but I'm not convinced because of this reason.
group-theory permutations least-common-multiple
I guess $oplus$ is supposed to be the direct product?
– 0x539
Jan 4 at 10:44
@0x539 Or possibly direct sum. Not that it makes much difference in this case.
– Arthur
Jan 4 at 10:46
1
The first and second $S_3$ have nothing to do with each other. To prevent confusion, it could probably help to see $S_3 oplus S_3$ as a subgroup of $S_6$, where the first $S_3$ is $S({1,2,3})$ and the second is $S({4,5,6})$.
– TastyRomeo
Jan 4 at 10:59
@TastyRomeo Yeah that was the source of the confusion, ty.
– Rhaldryn
Jan 4 at 15:14
add a comment |
$S_3oplus S_3$ has an element of order $4,6,9$ or $18$. $oplus$ is the direct sum.
Its order is $36$ so by sylow theorem it has subgroups of order $4$ and $9$. Also order of a permutation is the lcm of the order of disjoint cycles. But when I consider elements of $S_3oplus S_3$ the cycles might not be disjoint eg. $(12)(123)$. It says the answer is 6 but I'm not convinced because of this reason.
group-theory permutations least-common-multiple
$S_3oplus S_3$ has an element of order $4,6,9$ or $18$. $oplus$ is the direct sum.
Its order is $36$ so by sylow theorem it has subgroups of order $4$ and $9$. Also order of a permutation is the lcm of the order of disjoint cycles. But when I consider elements of $S_3oplus S_3$ the cycles might not be disjoint eg. $(12)(123)$. It says the answer is 6 but I'm not convinced because of this reason.
group-theory permutations least-common-multiple
group-theory permutations least-common-multiple
edited Jan 4 at 10:48
Rhaldryn
asked Jan 4 at 10:37
RhaldrynRhaldryn
309414
309414
I guess $oplus$ is supposed to be the direct product?
– 0x539
Jan 4 at 10:44
@0x539 Or possibly direct sum. Not that it makes much difference in this case.
– Arthur
Jan 4 at 10:46
1
The first and second $S_3$ have nothing to do with each other. To prevent confusion, it could probably help to see $S_3 oplus S_3$ as a subgroup of $S_6$, where the first $S_3$ is $S({1,2,3})$ and the second is $S({4,5,6})$.
– TastyRomeo
Jan 4 at 10:59
@TastyRomeo Yeah that was the source of the confusion, ty.
– Rhaldryn
Jan 4 at 15:14
add a comment |
I guess $oplus$ is supposed to be the direct product?
– 0x539
Jan 4 at 10:44
@0x539 Or possibly direct sum. Not that it makes much difference in this case.
– Arthur
Jan 4 at 10:46
1
The first and second $S_3$ have nothing to do with each other. To prevent confusion, it could probably help to see $S_3 oplus S_3$ as a subgroup of $S_6$, where the first $S_3$ is $S({1,2,3})$ and the second is $S({4,5,6})$.
– TastyRomeo
Jan 4 at 10:59
@TastyRomeo Yeah that was the source of the confusion, ty.
– Rhaldryn
Jan 4 at 15:14
I guess $oplus$ is supposed to be the direct product?
– 0x539
Jan 4 at 10:44
I guess $oplus$ is supposed to be the direct product?
– 0x539
Jan 4 at 10:44
@0x539 Or possibly direct sum. Not that it makes much difference in this case.
– Arthur
Jan 4 at 10:46
@0x539 Or possibly direct sum. Not that it makes much difference in this case.
– Arthur
Jan 4 at 10:46
1
1
The first and second $S_3$ have nothing to do with each other. To prevent confusion, it could probably help to see $S_3 oplus S_3$ as a subgroup of $S_6$, where the first $S_3$ is $S({1,2,3})$ and the second is $S({4,5,6})$.
– TastyRomeo
Jan 4 at 10:59
The first and second $S_3$ have nothing to do with each other. To prevent confusion, it could probably help to see $S_3 oplus S_3$ as a subgroup of $S_6$, where the first $S_3$ is $S({1,2,3})$ and the second is $S({4,5,6})$.
– TastyRomeo
Jan 4 at 10:59
@TastyRomeo Yeah that was the source of the confusion, ty.
– Rhaldryn
Jan 4 at 15:14
@TastyRomeo Yeah that was the source of the confusion, ty.
– Rhaldryn
Jan 4 at 15:14
add a comment |
1 Answer
1
active
oldest
votes
That $oplus$ symbol? It's the direct sum; anything from one piece commutes with anything from the other. We can represent the elements as ordered pairs $(a,b)$, with group operation $(a,b)cdot (c,d) = (acdot c, bcdot d)$. It doesn't matter if the cycles aren't disjoint between the two objects - we're not going to multiply across that line anyway.
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%2f3061504%2fs-3-oplus-s-3-has-an-element-of-order-4-6-9-or-18%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
That $oplus$ symbol? It's the direct sum; anything from one piece commutes with anything from the other. We can represent the elements as ordered pairs $(a,b)$, with group operation $(a,b)cdot (c,d) = (acdot c, bcdot d)$. It doesn't matter if the cycles aren't disjoint between the two objects - we're not going to multiply across that line anyway.
add a comment |
That $oplus$ symbol? It's the direct sum; anything from one piece commutes with anything from the other. We can represent the elements as ordered pairs $(a,b)$, with group operation $(a,b)cdot (c,d) = (acdot c, bcdot d)$. It doesn't matter if the cycles aren't disjoint between the two objects - we're not going to multiply across that line anyway.
add a comment |
That $oplus$ symbol? It's the direct sum; anything from one piece commutes with anything from the other. We can represent the elements as ordered pairs $(a,b)$, with group operation $(a,b)cdot (c,d) = (acdot c, bcdot d)$. It doesn't matter if the cycles aren't disjoint between the two objects - we're not going to multiply across that line anyway.
That $oplus$ symbol? It's the direct sum; anything from one piece commutes with anything from the other. We can represent the elements as ordered pairs $(a,b)$, with group operation $(a,b)cdot (c,d) = (acdot c, bcdot d)$. It doesn't matter if the cycles aren't disjoint between the two objects - we're not going to multiply across that line anyway.
answered Jan 4 at 10:45
jmerryjmerry
2,511312
2,511312
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%2f3061504%2fs-3-oplus-s-3-has-an-element-of-order-4-6-9-or-18%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
I guess $oplus$ is supposed to be the direct product?
– 0x539
Jan 4 at 10:44
@0x539 Or possibly direct sum. Not that it makes much difference in this case.
– Arthur
Jan 4 at 10:46
1
The first and second $S_3$ have nothing to do with each other. To prevent confusion, it could probably help to see $S_3 oplus S_3$ as a subgroup of $S_6$, where the first $S_3$ is $S({1,2,3})$ and the second is $S({4,5,6})$.
– TastyRomeo
Jan 4 at 10:59
@TastyRomeo Yeah that was the source of the confusion, ty.
– Rhaldryn
Jan 4 at 15:14