Tensor Products and Exterior Algebra

The tensor product $V \otimes W$ is the universal target for bilinear maps out of $V \times W$ , linearizing multilinearity; the exterior algebra $Λ (V) = ⨁_{k} Λ^{k} V$ is the quotient of the tensor algebra by the ideal generated by $v \otimes v$ , encoding antisymmetric (alternating) multilinear structure. Key result: $dim Λ^{k} V = (n n)$ ... more precisely $(k n)$ for $dim V = n$ , and the top power $Λ^{n} V$ is one-dimensional — the home of the determinant. Used everywhere: differential forms, determinants, orientation, cohomology, spinors, Plücker coordinates. Foundations laid by Grassmann (1844) and Cartan (1899).

Given vector spaces $V, W$ over a field $k$ , the tensor product $V \otimes_{k} W$ is a vector space equipped with a bilinear map $\otimes : V \times W \to V \otimes W$ that is universal: every bilinear map factors uniquely through it. This single universal property tames all of multilinear algebra: bilinear forms, linear maps between spaces, change of base ring, and the algebra of differential forms all become instances of one construction. The exterior algebra refines this by imposing the alternating relation $v \land v = 0$ , producing a finite-dimensional graded algebra whose top component encodes volume and orientation. A surprising fact: although $V \otimes W$ has dimension $dim V \cdot dim W$ , the antisymmetric quotient $Λ^{n} V$ for $n = dim V$ collapses to dimension exactly one — so the determinant is forced upon us as the only top-degree alternating invariant.

The Core Insight

Multilinearity is hard; linearity is easy. The tensor product converts a

p

-linear map

V_{1} \times \dots \times V_{p} \to U

into an ordinary linear map

V_{1} \otimes \dots \otimes V_{p} \to U

. The exterior power does the same for alternating multilinear maps. Thus questions about determinants, volumes, and bilinear forms reduce to linear algebra on a (larger, but still linear) space. The universal property — not any explicit formula — is the definition, and every concrete realization (matrices, index notation, basis expansions) is a corollary.

Formal Statement

Tensor Product via Universal Property

Let $V$ , $W$ be vector spaces over a field $k$ . A tensor product of $V$ and $W$ is a pair $(T, \otimes)$ consisting of a $k$ -vector space $T$ and a bilinear map $\otimes : V \times W \to T$ , $(v, w) \mapsto v \otimes w$ , such that for every $k$ -vector space $U$ and every bilinear map $B : V \times W \to U$ there exists a unique linear map $\tilde{B} : T \to U$ with $B = \tilde{B} \circ \otimes$ :

B (v, w) = \tilde{B} (v \otimes w) for all v \in V, w \in W .

⟳This is the factorization condition; uniqueness of

\tilde{B}

is part of the requirement, forcing

{v \otimes w}

to span

T

We write $T = V \otimes_{k} W$ . The elements $v \otimes w$ are called simple (or decomposable) tensors; general elements are finite sums $\sum_{i} v_{i} \otimes w_{i}$ .

Concrete Construction

Let $F (V \times W)$ be the free vector space on the set $V \times W$ (formal $k$ -linear combinations of pairs), and let $R$ be the subspace generated by all elements of the forms

(v_{1} + v_{2}, w) - (v_{1}, w) - (v_{2}, w), (v, w_{1} + w_{2}) - (v, w_{1}) - (v, w_{2}), (λ v, w) - λ (v, w), (v, λ w) - λ (v, w) .

⟳these are exactly the relations that force bilinearity in the quotient.

Then $V \otimes_{k} W := F (V \times W) / R$ , with $v \otimes w := \overline{(v, w)}$ . One checks this satisfies the universal property.

Basis and Dimension

If ${e_{i}}_{i \in I}$ is a basis of $V$ and ${f_{j}}_{j \in J}$ a basis of $W$ , then ${e_{i} \otimes f_{j}}_{(i, j) \in I \times J}$ is a basis of $V \otimes_{k} W$ . In particular, for finite dimensions,

dim_{k} (V \otimes_{k} W) = (dim_{k} V) (dim_{k} W) .

⟳surjectivity follows since simple tensors span; linear independence follows by constructing, for each pair

(i_{0}, j_{0})

, a bilinear functional

V \times W \to k

dual to

e_{i_{0}} \otimes f_{j_{0}}

via coordinate projections.

Tensor Algebra and Exterior Algebra

The tensor algebra of $V$ is the graded associative algebra

T (V) = p \geq 0 ⨁ V^{\otimes p}, V^{\otimes 0} = k, V^{\otimes 1} = V, V^{\otimes p} = p V \otimes \dots \otimes V,

⟳multiplication is concatenation

(α, β) \mapsto α \otimes β

, giving the free associative unital

k

-algebra on

V

Let $I_{\land} \subset T (V)$ be the two-sided ideal generated by all $v \otimes v$ , $v \in V$ . The exterior algebra is the quotient

Λ (V) := T (V) / I_{\land}, Λ^{k} V := V^{\otimes k} / (I_{\land} \cap V^{\otimes k}),

⟳

I_{\land}

is homogeneous (generated in degree 2), so the quotient inherits the grading

Λ (V) = ⨁_{k} Λ^{k} V

with product denoted $\land$ . The defining relation $v \land v = 0$ implies, by polarization,

v \land w = - w \land v (char k \neq = 2), and generally α \land β = (- 1)^{pq} β \land α for α \in Λ^{p}, β \in Λ^{q} .

⟳expand

0 = (v + w) \land (v + w) = v \land v + v \land w + w \land v + w \land w

and cancel the diagonal terms.

Dimension of Exterior Powers

For $dim_{k} V = n$ with basis ${e_{1}, \dots, e_{n}}$ , the set ${e_{i_{1}} \land \dots \land e_{i_{k}} : 1 \leq i_{1} < \dots < i_{k} \leq n}$ is a basis of $Λ^{k} V$ . Hence

dim_{k} Λ^{k} V = (k n), dim_{k} Λ (V) = k = 0 \sum n (k n) = 2^{n},

with

Λ^{k} V = 0

for

k > n

and

dim_{k} Λ^{n} V = 1

⟳antisymmetry lets one reorder any product into increasing index order (up to sign) and kills any product with a repeated index; independence follows from the universal property of

Λ^{k}

applied to coordinate alternating forms.

Universal Property of the Exterior Power

For each $k$ , the map $\land : V^{k} \to Λ^{k} V$ , $(v_{1}, \dots, v_{k}) \mapsto v_{1} \land \dots \land v_{k}$ , is alternating multilinear and universal: for every alternating $k$ -linear map $ω : V^{k} \to U$ there is a unique linear $\tilde{ω} : Λ^{k} V \to U$ with $ω = \tilde{ω} \circ \land$ . Consequently

Alt^{k} (V; U) ≅ Hom_{k} (Λ^{k} V, U), (Λ^{k} V)^{*} ≅ Λ^{k} (V^{*}) ≅ Alt^{k} (V; k) .

⟳alternating maps vanish on the generators

v \otimes v

, hence factor through

T (V) / I_{\land}

in degree

k

Why It Holds / Derivation

Existence, Uniqueness, and the Determinant from $\dim\Lambda^n V = 1$

Step 1 — Existence. Construct

T = F (V \times W) / R

as in [2]. The composite

V \times W \to F (V \times W) \to T

is bilinear because the relations in

R

are precisely the failures of bilinearity. Given any bilinear

B : V \times W \to U

, define

\hat{B} : F (V \times W) \to U

on basis pairs by

\hat{B} (v, w) = B (v, w)

and extend linearly; since

B

is bilinear,

\hat{B}

annihilates

R

, descending to

\tilde{B} : T \to U

. Simple tensors span

T

, so

\tilde{B}

is unique. ∎(existence) Step 2 — Uniqueness up to unique isomorphism. If

(T, \otimes)

and

(T^{'}, \otimes^{'})

both satisfy [1], applying universality to

\otimes^{'}

and

\otimes

yields linear maps

ϕ : T \to T^{'}

ψ : T^{'} \to T

with

ϕ \circ \otimes = \otimes^{'}

ψ \circ \otimes^{'} = \otimes

. Then

ψ ϕ

and

id_{T}

both factor

\otimes

through

T

; uniqueness forces

ψ ϕ = id_{T}

, similarly

ϕ ψ = id_{T^{'}}

. ∎(uniqueness) Step 3 — The exterior power. Repeat with

p

-linear alternating maps and the ideal

I_{\land}

; the relation

v \otimes v \in I_{\land}

is exactly what makes the induced map alternating, giving [8]. Step 4 — Determinant. Take

dim V = n

U = Λ^{n} V ≅ k

(by [7]). For a linear operator

A : V \to V

, the map

(v_{1}, \dots, v_{n}) \mapsto A v_{1} \land \dots \land A v_{n}

is alternating

n

-linear, so it factors as a scalar

det (A)

times

v_{1} \land \dots \land v_{n}

A v_{1} \land \dots \land A v_{n} = det (A) (v_{1} \land \dots \land v_{n}) .

⟳

Λ^{n} A

is an endomorphism of the 1-dimensional space

Λ^{n} V

, hence multiplication by a unique scalar; that scalar is

det A

. Multiplicativity

det (A B) = det A det B

follows from functoriality

Λ^{n} (A B) = Λ^{n} A \circ Λ^{n} B

∎

Hermann Grassmann | 1809–1877

A schoolteacher in Stettin with no university position, Grassmann published Die lineale Ausdehnungslehre (1844) introducing the "extensive quantities" and the alternating "outer product" $a \land b$ that anticipated $Λ (V)$ by decades. The work was so abstract and idiosyncratically philosophical that it was almost completely ignored; frustrated, Grassmann turned to Sanskrit philology, producing a celebrated translation of the Rig-Veda. Only late in his life — and posthumously, through Klein, Élie Cartan, and the rise of vector and tensor calculus — was his exterior algebra recognized as foundational. The wedge symbol and the entire apparatus of differential forms are his intellectual descendants.

Building Intuition

Think of $V \otimes W$ as the space of "formal products" of vectors, where the only rules are those of bilinearity — you may distribute over sums and pull scalars across the $\otimes$ , but you may not swap or simplify further. A simple tensor $v \otimes w$ is like a rank-one matrix $v w^{⊤}$ ; a general tensor is a sum of such, i.e. an arbitrary matrix (this is literally true: $V \otimes W^{*} ≅ Hom (W, V)$ ).

For the exterior algebra, picture $v \land w$ as the oriented parallelogram spanned by $v$ and $w$ : swapping the vectors reverses orientation (hence the minus sign), and a "degenerate parallelogram" with $v \land v$ has zero area. Then $v_{1} \land \dots \land v_{k}$ is an oriented $k$ -dimensional volume element, and $Λ^{n} V$ being one-dimensional says all top-dimensional oriented volumes are scalar multiples of one another — that scalar is the determinant.

Geometric meaning of $v\wedge w$ as oriented area; swapping vectors flips sign

How a physicist reads this | tensors in relativity

In physics, an element of $V^{\otimes p} \otimes (V^{*})^{\otimes q}$ is a type- $(p, q)$ tensor with $p$ contravariant (upper) and $q$ covariant (lower) indices, e.g. the metric $g_{μν}$ ( $\in (V^{*})^{\otimes 2}$ ) or the Riemann tensor $R^{ρ}_{σ μν}$ . Contraction is the natural pairing $V \otimes V^{*} \to k$ . Antisymmetric tensors are differential forms: the electromagnetic field $F = F_{μν} d x^{μ} \land d x^{ν} \in Λ^{2}$ , and Maxwell's equations become $d F = 0$ , $d ⋆ F = J$ . The exterior derivative, Hodge star, and integration of forms over manifolds are all built on this algebra — index gymnastics is just bookkeeping for tensor and exterior products.

Worked Examples

Tensor product of two operators — Kronecker product

Given:

V = W = R^{2}

with standard basis

e_{1}, e_{2}

. Let

A = (1023)

B = (0110)

. Compute

A \otimes B

acting on

R^{2} \otimes R^{2} ≅ R^{4}

with ordered basis

e_{1} \otimes e_{1}, e_{1} \otimes e_{2}, e_{2} \otimes e_{1}, e_{2} \otimes e_{2}

. Steps: The action is

(A \otimes B) (u \otimes v) = A u \otimes B v

. In matrix form this is the Kronecker product, replacing each entry

A_{ij}

by the block

A_{ij} B

A \otimes B = (1 \cdot B 0 \cdot B 2 \cdot B 3 \cdot B) = 0100100002032030 .

⟳expand

(A \otimes B) (e_{j} \otimes e_{ℓ}) = \sum_{i, k} A_{ij} B_{k ℓ} (e_{i} \otimes e_{k})

and read off columns.

Check eigenvalues: $det (A \otimes B) = (det A)^{2} (det B)^{2} = 3^{2} \cdot (- 1)^{2} = 9$ . Direct $4 \times 4$ determinant: expanding gives $9$ . ✓

Answer:

A \otimes B = 0100100002032030, det (A \otimes B) = 9.

Wedge products and a determinant in $\Lambda^3 \mathbb{R}^3$

Given:

u = (1, 2, 0)

v = (0, 1, 3)

w = (2, 0, 1)

R^{3}

with basis

e_{1}, e_{2}, e_{3}

. Compute

u \land v \land w

Λ^{3} R^{3}

(a 1-dimensional space spanned by

e_{1} \land e_{2} \land e_{3}

). Steps: Expand multilinearly and use antisymmetry. Only the term picking distinct basis vectors in increasing order survives, scaled by the determinant of coordinates:

u \land v \land w = det 102210031 (e_{1} \land e_{2} \land e_{3}) .

⟳by [9] with the standard volume form, the coefficient is exactly

det

of the matrix whose rows are

u, v, w

Compute the determinant: $1 (1 \cdot 1 - 3 \cdot 0) - 2 (0 \cdot 1 - 3 \cdot 2) + 0 = 1 (1) - 2 (- 6) = 1 + 12 = 13$ .

Answer:

u \land v \land w = 13 (e_{1} \land e_{2} \land e_{3}),

so the three vectors span an oriented parallelepiped of (signed) volume

13

, positively oriented.

Common Misconceptions

Not every tensor is simple. A generic element of

V \otimes W

is a sum

\sum_{i} v_{i} \otimes w_{i}

and cannot be written as a single

v \otimes w

. The minimal number of simple terms needed is the tensor rank (= matrix rank under

V \otimes W^{*} ≅ Hom (W, V)

). For

\geq 3

factors, computing tensor rank is NP-hard, and rank can even jump under limits (border rank). Treating

V \otimes W

as merely "pairs

(v, w)

" is wrong — it is the span of such pairs modulo bilinearity. $\otimes$ is not commutative on the nose. There is a canonical isomorphism

V \otimes W ≅ W \otimes V

, but they are not literally equal, and the swap

v \otimes w \mapsto w \otimes v

matters (e.g. it introduces signs in the graded/super setting). $v \land w = 0$ does NOT mean $v = 0$ or $w = 0$ . In

Λ^{2} R^{3}

, take

v = (1, 0, 0)

and

w = (2, 0, 0) = 2 v

. Then

v \land w = v \land (2 v) = 2 (v \land v) = 0,

⟳parallel vectors span a degenerate (zero-area) parallelogram.

even though both vectors are nonzero. In general $v_{1} \land \dots \land v_{k} = 0$ iff the $v_{i}$ are linearly dependent. This is exactly why exterior algebra detects independence/rank — and why it underlies Plücker embeddings of Grassmannians. (Contrast: in $V \otimes V$ , $v \otimes w = 0$ does require $v = 0$ or $w = 0$ .)

Characteristic 2 subtlety. The relation defining

Λ (V)

v \land v = 0

, which implies antisymmetry

v \land w = - w \land v

. But in characteristic 2, "

- 1 = 1

", so antisymmetry alone (the alternating-sign condition) is weaker than

v \land v = 0

(the alternating condition). Always define

Λ (V)

by the ideal generated by

v \otimes v

, never merely by antisymmetry, to get the correct theory in all characteristics.

Connections

The tensor product is the engine behind a web of canonical isomorphisms (all natural): $V^{*} \otimes W ≅ Hom (V, W)$ for finite-dimensional $V$ ; $(V \otimes W)^{*} ≅ V^{*} \otimes W^{*}$ ; and $Hom (V \otimes W, U) ≅ Bil (V \times W; U)$ . It makes the category of vector spaces a Symmetric Monoidal Category, with $\otimes$ as the monoidal product and $k$ as the unit. The symmetric algebra $S (V) = T (V) / (v \otimes w - w \otimes v)$ is the commutative cousin of $Λ (V)$ ; together they give the decomposition $V \otimes V ≅ S^{2} V \oplus Λ^{2} V$ (in char $\neq = 2$ ). Exterior powers feed directly into Differential Forms, de Rham Cohomology, and the Hodge Star Operator; the determinant construction connects to Characteristic Polynomial and Orientation. Over rings rather than fields, $\otimes_{R}$ becomes the central operation of Homological Algebra (Tor functors measure its failure of exactness).

Real-World Applications

Quantum mechanics — composite systems. The state space of two particles is $H_{1} \otimes H_{2}$ ; entangled states are precisely the non-simple tensors. The Schmidt rank quantifies entanglement.
Quantum computing. An $n$ -qubit register lives in $(C^{2})^{\otimes n} ≅ C^{2^{n}}$ ; gates are tensor products of operators (Kronecker products), explaining exponential state-space growth.
General relativity & continuum mechanics. Metric, curvature, and stress tensors are elements of tensor spaces; the electromagnetic field strength $F \in Λ^{2}$ and Maxwell's equations $d F = 0, d ⋆ F = J$ use exterior algebra directly.
Computer graphics & geometry. Determinants (top wedge) compute oriented volumes, surface normals via $u \land v$ (cross product is $⋆ (u \land v)$ in $R^{3}$ ), and orientation tests for rendering and collision.
Machine learning. Tensor decompositions (CP, Tucker) compress high-dimensional data and parametrize multilinear models; attention mechanisms and neural-net weights are manipulated as tensors.
Algebraic geometry — Plücker embeddings. Grassmannians $Gr (k, n)$ embed in $P (Λ^{k} k^{n})$ via $span (v_{1}, \dots, v_{k}) \mapsto [v_{1} \land \dots \land v_{k}]$ , with the Plücker relations cutting them out.
Particle physics — spinors and Clifford algebras. The exterior algebra $Λ (V)$ with a quadratic form deforms into the Clifford algebra, underlying the Dirac equation and fermionic statistics (Grassmann/anticommuting variables in QFT path integrals).

Historical Development

1844 — Hermann Grassmann publishes Die lineale Ausdehnungslehre, introducing the alternating "outer product" and $n$ -dimensional linear algebra, decades ahead of its time and largely ignored.
1862 — Grassmann issues a rewritten, more accessible second edition; still little recognized in his lifetime.
1878 — William Kingdon Clifford fuses Grassmann's exterior algebra with Hamilton's quaternions into the Clifford (geometric) algebra.
1884–1898 — Gregorio Ricci-Curbastro develops the "absolute differential calculus" (tensor calculus), with Levi-Civita; tensors gain systematic index notation.
1899 — Élie Cartan introduces the exterior derivative and the calculus of differential forms, building global analysis on the exterior algebra.
1916 — Einstein's general relativity makes tensor calculus indispensable to physics, popularizing the framework worldwide.
1930s–40s — Bourbaki and Hassler Whitney formalize the tensor product via its universal property, embedding it in modern abstract algebra and category theory.
1945 — Eilenberg–Mac Lane found category theory; the tensor product is later recognized as the prototypical monoidal structure (1963, Bénabou/Mac Lane).
1957 onward — Tensor and Tor functors become central to Cartan–Eilenberg homological algebra; tensor decompositions later become workhorses in numerical analysis and data science.

Subtleties & Limits

Over a field, $V \otimes W$ is well-behaved, but several deep difficulties persist in richer settings:

Tensor rank is hard. Determining the rank of a 3-tensor is NP-hard (Håstad), and the border rank can be strictly smaller than the rank — the set of rank- $\leq r$ tensors need not be closed. The exact rank of matrix multiplication (the exponent $ω$ of matrix-multiplication complexity, $2 \leq ω < 2.372$ ) is a famous open problem phrased entirely in terms of tensor rank.
Non-flatness over rings. For modules over a commutative ring $R$ , $- \otimes_{R} M$ need not preserve injections; the failure is measured by $Tor_{i}^{R}$ . Determining when modules are flat is subtle and central to algebraic geometry.
Tensor products of infinite-dimensional / topological spaces require completions (projective vs. injective tensor products of Banach spaces — Grothendieck's theory), and these need not coincide.
Functoriality of $Λ^{k}$ and splitting of $V^{\otimes p}$ into irreducible $G L (V)$ - and $S_{p}$ -representations is governed by Schur–Weyl duality and Young tableaux — combinatorially intricate and an active research area in representation theory.