May
10

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. <math>a+b = b+a</math>
    2. <math>(a+b)+c = a+(b+c)</math>
    3. There exists 0 in R such that <math>0 + a = a + 0 = a</math>
    4. For each a in R, there exists an element -a such that <math>a + (-a) = (-a) + a = 0</math>
  2. Multiplication is linear in each variable:
    1. <math>(a+b)c = ac + bc </math> (left distributive law)
    2. <math>a(b+c) = ab + ac </math> (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 <math>1x = x1 = x</math>.

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

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 form a nonassociative ring that suggested the mathematical footing for spacetime theory that followed later.

Other examples of nonassociative rings include the following:

  • The Cayley-Dickson construction provides an infinite family of nonassociative rings.
  • Lie algebras and Lie rings
  • Jordan algebras and Jordan rings.
  • Alternative rings: A nonassociative ring R is said to be an alternative ring if [x,x,y]=[y,x,x]=0, where [x,y,z] = (xy)z - x(yz) is the associator.


Properties

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

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

Did you enjoy Nonassociative ring? Subscribe to RSS Feed.

Social Bookmarking
Add to: Digg Add to: Del.icio.us Add to: Technorati Add to: StumbleUpon Add to: Reddit Add to: Slashdot Add to: Netscape Add to: Furl Add to: Newsvine Add to: Yahoo Add to: Google Add to: Blinklist Add to: Spurl Add to: Diigo Add to: Ma.Gnolia

Do you have something to say? Say it below.

You must be logged in to post a comment.