characterization of submodule of and of linear application.

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











up vote
1
down vote

favorite












Let $A$ a commutative ring, $G$ an abelian group and $K$ a field.



1) Characterize submodules of $A$ for its natural structure of $A$-module



2) Characterize submodules of $G$ for its natural structure of $mathbb Z$-module



3) Characterize submodules of $K[X]$ for its natural structure of $K[X]$-module.



4) Let $G'$ an abelian group. Characterize linear applications $Gto G'$ for their structure of $mathbb Z$-module.



5) Let $E$ and $E'$ two $K$-vectors spaces, $uin mathcal L(E)$ and $u'in mathcal L(E')$. Characterize linear application $Eto E'$ for the structure of $K[X]$-module associated to $u$ and $u'$.




I'm not really sure what to do.



1) $S$ is a submodule of $A$ if $0in S$, $asin S$ for all $ain A$ and all $sin S$ and $s+s'in S$ for all $s,s'in S$ ? Is it the question ?



2) $H$ is a submodule if $0in H$, $kgin H$ for all $kin mathbb Z$ and all $gin G$ and $h+h'in H$ for all $h,h'in H$ ? Is it the question ?



3) $S[X]$ is a $K[X]$-submodule if $0in S[X]$, $p(x)+q(x)in S[X]$ for all $p(x),q(x)in S[X]$ and $p(x)q(x)in S[X]$ for all $p(X)in K[X]$ and all $q(x)in S[X]$ ? Is it the question ?



4) A linear map $f:Gto G'$ is a map s.t. $f(kg)=kf(g)$ for all $kin mathbb Z$ and all $gin G$ and $f(g+h)=f(g)+f(h)$ for all $g,hin G$ ? Is it the question ?



5) $f:Eto E'$ is linear if $f(p(x) y)=p(x)f(y)$ for all $p(x)in K[X]$ and all $yin E$ and $f(y+y')=f(y)+f(y')$ for all $y,y'in E$ ? Is it the question ?







share|cite|improve this question

















  • 3




    No. I very much doubt the author of these questions intended you to regurgitate definitions as you are doing. In the first two questions, you can give a simple name to what they have described as submodules. Each one has a familiar and simple alternative name. The third one is not much different: you can describe the submodules because of the special structure of the ideals of $K[X]$ (oops, dropped a hint). I can't help with the 5th because I don't exactly understand what is written.
    – rschwieb
    Aug 1 at 17:53











  • @rschwieb If $V$ is a vector space over $K$, and $T in L(V)$, then $V$ together with $T$ can be thought of as a $K[X]$-module where $X$ acts on a vector $v$ by $T$. That is, $Xv=T(v)$. The rest of the action is given from this.
    – Jonathan Dunay
    Aug 1 at 19:51














up vote
1
down vote

favorite












Let $A$ a commutative ring, $G$ an abelian group and $K$ a field.



1) Characterize submodules of $A$ for its natural structure of $A$-module



2) Characterize submodules of $G$ for its natural structure of $mathbb Z$-module



3) Characterize submodules of $K[X]$ for its natural structure of $K[X]$-module.



4) Let $G'$ an abelian group. Characterize linear applications $Gto G'$ for their structure of $mathbb Z$-module.



5) Let $E$ and $E'$ two $K$-vectors spaces, $uin mathcal L(E)$ and $u'in mathcal L(E')$. Characterize linear application $Eto E'$ for the structure of $K[X]$-module associated to $u$ and $u'$.




I'm not really sure what to do.



1) $S$ is a submodule of $A$ if $0in S$, $asin S$ for all $ain A$ and all $sin S$ and $s+s'in S$ for all $s,s'in S$ ? Is it the question ?



2) $H$ is a submodule if $0in H$, $kgin H$ for all $kin mathbb Z$ and all $gin G$ and $h+h'in H$ for all $h,h'in H$ ? Is it the question ?



3) $S[X]$ is a $K[X]$-submodule if $0in S[X]$, $p(x)+q(x)in S[X]$ for all $p(x),q(x)in S[X]$ and $p(x)q(x)in S[X]$ for all $p(X)in K[X]$ and all $q(x)in S[X]$ ? Is it the question ?



4) A linear map $f:Gto G'$ is a map s.t. $f(kg)=kf(g)$ for all $kin mathbb Z$ and all $gin G$ and $f(g+h)=f(g)+f(h)$ for all $g,hin G$ ? Is it the question ?



5) $f:Eto E'$ is linear if $f(p(x) y)=p(x)f(y)$ for all $p(x)in K[X]$ and all $yin E$ and $f(y+y')=f(y)+f(y')$ for all $y,y'in E$ ? Is it the question ?







share|cite|improve this question

















  • 3




    No. I very much doubt the author of these questions intended you to regurgitate definitions as you are doing. In the first two questions, you can give a simple name to what they have described as submodules. Each one has a familiar and simple alternative name. The third one is not much different: you can describe the submodules because of the special structure of the ideals of $K[X]$ (oops, dropped a hint). I can't help with the 5th because I don't exactly understand what is written.
    – rschwieb
    Aug 1 at 17:53











  • @rschwieb If $V$ is a vector space over $K$, and $T in L(V)$, then $V$ together with $T$ can be thought of as a $K[X]$-module where $X$ acts on a vector $v$ by $T$. That is, $Xv=T(v)$. The rest of the action is given from this.
    – Jonathan Dunay
    Aug 1 at 19:51












up vote
1
down vote

favorite









up vote
1
down vote

favorite











Let $A$ a commutative ring, $G$ an abelian group and $K$ a field.



1) Characterize submodules of $A$ for its natural structure of $A$-module



2) Characterize submodules of $G$ for its natural structure of $mathbb Z$-module



3) Characterize submodules of $K[X]$ for its natural structure of $K[X]$-module.



4) Let $G'$ an abelian group. Characterize linear applications $Gto G'$ for their structure of $mathbb Z$-module.



5) Let $E$ and $E'$ two $K$-vectors spaces, $uin mathcal L(E)$ and $u'in mathcal L(E')$. Characterize linear application $Eto E'$ for the structure of $K[X]$-module associated to $u$ and $u'$.




I'm not really sure what to do.



1) $S$ is a submodule of $A$ if $0in S$, $asin S$ for all $ain A$ and all $sin S$ and $s+s'in S$ for all $s,s'in S$ ? Is it the question ?



2) $H$ is a submodule if $0in H$, $kgin H$ for all $kin mathbb Z$ and all $gin G$ and $h+h'in H$ for all $h,h'in H$ ? Is it the question ?



3) $S[X]$ is a $K[X]$-submodule if $0in S[X]$, $p(x)+q(x)in S[X]$ for all $p(x),q(x)in S[X]$ and $p(x)q(x)in S[X]$ for all $p(X)in K[X]$ and all $q(x)in S[X]$ ? Is it the question ?



4) A linear map $f:Gto G'$ is a map s.t. $f(kg)=kf(g)$ for all $kin mathbb Z$ and all $gin G$ and $f(g+h)=f(g)+f(h)$ for all $g,hin G$ ? Is it the question ?



5) $f:Eto E'$ is linear if $f(p(x) y)=p(x)f(y)$ for all $p(x)in K[X]$ and all $yin E$ and $f(y+y')=f(y)+f(y')$ for all $y,y'in E$ ? Is it the question ?







share|cite|improve this question













Let $A$ a commutative ring, $G$ an abelian group and $K$ a field.



1) Characterize submodules of $A$ for its natural structure of $A$-module



2) Characterize submodules of $G$ for its natural structure of $mathbb Z$-module



3) Characterize submodules of $K[X]$ for its natural structure of $K[X]$-module.



4) Let $G'$ an abelian group. Characterize linear applications $Gto G'$ for their structure of $mathbb Z$-module.



5) Let $E$ and $E'$ two $K$-vectors spaces, $uin mathcal L(E)$ and $u'in mathcal L(E')$. Characterize linear application $Eto E'$ for the structure of $K[X]$-module associated to $u$ and $u'$.




I'm not really sure what to do.



1) $S$ is a submodule of $A$ if $0in S$, $asin S$ for all $ain A$ and all $sin S$ and $s+s'in S$ for all $s,s'in S$ ? Is it the question ?



2) $H$ is a submodule if $0in H$, $kgin H$ for all $kin mathbb Z$ and all $gin G$ and $h+h'in H$ for all $h,h'in H$ ? Is it the question ?



3) $S[X]$ is a $K[X]$-submodule if $0in S[X]$, $p(x)+q(x)in S[X]$ for all $p(x),q(x)in S[X]$ and $p(x)q(x)in S[X]$ for all $p(X)in K[X]$ and all $q(x)in S[X]$ ? Is it the question ?



4) A linear map $f:Gto G'$ is a map s.t. $f(kg)=kf(g)$ for all $kin mathbb Z$ and all $gin G$ and $f(g+h)=f(g)+f(h)$ for all $g,hin G$ ? Is it the question ?



5) $f:Eto E'$ is linear if $f(p(x) y)=p(x)f(y)$ for all $p(x)in K[X]$ and all $yin E$ and $f(y+y')=f(y)+f(y')$ for all $y,y'in E$ ? Is it the question ?









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Aug 2 at 2:59









Michael Hardy

204k23185460




204k23185460









asked Aug 1 at 17:37









MathBeginner

695312




695312







  • 3




    No. I very much doubt the author of these questions intended you to regurgitate definitions as you are doing. In the first two questions, you can give a simple name to what they have described as submodules. Each one has a familiar and simple alternative name. The third one is not much different: you can describe the submodules because of the special structure of the ideals of $K[X]$ (oops, dropped a hint). I can't help with the 5th because I don't exactly understand what is written.
    – rschwieb
    Aug 1 at 17:53











  • @rschwieb If $V$ is a vector space over $K$, and $T in L(V)$, then $V$ together with $T$ can be thought of as a $K[X]$-module where $X$ acts on a vector $v$ by $T$. That is, $Xv=T(v)$. The rest of the action is given from this.
    – Jonathan Dunay
    Aug 1 at 19:51












  • 3




    No. I very much doubt the author of these questions intended you to regurgitate definitions as you are doing. In the first two questions, you can give a simple name to what they have described as submodules. Each one has a familiar and simple alternative name. The third one is not much different: you can describe the submodules because of the special structure of the ideals of $K[X]$ (oops, dropped a hint). I can't help with the 5th because I don't exactly understand what is written.
    – rschwieb
    Aug 1 at 17:53











  • @rschwieb If $V$ is a vector space over $K$, and $T in L(V)$, then $V$ together with $T$ can be thought of as a $K[X]$-module where $X$ acts on a vector $v$ by $T$. That is, $Xv=T(v)$. The rest of the action is given from this.
    – Jonathan Dunay
    Aug 1 at 19:51







3




3




No. I very much doubt the author of these questions intended you to regurgitate definitions as you are doing. In the first two questions, you can give a simple name to what they have described as submodules. Each one has a familiar and simple alternative name. The third one is not much different: you can describe the submodules because of the special structure of the ideals of $K[X]$ (oops, dropped a hint). I can't help with the 5th because I don't exactly understand what is written.
– rschwieb
Aug 1 at 17:53





No. I very much doubt the author of these questions intended you to regurgitate definitions as you are doing. In the first two questions, you can give a simple name to what they have described as submodules. Each one has a familiar and simple alternative name. The third one is not much different: you can describe the submodules because of the special structure of the ideals of $K[X]$ (oops, dropped a hint). I can't help with the 5th because I don't exactly understand what is written.
– rschwieb
Aug 1 at 17:53













@rschwieb If $V$ is a vector space over $K$, and $T in L(V)$, then $V$ together with $T$ can be thought of as a $K[X]$-module where $X$ acts on a vector $v$ by $T$. That is, $Xv=T(v)$. The rest of the action is given from this.
– Jonathan Dunay
Aug 1 at 19:51




@rschwieb If $V$ is a vector space over $K$, and $T in L(V)$, then $V$ together with $T$ can be thought of as a $K[X]$-module where $X$ acts on a vector $v$ by $T$. That is, $Xv=T(v)$. The rest of the action is given from this.
– Jonathan Dunay
Aug 1 at 19:51










1 Answer
1






active

oldest

votes

















up vote
2
down vote













It appears that the questions are asking you to discuss these in already familiar terms. For example, for 2), the answer would be that the submodules of $G$ considered as a $BbbZ$-module are just the subgroups of $G$.



For the last one, I don't think it is that straightforward. I think they want you to write down a condition on the map $f$ using $u$ and $u'$ that is necessary and sufficient to guarantee that the map is $K[X]$-linear (I know that is vague).



Hint:




If $f$ is a $K$-linear map and for each $y in E$, $f(Xy)=Xf(y)$, then $f$ is $K[X]$-linear.




The condition I have in mind is that:




$f$ is a $K$-linear and $fcirc u = u' circ f$







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%2f2869316%2fcharacterization-of-submodule-of-and-of-linear-application%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
    2
    down vote













    It appears that the questions are asking you to discuss these in already familiar terms. For example, for 2), the answer would be that the submodules of $G$ considered as a $BbbZ$-module are just the subgroups of $G$.



    For the last one, I don't think it is that straightforward. I think they want you to write down a condition on the map $f$ using $u$ and $u'$ that is necessary and sufficient to guarantee that the map is $K[X]$-linear (I know that is vague).



    Hint:




    If $f$ is a $K$-linear map and for each $y in E$, $f(Xy)=Xf(y)$, then $f$ is $K[X]$-linear.




    The condition I have in mind is that:




    $f$ is a $K$-linear and $fcirc u = u' circ f$







    share|cite|improve this answer



























      up vote
      2
      down vote













      It appears that the questions are asking you to discuss these in already familiar terms. For example, for 2), the answer would be that the submodules of $G$ considered as a $BbbZ$-module are just the subgroups of $G$.



      For the last one, I don't think it is that straightforward. I think they want you to write down a condition on the map $f$ using $u$ and $u'$ that is necessary and sufficient to guarantee that the map is $K[X]$-linear (I know that is vague).



      Hint:




      If $f$ is a $K$-linear map and for each $y in E$, $f(Xy)=Xf(y)$, then $f$ is $K[X]$-linear.




      The condition I have in mind is that:




      $f$ is a $K$-linear and $fcirc u = u' circ f$







      share|cite|improve this answer

























        up vote
        2
        down vote










        up vote
        2
        down vote









        It appears that the questions are asking you to discuss these in already familiar terms. For example, for 2), the answer would be that the submodules of $G$ considered as a $BbbZ$-module are just the subgroups of $G$.



        For the last one, I don't think it is that straightforward. I think they want you to write down a condition on the map $f$ using $u$ and $u'$ that is necessary and sufficient to guarantee that the map is $K[X]$-linear (I know that is vague).



        Hint:




        If $f$ is a $K$-linear map and for each $y in E$, $f(Xy)=Xf(y)$, then $f$ is $K[X]$-linear.




        The condition I have in mind is that:




        $f$ is a $K$-linear and $fcirc u = u' circ f$







        share|cite|improve this answer















        It appears that the questions are asking you to discuss these in already familiar terms. For example, for 2), the answer would be that the submodules of $G$ considered as a $BbbZ$-module are just the subgroups of $G$.



        For the last one, I don't think it is that straightforward. I think they want you to write down a condition on the map $f$ using $u$ and $u'$ that is necessary and sufficient to guarantee that the map is $K[X]$-linear (I know that is vague).



        Hint:




        If $f$ is a $K$-linear map and for each $y in E$, $f(Xy)=Xf(y)$, then $f$ is $K[X]$-linear.




        The condition I have in mind is that:




        $f$ is a $K$-linear and $fcirc u = u' circ f$








        share|cite|improve this answer















        share|cite|improve this answer



        share|cite|improve this answer








        edited Aug 1 at 19:08


























        answered Aug 1 at 19:00









        Jonathan Dunay

        1,2831215




        1,2831215






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2869316%2fcharacterization-of-submodule-of-and-of-linear-application%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?