Name for “the kernel lemma”?












7












$begingroup$


Lately I've been fascinated by the result that one might state slightly informally





Lemma. (In the context of linear algebra over a field.) If $p$ and $q$ are relatively prime polynomials and $T$ is a linear operator then $ker(pq(T))=ker(p(T))oplusker(q(T))$.





Follows easily from the fact that $F[x]$ is a PID; you can use it to start a proof of the existence of the Jordan Canonical Form, also for a proof that the solution to a constant-coefficient linear homogeneous DE is what it is.



Q: Does this result have a standard name? Or do we know who proved it?










share|cite|improve this question











$endgroup$








  • 2




    $begingroup$
    In my university it was called "primary decomposition", in fact it is a corollary of en.wikipedia.org/wiki/Primary_decomposition.
    $endgroup$
    – Ivan Di Liberti
    Jan 17 at 16:04
















7












$begingroup$


Lately I've been fascinated by the result that one might state slightly informally





Lemma. (In the context of linear algebra over a field.) If $p$ and $q$ are relatively prime polynomials and $T$ is a linear operator then $ker(pq(T))=ker(p(T))oplusker(q(T))$.





Follows easily from the fact that $F[x]$ is a PID; you can use it to start a proof of the existence of the Jordan Canonical Form, also for a proof that the solution to a constant-coefficient linear homogeneous DE is what it is.



Q: Does this result have a standard name? Or do we know who proved it?










share|cite|improve this question











$endgroup$








  • 2




    $begingroup$
    In my university it was called "primary decomposition", in fact it is a corollary of en.wikipedia.org/wiki/Primary_decomposition.
    $endgroup$
    – Ivan Di Liberti
    Jan 17 at 16:04














7












7








7





$begingroup$


Lately I've been fascinated by the result that one might state slightly informally





Lemma. (In the context of linear algebra over a field.) If $p$ and $q$ are relatively prime polynomials and $T$ is a linear operator then $ker(pq(T))=ker(p(T))oplusker(q(T))$.





Follows easily from the fact that $F[x]$ is a PID; you can use it to start a proof of the existence of the Jordan Canonical Form, also for a proof that the solution to a constant-coefficient linear homogeneous DE is what it is.



Q: Does this result have a standard name? Or do we know who proved it?










share|cite|improve this question











$endgroup$




Lately I've been fascinated by the result that one might state slightly informally





Lemma. (In the context of linear algebra over a field.) If $p$ and $q$ are relatively prime polynomials and $T$ is a linear operator then $ker(pq(T))=ker(p(T))oplusker(q(T))$.





Follows easily from the fact that $F[x]$ is a PID; you can use it to start a proof of the existence of the Jordan Canonical Form, also for a proof that the solution to a constant-coefficient linear homogeneous DE is what it is.



Q: Does this result have a standard name? Or do we know who proved it?







linear-algebra abstract-algebra reference-request math-history






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 17 at 17:20







user635162

















asked Jan 17 at 16:00









David C. UllrichDavid C. Ullrich

61.8k44095




61.8k44095








  • 2




    $begingroup$
    In my university it was called "primary decomposition", in fact it is a corollary of en.wikipedia.org/wiki/Primary_decomposition.
    $endgroup$
    – Ivan Di Liberti
    Jan 17 at 16:04














  • 2




    $begingroup$
    In my university it was called "primary decomposition", in fact it is a corollary of en.wikipedia.org/wiki/Primary_decomposition.
    $endgroup$
    – Ivan Di Liberti
    Jan 17 at 16:04








2




2




$begingroup$
In my university it was called "primary decomposition", in fact it is a corollary of en.wikipedia.org/wiki/Primary_decomposition.
$endgroup$
– Ivan Di Liberti
Jan 17 at 16:04




$begingroup$
In my university it was called "primary decomposition", in fact it is a corollary of en.wikipedia.org/wiki/Primary_decomposition.
$endgroup$
– Ivan Di Liberti
Jan 17 at 16:04










1 Answer
1






active

oldest

votes


















1












$begingroup$

In French schools and universities it is called "Lemme des Noyaux" which is a translation of Kernel Lemma. It is one of the rare occasions where I find a page inthe french wikipedia with no english counterpart.



Here is a link to said page :
https://fr.wikipedia.org/wiki/Lemme_des_noyaux



I suspect it has its own page because it is a standard result in the linear algebra curriculum. Sadly i haven't found a name in english but calling it the Kernel Lemma is a good idea.






share|cite|improve this answer









$endgroup$














    Your Answer








    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%2f3077162%2fname-for-the-kernel-lemma%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









    1












    $begingroup$

    In French schools and universities it is called "Lemme des Noyaux" which is a translation of Kernel Lemma. It is one of the rare occasions where I find a page inthe french wikipedia with no english counterpart.



    Here is a link to said page :
    https://fr.wikipedia.org/wiki/Lemme_des_noyaux



    I suspect it has its own page because it is a standard result in the linear algebra curriculum. Sadly i haven't found a name in english but calling it the Kernel Lemma is a good idea.






    share|cite|improve this answer









    $endgroup$


















      1












      $begingroup$

      In French schools and universities it is called "Lemme des Noyaux" which is a translation of Kernel Lemma. It is one of the rare occasions where I find a page inthe french wikipedia with no english counterpart.



      Here is a link to said page :
      https://fr.wikipedia.org/wiki/Lemme_des_noyaux



      I suspect it has its own page because it is a standard result in the linear algebra curriculum. Sadly i haven't found a name in english but calling it the Kernel Lemma is a good idea.






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $begingroup$

        In French schools and universities it is called "Lemme des Noyaux" which is a translation of Kernel Lemma. It is one of the rare occasions where I find a page inthe french wikipedia with no english counterpart.



        Here is a link to said page :
        https://fr.wikipedia.org/wiki/Lemme_des_noyaux



        I suspect it has its own page because it is a standard result in the linear algebra curriculum. Sadly i haven't found a name in english but calling it the Kernel Lemma is a good idea.






        share|cite|improve this answer









        $endgroup$



        In French schools and universities it is called "Lemme des Noyaux" which is a translation of Kernel Lemma. It is one of the rare occasions where I find a page inthe french wikipedia with no english counterpart.



        Here is a link to said page :
        https://fr.wikipedia.org/wiki/Lemme_des_noyaux



        I suspect it has its own page because it is a standard result in the linear algebra curriculum. Sadly i haven't found a name in english but calling it the Kernel Lemma is a good idea.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 18 at 16:59









        NassoumoNassoumo

        812




        812






























            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%2f3077162%2fname-for-the-kernel-lemma%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

            Human spaceflight

            Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

            File:DeusFollowingSea.jpg