• Leate_Wonceslace@lemmy.dbzer0.com
    link
    fedilink
    English
    arrow-up
    13
    ·
    2 months ago

    Okay, so I had a personal project for a long time that addressed the potential for an algebra that allowed for the multipicitive inverse of the additive identity.

    In the context of the resulting non-associative algebra, 0/0=1, rather than 0.

    For anyone wondering, the foundation goes as such: Ω0=1, Ωx=ΩΩ=Ω, x+Ω=Ω, Ω-Ω=Ω+Ω=0.

    A fun consequence of this is the exponential function exp(x)=Σ((x^n)/n!) diverges at exp(Ω). Specifically you can reduce it to Σ(Ω), which when you try to evaluate it, you find that it evaluates to either 0 or Ω. This is particularly fitting, because e^x has a divergent limit at infinity. Specially, it approaches infinity when going towards the positive end and it approaches 0 when approaching the negative.

    There’s more cool things you can do with that, but I’ll leave it there for now.

    • Kogasa@programming.dev
      link
      fedilink
      arrow-up
      5
      ·
      2 months ago

      There’s not much coherent algebraic structure left with these “definitions.” If Ωx=ΩΩ=Ω then there is no multiplicative identity, hence no such thing as a multiplicative inverse.

            • Kogasa@programming.dev
              link
              fedilink
              arrow-up
              1
              ·
              11 days ago

              Distributivity is a requirement for non associative algebras. So whatever structure is left is not one of those

              • Leate_Wonceslace@lemmy.dbzer0.com
                link
                fedilink
                English
                arrow-up
                1
                ·
                edit-2
                4 days ago

                What the fuck are you talking about? That’s incorrect as a matter of simple fact.

                Associativity is a property possessed by a single operation, whereas distribution is a property possessed by pairs of operations. Non-associative algebras aren’t even generally ones that posses multiple operations, so how the hell do you think one implies the other?

                Edit: actually, while we’re on it, your first comment was nonsense too; you don’t know what an identity is and you think that there’s no notion of inverses without an identity. While that’s generally the case there are exceptions like in Latin Squares, which describe the Cayley Tables of finite algebras for which every element can be operated with some other element to produce any one target element. In this way we can formulate a notion of “division” without using an identity.

                • Kogasa@programming.dev
                  link
                  fedilink
                  arrow-up
                  1
                  ·
                  4 days ago

                  Algebras have two operations by definition and the one thing they have in common is that the multiplication distributes over addition.

                  Yes, there is no notion of inverses without an identity, the definition of an inverse is in terms of an identity.

                  Stop posting.

      • Leate_Wonceslace@lemmy.dbzer0.com
        link
        fedilink
        English
        arrow-up
        1
        ·
        12 days ago

        Someone else had the same observation, but it is unital. Keep in mind that it isn’t associative; you can’t pull out the Omega like that.

        • CompassRed@discuss.tchncs.de
          link
          fedilink
          arrow-up
          1
          ·
          12 days ago

          The definition I’m aware of for non associative algebras has them distributive by default, so I believe the chain of equations is valid.

      • Leate_Wonceslace@lemmy.dbzer0.com
        link
        fedilink
        English
        arrow-up
        2
        ·
        12 days ago

        No, I’m pretty shy about my work in-person and I don’t like linking my online and IRL self. Do you have any recommendations for places to put my work?

        • Danitos@reddthat.com
          link
          fedilink
          arrow-up
          2
          ·
          12 days ago

          Sadly, no. However, you could maybe do a personal blog, similar to how Terrence Tao does.

          I really encourage you to try, it could help you find new stuff, check for mistakes, clarify ideas, and maybe even hear ideas from others.

          • Leate_Wonceslace@lemmy.dbzer0.com
            link
            fedilink
            English
            arrow-up
            2
            ·
            11 days ago

            I appreciate your encouragement; it’s an extremely rare occurrence when I discuss my ideas with others. I’ll think about what you’ve said and if I follow through I hope to remember to send you a message. I’m favouriting this comment so I can find it again.

            • Danitos@reddthat.com
              link
              fedilink
              arrow-up
              1
              ·
              10 days ago

              That’ll make me really glad :)

              We can also exchange contact information via private message if you want to.