Flexible algebra

In mathematics, particularly abstract algebra, a binary operation • on a set is flexible if it satisfies the flexible identity:

for any two elements a and b of the set. A magma (that is a set equipped with a binary operation) is flexible if the binary operation with which it is equipped is flexible. Similarly, a nonassociative algebra is flexible if its multiplication operator is flexible.

Every commutative or associative operation is flexible, so flexibility becomes important for binary operations that are neither commutative nor associative, e.g. for the multiplication of sedenions, which are not even alternative.

In 1954, Richard Schafer examined the algebras generated by the Cayley–Dickson process over a field and showed that they satisfy the flexible identity.[1]

Examples

Besides associative algebras, the following classes of nonassociative algebras are flexible:

Similarly, the following classes of nonassociative magmas are flexible:

  • Alternative magmas
  • Semigroups (which are associative magmas, and which are also alternative)

The sedenions, and all algebras constructed from these by iterating the Cayley–Dickson construction, are also flexible.

gollark: Yes, "only", it's waaaay less than I can practically use.
gollark: Although it would be extremely slow.
gollark: Anyway, in theory I could clone it *for* you, and send you a tar or something which could be downloaded resumably from osmarks.net
gollark: I only get 12GB of data per month due to ridiculous mobile network rationing, and it's slower than my home network anyway.
gollark: That doesn't contain full clone data, IIRC, and is smaller because of that.

See also

References

  1. Richard D. Schafer (1954) “On the algebras formed by the Cayley-Dickson process”, American Journal of Mathematics 76: 435–46 doi:10.2307/2372583
  • Schafer, Richard D. (1995) [1966]. An introduction to non-associative algebras. Dover Publications. ISBN 0-486-68813-5. Zbl 0145.25601.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.