• 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
            arrow-down
            1
            ·
            12 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
              5 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
                ·
                5 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.