• Kogasa@programming.dev
        link
        fedilink
        arrow-up
        2
        arrow-down
        1
        ·
        16 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
          arrow-down
          1
          ·
          edit-2
          10 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
            2
            ·
            10 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.

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

                A group is not an algebra. A group consists of a single associative binary operation with an identity element and inverses for each element.

                A ring is an abelian (commutative) group under addition, along with an additional associative binary operation (multiplication) that distributes over addition. The additive identity is called zero.

                A field is a ring in which every nonzero element has a multiplicative inverse.

                A vector space over a field consists of an abelian group (the vectors) together with scalar multiplication by elements of the field, satisfying distributivity and compatibility conditions.

                A non-associative algebra is a vector space equipped with a bilinear multiplication operation that distributes over vector addition and is compatible with scalar multiplication.

                An (associative) algebra is a non-associative algebra whose multiplication operation is associative.

                You can read more about these definitions online and in textbooks - these are standard definitions. If you are using different definitions, then it would help your case to provide them so we can better understand your claims.