加群のテンソル積
任意個の空間のテンソル積に定義を一般化することが可能である。例えば、
M1 ⊗ M2 ⊗ M3
の普遍性は
M1 × M2 × M3 → Z
上の各三重線型写像は一意的な線型写像
M1 ⊗ M2 ⊗ M3 → Z.
に対応することである。二項テンソル積は結合的である: (M1 ⊗ M2) ⊗ M3 は M1 ⊗ (M2 ⊗ M3) に自然に同型である。三重線型写像の普遍性で定義された 3 つの加群のテンソル積はこれらの繰り返しのテンソル積の両方に同型である。