5.18.3 Tensor Product Balanced Relation

Tensor Product Balanced Relation is the specific identity (mr) ⊗ n = m ⊗ (rn), holding for a right R-module M, a left R-module N, and any ring element r ∈ R, which characterizes what it means for a biadditive map, or for the canonical tensor map itself, to be "balanced" over the middle ring R. This relation is the ring-theoretic generalization of the homogeneity relation from the vector space case, and its name reflects the fact that it balances the action of R between the two module factors, letting a ring element move from acting on the right of M to acting on the left of N without changing the value of the pairing.

Formal Statement of the Balanced Relation

The Defining Identity

For a right R-module M and a left R-module N, a biadditive map β: M × N → P into an abelian group P is called R-balanced if:

for every m ∈ M, n ∈ N, and r ∈ R. The canonical map ⊗: M × N → M ⊗_R N is itself the prototypical example of a balanced map, satisfying this identity by construction.

Distinguishing Balanced from Merely Biadditive

A map that is biadditive, additive in each argument separately, but does not satisfy the balanced identity fails to respect the ring's action correctly and generally does not factor through M ⊗_R N; balancedness is the additional condition, beyond biadditivity, that connects the map specifically to the ring R rather than treating M × N as merely a product of abelian groups.

The Balanced Relation in the Construction of the Tensor Product

Encoding Balance as a Relation to Quotient By

In building M ⊗_R N from the free abelian group on M × N, the balanced relation is imposed alongside additivity by including in the relation subgroup every element of the form:

Quotienting by this, together with the additivity relations, produces exactly M ⊗_R N, with the resulting canonical map being both biadditive and balanced.

Universal Property Restated for Balanced Maps

The universal property of M ⊗_R N can now be stated precisely: every R-balanced biadditive map β: M × N → P factors uniquely through a group homomorphism f: M ⊗_R N → P satisfying f(m ⊗ n) = β(m, n), mirroring the vector space universal property with "bilinear" replaced by "biadditive and balanced."

Why Balance Is the Correct Generalization of Bilinearity

Homogeneity as a Special Case of Balance

When R is a commutative ring (or a field), the left and right module structures on M and N coincide, and the balanced relation (mr) ⊗ n = m ⊗ (rn) reduces exactly to the familiar homogeneity identity (rm) ⊗ n = m ⊗ (rn) from the vector space case, confirming that balance is the appropriate noncommutative generalization rather than an unrelated new condition.

Balance Accommodates One-Sided Module Structures

In the fully general noncommutative setting, M need only be a right module and N a left module, with no requirement that either carry a two-sided action; the balanced relation is precisely the minimal condition needed to make sense of "moving r across the tensor symbol" under these asymmetric hypotheses.

Diagram of the Balanced Relation

Verifying Balance for Candidate Maps

Practical Check on Generators

Verifying that a proposed map β is balanced requires checking the identity β(mr, n) = β(m, rn) for all r ∈ R, in addition to the separate additivity checks in each argument; because balance is an identity rather than a structural property, it typically must be verified directly from the formula defining β.

Consequence for the Induced Map

If a biadditive map fails to be balanced, the naive attempt to define f(m ⊗ n) = β(m, n) on the tensor product will not be well-defined, since the relation (mr) ⊗ n = m ⊗ (rn) in M ⊗_R N would force β(mr, n) = β(m, rn) for consistency, a requirement violated exactly when balance fails.

Broader Significance

Central Role in Defining Tensor Products of Modules

The balanced relation is not a peripheral technical detail but the defining feature that distinguishes the tensor product of modules over a ring R from the simpler tensor product of the underlying abelian groups over ℤ; without imposing balance, one would only recover M ⊗_ℤ N, discarding the additional structure that R provides.

Terminology Consistency Across Algebra

The term "balanced map" appears consistently throughout module theory and homological algebra wherever tensor products over noncommutative rings are discussed, making recognition of this specific relation and its role a prerequisite for reading more advanced treatments of tensor products, derived functors, and bimodule theory.