What is an irreducible element in $Bbb{Z}_6[x]$?












3












$begingroup$



What is an irreducible element in $Bbb{Z}_6[x]$?




This was a problem on our final and no one knew how to solve it. Does anyone have a method for solving this?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Is the question asking for a definition or an example?
    $endgroup$
    – Peter Taylor
    Dec 13 '18 at 22:47










  • $begingroup$
    An example with proof @PeterTaylor
    $endgroup$
    – Riley H
    Dec 13 '18 at 22:48






  • 2




    $begingroup$
    @PeterTaylor No, $x$ is reducible here: $x=(2x+3)(3x+2)$. Even $2$ is not reducible: $2=2cdot 4$. The same goes for $3$: $3=3cdot 3$.
    $endgroup$
    – user614671
    Dec 13 '18 at 22:53












  • $begingroup$
    Factorization of polynomials (and consequently also irreducibility) becomes rather delicate when the modulus is not a power of a prime. I have been linking several questions of this type to this answer by Bill Dubuque where more material can be found. For more incarnations of this theme on our site see the several questions linked to that.
    $endgroup$
    – Jyrki Lahtonen
    Dec 16 '18 at 11:17










  • $begingroup$
    Modulo a prime power the theory is quite a bit simpler. Even though we still have zero divisors and intricacies like $x^2equiv(x-2)^2pmod 4$. In the prime power case the subset of polynomials with zeros that are roots of unity of order prime to $p$ behave reasonably well (because Hensel lifting), and give rise to a theory of Galois rings extending some of the facts from the theory of finite fields.
    $endgroup$
    – Jyrki Lahtonen
    Dec 16 '18 at 11:21


















3












$begingroup$



What is an irreducible element in $Bbb{Z}_6[x]$?




This was a problem on our final and no one knew how to solve it. Does anyone have a method for solving this?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Is the question asking for a definition or an example?
    $endgroup$
    – Peter Taylor
    Dec 13 '18 at 22:47










  • $begingroup$
    An example with proof @PeterTaylor
    $endgroup$
    – Riley H
    Dec 13 '18 at 22:48






  • 2




    $begingroup$
    @PeterTaylor No, $x$ is reducible here: $x=(2x+3)(3x+2)$. Even $2$ is not reducible: $2=2cdot 4$. The same goes for $3$: $3=3cdot 3$.
    $endgroup$
    – user614671
    Dec 13 '18 at 22:53












  • $begingroup$
    Factorization of polynomials (and consequently also irreducibility) becomes rather delicate when the modulus is not a power of a prime. I have been linking several questions of this type to this answer by Bill Dubuque where more material can be found. For more incarnations of this theme on our site see the several questions linked to that.
    $endgroup$
    – Jyrki Lahtonen
    Dec 16 '18 at 11:17










  • $begingroup$
    Modulo a prime power the theory is quite a bit simpler. Even though we still have zero divisors and intricacies like $x^2equiv(x-2)^2pmod 4$. In the prime power case the subset of polynomials with zeros that are roots of unity of order prime to $p$ behave reasonably well (because Hensel lifting), and give rise to a theory of Galois rings extending some of the facts from the theory of finite fields.
    $endgroup$
    – Jyrki Lahtonen
    Dec 16 '18 at 11:21
















3












3








3





$begingroup$



What is an irreducible element in $Bbb{Z}_6[x]$?




This was a problem on our final and no one knew how to solve it. Does anyone have a method for solving this?










share|cite|improve this question











$endgroup$





What is an irreducible element in $Bbb{Z}_6[x]$?




This was a problem on our final and no one knew how to solve it. Does anyone have a method for solving this?







abstract-algebra polynomials ring-theory modular-arithmetic factoring






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 13 '18 at 23:44







user614671

















asked Dec 13 '18 at 22:37









Riley HRiley H

1046




1046












  • $begingroup$
    Is the question asking for a definition or an example?
    $endgroup$
    – Peter Taylor
    Dec 13 '18 at 22:47










  • $begingroup$
    An example with proof @PeterTaylor
    $endgroup$
    – Riley H
    Dec 13 '18 at 22:48






  • 2




    $begingroup$
    @PeterTaylor No, $x$ is reducible here: $x=(2x+3)(3x+2)$. Even $2$ is not reducible: $2=2cdot 4$. The same goes for $3$: $3=3cdot 3$.
    $endgroup$
    – user614671
    Dec 13 '18 at 22:53












  • $begingroup$
    Factorization of polynomials (and consequently also irreducibility) becomes rather delicate when the modulus is not a power of a prime. I have been linking several questions of this type to this answer by Bill Dubuque where more material can be found. For more incarnations of this theme on our site see the several questions linked to that.
    $endgroup$
    – Jyrki Lahtonen
    Dec 16 '18 at 11:17










  • $begingroup$
    Modulo a prime power the theory is quite a bit simpler. Even though we still have zero divisors and intricacies like $x^2equiv(x-2)^2pmod 4$. In the prime power case the subset of polynomials with zeros that are roots of unity of order prime to $p$ behave reasonably well (because Hensel lifting), and give rise to a theory of Galois rings extending some of the facts from the theory of finite fields.
    $endgroup$
    – Jyrki Lahtonen
    Dec 16 '18 at 11:21




















  • $begingroup$
    Is the question asking for a definition or an example?
    $endgroup$
    – Peter Taylor
    Dec 13 '18 at 22:47










  • $begingroup$
    An example with proof @PeterTaylor
    $endgroup$
    – Riley H
    Dec 13 '18 at 22:48






  • 2




    $begingroup$
    @PeterTaylor No, $x$ is reducible here: $x=(2x+3)(3x+2)$. Even $2$ is not reducible: $2=2cdot 4$. The same goes for $3$: $3=3cdot 3$.
    $endgroup$
    – user614671
    Dec 13 '18 at 22:53












  • $begingroup$
    Factorization of polynomials (and consequently also irreducibility) becomes rather delicate when the modulus is not a power of a prime. I have been linking several questions of this type to this answer by Bill Dubuque where more material can be found. For more incarnations of this theme on our site see the several questions linked to that.
    $endgroup$
    – Jyrki Lahtonen
    Dec 16 '18 at 11:17










  • $begingroup$
    Modulo a prime power the theory is quite a bit simpler. Even though we still have zero divisors and intricacies like $x^2equiv(x-2)^2pmod 4$. In the prime power case the subset of polynomials with zeros that are roots of unity of order prime to $p$ behave reasonably well (because Hensel lifting), and give rise to a theory of Galois rings extending some of the facts from the theory of finite fields.
    $endgroup$
    – Jyrki Lahtonen
    Dec 16 '18 at 11:21


















$begingroup$
Is the question asking for a definition or an example?
$endgroup$
– Peter Taylor
Dec 13 '18 at 22:47




$begingroup$
Is the question asking for a definition or an example?
$endgroup$
– Peter Taylor
Dec 13 '18 at 22:47












$begingroup$
An example with proof @PeterTaylor
$endgroup$
– Riley H
Dec 13 '18 at 22:48




$begingroup$
An example with proof @PeterTaylor
$endgroup$
– Riley H
Dec 13 '18 at 22:48




2




2




$begingroup$
@PeterTaylor No, $x$ is reducible here: $x=(2x+3)(3x+2)$. Even $2$ is not reducible: $2=2cdot 4$. The same goes for $3$: $3=3cdot 3$.
$endgroup$
– user614671
Dec 13 '18 at 22:53






$begingroup$
@PeterTaylor No, $x$ is reducible here: $x=(2x+3)(3x+2)$. Even $2$ is not reducible: $2=2cdot 4$. The same goes for $3$: $3=3cdot 3$.
$endgroup$
– user614671
Dec 13 '18 at 22:53














$begingroup$
Factorization of polynomials (and consequently also irreducibility) becomes rather delicate when the modulus is not a power of a prime. I have been linking several questions of this type to this answer by Bill Dubuque where more material can be found. For more incarnations of this theme on our site see the several questions linked to that.
$endgroup$
– Jyrki Lahtonen
Dec 16 '18 at 11:17




$begingroup$
Factorization of polynomials (and consequently also irreducibility) becomes rather delicate when the modulus is not a power of a prime. I have been linking several questions of this type to this answer by Bill Dubuque where more material can be found. For more incarnations of this theme on our site see the several questions linked to that.
$endgroup$
– Jyrki Lahtonen
Dec 16 '18 at 11:17












$begingroup$
Modulo a prime power the theory is quite a bit simpler. Even though we still have zero divisors and intricacies like $x^2equiv(x-2)^2pmod 4$. In the prime power case the subset of polynomials with zeros that are roots of unity of order prime to $p$ behave reasonably well (because Hensel lifting), and give rise to a theory of Galois rings extending some of the facts from the theory of finite fields.
$endgroup$
– Jyrki Lahtonen
Dec 16 '18 at 11:21






$begingroup$
Modulo a prime power the theory is quite a bit simpler. Even though we still have zero divisors and intricacies like $x^2equiv(x-2)^2pmod 4$. In the prime power case the subset of polynomials with zeros that are roots of unity of order prime to $p$ behave reasonably well (because Hensel lifting), and give rise to a theory of Galois rings extending some of the facts from the theory of finite fields.
$endgroup$
– Jyrki Lahtonen
Dec 16 '18 at 11:21












1 Answer
1






active

oldest

votes


















5












$begingroup$


Claim. Assume that $Bbb Z_m=Bbb Z/mBbb Z$. The polynomial $f(x)inBbb Z_6[x]$ is irreducible if and only if exactly one of these is true:
$(a)$ $f(x)$ is irreducible over $Bbb Z_2$ and $f(x)equiv pm1pmod{3}$ or
$(b)$ $f(x)$ is irreducible over $Bbb Z_3$ and $f(x)equiv 1pmod{2}$.




Suppose that $f(x)in Bbb Z_6[x]$ is irreducible. Then, $f(x)$ is either irreducible or invertible over $Bbb{Z}_2$, and over $Bbb{Z}_3$. If $f(x)$ is invertible in both $Bbb Z_2$ and $Bbb Z_3$, then $f(x)$ is one of the constant polynomials $pm1$, which are invertible (and not irreducible). This is a contradiction, so $f(x)$ must either be irreducible over $Bbb Z_2$ or over $Bbb Z_3$.



If $f(x)$ is invertible in neither $Bbb Z_2$ nor $Bbb Z_3$, then we can solve for $$u(x)equiv 1pmod{2} wedge u(x)equiv f(x)pmod 3$$
and
$$v(x)equiv f(x)pmod{2} wedge v(x)equiv 1pmod{3}$$
for $u(x),v(x)inBbb{Z}_6[x]$. These $u(x)$ and $v(x)$ are non-invertible over $Bbb Z_6$ (since $u(x)$ is non-invertible modulo $3$, and $v(x)$ is non-invertible modulo $2$). However, $f(x)=u(x)cdot v(x)$ in $Bbb Z_6[x]$, which is a contradiction. Therefore, either $(a)$ or $(b)$ holds, but not both.



Conversely, suppose that $(a)$ holds. If $f(x)=p(x)cdot q(x)$ for some $p(x),q(x)in Bbb Z_6[x]$, then reduce $p(x)$ and $q(x)$ modulo $2$ and $3$ respectively. As $f(x)$ is irreducible mod $2$, $(p,q)=(f,1)$ or $(p,q)=(1,f)$ modulo $2$. Wlog, $p=f$ and $q=1$. As $f(x)equiv pm 1pmod{3}$, $p(x)$ and $q(x)$ modulo $3$ are constants $pm 1$. Thus, $q(x)equiv 1pmod{2}$ and $q(x)equiv -1pmod{3}$. Therefore, $q(x)= pm 1$ in $Bbb Z_6[x]$. That is, $q(x)$ is constant, and so $f(x)$ is irreducible.



Finally, suppose that $(b)$ holds. If $f(x)=p(x)cdot q(x)$ for some $p(x),q(x)in Bbb Z_6[x]$, then reduce $p(x)$ and $q(x)$ modulo $2$ and $3$ respectively. As $f(x)$ is irreducible mod $3$, $(p,q)=(f,1)$ or $(p,q)=(1,f)$ modulo $3$, up to sign swapping. Wlog, $p=f$ and $q=1$. As $f(x)equiv 1pmod{2}$, $p(x)$ and $q(x)$ modulo $2$ equal the constant $1$. Thus, $q(x)equiv 1pmod{2}$. Therefore, $q(x)= 1$ in $Bbb Z_6[x]$. That is, $q(x)$ is constant, and so $f(x)$ is irreducible.



Examples. The polynomial $f(x)=3x+1$ fits $(a)$, so it is irreducible in $Bbb{Z}_6[x]$. The polynomial $f(x)=2x+1$ fits $(b)$, so it is irreducible in $Bbb{Z}_6[x]$.






share|cite|improve this answer











$endgroup$














    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
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3038670%2fwhat-is-an-irreducible-element-in-bbbz-6x%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









    5












    $begingroup$


    Claim. Assume that $Bbb Z_m=Bbb Z/mBbb Z$. The polynomial $f(x)inBbb Z_6[x]$ is irreducible if and only if exactly one of these is true:
    $(a)$ $f(x)$ is irreducible over $Bbb Z_2$ and $f(x)equiv pm1pmod{3}$ or
    $(b)$ $f(x)$ is irreducible over $Bbb Z_3$ and $f(x)equiv 1pmod{2}$.




    Suppose that $f(x)in Bbb Z_6[x]$ is irreducible. Then, $f(x)$ is either irreducible or invertible over $Bbb{Z}_2$, and over $Bbb{Z}_3$. If $f(x)$ is invertible in both $Bbb Z_2$ and $Bbb Z_3$, then $f(x)$ is one of the constant polynomials $pm1$, which are invertible (and not irreducible). This is a contradiction, so $f(x)$ must either be irreducible over $Bbb Z_2$ or over $Bbb Z_3$.



    If $f(x)$ is invertible in neither $Bbb Z_2$ nor $Bbb Z_3$, then we can solve for $$u(x)equiv 1pmod{2} wedge u(x)equiv f(x)pmod 3$$
    and
    $$v(x)equiv f(x)pmod{2} wedge v(x)equiv 1pmod{3}$$
    for $u(x),v(x)inBbb{Z}_6[x]$. These $u(x)$ and $v(x)$ are non-invertible over $Bbb Z_6$ (since $u(x)$ is non-invertible modulo $3$, and $v(x)$ is non-invertible modulo $2$). However, $f(x)=u(x)cdot v(x)$ in $Bbb Z_6[x]$, which is a contradiction. Therefore, either $(a)$ or $(b)$ holds, but not both.



    Conversely, suppose that $(a)$ holds. If $f(x)=p(x)cdot q(x)$ for some $p(x),q(x)in Bbb Z_6[x]$, then reduce $p(x)$ and $q(x)$ modulo $2$ and $3$ respectively. As $f(x)$ is irreducible mod $2$, $(p,q)=(f,1)$ or $(p,q)=(1,f)$ modulo $2$. Wlog, $p=f$ and $q=1$. As $f(x)equiv pm 1pmod{3}$, $p(x)$ and $q(x)$ modulo $3$ are constants $pm 1$. Thus, $q(x)equiv 1pmod{2}$ and $q(x)equiv -1pmod{3}$. Therefore, $q(x)= pm 1$ in $Bbb Z_6[x]$. That is, $q(x)$ is constant, and so $f(x)$ is irreducible.



    Finally, suppose that $(b)$ holds. If $f(x)=p(x)cdot q(x)$ for some $p(x),q(x)in Bbb Z_6[x]$, then reduce $p(x)$ and $q(x)$ modulo $2$ and $3$ respectively. As $f(x)$ is irreducible mod $3$, $(p,q)=(f,1)$ or $(p,q)=(1,f)$ modulo $3$, up to sign swapping. Wlog, $p=f$ and $q=1$. As $f(x)equiv 1pmod{2}$, $p(x)$ and $q(x)$ modulo $2$ equal the constant $1$. Thus, $q(x)equiv 1pmod{2}$. Therefore, $q(x)= 1$ in $Bbb Z_6[x]$. That is, $q(x)$ is constant, and so $f(x)$ is irreducible.



    Examples. The polynomial $f(x)=3x+1$ fits $(a)$, so it is irreducible in $Bbb{Z}_6[x]$. The polynomial $f(x)=2x+1$ fits $(b)$, so it is irreducible in $Bbb{Z}_6[x]$.






    share|cite|improve this answer











    $endgroup$


















      5












      $begingroup$


      Claim. Assume that $Bbb Z_m=Bbb Z/mBbb Z$. The polynomial $f(x)inBbb Z_6[x]$ is irreducible if and only if exactly one of these is true:
      $(a)$ $f(x)$ is irreducible over $Bbb Z_2$ and $f(x)equiv pm1pmod{3}$ or
      $(b)$ $f(x)$ is irreducible over $Bbb Z_3$ and $f(x)equiv 1pmod{2}$.




      Suppose that $f(x)in Bbb Z_6[x]$ is irreducible. Then, $f(x)$ is either irreducible or invertible over $Bbb{Z}_2$, and over $Bbb{Z}_3$. If $f(x)$ is invertible in both $Bbb Z_2$ and $Bbb Z_3$, then $f(x)$ is one of the constant polynomials $pm1$, which are invertible (and not irreducible). This is a contradiction, so $f(x)$ must either be irreducible over $Bbb Z_2$ or over $Bbb Z_3$.



      If $f(x)$ is invertible in neither $Bbb Z_2$ nor $Bbb Z_3$, then we can solve for $$u(x)equiv 1pmod{2} wedge u(x)equiv f(x)pmod 3$$
      and
      $$v(x)equiv f(x)pmod{2} wedge v(x)equiv 1pmod{3}$$
      for $u(x),v(x)inBbb{Z}_6[x]$. These $u(x)$ and $v(x)$ are non-invertible over $Bbb Z_6$ (since $u(x)$ is non-invertible modulo $3$, and $v(x)$ is non-invertible modulo $2$). However, $f(x)=u(x)cdot v(x)$ in $Bbb Z_6[x]$, which is a contradiction. Therefore, either $(a)$ or $(b)$ holds, but not both.



      Conversely, suppose that $(a)$ holds. If $f(x)=p(x)cdot q(x)$ for some $p(x),q(x)in Bbb Z_6[x]$, then reduce $p(x)$ and $q(x)$ modulo $2$ and $3$ respectively. As $f(x)$ is irreducible mod $2$, $(p,q)=(f,1)$ or $(p,q)=(1,f)$ modulo $2$. Wlog, $p=f$ and $q=1$. As $f(x)equiv pm 1pmod{3}$, $p(x)$ and $q(x)$ modulo $3$ are constants $pm 1$. Thus, $q(x)equiv 1pmod{2}$ and $q(x)equiv -1pmod{3}$. Therefore, $q(x)= pm 1$ in $Bbb Z_6[x]$. That is, $q(x)$ is constant, and so $f(x)$ is irreducible.



      Finally, suppose that $(b)$ holds. If $f(x)=p(x)cdot q(x)$ for some $p(x),q(x)in Bbb Z_6[x]$, then reduce $p(x)$ and $q(x)$ modulo $2$ and $3$ respectively. As $f(x)$ is irreducible mod $3$, $(p,q)=(f,1)$ or $(p,q)=(1,f)$ modulo $3$, up to sign swapping. Wlog, $p=f$ and $q=1$. As $f(x)equiv 1pmod{2}$, $p(x)$ and $q(x)$ modulo $2$ equal the constant $1$. Thus, $q(x)equiv 1pmod{2}$. Therefore, $q(x)= 1$ in $Bbb Z_6[x]$. That is, $q(x)$ is constant, and so $f(x)$ is irreducible.



      Examples. The polynomial $f(x)=3x+1$ fits $(a)$, so it is irreducible in $Bbb{Z}_6[x]$. The polynomial $f(x)=2x+1$ fits $(b)$, so it is irreducible in $Bbb{Z}_6[x]$.






      share|cite|improve this answer











      $endgroup$
















        5












        5








        5





        $begingroup$


        Claim. Assume that $Bbb Z_m=Bbb Z/mBbb Z$. The polynomial $f(x)inBbb Z_6[x]$ is irreducible if and only if exactly one of these is true:
        $(a)$ $f(x)$ is irreducible over $Bbb Z_2$ and $f(x)equiv pm1pmod{3}$ or
        $(b)$ $f(x)$ is irreducible over $Bbb Z_3$ and $f(x)equiv 1pmod{2}$.




        Suppose that $f(x)in Bbb Z_6[x]$ is irreducible. Then, $f(x)$ is either irreducible or invertible over $Bbb{Z}_2$, and over $Bbb{Z}_3$. If $f(x)$ is invertible in both $Bbb Z_2$ and $Bbb Z_3$, then $f(x)$ is one of the constant polynomials $pm1$, which are invertible (and not irreducible). This is a contradiction, so $f(x)$ must either be irreducible over $Bbb Z_2$ or over $Bbb Z_3$.



        If $f(x)$ is invertible in neither $Bbb Z_2$ nor $Bbb Z_3$, then we can solve for $$u(x)equiv 1pmod{2} wedge u(x)equiv f(x)pmod 3$$
        and
        $$v(x)equiv f(x)pmod{2} wedge v(x)equiv 1pmod{3}$$
        for $u(x),v(x)inBbb{Z}_6[x]$. These $u(x)$ and $v(x)$ are non-invertible over $Bbb Z_6$ (since $u(x)$ is non-invertible modulo $3$, and $v(x)$ is non-invertible modulo $2$). However, $f(x)=u(x)cdot v(x)$ in $Bbb Z_6[x]$, which is a contradiction. Therefore, either $(a)$ or $(b)$ holds, but not both.



        Conversely, suppose that $(a)$ holds. If $f(x)=p(x)cdot q(x)$ for some $p(x),q(x)in Bbb Z_6[x]$, then reduce $p(x)$ and $q(x)$ modulo $2$ and $3$ respectively. As $f(x)$ is irreducible mod $2$, $(p,q)=(f,1)$ or $(p,q)=(1,f)$ modulo $2$. Wlog, $p=f$ and $q=1$. As $f(x)equiv pm 1pmod{3}$, $p(x)$ and $q(x)$ modulo $3$ are constants $pm 1$. Thus, $q(x)equiv 1pmod{2}$ and $q(x)equiv -1pmod{3}$. Therefore, $q(x)= pm 1$ in $Bbb Z_6[x]$. That is, $q(x)$ is constant, and so $f(x)$ is irreducible.



        Finally, suppose that $(b)$ holds. If $f(x)=p(x)cdot q(x)$ for some $p(x),q(x)in Bbb Z_6[x]$, then reduce $p(x)$ and $q(x)$ modulo $2$ and $3$ respectively. As $f(x)$ is irreducible mod $3$, $(p,q)=(f,1)$ or $(p,q)=(1,f)$ modulo $3$, up to sign swapping. Wlog, $p=f$ and $q=1$. As $f(x)equiv 1pmod{2}$, $p(x)$ and $q(x)$ modulo $2$ equal the constant $1$. Thus, $q(x)equiv 1pmod{2}$. Therefore, $q(x)= 1$ in $Bbb Z_6[x]$. That is, $q(x)$ is constant, and so $f(x)$ is irreducible.



        Examples. The polynomial $f(x)=3x+1$ fits $(a)$, so it is irreducible in $Bbb{Z}_6[x]$. The polynomial $f(x)=2x+1$ fits $(b)$, so it is irreducible in $Bbb{Z}_6[x]$.






        share|cite|improve this answer











        $endgroup$




        Claim. Assume that $Bbb Z_m=Bbb Z/mBbb Z$. The polynomial $f(x)inBbb Z_6[x]$ is irreducible if and only if exactly one of these is true:
        $(a)$ $f(x)$ is irreducible over $Bbb Z_2$ and $f(x)equiv pm1pmod{3}$ or
        $(b)$ $f(x)$ is irreducible over $Bbb Z_3$ and $f(x)equiv 1pmod{2}$.




        Suppose that $f(x)in Bbb Z_6[x]$ is irreducible. Then, $f(x)$ is either irreducible or invertible over $Bbb{Z}_2$, and over $Bbb{Z}_3$. If $f(x)$ is invertible in both $Bbb Z_2$ and $Bbb Z_3$, then $f(x)$ is one of the constant polynomials $pm1$, which are invertible (and not irreducible). This is a contradiction, so $f(x)$ must either be irreducible over $Bbb Z_2$ or over $Bbb Z_3$.



        If $f(x)$ is invertible in neither $Bbb Z_2$ nor $Bbb Z_3$, then we can solve for $$u(x)equiv 1pmod{2} wedge u(x)equiv f(x)pmod 3$$
        and
        $$v(x)equiv f(x)pmod{2} wedge v(x)equiv 1pmod{3}$$
        for $u(x),v(x)inBbb{Z}_6[x]$. These $u(x)$ and $v(x)$ are non-invertible over $Bbb Z_6$ (since $u(x)$ is non-invertible modulo $3$, and $v(x)$ is non-invertible modulo $2$). However, $f(x)=u(x)cdot v(x)$ in $Bbb Z_6[x]$, which is a contradiction. Therefore, either $(a)$ or $(b)$ holds, but not both.



        Conversely, suppose that $(a)$ holds. If $f(x)=p(x)cdot q(x)$ for some $p(x),q(x)in Bbb Z_6[x]$, then reduce $p(x)$ and $q(x)$ modulo $2$ and $3$ respectively. As $f(x)$ is irreducible mod $2$, $(p,q)=(f,1)$ or $(p,q)=(1,f)$ modulo $2$. Wlog, $p=f$ and $q=1$. As $f(x)equiv pm 1pmod{3}$, $p(x)$ and $q(x)$ modulo $3$ are constants $pm 1$. Thus, $q(x)equiv 1pmod{2}$ and $q(x)equiv -1pmod{3}$. Therefore, $q(x)= pm 1$ in $Bbb Z_6[x]$. That is, $q(x)$ is constant, and so $f(x)$ is irreducible.



        Finally, suppose that $(b)$ holds. If $f(x)=p(x)cdot q(x)$ for some $p(x),q(x)in Bbb Z_6[x]$, then reduce $p(x)$ and $q(x)$ modulo $2$ and $3$ respectively. As $f(x)$ is irreducible mod $3$, $(p,q)=(f,1)$ or $(p,q)=(1,f)$ modulo $3$, up to sign swapping. Wlog, $p=f$ and $q=1$. As $f(x)equiv 1pmod{2}$, $p(x)$ and $q(x)$ modulo $2$ equal the constant $1$. Thus, $q(x)equiv 1pmod{2}$. Therefore, $q(x)= 1$ in $Bbb Z_6[x]$. That is, $q(x)$ is constant, and so $f(x)$ is irreducible.



        Examples. The polynomial $f(x)=3x+1$ fits $(a)$, so it is irreducible in $Bbb{Z}_6[x]$. The polynomial $f(x)=2x+1$ fits $(b)$, so it is irreducible in $Bbb{Z}_6[x]$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Dec 16 '18 at 10:46









        Batominovski

        33.2k33293




        33.2k33293










        answered Dec 13 '18 at 23:20







        user614671





































            draft saved

            draft discarded




















































            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3038670%2fwhat-is-an-irreducible-element-in-bbbz-6x%23new-answer', 'question_page');
            }
            );

            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







            Popular posts from this blog

            mysqli_query(): Empty query in /home/lucindabrummitt/public_html/blog/wp-includes/wp-db.php on line 1924

            How to change which sound is reproduced for terminal bell?

            Can I use Tabulator js library in my java Spring + Thymeleaf project?