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
Were pens caps holes designed to prevent death by suffocation if swallowed?
Is there a way to make it so the cursor is included when I prtscr key?
What is a Centaur Thief's climbing speed?
Simple function that simulates survey results based on sample size and probability
Why does the 6502 have the BIT instruction?
Compactness of finite sets
Adding spaces to string based on list
Is real public IP Address hidden when using a system wide proxy in Windows 10?
Where is the logic in castrating fighters?
What is the environment variable XDG_VTNR?
Make 24 using exactly three 3s
Where have Brexit voters gone?
How to respond to an upset student?
Should breaking down something like a door be adjudicated as an attempt to beat its AC and HP, or as an ability check against a set DC?
Is it unethical to use a published code in my PhD thesis work?
Why do most published works in medical imaging try to reduce false positives?
Why do Ryanair allow me to book connecting itineraries through a third party, but not through their own website?
How to use Palladio font in text body but Computer Modern for Equations?
Line of lights moving in a straight line , with a few following
Is the Indo-European language family made up?
Text at the right of icon
Employer demanding to see degree after poor code review
Count Even Digits In Number
Does Nitrogen inside commercial airliner wheels prevent blowouts on touchdown?
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