this post was submitted on 12 Mar 2025
589 points (98.2% liked)

Comic Strips

16778 readers
2615 users here now

Comic Strips is a community for those who love comic stories.

The rules are simple:

Web of links

founded 2 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] Leate_Wonceslace@lemmy.dbzer0.com 0 points 1 week ago* (last edited 1 week ago) (1 children)

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 2 points 1 week ago (1 children)

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 1 points 1 week ago (1 children)

Do you think a group isn't an algebra? What, by your definitions make an "Algebra" different from a "Ring"?

[–] CompassRed@discuss.tchncs.de 1 points 11 hours 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.