Constructing the binary Golay code
I'm reading up about the binary Golay code of length $23$. I know it's a cyclic code and I also know it's a quadratic residue code. I've read that we can consider the linear code over $mathbb{F}_2$ generated by the $23$ vectors $c_i$ with coordinates $(c_i)_j = 1$ if $(j-i)$ is a quadratic residue mod $23$ and $0$ otherwise.
Why is this true? How does this relate to it being a quadratic residue code? I thought that $x^{23} + 1 = (x+1)(x^{11}+x^{10}+x^6+x^5+x^4+x^2+1)(x^{11} + x^9 + x^7 + x^6 + x^5 + x + 1)$, then we can chose either of the polynomials of degree $11$ to be a generator polynomial. Clearly the construction above would yield a completely different generator matrix than these generator polynomials would give. How is this possible?
abstract-algebra information-theory coding-theory
add a comment |
I'm reading up about the binary Golay code of length $23$. I know it's a cyclic code and I also know it's a quadratic residue code. I've read that we can consider the linear code over $mathbb{F}_2$ generated by the $23$ vectors $c_i$ with coordinates $(c_i)_j = 1$ if $(j-i)$ is a quadratic residue mod $23$ and $0$ otherwise.
Why is this true? How does this relate to it being a quadratic residue code? I thought that $x^{23} + 1 = (x+1)(x^{11}+x^{10}+x^6+x^5+x^4+x^2+1)(x^{11} + x^9 + x^7 + x^6 + x^5 + x + 1)$, then we can chose either of the polynomials of degree $11$ to be a generator polynomial. Clearly the construction above would yield a completely different generator matrix than these generator polynomials would give. How is this possible?
abstract-algebra information-theory coding-theory
add a comment |
I'm reading up about the binary Golay code of length $23$. I know it's a cyclic code and I also know it's a quadratic residue code. I've read that we can consider the linear code over $mathbb{F}_2$ generated by the $23$ vectors $c_i$ with coordinates $(c_i)_j = 1$ if $(j-i)$ is a quadratic residue mod $23$ and $0$ otherwise.
Why is this true? How does this relate to it being a quadratic residue code? I thought that $x^{23} + 1 = (x+1)(x^{11}+x^{10}+x^6+x^5+x^4+x^2+1)(x^{11} + x^9 + x^7 + x^6 + x^5 + x + 1)$, then we can chose either of the polynomials of degree $11$ to be a generator polynomial. Clearly the construction above would yield a completely different generator matrix than these generator polynomials would give. How is this possible?
abstract-algebra information-theory coding-theory
I'm reading up about the binary Golay code of length $23$. I know it's a cyclic code and I also know it's a quadratic residue code. I've read that we can consider the linear code over $mathbb{F}_2$ generated by the $23$ vectors $c_i$ with coordinates $(c_i)_j = 1$ if $(j-i)$ is a quadratic residue mod $23$ and $0$ otherwise.
Why is this true? How does this relate to it being a quadratic residue code? I thought that $x^{23} + 1 = (x+1)(x^{11}+x^{10}+x^6+x^5+x^4+x^2+1)(x^{11} + x^9 + x^7 + x^6 + x^5 + x + 1)$, then we can chose either of the polynomials of degree $11$ to be a generator polynomial. Clearly the construction above would yield a completely different generator matrix than these generator polynomials would give. How is this possible?
abstract-algebra information-theory coding-theory
abstract-algebra information-theory coding-theory
asked Nov 27 at 0:56
the man
697715
697715
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
The generator matrix of a linear code is not unique.
An $[n,k,d]_{q}$ code is a $k$-dimensional subspace of $mathbb{F}_{q}^{n}$, and so there are
$$prod_{i=0}^{k-1} (q^{k}-q^{i})$$
different ordered bases;
each one of these will give you a different generator matrix.
And that is just the number of generator matrices for a given code,
you have even more if you consider different but equivalent codes.
So choosing an irreducible $11$-degree factor of $x^{23}-1$ will give you a cyclic basis for your code, giving you a cyclic generator matrix. Using the quadratic residue construction gives you a different generator matrix, will most likely even give you a different code than you obtain from the cyclic construction (as in, a different set of codewords), but the codes are equivalent (ie can be obtained from each other by a permutation of coordinates).
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%2f3015172%2fconstructing-the-binary-golay-code%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
The generator matrix of a linear code is not unique.
An $[n,k,d]_{q}$ code is a $k$-dimensional subspace of $mathbb{F}_{q}^{n}$, and so there are
$$prod_{i=0}^{k-1} (q^{k}-q^{i})$$
different ordered bases;
each one of these will give you a different generator matrix.
And that is just the number of generator matrices for a given code,
you have even more if you consider different but equivalent codes.
So choosing an irreducible $11$-degree factor of $x^{23}-1$ will give you a cyclic basis for your code, giving you a cyclic generator matrix. Using the quadratic residue construction gives you a different generator matrix, will most likely even give you a different code than you obtain from the cyclic construction (as in, a different set of codewords), but the codes are equivalent (ie can be obtained from each other by a permutation of coordinates).
add a comment |
The generator matrix of a linear code is not unique.
An $[n,k,d]_{q}$ code is a $k$-dimensional subspace of $mathbb{F}_{q}^{n}$, and so there are
$$prod_{i=0}^{k-1} (q^{k}-q^{i})$$
different ordered bases;
each one of these will give you a different generator matrix.
And that is just the number of generator matrices for a given code,
you have even more if you consider different but equivalent codes.
So choosing an irreducible $11$-degree factor of $x^{23}-1$ will give you a cyclic basis for your code, giving you a cyclic generator matrix. Using the quadratic residue construction gives you a different generator matrix, will most likely even give you a different code than you obtain from the cyclic construction (as in, a different set of codewords), but the codes are equivalent (ie can be obtained from each other by a permutation of coordinates).
add a comment |
The generator matrix of a linear code is not unique.
An $[n,k,d]_{q}$ code is a $k$-dimensional subspace of $mathbb{F}_{q}^{n}$, and so there are
$$prod_{i=0}^{k-1} (q^{k}-q^{i})$$
different ordered bases;
each one of these will give you a different generator matrix.
And that is just the number of generator matrices for a given code,
you have even more if you consider different but equivalent codes.
So choosing an irreducible $11$-degree factor of $x^{23}-1$ will give you a cyclic basis for your code, giving you a cyclic generator matrix. Using the quadratic residue construction gives you a different generator matrix, will most likely even give you a different code than you obtain from the cyclic construction (as in, a different set of codewords), but the codes are equivalent (ie can be obtained from each other by a permutation of coordinates).
The generator matrix of a linear code is not unique.
An $[n,k,d]_{q}$ code is a $k$-dimensional subspace of $mathbb{F}_{q}^{n}$, and so there are
$$prod_{i=0}^{k-1} (q^{k}-q^{i})$$
different ordered bases;
each one of these will give you a different generator matrix.
And that is just the number of generator matrices for a given code,
you have even more if you consider different but equivalent codes.
So choosing an irreducible $11$-degree factor of $x^{23}-1$ will give you a cyclic basis for your code, giving you a cyclic generator matrix. Using the quadratic residue construction gives you a different generator matrix, will most likely even give you a different code than you obtain from the cyclic construction (as in, a different set of codewords), but the codes are equivalent (ie can be obtained from each other by a permutation of coordinates).
answered Dec 2 at 1:43
Morgan Rodgers
9,57021439
9,57021439
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%2f3015172%2fconstructing-the-binary-golay-code%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