+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: MATHEMATICS (https://mklab.gr/forumdisplay.php?fid=3)
+---- Forum: ARTICLES (https://mklab.gr/forumdisplay.php?fid=13)
+----- Forum: ALGEBRA (https://mklab.gr/forumdisplay.php?fid=147)
+----- Thread: Associative algebra (/showthread.php?tid=1776)
Associative algebra - mklabgr - 09-01-2026
Associative Algebra — Summary
An associative algebra over a commutative ring $R$—often over a field $K$—is an algebraic structure that combines the properties of a ring with those of an $R$-module or vector space. It has addition, multiplication, and scalar multiplication, with multiplication required to be associative: $(xy)z=x(yz)$. The scalar multiplication must also be compatible with multiplication, so that $r(xy)=(rx)y=x(ry)$ for $r\in R$. Equivalently, an associative $R$-algebra can be described as a ring $A$ together with a ring homomorphism $R\to Z(A)$ into the center of $A$. The standard example is the algebra $M_n(K)$ of $n\times n$ matrices over a field $K$: matrix multiplication is associative, although generally not commutative.
Associative algebras occur throughout mathematics. Polynomial rings $R[x_1,\ldots,x_n]$ are commutative associative algebras; the complex numbers $\mathbb C$ form a $2$-dimensional algebra over $\mathbb R$; and the quaternions form a $4$-dimensional associative but noncommutative real algebra. Other important examples include group algebras, tensor algebras, universal enveloping algebras, algebras of linear operators on Banach spaces, Clifford algebras, and various algebras arising in combinatorics and mathematical physics. Associative algebras can also be manipulated through familiar constructions such as subalgebras, quotient algebras, direct products and tensor products $A\otimes_R B$.
The theory becomes especially powerful for finite-dimensional algebras over a field. Such an algebra is automatically an Artinian ring, which makes its structure much more manageable. In the noncommutative semisimple case, the Artin–Wedderburn theorem states that the algebra decomposes into a finite product of matrix algebras over division algebras, schematically $A\cong\prod_i M_{n_i}(D_i)$. This illustrates why associative algebras serve as a unifying framework connecting linear algebra, ring theory, representation theory, algebraic geometry, functional analysis and mathematical physics.
Key Takeaways
- Core idea: an associative algebra combines a ring with a module/vector-space structure while satisfying $(xy)z=x(yz)$ and compatibility with scalar multiplication.
- Important examples: matrix algebras, polynomial rings, $\mathbb C$, quaternions, group algebras, tensor algebras and algebras of linear operators.
- Noncommutative multiplication is allowed: associativity does not require $xy=yx$; matrix algebras and quaternions are fundamental examples.
- Significance: associative algebras provide a common language for studying structures across algebra, representation theory, geometry, analysis and mathematical physics.
ARTICLE