# Algebra (ring theory)

In mathematics, specifically in ring theory, an **algebra over a commutative ring** is a generalization of the concept of an algebra over a field, where the base field *K* is replaced by a commutative ring *R*.

In this article, all rings are assumed to be unital.

## Formal definition

Let *R* be a commutative ring. An *R*-algebra is an *R*-module *A* together with a binary operation [·, ·]

called *A*-**multiplication**, which satisfies the following axiom:

## Example

### Split-biquaternions

The split-biquatuernions are an example of an algebra over a ring that is not a field.

The base ring of the split-biquaternions is the ring of split-complex numbers (or hyperbolic numbers, also perplex numbers), which are a two-dimensional commutative algebra over the real numbers different from the complex numbers. Every split-complex number has the form

*x*+*y**j*,

where *x* and *y* are real numbers. The number *j* is similar to the imaginary unit *i*, except that

*j*^{2}= +1.

A **split-biquaternion** is a hypercomplex number of the form

where *w*, *x*, *y*, and *z* are split-complex numbers and i, j, and k multiply as in the quaternion group. Since each coefficient *w*, *x*, *y*, *z* spans two real dimensions, the split-biquaternion is an element of an eight-dimensional vector space. Considering that it carries a multiplication, this vector space is an algebra over the real field, or an algebra over a ring where the split-complex numbers form the ring. This algebra was introduced by William Kingdon Clifford in an 1873 article for the London Mathematical Society. It has been repeatedly noted in mathematical literature since then, variously as a deviation in terminology, an illustration of the tensor product of algebras, and as an illustration of the direct sum of algebras.

## Associative algebras

{{#invoke:main|main}}
If *A* is a monoid under *A*-multiplication (it satisfies associativity and it has an identity), then the *R*-algebra is called an associative algebra. An associative algebra forms a ring over *R* and provides a generalization of a ring. An equivalent definition of an associative *R*-algebra is a ring homomorphism such that the image of *f* is contained in the center of *A*.

If the ring *B* is a commutative ring, a simpler, alternative definition is: Given a ring homomorphism we say that *B* is an *A*-algebra.^{[1]}

A ring homomorphism shall always map the identity of *A* to the identity of *B*. We also say that *B*/*A* is an algebra over A given by . Every ring is a -algebra.^{[2]}

## Non-associative algebras

{{#invoke:main|main}}
A non-associative algebraTemplate:Sfn (or **distributive algebra**) over a field (or a commutative ring) *K* is a *K*-vector space (or more generally a moduleTemplate:Sfn) *A* equipped with a *K*-bilinear map *A* × *A* → *A* which establishes a binary multiplication operation on *A*. Since it is not assumed that the multiplication is associative, using parentheses to indicate the order of multiplications is necessary. For example, the expressions (*ab*)(*cd*), (*a*(*bc*))*d* and *a*(*b*(*cd*)) may all yield different answers.

## See also

- Abelian algebra
- Algebraic structure (a much more general term)
- Associative algebra
- Coalgebra
- Graded algebra
- Lie algebra
- Semiring
- Split-biquaternion (example)
- Example of a non-associative algebra (example)

## References

## Further reading

- Template:Lang Algebra
- {{#invoke:citation/CS1|citation

|CitationClass=citation }}