Meadows with usual real division

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











up vote
0
down vote

favorite












A "meadow" is a commutative ring with a multiplicative identity element and a total multiplicative inverse operation satisfying the two equations $(x^-1)^-1 = x$ and $x times (x times x^-1) = x$.



Is there a meadow in which the inverses for all reals (except zero) are the usual inverses of the field of real numbers?



References would be appreciated. Thanks.







share|cite|improve this question



















  • Yes, of course. Define $0^-1:=0$ on $Bbb R$.
    – Berci
    Jul 31 at 15:14














up vote
0
down vote

favorite












A "meadow" is a commutative ring with a multiplicative identity element and a total multiplicative inverse operation satisfying the two equations $(x^-1)^-1 = x$ and $x times (x times x^-1) = x$.



Is there a meadow in which the inverses for all reals (except zero) are the usual inverses of the field of real numbers?



References would be appreciated. Thanks.







share|cite|improve this question



















  • Yes, of course. Define $0^-1:=0$ on $Bbb R$.
    – Berci
    Jul 31 at 15:14












up vote
0
down vote

favorite









up vote
0
down vote

favorite











A "meadow" is a commutative ring with a multiplicative identity element and a total multiplicative inverse operation satisfying the two equations $(x^-1)^-1 = x$ and $x times (x times x^-1) = x$.



Is there a meadow in which the inverses for all reals (except zero) are the usual inverses of the field of real numbers?



References would be appreciated. Thanks.







share|cite|improve this question











A "meadow" is a commutative ring with a multiplicative identity element and a total multiplicative inverse operation satisfying the two equations $(x^-1)^-1 = x$ and $x times (x times x^-1) = x$.



Is there a meadow in which the inverses for all reals (except zero) are the usual inverses of the field of real numbers?



References would be appreciated. Thanks.









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 31 at 15:10









YeatsL

815




815











  • Yes, of course. Define $0^-1:=0$ on $Bbb R$.
    – Berci
    Jul 31 at 15:14
















  • Yes, of course. Define $0^-1:=0$ on $Bbb R$.
    – Berci
    Jul 31 at 15:14















Yes, of course. Define $0^-1:=0$ on $Bbb R$.
– Berci
Jul 31 at 15:14




Yes, of course. Define $0^-1:=0$ on $Bbb R$.
– Berci
Jul 31 at 15:14










1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










Quoting from the abstract of the paper which apparently introduced meadows:




We study a new axiomatic concept for number systems with division that uses only equations: a meadow is a commutative ring with a total inverse operator satisfying two equations which imply that the inverse of zero is zero. All fields and products of fields can be viewed as meadows.




In other words, since $mathbbR$ is a field you just need to extend it with $0^-1 = 0$.






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%2f2868153%2fmeadows-with-usual-real-division%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



    accepted










    Quoting from the abstract of the paper which apparently introduced meadows:




    We study a new axiomatic concept for number systems with division that uses only equations: a meadow is a commutative ring with a total inverse operator satisfying two equations which imply that the inverse of zero is zero. All fields and products of fields can be viewed as meadows.




    In other words, since $mathbbR$ is a field you just need to extend it with $0^-1 = 0$.






    share|cite|improve this answer

























      up vote
      2
      down vote



      accepted










      Quoting from the abstract of the paper which apparently introduced meadows:




      We study a new axiomatic concept for number systems with division that uses only equations: a meadow is a commutative ring with a total inverse operator satisfying two equations which imply that the inverse of zero is zero. All fields and products of fields can be viewed as meadows.




      In other words, since $mathbbR$ is a field you just need to extend it with $0^-1 = 0$.






      share|cite|improve this answer























        up vote
        2
        down vote



        accepted







        up vote
        2
        down vote



        accepted






        Quoting from the abstract of the paper which apparently introduced meadows:




        We study a new axiomatic concept for number systems with division that uses only equations: a meadow is a commutative ring with a total inverse operator satisfying two equations which imply that the inverse of zero is zero. All fields and products of fields can be viewed as meadows.




        In other words, since $mathbbR$ is a field you just need to extend it with $0^-1 = 0$.






        share|cite|improve this answer













        Quoting from the abstract of the paper which apparently introduced meadows:




        We study a new axiomatic concept for number systems with division that uses only equations: a meadow is a commutative ring with a total inverse operator satisfying two equations which imply that the inverse of zero is zero. All fields and products of fields can be viewed as meadows.




        In other words, since $mathbbR$ is a field you just need to extend it with $0^-1 = 0$.







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 31 at 15:27









        Peter Taylor

        7,67012239




        7,67012239






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2868153%2fmeadows-with-usual-real-division%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            Relationship between determinant of matrix and determinant of adjoint?

            Color the edges and diagonals of a regular polygon

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