An algebra A over a commutative ring (often a field) that is simultaneously a module over that ring and a ring whose multiplication is associative and bilinear with respect to the scalar action; unital or nonunital variants occur.

Principle

Compatibility of two structures: ring multiplication must be bilinear with the module structure so that scalar multiplication commutes with algebra multiplication and associativity holds for the product.

Demonstration

The matrix algebra M_n(F) over a field F is an associative unital algebra; the polynomial algebra F[x] and group algebras F[G] are standard examples. For instance, matrix multiplication is associative and scalar multiplication distributes across entries.

Misapplication

Assuming an associative algebra is commutative (e.g., treating M_n(F) as if ab = ba) or assuming inverses exist for noninvertible elements. Treating a Lie bracket as associative multiplication without verification is also incorrect.

Consequence

Associative algebras admit module representations, ideals and centers control structure, and techniques from ring theory (idempotents, radicals) classify and decompose them; representation theory turns algebra elements into linear operators.

Reversal

Replace multiplication by a nonassociative product (e.g., Lie bracket): many ring-theoretic tools relying on associativity (factorization, module actions via algebra maps) no longer apply directly.

Boundary

Requires an underlying commutative scalar ring and associative multiplication; excludes purely nonassociative algebras (Jordan, Lie unless derived from commutator) and structures without a compatible module action.

Semantic Tension

Associative algebra vs algebraic ring: the term overlaps with 'ring' but emphasizes the module/linear structure over a base ring; associative algebra vs Lie algebra: the latter uses an antisymmetric nonassociative bracket often derived from commutators in associative contexts.

Synthesis

An associative algebra is a ring with linear (module) structure over a base ring so that its product is bilinear and associative, providing a unified setting for representing algebra elements as linear operators and applying ring-theoretic decomposition methods.