In mathematics, an associative algebra A is an associative ring that has a compatible structure of a vector space over a certain field K or, more generally, of a module over a commutative ring R. Thus A is endowed with binary operations of addition and multiplication satisfying a number of axioms, including associativity of multiplication and distributivity, as well as compatible multiplication by the elements of the field K or the ring R.
In some areas of mathematics, associative algebras are typically assumed to have a multiplicative unit, denoted 1. To make this extra assumption clear, these associative algebras are called unital algebras.
Contents
Formal definition
Let R be a fixed commutative ring. An associative Ralgebra is an additive abelian group A which has the structure of both a ring and an Rmodule in such a way that ring multiplication is Rbilinear:
for all r ∈ R and x, y ∈ A. We say A is unital if it contains an element 1 such that
for all x ∈ A.
If A itself is commutative (as a ring) then it is called a commutative Ralgebra.
From Rmodules
Starting with an Rmodule A, we get an associative Ralgebra by equipping A with an Rbilinear mapping A × A → A such that
for all x, y, and z in A. This Rbilinear mapping then gives A the structure of a ring and an associative Ralgebra. Every associative Ralgebra arises this way.
Moreover, the algebra A built this way will be unital if and only if
This definition is equivalent to the statement that a unital associative Ralgebra is a monoid in RMod (the monoidal category of Rmodules).
Full article ▸
