nLab nonassociative ring

Redirected from "nonassociative rings".
Contents

Contents

Idea

The concept of nonassociative ring is like that of ring but without the requirement of associativity.

Remark on terminology

The term “nonassociative ring” may be regarded as an example of the “red herring principle”, as a nonassociative ring is not in general a ring in the modern sense of the word.

Definition

Definition

A nonassociative ring is a set RR with operations of addition and multiplication, such that:

  • RR is a unital magma under multiplication;
  • RR is an abelian group under addition;
  • multiplication distributes over addition.

More sophisticatedly, just as a ring is a monoid object in Ab, so

Definition

A nonassociative ring is a unital magma object in Ab.

Remark

A non-associative ring may well have associativiy, i.e. it may be in the image of the forgetful functor from associative rings to nonassociative rings. But if so, then this element is still not part of the defining data and in particular a homomorphism of non-associative rings need not to preserve associativity.

Properties

For any nonassociative commutative ring RR, a non-associative commutative ring extension (in the sense of field extension) of RR is just a RR-nonassociative algebra.

Examples

Examples include Lie rings and nonassociative algebras such as alternative algebras.

Last revised on August 21, 2024 at 02:37:58. See the history of this page for a list of all contributions to it.