How can I factor $x^{12}+x^{11}+cdots+x+1$ in $mathbb F_3[x]$?How can I show that $(1,0)$ is irreducible in...
Does "Until when" sound natural for native speakers?
Determining optimum shared school bus route to a single destination from multiple origin points
Is this Paypal Github SDK reference really a dangerous site?
Vocabulary for giving just numbers, not a full answer
Is it safe to abruptly remove Arduino power?
Do items de-spawn?
Specifying a starting column with colortbl package and xcolor
Conservation of Mass and Energy
How can I get players to focus on the story aspect of D&D?
Recommendation letter by significant other if you worked with them professionally?
Haman going to the second feast dirty
Outlet with 3 sets of wires
Professor forcing me to attend a conference, I can't afford even with 50% funding
Why does liquid water form when we exhale on a mirror?
Is divide-by-zero a security vulnerability?
Signed and unsigned numbers
Which situations would cause a company to ground or recall a aircraft series?
Do I really need to have a scientific explanation for my premise?
Can I use a violin G string for D?
Source permutation
How to draw dashed arc of a circle behind pyramid?
How exactly does an Ethernet collision happen in the cable, since nodes use different circuits for Tx and Rx?
School performs periodic password audits. Is my password compromised?
Why couldn't the separatists legally leave the Republic?
How can I factor $x^{12}+x^{11}+cdots+x+1$ in $mathbb F_3[x]$?
How can I show that $(1,0)$ is irreducible in $mathbb{Z}timesmathbb{Z}$?Factor into a product of irreducible polynomialsDegrees of factors of polynomial $f(x)=x^q-(ax^2+bx+c)in mathbb{F}_q[x]$On the involutions of $GL_2(mathbb F_3)$How can we factorize $x^4 - 2x^2 + 49$ with coefficients in $mathbb{R}$?Polynomial factorization into irreducibles over $mathbb{Q}[x]$Finding All Irreducible Polynomials in $P_3(mathbb{F_3})$confused about $Bbb F_3(alpha) cong Bbb F_3/langle x^3+2x+2rangle$Polynomial of degree $5$ reducible over $mathbb Q(sqrt 2)$Is there a way to tell how to factor the denom. when doing a partial fraction?
$begingroup$
I can prove that $mathbb F_3[x]$ is a UFD, so $f(x)=x^{12}+x^{11}+cdots+x+1$ can be factored. And because neither 0, 1, nor 2 is a root of $f(x)$, all factors are more than 1 degrees.
But I don’t know how to factor $f(x)=x^{12}+x^{11}+cdots+x+1$, or as another simple example, $g(x)=x^4+x^3+x+2$.
How do I find out factorizations of $f(x)$ and $g(x)$ in $mathbb F_3[x]$?
abstract-algebra polynomials ring-theory factoring irreducible-polynomials
$endgroup$
add a comment |
$begingroup$
I can prove that $mathbb F_3[x]$ is a UFD, so $f(x)=x^{12}+x^{11}+cdots+x+1$ can be factored. And because neither 0, 1, nor 2 is a root of $f(x)$, all factors are more than 1 degrees.
But I don’t know how to factor $f(x)=x^{12}+x^{11}+cdots+x+1$, or as another simple example, $g(x)=x^4+x^3+x+2$.
How do I find out factorizations of $f(x)$ and $g(x)$ in $mathbb F_3[x]$?
abstract-algebra polynomials ring-theory factoring irreducible-polynomials
$endgroup$
add a comment |
$begingroup$
I can prove that $mathbb F_3[x]$ is a UFD, so $f(x)=x^{12}+x^{11}+cdots+x+1$ can be factored. And because neither 0, 1, nor 2 is a root of $f(x)$, all factors are more than 1 degrees.
But I don’t know how to factor $f(x)=x^{12}+x^{11}+cdots+x+1$, or as another simple example, $g(x)=x^4+x^3+x+2$.
How do I find out factorizations of $f(x)$ and $g(x)$ in $mathbb F_3[x]$?
abstract-algebra polynomials ring-theory factoring irreducible-polynomials
$endgroup$
I can prove that $mathbb F_3[x]$ is a UFD, so $f(x)=x^{12}+x^{11}+cdots+x+1$ can be factored. And because neither 0, 1, nor 2 is a root of $f(x)$, all factors are more than 1 degrees.
But I don’t know how to factor $f(x)=x^{12}+x^{11}+cdots+x+1$, or as another simple example, $g(x)=x^4+x^3+x+2$.
How do I find out factorizations of $f(x)$ and $g(x)$ in $mathbb F_3[x]$?
abstract-algebra polynomials ring-theory factoring irreducible-polynomials
abstract-algebra polynomials ring-theory factoring irreducible-polynomials
edited 2 days ago
Michael Rozenberg
107k1895199
107k1895199
asked 2 days ago
Mingwei ZhangMingwei Zhang
314
314
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Suppose $x$ is a root of $f$ in some extension field of $mathbb{F}_3$; then $x$ is a 13th root of 1. Now $mathbb{F}_{27}$ is the splitting field of $x^{27} - x$, and we see $x^{13} - 1$ divides $x^{27} - x$; therefore, each root of $f$ lies in $mathbb{F}_{27}$. It follows that each irreducible factor of $f$ has degree 3.
Furthermore, for such a root $x$, we have $N_{mathbb{F}_3}^{mathbb{F}_{27}}(x) = x cdot x^3 cdot x^9 = 1$ since the Galois group consists of the identity, the Frobenius morphism $x mapsto x^3$, and the square of the Frobenius morphism. Therefore, the irreducible factors would be of the form $x^3 + ax^2 + bx - 1$.
Conversely, for any element $y in mathbb{F}_{27} setminus mathbb{F}_3$ such that $N_{mathbb{F}_3}^{mathbb{F}_{27}}(y) = 1$, this implies $y^{13} = 1$; and since $y ne 1$, this implies $f(y) = 0$. Therefore, every irreducible polynomial of the form $x^3 + ax^2 + bx - 1$ is in fact a factor of $f(x)$.
Now, to follow a comment by Servaes: since $x^3 + ax^2 + bx - 1$ is not allowed to have either $x=1$ or $x=-1$ as a root, that means that $a+b ne 0$ and $a-b ne 2$. That restriction leaves us with only four possibilities: $(a,b) in { (0, -1), (1, 0), (1, 1), (-1, -1) }$. Each of these is in fact irreducible since it is a cubic polynomial of degree 3 with no root in $mathbb{F}_3$; and the product of these factors accounts for the full degree 12 of $f$.
In summary, we get
$$f(x) = (x^3 - x - 1) (x^3 + x^2 - 1) (x^3 + x^2 + x - 1) (x^3 - x^2 - x - 1).$$
$endgroup$
$begingroup$
Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
$endgroup$
– Servaes
2 days ago
add a comment |
$begingroup$
Let $K$ be a splitting field of $f$, and note that $f$ has no roots in $Bbb{F}_3$ so in particular $KneqBbb{F}_3$. Because
$$(x-1)f(x)=x^{13}-1
qquadtext{ and }qquad
(x^{13}-1)(x^{13}-1)x=x^{27}-x,$$
where the latter splits over $Bbb{F}_{27}$, we see that $K$ is isomorphic to a subfield of $Bbb{F}_{27}$, and hence isomorphic to $Bbb{F}_{27}$ itself. This means the minimal polynomial of every root of $f$ has degree $3$, that is to say $f$ is a product of four irreducible cubic polynomials. Moreover, we see that $f$ is squarefree, so it is a product of four distinct monic irreducible cubic polynomials. There are only six such polynomials in $Bbb{F}_3$, so pick one and see whether it divides $f$.
For $g$ a similar but simpler approach works; it has no roots in $Bbb{F}_3$ so it is either irreducible or a product of two irreducible quadratics. There are only three irreducible quadratics in $Bbb{F}_3[x]$, so this is even easier to check. On the other hand, a brute force check shows that if
begin{eqnarray*}
x^4+x^3+x+2&=&(x^2+ax+b)(x^2+cx+d)\
&=&x^4+(a+c)x^3+(ac+b+d)x^2+(ad+bc)x+bd,
end{eqnarray*}
then $b=-d$ by comparing constant coefficients. Then the coefficient of $x^2$ shows that $ac=0$, so without loss of generality $a=0$, and then $c=1$ and $b=1$ and $d=2$ so
$$g(x)=(x^2+1)(x^2+x+2).$$
$endgroup$
add a comment |
$begingroup$
$$x^4+x^3+x+2=x^4+x(x^2+1)-1=(x^2+1)(x^2+x-1).$$
$$x^{12}+x^{11}+x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=$$
$$=x^{12}+x^{11}-2x^{10}-8x^9-5x^8+7x^7+16x^6+7x^5-5x^4-8x^3-2x^2+x+1=$$
$$=(x^3-x-1)(x^3+x^2-1)(x^3+x^2+x-1)(x^3-x^2-x-1).$$
$endgroup$
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%2f3140347%2fhow-can-i-factor-x12x11-cdotsx1-in-mathbb-f-3x%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Suppose $x$ is a root of $f$ in some extension field of $mathbb{F}_3$; then $x$ is a 13th root of 1. Now $mathbb{F}_{27}$ is the splitting field of $x^{27} - x$, and we see $x^{13} - 1$ divides $x^{27} - x$; therefore, each root of $f$ lies in $mathbb{F}_{27}$. It follows that each irreducible factor of $f$ has degree 3.
Furthermore, for such a root $x$, we have $N_{mathbb{F}_3}^{mathbb{F}_{27}}(x) = x cdot x^3 cdot x^9 = 1$ since the Galois group consists of the identity, the Frobenius morphism $x mapsto x^3$, and the square of the Frobenius morphism. Therefore, the irreducible factors would be of the form $x^3 + ax^2 + bx - 1$.
Conversely, for any element $y in mathbb{F}_{27} setminus mathbb{F}_3$ such that $N_{mathbb{F}_3}^{mathbb{F}_{27}}(y) = 1$, this implies $y^{13} = 1$; and since $y ne 1$, this implies $f(y) = 0$. Therefore, every irreducible polynomial of the form $x^3 + ax^2 + bx - 1$ is in fact a factor of $f(x)$.
Now, to follow a comment by Servaes: since $x^3 + ax^2 + bx - 1$ is not allowed to have either $x=1$ or $x=-1$ as a root, that means that $a+b ne 0$ and $a-b ne 2$. That restriction leaves us with only four possibilities: $(a,b) in { (0, -1), (1, 0), (1, 1), (-1, -1) }$. Each of these is in fact irreducible since it is a cubic polynomial of degree 3 with no root in $mathbb{F}_3$; and the product of these factors accounts for the full degree 12 of $f$.
In summary, we get
$$f(x) = (x^3 - x - 1) (x^3 + x^2 - 1) (x^3 + x^2 + x - 1) (x^3 - x^2 - x - 1).$$
$endgroup$
$begingroup$
Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
$endgroup$
– Servaes
2 days ago
add a comment |
$begingroup$
Suppose $x$ is a root of $f$ in some extension field of $mathbb{F}_3$; then $x$ is a 13th root of 1. Now $mathbb{F}_{27}$ is the splitting field of $x^{27} - x$, and we see $x^{13} - 1$ divides $x^{27} - x$; therefore, each root of $f$ lies in $mathbb{F}_{27}$. It follows that each irreducible factor of $f$ has degree 3.
Furthermore, for such a root $x$, we have $N_{mathbb{F}_3}^{mathbb{F}_{27}}(x) = x cdot x^3 cdot x^9 = 1$ since the Galois group consists of the identity, the Frobenius morphism $x mapsto x^3$, and the square of the Frobenius morphism. Therefore, the irreducible factors would be of the form $x^3 + ax^2 + bx - 1$.
Conversely, for any element $y in mathbb{F}_{27} setminus mathbb{F}_3$ such that $N_{mathbb{F}_3}^{mathbb{F}_{27}}(y) = 1$, this implies $y^{13} = 1$; and since $y ne 1$, this implies $f(y) = 0$. Therefore, every irreducible polynomial of the form $x^3 + ax^2 + bx - 1$ is in fact a factor of $f(x)$.
Now, to follow a comment by Servaes: since $x^3 + ax^2 + bx - 1$ is not allowed to have either $x=1$ or $x=-1$ as a root, that means that $a+b ne 0$ and $a-b ne 2$. That restriction leaves us with only four possibilities: $(a,b) in { (0, -1), (1, 0), (1, 1), (-1, -1) }$. Each of these is in fact irreducible since it is a cubic polynomial of degree 3 with no root in $mathbb{F}_3$; and the product of these factors accounts for the full degree 12 of $f$.
In summary, we get
$$f(x) = (x^3 - x - 1) (x^3 + x^2 - 1) (x^3 + x^2 + x - 1) (x^3 - x^2 - x - 1).$$
$endgroup$
$begingroup$
Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
$endgroup$
– Servaes
2 days ago
add a comment |
$begingroup$
Suppose $x$ is a root of $f$ in some extension field of $mathbb{F}_3$; then $x$ is a 13th root of 1. Now $mathbb{F}_{27}$ is the splitting field of $x^{27} - x$, and we see $x^{13} - 1$ divides $x^{27} - x$; therefore, each root of $f$ lies in $mathbb{F}_{27}$. It follows that each irreducible factor of $f$ has degree 3.
Furthermore, for such a root $x$, we have $N_{mathbb{F}_3}^{mathbb{F}_{27}}(x) = x cdot x^3 cdot x^9 = 1$ since the Galois group consists of the identity, the Frobenius morphism $x mapsto x^3$, and the square of the Frobenius morphism. Therefore, the irreducible factors would be of the form $x^3 + ax^2 + bx - 1$.
Conversely, for any element $y in mathbb{F}_{27} setminus mathbb{F}_3$ such that $N_{mathbb{F}_3}^{mathbb{F}_{27}}(y) = 1$, this implies $y^{13} = 1$; and since $y ne 1$, this implies $f(y) = 0$. Therefore, every irreducible polynomial of the form $x^3 + ax^2 + bx - 1$ is in fact a factor of $f(x)$.
Now, to follow a comment by Servaes: since $x^3 + ax^2 + bx - 1$ is not allowed to have either $x=1$ or $x=-1$ as a root, that means that $a+b ne 0$ and $a-b ne 2$. That restriction leaves us with only four possibilities: $(a,b) in { (0, -1), (1, 0), (1, 1), (-1, -1) }$. Each of these is in fact irreducible since it is a cubic polynomial of degree 3 with no root in $mathbb{F}_3$; and the product of these factors accounts for the full degree 12 of $f$.
In summary, we get
$$f(x) = (x^3 - x - 1) (x^3 + x^2 - 1) (x^3 + x^2 + x - 1) (x^3 - x^2 - x - 1).$$
$endgroup$
Suppose $x$ is a root of $f$ in some extension field of $mathbb{F}_3$; then $x$ is a 13th root of 1. Now $mathbb{F}_{27}$ is the splitting field of $x^{27} - x$, and we see $x^{13} - 1$ divides $x^{27} - x$; therefore, each root of $f$ lies in $mathbb{F}_{27}$. It follows that each irreducible factor of $f$ has degree 3.
Furthermore, for such a root $x$, we have $N_{mathbb{F}_3}^{mathbb{F}_{27}}(x) = x cdot x^3 cdot x^9 = 1$ since the Galois group consists of the identity, the Frobenius morphism $x mapsto x^3$, and the square of the Frobenius morphism. Therefore, the irreducible factors would be of the form $x^3 + ax^2 + bx - 1$.
Conversely, for any element $y in mathbb{F}_{27} setminus mathbb{F}_3$ such that $N_{mathbb{F}_3}^{mathbb{F}_{27}}(y) = 1$, this implies $y^{13} = 1$; and since $y ne 1$, this implies $f(y) = 0$. Therefore, every irreducible polynomial of the form $x^3 + ax^2 + bx - 1$ is in fact a factor of $f(x)$.
Now, to follow a comment by Servaes: since $x^3 + ax^2 + bx - 1$ is not allowed to have either $x=1$ or $x=-1$ as a root, that means that $a+b ne 0$ and $a-b ne 2$. That restriction leaves us with only four possibilities: $(a,b) in { (0, -1), (1, 0), (1, 1), (-1, -1) }$. Each of these is in fact irreducible since it is a cubic polynomial of degree 3 with no root in $mathbb{F}_3$; and the product of these factors accounts for the full degree 12 of $f$.
In summary, we get
$$f(x) = (x^3 - x - 1) (x^3 + x^2 - 1) (x^3 + x^2 + x - 1) (x^3 - x^2 - x - 1).$$
edited 2 days ago
answered 2 days ago
Daniel ScheplerDaniel Schepler
9,0641721
9,0641721
$begingroup$
Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
$endgroup$
– Servaes
2 days ago
add a comment |
$begingroup$
Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
$endgroup$
– Servaes
2 days ago
$begingroup$
Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
$endgroup$
– Servaes
2 days ago
$begingroup$
Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
$endgroup$
– Servaes
2 days ago
add a comment |
$begingroup$
Let $K$ be a splitting field of $f$, and note that $f$ has no roots in $Bbb{F}_3$ so in particular $KneqBbb{F}_3$. Because
$$(x-1)f(x)=x^{13}-1
qquadtext{ and }qquad
(x^{13}-1)(x^{13}-1)x=x^{27}-x,$$
where the latter splits over $Bbb{F}_{27}$, we see that $K$ is isomorphic to a subfield of $Bbb{F}_{27}$, and hence isomorphic to $Bbb{F}_{27}$ itself. This means the minimal polynomial of every root of $f$ has degree $3$, that is to say $f$ is a product of four irreducible cubic polynomials. Moreover, we see that $f$ is squarefree, so it is a product of four distinct monic irreducible cubic polynomials. There are only six such polynomials in $Bbb{F}_3$, so pick one and see whether it divides $f$.
For $g$ a similar but simpler approach works; it has no roots in $Bbb{F}_3$ so it is either irreducible or a product of two irreducible quadratics. There are only three irreducible quadratics in $Bbb{F}_3[x]$, so this is even easier to check. On the other hand, a brute force check shows that if
begin{eqnarray*}
x^4+x^3+x+2&=&(x^2+ax+b)(x^2+cx+d)\
&=&x^4+(a+c)x^3+(ac+b+d)x^2+(ad+bc)x+bd,
end{eqnarray*}
then $b=-d$ by comparing constant coefficients. Then the coefficient of $x^2$ shows that $ac=0$, so without loss of generality $a=0$, and then $c=1$ and $b=1$ and $d=2$ so
$$g(x)=(x^2+1)(x^2+x+2).$$
$endgroup$
add a comment |
$begingroup$
Let $K$ be a splitting field of $f$, and note that $f$ has no roots in $Bbb{F}_3$ so in particular $KneqBbb{F}_3$. Because
$$(x-1)f(x)=x^{13}-1
qquadtext{ and }qquad
(x^{13}-1)(x^{13}-1)x=x^{27}-x,$$
where the latter splits over $Bbb{F}_{27}$, we see that $K$ is isomorphic to a subfield of $Bbb{F}_{27}$, and hence isomorphic to $Bbb{F}_{27}$ itself. This means the minimal polynomial of every root of $f$ has degree $3$, that is to say $f$ is a product of four irreducible cubic polynomials. Moreover, we see that $f$ is squarefree, so it is a product of four distinct monic irreducible cubic polynomials. There are only six such polynomials in $Bbb{F}_3$, so pick one and see whether it divides $f$.
For $g$ a similar but simpler approach works; it has no roots in $Bbb{F}_3$ so it is either irreducible or a product of two irreducible quadratics. There are only three irreducible quadratics in $Bbb{F}_3[x]$, so this is even easier to check. On the other hand, a brute force check shows that if
begin{eqnarray*}
x^4+x^3+x+2&=&(x^2+ax+b)(x^2+cx+d)\
&=&x^4+(a+c)x^3+(ac+b+d)x^2+(ad+bc)x+bd,
end{eqnarray*}
then $b=-d$ by comparing constant coefficients. Then the coefficient of $x^2$ shows that $ac=0$, so without loss of generality $a=0$, and then $c=1$ and $b=1$ and $d=2$ so
$$g(x)=(x^2+1)(x^2+x+2).$$
$endgroup$
add a comment |
$begingroup$
Let $K$ be a splitting field of $f$, and note that $f$ has no roots in $Bbb{F}_3$ so in particular $KneqBbb{F}_3$. Because
$$(x-1)f(x)=x^{13}-1
qquadtext{ and }qquad
(x^{13}-1)(x^{13}-1)x=x^{27}-x,$$
where the latter splits over $Bbb{F}_{27}$, we see that $K$ is isomorphic to a subfield of $Bbb{F}_{27}$, and hence isomorphic to $Bbb{F}_{27}$ itself. This means the minimal polynomial of every root of $f$ has degree $3$, that is to say $f$ is a product of four irreducible cubic polynomials. Moreover, we see that $f$ is squarefree, so it is a product of four distinct monic irreducible cubic polynomials. There are only six such polynomials in $Bbb{F}_3$, so pick one and see whether it divides $f$.
For $g$ a similar but simpler approach works; it has no roots in $Bbb{F}_3$ so it is either irreducible or a product of two irreducible quadratics. There are only three irreducible quadratics in $Bbb{F}_3[x]$, so this is even easier to check. On the other hand, a brute force check shows that if
begin{eqnarray*}
x^4+x^3+x+2&=&(x^2+ax+b)(x^2+cx+d)\
&=&x^4+(a+c)x^3+(ac+b+d)x^2+(ad+bc)x+bd,
end{eqnarray*}
then $b=-d$ by comparing constant coefficients. Then the coefficient of $x^2$ shows that $ac=0$, so without loss of generality $a=0$, and then $c=1$ and $b=1$ and $d=2$ so
$$g(x)=(x^2+1)(x^2+x+2).$$
$endgroup$
Let $K$ be a splitting field of $f$, and note that $f$ has no roots in $Bbb{F}_3$ so in particular $KneqBbb{F}_3$. Because
$$(x-1)f(x)=x^{13}-1
qquadtext{ and }qquad
(x^{13}-1)(x^{13}-1)x=x^{27}-x,$$
where the latter splits over $Bbb{F}_{27}$, we see that $K$ is isomorphic to a subfield of $Bbb{F}_{27}$, and hence isomorphic to $Bbb{F}_{27}$ itself. This means the minimal polynomial of every root of $f$ has degree $3$, that is to say $f$ is a product of four irreducible cubic polynomials. Moreover, we see that $f$ is squarefree, so it is a product of four distinct monic irreducible cubic polynomials. There are only six such polynomials in $Bbb{F}_3$, so pick one and see whether it divides $f$.
For $g$ a similar but simpler approach works; it has no roots in $Bbb{F}_3$ so it is either irreducible or a product of two irreducible quadratics. There are only three irreducible quadratics in $Bbb{F}_3[x]$, so this is even easier to check. On the other hand, a brute force check shows that if
begin{eqnarray*}
x^4+x^3+x+2&=&(x^2+ax+b)(x^2+cx+d)\
&=&x^4+(a+c)x^3+(ac+b+d)x^2+(ad+bc)x+bd,
end{eqnarray*}
then $b=-d$ by comparing constant coefficients. Then the coefficient of $x^2$ shows that $ac=0$, so without loss of generality $a=0$, and then $c=1$ and $b=1$ and $d=2$ so
$$g(x)=(x^2+1)(x^2+x+2).$$
edited 2 days ago
answered 2 days ago
ServaesServaes
27.9k34099
27.9k34099
add a comment |
add a comment |
$begingroup$
$$x^4+x^3+x+2=x^4+x(x^2+1)-1=(x^2+1)(x^2+x-1).$$
$$x^{12}+x^{11}+x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=$$
$$=x^{12}+x^{11}-2x^{10}-8x^9-5x^8+7x^7+16x^6+7x^5-5x^4-8x^3-2x^2+x+1=$$
$$=(x^3-x-1)(x^3+x^2-1)(x^3+x^2+x-1)(x^3-x^2-x-1).$$
$endgroup$
add a comment |
$begingroup$
$$x^4+x^3+x+2=x^4+x(x^2+1)-1=(x^2+1)(x^2+x-1).$$
$$x^{12}+x^{11}+x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=$$
$$=x^{12}+x^{11}-2x^{10}-8x^9-5x^8+7x^7+16x^6+7x^5-5x^4-8x^3-2x^2+x+1=$$
$$=(x^3-x-1)(x^3+x^2-1)(x^3+x^2+x-1)(x^3-x^2-x-1).$$
$endgroup$
add a comment |
$begingroup$
$$x^4+x^3+x+2=x^4+x(x^2+1)-1=(x^2+1)(x^2+x-1).$$
$$x^{12}+x^{11}+x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=$$
$$=x^{12}+x^{11}-2x^{10}-8x^9-5x^8+7x^7+16x^6+7x^5-5x^4-8x^3-2x^2+x+1=$$
$$=(x^3-x-1)(x^3+x^2-1)(x^3+x^2+x-1)(x^3-x^2-x-1).$$
$endgroup$
$$x^4+x^3+x+2=x^4+x(x^2+1)-1=(x^2+1)(x^2+x-1).$$
$$x^{12}+x^{11}+x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=$$
$$=x^{12}+x^{11}-2x^{10}-8x^9-5x^8+7x^7+16x^6+7x^5-5x^4-8x^3-2x^2+x+1=$$
$$=(x^3-x-1)(x^3+x^2-1)(x^3+x^2+x-1)(x^3-x^2-x-1).$$
edited 2 days ago
answered 2 days ago
Michael RozenbergMichael Rozenberg
107k1895199
107k1895199
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.
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%2f3140347%2fhow-can-i-factor-x12x11-cdotsx1-in-mathbb-f-3x%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