Finding a presentation of the quarternion group. (When do I know if I have given enough relations?)
I was working through presentation of the quaternion group (with element $8$), and I let $a = i$ and $b = j$. I immediately said $a^4 = b^4 = 1$, and $ab^2 a = 1$.
Since I have a relation for each generator and between the generator, I figured I have the whole presentation. However, when I looked up the presentation of the quaternion group, it was given as
$$Q=langle F{a,b}mid a^4=b^4=a^2b^2=1 , b^{-1} a d = a^{-1}rangle.tag{1}$$
It is hard for me to see whether my initial third relation is a mixture of 3rd or 4th relation given by $(1)$.
Also, when do I know if I have given enough relations? Do I have to just write it down and see?
Finding a presentation of a group seems quite tedious!
group-theory group-presentation
add a comment |
I was working through presentation of the quaternion group (with element $8$), and I let $a = i$ and $b = j$. I immediately said $a^4 = b^4 = 1$, and $ab^2 a = 1$.
Since I have a relation for each generator and between the generator, I figured I have the whole presentation. However, when I looked up the presentation of the quaternion group, it was given as
$$Q=langle F{a,b}mid a^4=b^4=a^2b^2=1 , b^{-1} a d = a^{-1}rangle.tag{1}$$
It is hard for me to see whether my initial third relation is a mixture of 3rd or 4th relation given by $(1)$.
Also, when do I know if I have given enough relations? Do I have to just write it down and see?
Finding a presentation of a group seems quite tedious!
group-theory group-presentation
4
You cannot talk about the presentation, because there are lots of presentations, but you do not have enough relations. In fact $b^4=1$ is a consequence of $a^4=1$ and $ab^2a=1$, so one of your relations is redundant. If you adjoined the extra relation $a^{-1}ba=b^{-1}$ then you would have a complete presentation. BTW, your displayed presentation for $Q$ doesn't make sense, because $c$ and $d$ are undefined.
– Derek Holt
Oct 2 '14 at 7:56
1
Sorry I meant $c =a$ &$d=b$
– Quantization
Oct 2 '14 at 8:25
add a comment |
I was working through presentation of the quaternion group (with element $8$), and I let $a = i$ and $b = j$. I immediately said $a^4 = b^4 = 1$, and $ab^2 a = 1$.
Since I have a relation for each generator and between the generator, I figured I have the whole presentation. However, when I looked up the presentation of the quaternion group, it was given as
$$Q=langle F{a,b}mid a^4=b^4=a^2b^2=1 , b^{-1} a d = a^{-1}rangle.tag{1}$$
It is hard for me to see whether my initial third relation is a mixture of 3rd or 4th relation given by $(1)$.
Also, when do I know if I have given enough relations? Do I have to just write it down and see?
Finding a presentation of a group seems quite tedious!
group-theory group-presentation
I was working through presentation of the quaternion group (with element $8$), and I let $a = i$ and $b = j$. I immediately said $a^4 = b^4 = 1$, and $ab^2 a = 1$.
Since I have a relation for each generator and between the generator, I figured I have the whole presentation. However, when I looked up the presentation of the quaternion group, it was given as
$$Q=langle F{a,b}mid a^4=b^4=a^2b^2=1 , b^{-1} a d = a^{-1}rangle.tag{1}$$
It is hard for me to see whether my initial third relation is a mixture of 3rd or 4th relation given by $(1)$.
Also, when do I know if I have given enough relations? Do I have to just write it down and see?
Finding a presentation of a group seems quite tedious!
group-theory group-presentation
group-theory group-presentation
edited Dec 11 '18 at 7:50
Shaun
8,820113681
8,820113681
asked Oct 2 '14 at 7:40
QuantizationQuantization
20418
20418
4
You cannot talk about the presentation, because there are lots of presentations, but you do not have enough relations. In fact $b^4=1$ is a consequence of $a^4=1$ and $ab^2a=1$, so one of your relations is redundant. If you adjoined the extra relation $a^{-1}ba=b^{-1}$ then you would have a complete presentation. BTW, your displayed presentation for $Q$ doesn't make sense, because $c$ and $d$ are undefined.
– Derek Holt
Oct 2 '14 at 7:56
1
Sorry I meant $c =a$ &$d=b$
– Quantization
Oct 2 '14 at 8:25
add a comment |
4
You cannot talk about the presentation, because there are lots of presentations, but you do not have enough relations. In fact $b^4=1$ is a consequence of $a^4=1$ and $ab^2a=1$, so one of your relations is redundant. If you adjoined the extra relation $a^{-1}ba=b^{-1}$ then you would have a complete presentation. BTW, your displayed presentation for $Q$ doesn't make sense, because $c$ and $d$ are undefined.
– Derek Holt
Oct 2 '14 at 7:56
1
Sorry I meant $c =a$ &$d=b$
– Quantization
Oct 2 '14 at 8:25
4
4
You cannot talk about the presentation, because there are lots of presentations, but you do not have enough relations. In fact $b^4=1$ is a consequence of $a^4=1$ and $ab^2a=1$, so one of your relations is redundant. If you adjoined the extra relation $a^{-1}ba=b^{-1}$ then you would have a complete presentation. BTW, your displayed presentation for $Q$ doesn't make sense, because $c$ and $d$ are undefined.
– Derek Holt
Oct 2 '14 at 7:56
You cannot talk about the presentation, because there are lots of presentations, but you do not have enough relations. In fact $b^4=1$ is a consequence of $a^4=1$ and $ab^2a=1$, so one of your relations is redundant. If you adjoined the extra relation $a^{-1}ba=b^{-1}$ then you would have a complete presentation. BTW, your displayed presentation for $Q$ doesn't make sense, because $c$ and $d$ are undefined.
– Derek Holt
Oct 2 '14 at 7:56
1
1
Sorry I meant $c =a$ &$d=b$
– Quantization
Oct 2 '14 at 8:25
Sorry I meant $c =a$ &$d=b$
– Quantization
Oct 2 '14 at 8:25
add a comment |
0
active
oldest
votes
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%2f955154%2ffinding-a-presentation-of-the-quarternion-group-when-do-i-know-if-i-have-given%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f955154%2ffinding-a-presentation-of-the-quarternion-group-when-do-i-know-if-i-have-given%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
4
You cannot talk about the presentation, because there are lots of presentations, but you do not have enough relations. In fact $b^4=1$ is a consequence of $a^4=1$ and $ab^2a=1$, so one of your relations is redundant. If you adjoined the extra relation $a^{-1}ba=b^{-1}$ then you would have a complete presentation. BTW, your displayed presentation for $Q$ doesn't make sense, because $c$ and $d$ are undefined.
– Derek Holt
Oct 2 '14 at 7:56
1
Sorry I meant $c =a$ &$d=b$
– Quantization
Oct 2 '14 at 8:25