Calculating the dimension of the tensor product of modules

Multi tool use
Multi tool use

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite
1












This is a recent qual problem that I am struggling with.




Put $M=mathbbC[x]/(x^2+x)$ and $N=mathbbC[x]/(x-1)$.



$(a)$ What is the dimension of $M otimes_mathbbC[x]N$ as a vector space over $mathbbC$?



$(b)$ What is the dimension of $M otimes_mathbbCN$ as a vector space over $mathbbC$?



$(c)$ What is the dimension of $M otimes_mathbbC[x^2]N$ as a vector space over $mathbbC$?




I solved the part $(a)$ and $(b)$. The part $(b)$ is the easiest. Since $M$ (resp. $N$) is a free $mathbbC$-module with basis $1,x $ (resp. $1$), the dimension is $2$. To get the part $(a)$, I used the direct computations:
$$
1 otimes 1 = (1+x^2+x) otimes 1 = 1 otimes (1+x^2+x) = 1 otimes 3 = 3(1 otimes 1).
$$
Thus, we get $1 otimes 1 = 0$, and the dimension is $0$. For another proof of the part $(a)$, we might be able to use that the tensor product is a right-exact functor because
$$
mathbbC[x]/(x^2+x,x-1) = 0.
$$



I don't know how to solve the part $(c)$. First, I showed
$$
M otimes_mathbbC[x^2] N = c(1 otimes_mathbbC[x^2] 1): c in mathbbC .
$$
via direct computations. However, this does not guarantee that the dimension is $1$. We need to check that $1 otimes_mathbbC[x^2] 1 neq 0$. Do you have any ideas? I know the property that the tensor product is a right-exact functor, but I have no idea how to apply it here.



Any comments are welcomed. Thank you in advance.







share|cite|improve this question


















  • 2




    For part $(a)$, the simplest argument is that for any commutative ring $R$, $;R/Iotimes_RR/Jsimeq R/I+J$, and here, $I$ and $J$ are generated by coprime lements in the P.I.D. $mathbf C[x]$.
    – Bernard
    Aug 19 at 9:12











  • @Bernard Very short and clear proof! Thank you for another solution of part $(a)$.
    – C. Oh
    Aug 19 at 9:20















up vote
3
down vote

favorite
1












This is a recent qual problem that I am struggling with.




Put $M=mathbbC[x]/(x^2+x)$ and $N=mathbbC[x]/(x-1)$.



$(a)$ What is the dimension of $M otimes_mathbbC[x]N$ as a vector space over $mathbbC$?



$(b)$ What is the dimension of $M otimes_mathbbCN$ as a vector space over $mathbbC$?



$(c)$ What is the dimension of $M otimes_mathbbC[x^2]N$ as a vector space over $mathbbC$?




I solved the part $(a)$ and $(b)$. The part $(b)$ is the easiest. Since $M$ (resp. $N$) is a free $mathbbC$-module with basis $1,x $ (resp. $1$), the dimension is $2$. To get the part $(a)$, I used the direct computations:
$$
1 otimes 1 = (1+x^2+x) otimes 1 = 1 otimes (1+x^2+x) = 1 otimes 3 = 3(1 otimes 1).
$$
Thus, we get $1 otimes 1 = 0$, and the dimension is $0$. For another proof of the part $(a)$, we might be able to use that the tensor product is a right-exact functor because
$$
mathbbC[x]/(x^2+x,x-1) = 0.
$$



I don't know how to solve the part $(c)$. First, I showed
$$
M otimes_mathbbC[x^2] N = c(1 otimes_mathbbC[x^2] 1): c in mathbbC .
$$
via direct computations. However, this does not guarantee that the dimension is $1$. We need to check that $1 otimes_mathbbC[x^2] 1 neq 0$. Do you have any ideas? I know the property that the tensor product is a right-exact functor, but I have no idea how to apply it here.



Any comments are welcomed. Thank you in advance.







share|cite|improve this question


















  • 2




    For part $(a)$, the simplest argument is that for any commutative ring $R$, $;R/Iotimes_RR/Jsimeq R/I+J$, and here, $I$ and $J$ are generated by coprime lements in the P.I.D. $mathbf C[x]$.
    – Bernard
    Aug 19 at 9:12











  • @Bernard Very short and clear proof! Thank you for another solution of part $(a)$.
    – C. Oh
    Aug 19 at 9:20













up vote
3
down vote

favorite
1









up vote
3
down vote

favorite
1






1





This is a recent qual problem that I am struggling with.




Put $M=mathbbC[x]/(x^2+x)$ and $N=mathbbC[x]/(x-1)$.



$(a)$ What is the dimension of $M otimes_mathbbC[x]N$ as a vector space over $mathbbC$?



$(b)$ What is the dimension of $M otimes_mathbbCN$ as a vector space over $mathbbC$?



$(c)$ What is the dimension of $M otimes_mathbbC[x^2]N$ as a vector space over $mathbbC$?




I solved the part $(a)$ and $(b)$. The part $(b)$ is the easiest. Since $M$ (resp. $N$) is a free $mathbbC$-module with basis $1,x $ (resp. $1$), the dimension is $2$. To get the part $(a)$, I used the direct computations:
$$
1 otimes 1 = (1+x^2+x) otimes 1 = 1 otimes (1+x^2+x) = 1 otimes 3 = 3(1 otimes 1).
$$
Thus, we get $1 otimes 1 = 0$, and the dimension is $0$. For another proof of the part $(a)$, we might be able to use that the tensor product is a right-exact functor because
$$
mathbbC[x]/(x^2+x,x-1) = 0.
$$



I don't know how to solve the part $(c)$. First, I showed
$$
M otimes_mathbbC[x^2] N = c(1 otimes_mathbbC[x^2] 1): c in mathbbC .
$$
via direct computations. However, this does not guarantee that the dimension is $1$. We need to check that $1 otimes_mathbbC[x^2] 1 neq 0$. Do you have any ideas? I know the property that the tensor product is a right-exact functor, but I have no idea how to apply it here.



Any comments are welcomed. Thank you in advance.







share|cite|improve this question














This is a recent qual problem that I am struggling with.




Put $M=mathbbC[x]/(x^2+x)$ and $N=mathbbC[x]/(x-1)$.



$(a)$ What is the dimension of $M otimes_mathbbC[x]N$ as a vector space over $mathbbC$?



$(b)$ What is the dimension of $M otimes_mathbbCN$ as a vector space over $mathbbC$?



$(c)$ What is the dimension of $M otimes_mathbbC[x^2]N$ as a vector space over $mathbbC$?




I solved the part $(a)$ and $(b)$. The part $(b)$ is the easiest. Since $M$ (resp. $N$) is a free $mathbbC$-module with basis $1,x $ (resp. $1$), the dimension is $2$. To get the part $(a)$, I used the direct computations:
$$
1 otimes 1 = (1+x^2+x) otimes 1 = 1 otimes (1+x^2+x) = 1 otimes 3 = 3(1 otimes 1).
$$
Thus, we get $1 otimes 1 = 0$, and the dimension is $0$. For another proof of the part $(a)$, we might be able to use that the tensor product is a right-exact functor because
$$
mathbbC[x]/(x^2+x,x-1) = 0.
$$



I don't know how to solve the part $(c)$. First, I showed
$$
M otimes_mathbbC[x^2] N = c(1 otimes_mathbbC[x^2] 1): c in mathbbC .
$$
via direct computations. However, this does not guarantee that the dimension is $1$. We need to check that $1 otimes_mathbbC[x^2] 1 neq 0$. Do you have any ideas? I know the property that the tensor product is a right-exact functor, but I have no idea how to apply it here.



Any comments are welcomed. Thank you in advance.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 19 at 10:44

























asked Aug 19 at 5:52









C. Oh

908




908







  • 2




    For part $(a)$, the simplest argument is that for any commutative ring $R$, $;R/Iotimes_RR/Jsimeq R/I+J$, and here, $I$ and $J$ are generated by coprime lements in the P.I.D. $mathbf C[x]$.
    – Bernard
    Aug 19 at 9:12











  • @Bernard Very short and clear proof! Thank you for another solution of part $(a)$.
    – C. Oh
    Aug 19 at 9:20













  • 2




    For part $(a)$, the simplest argument is that for any commutative ring $R$, $;R/Iotimes_RR/Jsimeq R/I+J$, and here, $I$ and $J$ are generated by coprime lements in the P.I.D. $mathbf C[x]$.
    – Bernard
    Aug 19 at 9:12











  • @Bernard Very short and clear proof! Thank you for another solution of part $(a)$.
    – C. Oh
    Aug 19 at 9:20








2




2




For part $(a)$, the simplest argument is that for any commutative ring $R$, $;R/Iotimes_RR/Jsimeq R/I+J$, and here, $I$ and $J$ are generated by coprime lements in the P.I.D. $mathbf C[x]$.
– Bernard
Aug 19 at 9:12





For part $(a)$, the simplest argument is that for any commutative ring $R$, $;R/Iotimes_RR/Jsimeq R/I+J$, and here, $I$ and $J$ are generated by coprime lements in the P.I.D. $mathbf C[x]$.
– Bernard
Aug 19 at 9:12













@Bernard Very short and clear proof! Thank you for another solution of part $(a)$.
– C. Oh
Aug 19 at 9:20





@Bernard Very short and clear proof! Thank you for another solution of part $(a)$.
– C. Oh
Aug 19 at 9:20











1 Answer
1






active

oldest

votes

















up vote
1
down vote



accepted










We can define a bilinear map $beta:Mtimes NtoBbb C, (a+bx, ,c) mapsto (b-a)c$.

Then we only have to check that it's also $Bbb C[x^2]$-bilinear, where $x^2$ acts on $N=Bbb C[x]/(x-1)congBbb C $ as $1$:
$$((a+bx)x^2,, c) = (-ax+bx, , c) mapsto (b-a)c\
(a+bx, , x^2c) =(a+bx, c) mapsto (b-a)c$$






share|cite|improve this answer




















    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',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2f2887392%2fcalculating-the-dimension-of-the-tensor-product-of-modules%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    1
    down vote



    accepted










    We can define a bilinear map $beta:Mtimes NtoBbb C, (a+bx, ,c) mapsto (b-a)c$.

    Then we only have to check that it's also $Bbb C[x^2]$-bilinear, where $x^2$ acts on $N=Bbb C[x]/(x-1)congBbb C $ as $1$:
    $$((a+bx)x^2,, c) = (-ax+bx, , c) mapsto (b-a)c\
    (a+bx, , x^2c) =(a+bx, c) mapsto (b-a)c$$






    share|cite|improve this answer
























      up vote
      1
      down vote



      accepted










      We can define a bilinear map $beta:Mtimes NtoBbb C, (a+bx, ,c) mapsto (b-a)c$.

      Then we only have to check that it's also $Bbb C[x^2]$-bilinear, where $x^2$ acts on $N=Bbb C[x]/(x-1)congBbb C $ as $1$:
      $$((a+bx)x^2,, c) = (-ax+bx, , c) mapsto (b-a)c\
      (a+bx, , x^2c) =(a+bx, c) mapsto (b-a)c$$






      share|cite|improve this answer






















        up vote
        1
        down vote



        accepted







        up vote
        1
        down vote



        accepted






        We can define a bilinear map $beta:Mtimes NtoBbb C, (a+bx, ,c) mapsto (b-a)c$.

        Then we only have to check that it's also $Bbb C[x^2]$-bilinear, where $x^2$ acts on $N=Bbb C[x]/(x-1)congBbb C $ as $1$:
        $$((a+bx)x^2,, c) = (-ax+bx, , c) mapsto (b-a)c\
        (a+bx, , x^2c) =(a+bx, c) mapsto (b-a)c$$






        share|cite|improve this answer












        We can define a bilinear map $beta:Mtimes NtoBbb C, (a+bx, ,c) mapsto (b-a)c$.

        Then we only have to check that it's also $Bbb C[x^2]$-bilinear, where $x^2$ acts on $N=Bbb C[x]/(x-1)congBbb C $ as $1$:
        $$((a+bx)x^2,, c) = (-ax+bx, , c) mapsto (b-a)c\
        (a+bx, , x^2c) =(a+bx, c) mapsto (b-a)c$$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Aug 20 at 0:44









        Berci

        56.6k23570




        56.6k23570






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2887392%2fcalculating-the-dimension-of-the-tensor-product-of-modules%23new-answer', 'question_page');

            );

            Post as a guest













































































            wpqB 94PKa k,36 jp K LmmN6qyM
            ta7vnKwXbX2Dr K9f39I00qO3EOaHuVhvEqKh818VvxtH

            這個網誌中的熱門文章

            How to combine Bézier curves to a surface?

            Propositional logic and tautologies

            Distribution of Stopped Wiener Process with Stochastic Volatility