5.18.2 Tensor Product Ring Scalar Action

Tensor Product Ring Scalar Action is the precise way in which elements of the base ring R act on the tensor product M ⊗_R N of two R-modules, generalizing the scalar multiplication familiar from the vector space case while accounting for the additional subtleties that arise when R is not commutative or when M and N carry module structures on different sides. Understanding this action correctly is essential because it determines whether M ⊗_R N itself inherits a module structure over R, or only over a smaller or different ring, depending on exactly how the ring elements are permitted to act on each factor.

The Scalar Action in the Commutative Case

Uniform Action from Either Side

When R is commutative, M and N are simply R-modules without distinguishing left or right actions, and the ring action on M ⊗_R N is defined consistently by:

extended by linearity to all of M ⊗_R N. This is exactly the homogeneity relation used in the general construction, now interpreted with r drawn from a commutative ring rather than a field.

Well-Definedness of This Action

That this scalar action is well-defined, meaning independent of the chosen formal-sum representative, follows from the same representative-independence argument used in the field case: because the action respects the generating relations of the relation submodule, it descends consistently to the quotient.

Complications in the Noncommutative Case

Left and Right Module Requirements

When R is noncommutative, forming M ⊗_R N requires M to be a right R-module and N to be a left R-module, with the tensor product relation additionally including the identity (mr) ⊗ n = m ⊗ (rn) for r ∈ R, ensuring the ring's action is correctly threaded through the middle of the tensor symbol.

Loss of a Natural R-Module Structure

Unlike the commutative case, the resulting tensor product M ⊗_R N in the noncommutative setting is generally only an abelian group, since there is no automatic way to define a left or right R-action on the result unless M or N carries an additional bimodule structure, meaning it is simultaneously a module over R on one side and over another ring S on the other.

Bimodules and Recovering a Ring Action

The Bimodule Resolution

If M is an (S, R)-bimodule, meaning a left S-module and right R-module with compatible actions, then M ⊗_R N inherits a left S-module structure, given by s(m ⊗ n) = (sm) ⊗ n, restoring a genuine module structure on the tensor product even in the noncommutative setting.

Example: Matrix Rings Acting on Tensor Products

If M is a bimodule of matrices linking two noncommutative rings, tensoring M with a right R-module N produces a module over the other ring in the bimodule pair, a construction used extensively in representation theory to transport modules between related rings via what is called extension or restriction of scalars through bimodules.

Diagram of the Scalar Action Threading Through the Tensor

Comparing to the Field Case

The Field Case as a Degenerate Special Instance

Since a field is always commutative, the left-versus-right module distinction never arises when R is a field, and every module (vector space) automatically carries a two-sided scalar action, which is why the ring scalar action subtleties described here are invisible in the ordinary vector space treatment of the tensor product.

Isolating Exactly What Generalizes and What Does Not

The uniform, side-independent scalar action familiar from vector spaces generalizes cleanly to tensor products over commutative rings, but requires the additional bimodule machinery described above to generalize to the fully noncommutative setting, marking a genuine increase in complexity beyond the field context.

Broader Significance

Foundation for Representation Theory

The ring scalar action on tensor products, particularly via bimodules, underlies fundamental constructions in representation theory, such as inducing a representation of a subgroup up to a representation of the full group, which is formally realized as a tensor product over the subgroup's group ring using an appropriate bimodule.

Guiding Correct Use of Tensor Products in Noncommutative Algebra

Recognizing precisely how the ring scalar action is defined, and under what hypotheses a genuine module structure survives on the tensor product, prevents common errors in noncommutative algebra where a tensor product is mistakenly treated as inheriting a two-sided ring action without the necessary bimodule justification.