Nonassociative ring

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In abstract algebra, a nonassociative ring is a generalization of the concept of ring.

A nonassociative ring is a set R with two operations, addition and multiplication, such that:

  1. R is an abelian group under addition:
    1. a+b = b+a
    2. (a+b)+c = a+(b+c)
    3. There exists 0 in R such that 0 + a = a + 0 = a
    4. For each a in R, there exists an element −a such that a + (-a) = (-a) + a = 0
  2. Multiplication is linear in each variable:
    1. (a+b)c = ac + bc (left distributive law)
    2. a(b+c) = ab + ac (right distributive law)

Unlike for rings, we do not require multiplication to satisfy associativity. We also do not require the presence of a unit, an element 1 such that 1x = x1 = x.

In this context, nonassociative means that multiplication is not required to be associative, but associative multiplication is permitted. Thus rings, which we'll call associative rings for clarity, are a special case of nonassociative rings.

Some classes of nonassociative rings replace associative laws with different constraints on the order of application of multiplication. For example Lie rings and Lie algebras replace the associative law with the Jacobi identity, while Jordan rings and Jordan algebras replace the associative law with the Jordan identity.

Examples[edit]

The octonions, constructed by John T. Graves in 1843, were the first example of a ring that is not associative. The hyperbolic quaternions of Alexander Macfarlane (1891) form a nonassociative ring that suggested the mathematical footing for spacetime theory that followed later.

Other examples of nonassociative rings include the following:

Properties[edit]

Most elementary properties of rings fail in the absence of associativity. For example, for a nonassociative ring with an identity element:

  • If an element x has left and right multiplicative inverses, a^{L} and a^{R}, then a^{L} and a^{R} can be distinct.
  • Elements with multiplicative inverses can still be zero divisors.

See also[edit]

References[edit]