Is this a group? If so, what group is it?Number of elements in a group of different orders, mod $n$, yields subgroup information?Direct product, semidirect product and associativityTrue or False, $D_5$ is isomorphic to $S_5$A question about isomorphic of dihedral groupWhat is needed to specify a group?Computing the order of a group generated by three elements $a,b,c$ which satisfy the relations $a^2=b^3=c^4=1$ and $cbc^-1=a$.Simple compact special unitary Lie group and dicyclic group Dic$_k$=Q$_4k$Is this structure a group?Which group of order 24 is this group?Elements of the dicyclic group of order 12
Does the unit of measure matter when you are solving for the diameter of a circumference?
Should one buy new hardware after a system compromise?
What to do when you've set the wrong ISO for your film?
At what point in European history could a government build a printing press given a basic description?
Why does this if-statement combining assignment and an equality check return true?
When and what was the first 3D acceleration device ever released?
Were pens caps holes designed to prevent death by suffocation if swallowed?
Boss wants me to falsify a report. How should I document this unethical demand?
Flying domestically in the US, is my State Issued ID all I need to get past security?
Defining the standard model of PA so that a space alien could understand
Can I install both XCode & Android Studio on MacBook Air with only 8 GB of Ram
Cipher Block Chaining - How do you change the plaintext of all blocks?
What are these arcade games in Ghostbusters 1984?
Plot twist where the antagonist wins
Statue View: 2, 3, 5, 7
Why colon to denote that a value belongs to a type?
What is the largest (size) solid object ever dropped from an airplane to impact the ground in freefall?
How should I introduce map drawing to my players?
If a person had control of every single cell of their body, would they be able to transform into another creature?
I unknowingly submitted plagarised work
Is "cool" appropriate or offensive to use in IMs?
Why did David Cameron offer a referendum on the European Union?
Simple function that simulates survey results based on sample size and probability
Count rotary dial pulses in a phone number (including letters)
Is this a group? If so, what group is it?
Number of elements in a group of different orders, mod $n$, yields subgroup information?Direct product, semidirect product and associativityTrue or False, $D_5$ is isomorphic to $S_5$A question about isomorphic of dihedral groupWhat is needed to specify a group?Computing the order of a group generated by three elements $a,b,c$ which satisfy the relations $a^2=b^3=c^4=1$ and $cbc^-1=a$.Simple compact special unitary Lie group and dicyclic group Dic$_k$=Q$_4k$Is this structure a group?Which group of order 24 is this group?Elements of the dicyclic group of order 12
$begingroup$
I have the following group (at least, I think it's a group) generated by $langle a,b,c rangle$ where the operation $cdot$ obeys the following rules:
$a^2=b^2=c^2=1$ (where $1$ is the identity).
$cdot$ is associative.
$(cb)(bc) = (bc)(cb) = 1$,
$(bc)^3 = (cb)^3 = 1$,
$(bc)^2 = cb$,
$(bcb)^2 = 1$,
$cbc = bcb$,
$forall x, space xa = ax$.
Some of these might be redundant, which is fine, but it's obviously an issue if there's a contradiction, but I can't find one.
From these rules, I believe this is a group of order 12 with the elements $1,a,b,c,ab,ac,bc,cb,abc,acb,bcb,abcb$.
However, I've been looking at the groups of order 12, and this one doesn't seem to be isomorphic to any of them. It's not Abelian, which narrows it down to the Alternating Group, the Dihedral Group, and the Dicyclic Group.
It's not the Alternating Group, as that only has 3 elements that square to $1$, whereas my group has 8 that do ($1,a,b,c,ab,ac,bcb,abcb$).
The Dihedral Group has the right amount of elements that square to $1$, but has an order 6 element, which my group doesn't have.
I hadn't heard of the Dicyclic Group until today, and I've been having trouble finding information on it, but it also seems like it has an order 6 element.
So what am I doing wrong here?
So did I miss something here and it is actually isomorphic to one of these groups?
Is my group ill-defined to begin with?
Is it well-defined but not a group? (I'm almost sure this isn't it, because I forced the operation to be associative, and I have an identity, and everything seems to have an inverse.)
Did I miscalculate the number of elements?
Or some other mistake entirely?
abstract-algebra group-theory finite-groups group-presentation combinatorial-group-theory
edited May 13 at 18:44
Dietrich Burde
83.8k649107
asked May 13 at 17:20
RothXRothX
735713
$endgroup$
add a comment |
$begingroup$
I have the following group (at least, I think it's a group) generated by $langle a,b,c rangle$ where the operation $cdot$ obeys the following rules:
$a^2=b^2=c^2=1$ (where $1$ is the identity).
$cdot$ is associative.
$(cb)(bc) = (bc)(cb) = 1$,
$(bc)^3 = (cb)^3 = 1$,
$(bc)^2 = cb$,
$(bcb)^2 = 1$,
$cbc = bcb$,
$forall x, space xa = ax$.
Some of these might be redundant, which is fine, but it's obviously an issue if there's a contradiction, but I can't find one.
From these rules, I believe this is a group of order 12 with the elements $1,a,b,c,ab,ac,bc,cb,abc,acb,bcb,abcb$.
However, I've been looking at the groups of order 12, and this one doesn't seem to be isomorphic to any of them. It's not Abelian, which narrows it down to the Alternating Group, the Dihedral Group, and the Dicyclic Group.
It's not the Alternating Group, as that only has 3 elements that square to $1$, whereas my group has 8 that do ($1,a,b,c,ab,ac,bcb,abcb$).
The Dihedral Group has the right amount of elements that square to $1$, but has an order 6 element, which my group doesn't have.
I hadn't heard of the Dicyclic Group until today, and I've been having trouble finding information on it, but it also seems like it has an order 6 element.
So what am I doing wrong here?
So did I miss something here and it is actually isomorphic to one of these groups?
Is my group ill-defined to begin with?
Is it well-defined but not a group? (I'm almost sure this isn't it, because I forced the operation to be associative, and I have an identity, and everything seems to have an inverse.)
Did I miscalculate the number of elements?
Or some other mistake entirely?
abstract-algebra group-theory finite-groups group-presentation combinatorial-group-theory
edited May 13 at 18:44
Dietrich Burde
83.8k649107
asked May 13 at 17:20
RothXRothX
735713
$endgroup$
6
$begingroup$
Clearly you have $C_2times S_3$ --- $a$ is the generator of $C_2$, $b,c$ are two different transpositions in $S_3$. By the way, you have an element of order 6, namely $abc$.
$endgroup$
– user10354138
May 13 at 17:29
$begingroup$
I changed the title, because it sounded not nice.
$endgroup$
– Dietrich Burde
May 13 at 18:44
$begingroup$
FWIW, your rules 3 and 6 clearly follow from 1 and 2: $(cb)(bc) = cbbc = c1c = cc = 1$, $(bc)(cb) = bccb = b1b = bb = 1$ and $(bcb)^2 = bcbbcb = bc1cb = bccb = 1$.
$endgroup$
– Ilmari Karonen
May 13 at 22:32
1
$begingroup$
None of those rules actually eliminate the trivial group with one element. Of course, we're more interested in what is the most general group that satisfies all those conditions.
$endgroup$
– aschepler
May 13 at 22:44
$begingroup$
@aschepler I feel like when I see groups defined in this way, it's usually assumed that 2 elements are different unless some rule says so. This order 12 group is the maximal group that satisfies all these conditions, but I think there are several smaller groups, not just the trivial group, that would also satisfy them. Though I could be wrong.
$endgroup$
– RothX
May 14 at 23:28
add a comment |
$begingroup$
I have the following group (at least, I think it's a group) generated by $langle a,b,c rangle$ where the operation $cdot$ obeys the following rules:
$a^2=b^2=c^2=1$ (where $1$ is the identity).
$cdot$ is associative.
$(cb)(bc) = (bc)(cb) = 1$,
$(bc)^3 = (cb)^3 = 1$,
$(bc)^2 = cb$,
$(bcb)^2 = 1$,
$cbc = bcb$,
$forall x, space xa = ax$.
Some of these might be redundant, which is fine, but it's obviously an issue if there's a contradiction, but I can't find one.
From these rules, I believe this is a group of order 12 with the elements $1,a,b,c,ab,ac,bc,cb,abc,acb,bcb,abcb$.
However, I've been looking at the groups of order 12, and this one doesn't seem to be isomorphic to any of them. It's not Abelian, which narrows it down to the Alternating Group, the Dihedral Group, and the Dicyclic Group.
It's not the Alternating Group, as that only has 3 elements that square to $1$, whereas my group has 8 that do ($1,a,b,c,ab,ac,bcb,abcb$).
The Dihedral Group has the right amount of elements that square to $1$, but has an order 6 element, which my group doesn't have.
I hadn't heard of the Dicyclic Group until today, and I've been having trouble finding information on it, but it also seems like it has an order 6 element.
So what am I doing wrong here?
So did I miss something here and it is actually isomorphic to one of these groups?
Is my group ill-defined to begin with?
Is it well-defined but not a group? (I'm almost sure this isn't it, because I forced the operation to be associative, and I have an identity, and everything seems to have an inverse.)
Did I miscalculate the number of elements?
Or some other mistake entirely?
abstract-algebra group-theory finite-groups group-presentation combinatorial-group-theory
edited May 13 at 18:44
Dietrich Burde
83.8k649107
asked May 13 at 17:20
RothXRothX
735713
$endgroup$
I have the following group (at least, I think it's a group) generated by $langle a,b,c rangle$ where the operation $cdot$ obeys the following rules:
$a^2=b^2=c^2=1$ (where $1$ is the identity).
$cdot$ is associative.
$(cb)(bc) = (bc)(cb) = 1$,
$(bc)^3 = (cb)^3 = 1$,
$(bc)^2 = cb$,
$(bcb)^2 = 1$,
$cbc = bcb$,
$forall x, space xa = ax$.
Some of these might be redundant, which is fine, but it's obviously an issue if there's a contradiction, but I can't find one.
From these rules, I believe this is a group of order 12 with the elements $1,a,b,c,ab,ac,bc,cb,abc,acb,bcb,abcb$.
However, I've been looking at the groups of order 12, and this one doesn't seem to be isomorphic to any of them. It's not Abelian, which narrows it down to the Alternating Group, the Dihedral Group, and the Dicyclic Group.
It's not the Alternating Group, as that only has 3 elements that square to $1$, whereas my group has 8 that do ($1,a,b,c,ab,ac,bcb,abcb$).
The Dihedral Group has the right amount of elements that square to $1$, but has an order 6 element, which my group doesn't have.
I hadn't heard of the Dicyclic Group until today, and I've been having trouble finding information on it, but it also seems like it has an order 6 element.
So what am I doing wrong here?
So did I miss something here and it is actually isomorphic to one of these groups?
Is my group ill-defined to begin with?
Is it well-defined but not a group? (I'm almost sure this isn't it, because I forced the operation to be associative, and I have an identity, and everything seems to have an inverse.)
Did I miscalculate the number of elements?
Or some other mistake entirely?
abstract-algebra group-theory finite-groups group-presentation combinatorial-group-theory
abstract-algebra group-theory finite-groups group-presentation combinatorial-group-theory
edited May 13 at 18:44
Dietrich Burde
83.8k649107
asked May 13 at 17:20
RothXRothX
735713
edited May 13 at 18:44
Dietrich Burde
83.8k649107
asked May 13 at 17:20
RothXRothX
735713
edited May 13 at 18:44
Dietrich Burde
83.8k649107
edited May 13 at 18:44
Dietrich Burde
83.8k649107
edited May 13 at 18:44
Dietrich Burde
83.8k649107
83.8k649107
asked May 13 at 17:20
RothXRothX
735713
asked May 13 at 17:20
RothXRothX
735713
asked May 13 at 17:20
RothXRothX
735713
735713
6
$begingroup$
Clearly you have $C_2times S_3$ --- $a$ is the generator of $C_2$, $b,c$ are two different transpositions in $S_3$. By the way, you have an element of order 6, namely $abc$.
$endgroup$
– user10354138
May 13 at 17:29
$begingroup$
I changed the title, because it sounded not nice.
$endgroup$
– Dietrich Burde
May 13 at 18:44
$begingroup$
FWIW, your rules 3 and 6 clearly follow from 1 and 2: $(cb)(bc) = cbbc = c1c = cc = 1$, $(bc)(cb) = bccb = b1b = bb = 1$ and $(bcb)^2 = bcbbcb = bc1cb = bccb = 1$.
$endgroup$
– Ilmari Karonen
May 13 at 22:32
1
$begingroup$
None of those rules actually eliminate the trivial group with one element. Of course, we're more interested in what is the most general group that satisfies all those conditions.
$endgroup$
– aschepler
May 13 at 22:44
$begingroup$
@aschepler I feel like when I see groups defined in this way, it's usually assumed that 2 elements are different unless some rule says so. This order 12 group is the maximal group that satisfies all these conditions, but I think there are several smaller groups, not just the trivial group, that would also satisfy them. Though I could be wrong.
$endgroup$
– RothX
May 14 at 23:28
add a comment |
6
$begingroup$
Clearly you have $C_2times S_3$ --- $a$ is the generator of $C_2$, $b,c$ are two different transpositions in $S_3$. By the way, you have an element of order 6, namely $abc$.
$endgroup$
– user10354138
May 13 at 17:29
$begingroup$
I changed the title, because it sounded not nice.
$endgroup$
– Dietrich Burde
May 13 at 18:44
$begingroup$
FWIW, your rules 3 and 6 clearly follow from 1 and 2: $(cb)(bc) = cbbc = c1c = cc = 1$, $(bc)(cb) = bccb = b1b = bb = 1$ and $(bcb)^2 = bcbbcb = bc1cb = bccb = 1$.
$endgroup$
– Ilmari Karonen
May 13 at 22:32
1
$begingroup$
None of those rules actually eliminate the trivial group with one element. Of course, we're more interested in what is the most general group that satisfies all those conditions.
$endgroup$
– aschepler
May 13 at 22:44
$begingroup$
@aschepler I feel like when I see groups defined in this way, it's usually assumed that 2 elements are different unless some rule says so. This order 12 group is the maximal group that satisfies all these conditions, but I think there are several smaller groups, not just the trivial group, that would also satisfy them. Though I could be wrong.
$endgroup$
– RothX
May 14 at 23:28
6
6
$begingroup$
Clearly you have $C_2times S_3$ --- $a$ is the generator of $C_2$, $b,c$ are two different transpositions in $S_3$. By the way, you have an element of order 6, namely $abc$.
$endgroup$
– user10354138
May 13 at 17:29
$begingroup$
Clearly you have $C_2times S_3$ --- $a$ is the generator of $C_2$, $b,c$ are two different transpositions in $S_3$. By the way, you have an element of order 6, namely $abc$.
$endgroup$
– user10354138
May 13 at 17:29
$begingroup$
I changed the title, because it sounded not nice.
$endgroup$
– Dietrich Burde
May 13 at 18:44
$begingroup$
I changed the title, because it sounded not nice.
$endgroup$
– Dietrich Burde
May 13 at 18:44
$begingroup$
FWIW, your rules 3 and 6 clearly follow from 1 and 2: $(cb)(bc) = cbbc = c1c = cc = 1$, $(bc)(cb) = bccb = b1b = bb = 1$ and $(bcb)^2 = bcbbcb = bc1cb = bccb = 1$.
$endgroup$
– Ilmari Karonen
May 13 at 22:32
$begingroup$
FWIW, your rules 3 and 6 clearly follow from 1 and 2: $(cb)(bc) = cbbc = c1c = cc = 1$, $(bc)(cb) = bccb = b1b = bb = 1$ and $(bcb)^2 = bcbbcb = bc1cb = bccb = 1$.
$endgroup$
– Ilmari Karonen
May 13 at 22:32
1
1
$begingroup$
None of those rules actually eliminate the trivial group with one element. Of course, we're more interested in what is the most general group that satisfies all those conditions.
$endgroup$
– aschepler
May 13 at 22:44
$begingroup$
None of those rules actually eliminate the trivial group with one element. Of course, we're more interested in what is the most general group that satisfies all those conditions.
$endgroup$
– aschepler
May 13 at 22:44
$begingroup$
@aschepler I feel like when I see groups defined in this way, it's usually assumed that 2 elements are different unless some rule says so. This order 12 group is the maximal group that satisfies all these conditions, but I think there are several smaller groups, not just the trivial group, that would also satisfy them. Though I could be wrong.
$endgroup$
– RothX
May 14 at 23:28
$begingroup$
@aschepler I feel like when I see groups defined in this way, it's usually assumed that 2 elements are different unless some rule says so. This order 12 group is the maximal group that satisfies all these conditions, but I think there are several smaller groups, not just the trivial group, that would also satisfy them. Though I could be wrong.
$endgroup$
– RothX
May 14 at 23:28
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Yes, this is a group of order 12. We already have closure, associativity, identity, we only need verification of inverses. The reason everybody has an inverse is due to the fact that $a$, $b$, and $c$ have inverses and are the generators of our group! Hence any arbitrary element, such as $abcb$ has inverse $bcba$, since multiplying by this element causes the individual $a, b,$ and $c$ terms to cancel. Now as for order 12, $langle b,c | b^2,c^2ranglecongmathbbZ_2astmathbbZ_2congmathbbZrtimesmathbbZ_2$. We identify $langle bcrangle$ with $mathbbZ$ and $langle brangle$ with $mathbbZ_2$. In addition, $langle b,c|b^2,c^2,(bc)^3ranglecongmathbbZ_3rtimesmathbbZ_2cong D_3$. Hence $langle a,b,c|b^2,c^2,(ab)^3,[a,b],[a,c]ranglecongmathbbZ_2oplus D_3$, which has order 12.
It was mentioned that it would be worth it to explain why $mathbbZ_2oplus D_3cong D_6$. Note that $mathbbZ_2$ represents the $0^circ$ rotation and the $180^circ$ rotation, and being a rotation, commutes with everything in the subgroup $D_3$ of $D_6$.
answered May 13 at 17:54
Jacob ClevelandJacob Cleveland
1277
$endgroup$
2
$begingroup$
Good answer, but it's worth mentioning that that direct product is actually isomorphic to the dihedral group of degree 6. It's not immediately obvious, and it would answer some of the concerns in my question more specifically.
$endgroup$
– RothX
May 13 at 19:27
add a comment |
Your Answer
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%2f3224660%2fis-this-a-group-if-so-what-group-is-it%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$
Yes, this is a group of order 12. We already have closure, associativity, identity, we only need verification of inverses. The reason everybody has an inverse is due to the fact that $a$, $b$, and $c$ have inverses and are the generators of our group! Hence any arbitrary element, such as $abcb$ has inverse $bcba$, since multiplying by this element causes the individual $a, b,$ and $c$ terms to cancel. Now as for order 12, $langle b,c | b^2,c^2ranglecongmathbbZ_2astmathbbZ_2congmathbbZrtimesmathbbZ_2$. We identify $langle bcrangle$ with $mathbbZ$ and $langle brangle$ with $mathbbZ_2$. In addition, $langle b,c|b^2,c^2,(bc)^3ranglecongmathbbZ_3rtimesmathbbZ_2cong D_3$. Hence $langle a,b,c|b^2,c^2,(ab)^3,[a,b],[a,c]ranglecongmathbbZ_2oplus D_3$, which has order 12.
It was mentioned that it would be worth it to explain why $mathbbZ_2oplus D_3cong D_6$. Note that $mathbbZ_2$ represents the $0^circ$ rotation and the $180^circ$ rotation, and being a rotation, commutes with everything in the subgroup $D_3$ of $D_6$.
answered May 13 at 17:54
Jacob ClevelandJacob Cleveland
1277
$endgroup$
2
$begingroup$
Good answer, but it's worth mentioning that that direct product is actually isomorphic to the dihedral group of degree 6. It's not immediately obvious, and it would answer some of the concerns in my question more specifically.
$endgroup$
– RothX
May 13 at 19:27
add a comment |
$begingroup$
Yes, this is a group of order 12. We already have closure, associativity, identity, we only need verification of inverses. The reason everybody has an inverse is due to the fact that $a$, $b$, and $c$ have inverses and are the generators of our group! Hence any arbitrary element, such as $abcb$ has inverse $bcba$, since multiplying by this element causes the individual $a, b,$ and $c$ terms to cancel. Now as for order 12, $langle b,c | b^2,c^2ranglecongmathbbZ_2astmathbbZ_2congmathbbZrtimesmathbbZ_2$. We identify $langle bcrangle$ with $mathbbZ$ and $langle brangle$ with $mathbbZ_2$. In addition, $langle b,c|b^2,c^2,(bc)^3ranglecongmathbbZ_3rtimesmathbbZ_2cong D_3$. Hence $langle a,b,c|b^2,c^2,(ab)^3,[a,b],[a,c]ranglecongmathbbZ_2oplus D_3$, which has order 12.
It was mentioned that it would be worth it to explain why $mathbbZ_2oplus D_3cong D_6$. Note that $mathbbZ_2$ represents the $0^circ$ rotation and the $180^circ$ rotation, and being a rotation, commutes with everything in the subgroup $D_3$ of $D_6$.
answered May 13 at 17:54
Jacob ClevelandJacob Cleveland
1277
$endgroup$
2
$begingroup$
Good answer, but it's worth mentioning that that direct product is actually isomorphic to the dihedral group of degree 6. It's not immediately obvious, and it would answer some of the concerns in my question more specifically.
$endgroup$
– RothX
May 13 at 19:27
add a comment |
$begingroup$
Yes, this is a group of order 12. We already have closure, associativity, identity, we only need verification of inverses. The reason everybody has an inverse is due to the fact that $a$, $b$, and $c$ have inverses and are the generators of our group! Hence any arbitrary element, such as $abcb$ has inverse $bcba$, since multiplying by this element causes the individual $a, b,$ and $c$ terms to cancel. Now as for order 12, $langle b,c | b^2,c^2ranglecongmathbbZ_2astmathbbZ_2congmathbbZrtimesmathbbZ_2$. We identify $langle bcrangle$ with $mathbbZ$ and $langle brangle$ with $mathbbZ_2$. In addition, $langle b,c|b^2,c^2,(bc)^3ranglecongmathbbZ_3rtimesmathbbZ_2cong D_3$. Hence $langle a,b,c|b^2,c^2,(ab)^3,[a,b],[a,c]ranglecongmathbbZ_2oplus D_3$, which has order 12.
It was mentioned that it would be worth it to explain why $mathbbZ_2oplus D_3cong D_6$. Note that $mathbbZ_2$ represents the $0^circ$ rotation and the $180^circ$ rotation, and being a rotation, commutes with everything in the subgroup $D_3$ of $D_6$.
answered May 13 at 17:54
Jacob ClevelandJacob Cleveland
1277
$endgroup$
Yes, this is a group of order 12. We already have closure, associativity, identity, we only need verification of inverses. The reason everybody has an inverse is due to the fact that $a$, $b$, and $c$ have inverses and are the generators of our group! Hence any arbitrary element, such as $abcb$ has inverse $bcba$, since multiplying by this element causes the individual $a, b,$ and $c$ terms to cancel. Now as for order 12, $langle b,c | b^2,c^2ranglecongmathbbZ_2astmathbbZ_2congmathbbZrtimesmathbbZ_2$. We identify $langle bcrangle$ with $mathbbZ$ and $langle brangle$ with $mathbbZ_2$. In addition, $langle b,c|b^2,c^2,(bc)^3ranglecongmathbbZ_3rtimesmathbbZ_2cong D_3$. Hence $langle a,b,c|b^2,c^2,(ab)^3,[a,b],[a,c]ranglecongmathbbZ_2oplus D_3$, which has order 12.
It was mentioned that it would be worth it to explain why $mathbbZ_2oplus D_3cong D_6$. Note that $mathbbZ_2$ represents the $0^circ$ rotation and the $180^circ$ rotation, and being a rotation, commutes with everything in the subgroup $D_3$ of $D_6$.
answered May 13 at 17:54
Jacob ClevelandJacob Cleveland
1277
edited May 13 at 20:43
answered May 13 at 17:54
Jacob ClevelandJacob Cleveland
1277
answered May 13 at 17:54
Jacob ClevelandJacob Cleveland
1277
answered May 13 at 17:54
Jacob ClevelandJacob Cleveland
1277
1277
2
$begingroup$
Good answer, but it's worth mentioning that that direct product is actually isomorphic to the dihedral group of degree 6. It's not immediately obvious, and it would answer some of the concerns in my question more specifically.
$endgroup$
– RothX
May 13 at 19:27
add a comment |
2
$begingroup$
Good answer, but it's worth mentioning that that direct product is actually isomorphic to the dihedral group of degree 6. It's not immediately obvious, and it would answer some of the concerns in my question more specifically.
$endgroup$
– RothX
May 13 at 19:27
2
2
$begingroup$
Good answer, but it's worth mentioning that that direct product is actually isomorphic to the dihedral group of degree 6. It's not immediately obvious, and it would answer some of the concerns in my question more specifically.
$endgroup$
– RothX
May 13 at 19:27
$begingroup$
Good answer, but it's worth mentioning that that direct product is actually isomorphic to the dihedral group of degree 6. It's not immediately obvious, and it would answer some of the concerns in my question more specifically.
$endgroup$
– RothX
May 13 at 19:27
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%2f3224660%2fis-this-a-group-if-so-what-group-is-it%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
6
$begingroup$
Clearly you have $C_2times S_3$ --- $a$ is the generator of $C_2$, $b,c$ are two different transpositions in $S_3$. By the way, you have an element of order 6, namely $abc$.
$endgroup$
– user10354138
May 13 at 17:29
$begingroup$
I changed the title, because it sounded not nice.
$endgroup$
– Dietrich Burde
May 13 at 18:44
$begingroup$
FWIW, your rules 3 and 6 clearly follow from 1 and 2: $(cb)(bc) = cbbc = c1c = cc = 1$, $(bc)(cb) = bccb = b1b = bb = 1$ and $(bcb)^2 = bcbbcb = bc1cb = bccb = 1$.
$endgroup$
– Ilmari Karonen
May 13 at 22:32
1
$begingroup$
None of those rules actually eliminate the trivial group with one element. Of course, we're more interested in what is the most general group that satisfies all those conditions.
$endgroup$
– aschepler
May 13 at 22:44
$begingroup$
@aschepler I feel like when I see groups defined in this way, it's usually assumed that 2 elements are different unless some rule says so. This order 12 group is the maximal group that satisfies all these conditions, but I think there are several smaller groups, not just the trivial group, that would also satisfy them. Though I could be wrong.
$endgroup$
– RothX
May 14 at 23:28