Skip to content

Algebra over a Ring

An R-module equipped with an R-bilinear internal multiplication, with associativity, unity, and commutativity imposed only at the explicitly declared convention tier.

Version
v2 · 2026-09-19 · History
Domain-specific #
1259
Domain group
Formal Sciences
Origin domain
Mathematics
Aliases
R-algebra, Algebra over R

Core Idea

Let \(R\) be a commutative ring. An algebra over \(R\), in the broad bilinear sense used here, is an \(R\)-module \(A\) equipped with an internal multiplication

\[ \mu:A\times A\longrightarrow A, \]

that is \(R\)-bilinear. Thus multiplication distributes over addition in each input and is compatible with scalar multiplication:

\[ (a+a')b=ab+a'b,\quad a(b+b')=ab+ab',\quad (ra)b=r(ab)=a(rb). \]

The multiplication may then be required to be associative, unital, commutative, Lie, Jordan, alternative, or subject to another identity. These properties are convention tiers, not consequences of bilinearity.

How would you explain it like I'm…

The Add, Stretch, and Multiply Box

An algebra over a ring is a box of things you can do three jobs with: add them together, stretch them by numbers from a chosen number system, and multiply them together. The special part is that multiplying plays fair with adding and stretching, so it doesn't matter whether you stretch before or after you multiply.

Add, Scale, and Multiply

In math, a 'ring' is a system of numbers where you can add, subtract, and multiply, like the whole numbers. An algebra over a ring is a collection of objects that does three things at once. You can add the objects together. You can scale them by numbers from the ring, like 'three times this object'. And you can multiply two objects to get another object. The multiplication has to get along with the other two: it spreads over addition, and scaling before or after multiplying gives the same result. Extra rules, like whether the order of multiplying matters, are chosen separately.

Module With a Bilinear Product

Start with a commutative ring R, a number system where multiplication commutes. An algebra over R is a set A that is an R-module, meaning you can add elements and multiply them by scalars from R, together with a multiplication A × A → A that is bilinear. Bilinear means the product distributes over addition in each slot and is compatible with scaling: (ra)b = r(ab) = a(rb). Nothing in that basic definition forces the product to be associative, commutative, or to have a 1; those are additional requirements that particular fields of math add on. For example, in commutative algebra an 'R-algebra' usually means an associative ring with 1 plus a ring map from R into its center, while Lie algebras use a product that is not associative at all. For associative unital algebras the two ways of defining it match up. What stays constant is one set that supports both scaling by R and an internal product that respects the scaling.

 

For a commutative ring R, an algebra over R in the broad bilinear sense is an R-module A with an R-bilinear multiplication μ: A × A → A, so (a + a′)b = ab + a′b, a(b + b′) = ab + ab′, and (ra)b = r(ab) = a(rb). Associativity, unitality, commutativity, or identities defining Lie, Jordan, or alternative algebras are additional convention tiers rather than consequences of bilinearity. Nonassociative-algebra literature works with this module-plus-bilinear-product core, whereas commutative algebra and the Stacks Project take an R-algebra to be an associative unital ring A with a unital ring homomorphism R → Z(A). For associative unital A these presentations coincide: a central unital homomorphism η: R → Z(A) defines the scalar action r·a = η(r)a, and conversely a unital module algebra gives η(r) = r·1_A. The recognition invariant is a single carrier supporting linear combination over a declared base together with an internal product compatible with that scalar action, and a reference-grade identification must state which convention tier is in force.

Scope of Application

Algebras over rings organize linear algebra with multiplication. They occur as polynomial, matrix, group, tensor, exterior, Clifford, universal-enveloping, Lie, Jordan, and operator algebras, as coordinate rings in algebraic geometry, and as deformation or representation objects. Changing \(R\) changes what counts as scalar-linear and which scalar extensions are available.

The associative unital tier dominates commutative and noncommutative ring theory. The broader bilinear tier is necessary to state nonassociative families uniformly. The entry therefore does not pretend one convention is universal; it identifies the shared object and requires each use to lock its tier.

Clarity

The concept separates three operations often denoted similarly: addition in \(A\), multiplication by a scalar \(r\in R\), and internal multiplication of \(a,b\in A\). For a polynomial algebra, \(r\cdot f\) uses the structure map while \(fg\) is the internal product. For matrices over \(R\), scalar multiplication scales entries, while matrix multiplication combines rows and columns.

Manages Complexity

The \(R\)-algebra package lets linear and multiplicative reasoning interact. Bilinearity reduces products of sums to products of basis or generating elements. A finite-rank algebra can be encoded by structure constants \(c_{ij}^k\) satisfying

\[ e_i e_j=\sum_k c_{ij}^k e_k, \]

after a basis is chosen. Polynomial identities then become equations among structure constants. In the associative unital tier, ideals, quotients, modules over \(A\), and scalar extension can be developed uniformly.

Abstract Reasoning

Bilinearity is equivalently an \(R\)-linear multiplication map

\[ \widetilde\mu:A\otimes_R A\to A, \]

by the tensor product's universal property. Associativity becomes equality of the composites \(\widetilde\mu\circ(\widetilde\mu\otimes1)\) and \(\widetilde\mu\circ(1\otimes\widetilde\mu)\) on \(A\otimes_R A\otimes_R A\). A unit is a map \(R\to A\) satisfying the left and right unit diagrams. This formulation separates the common bilinear core from optional axioms.

Knowledge Transfer

Literal transfer occurs whenever new products are built on modules: matrix multiplication, polynomial multiplication, Lie brackets, tensor-algebra concatenation, and cross products can all be tested against the same base/module/bilinearity roles. Once the tier is fixed, homomorphism, subalgebra, quotient, and scalar-extension reasoning can transfer.

The strongest parent-prime residue is Linearity: multiplication respects superposition in each input. Closure, Composition, and Associativity may be related, but associativity is optional at the broad tier. Calling a business organization an “algebra” because activities combine is metaphor unless a genuine module and bilinear product are present.

Relationships to Other Abstractions

Local relationship map for Algebra over a RingParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Algebra over a RingDOMAINPrime abstraction: Linearity — presupposesLinearityPRIMEDomain-specific abstraction: Differential Calculus over Commutative Algebras — presupposesDifferential Ca…DOMAINDomain-specific abstraction: Associative algebra — is a kind ofAssociativealgebraDOMAINDomain-specific abstraction: Banach Algebra — is a kind ofBanach AlgebraDOMAINDomain-specific abstraction: Cohomology Ring — is a kind ofCohomology RingDOMAINDomain-specific abstraction: Composition Algebra — is a kind ofCompositionAlgebraDOMAINDomain-specific abstraction: Division Algebra — is a kind of, conditionalDivision AlgebraDOMAINDomain-specific abstraction: Finite algebra — is a kind ofFinite algebraDOMAINDomain-specific abstraction: Nilpotent algebra — is a kind ofNilpotentalgebraDOMAINDomain-specific abstraction: Quantum Cohomology — is a kind ofQuantumCohomologyDOMAINDomain-specific abstraction: Tensor product of fields — is a kind ofTensor productof fieldsDOMAIN

Current abstraction Algebra over a Ring Domain-specific

Parents (1) — outgoing typed relations

  • Algebra over a Ring presupposes Linearity Prime

    Algebra over a Ring presupposes Linearity because its multiplication is linear separately in both arguments.

Children (10) — abstractions linked here by typed relations

  • Associative algebra Domain-specific is a kind of Algebra over a Ring

    Associative algebra is a domain-specific kind of Algebra over a Ring: An algebra over a commutative ring whose internal multiplication satisfies associativity.

  • Banach Algebra Domain-specific is a kind of Algebra over a Ring

    A Banach algebra is an algebra over the real or complex scalars with a compatible complete norm.

  • Cohomology Ring Domain-specific is a kind of Algebra over a Ring

    A Cohomology Ring is an Algebra over a Ring whose graded module is cohomology and whose internal multiplication is the cup product.

  • Composition Algebra Domain-specific is a kind of Algebra over a Ring

    A composition algebra is a bilinear algebra enriched by a multiplicative quadratic form.

  • Division Algebra Domain-specific is a kind of, conditional Algebra over a Ring

    A division algebra is an algebra over its base field, hence over a ring, with uniquely solvable nonzero left and right division.

    Condition / exception The scalar ring is the declared base field, and left and right multiplication by every nonzero element must be bijective; associativity is not universal.

Hierarchy path (1) — routes to 1 parentless root

  • Algebra over a Ring → presupposes Linearity

Neighborhood in Abstraction Space

Algebra over a Ring sits in a moderately populated region (57th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25