5.25.5 Tensor Product Algebra Boundary

The Tensor Product Algebra Boundary defines limits in tensor product spaces, shaping structure and operations within multilinear algebra frameworks.

Tensor Product Algebra Boundary is the demarcation between what tensor product theory itself supplies — the vector space A ⊗ B and its linear structure — and the additional multiplicative structure introduced when A and B are themselves algebras, giving A ⊗ B a ring multiplication (a ⊗ b)(a′ ⊗ b′) = aa′ ⊗ bb′ that turns it into the tensor product algebra. This boundary marks where tensor product theory, which is purely about vector spaces and linear maps, ends and the theory of algebras and their tensor products, which additionally requires verifying that a multiplication is well-defined, associative, and unital, begins.

What Tensor Product Theory Alone Provides

The Bare Vector Space

Given two algebras A and B over a field F, tensor product theory by itself constructs only the vector space A ⊗ B, with dimension dim(A)·dim(B) and the basis {aᵢ ⊗ bⱼ} inherited from bases of A and B; nothing in this construction refers to the multiplications already present on A and B.

The Additional Ingredient: A Multiplication Rule

The algebra structure on A ⊗ B is added on top, defining a product

(a \otimes b) (a^{'} \otimes b^{'}) = (a a^{'}) \otimes (b b^{'})

on simple tensors, extended by bilinearity to all of A ⊗ B; this rule uses the multiplications of A and B explicitly, information entirely absent from the underlying vector-space-level tensor product construction.

Diagram of the Boundary

Verification Work That Lies Beyond the Boundary

Well-Definedness of the Product

Confirming that the multiplication rule on simple tensors extends to a well-defined bilinear operation on all of A ⊗ B requires an argument via the universal property (fixing one pair of algebra elements and using bilinearity in the others), a verification step specific to algebra theory and not addressed by the vector-space-level universal property alone.

Associativity and Unit

Showing ((a⊗b)(a′⊗b′))(a″⊗b″) = (a⊗b)((a′⊗b′)(a″⊗b″)) and that 1_A ⊗ 1_B acts as a multiplicative identity are both consequences of the corresponding properties already holding in A and B individually, but they are properties of the algebra structure specifically, with no counterpart in the purely linear tensor product theory of vector spaces.

Non-Commutativity and the Algebra-Specific Subtleties

Order of Multiplication Within Each Factor Matters

If A or B is noncommutative, the tensor product algebra A ⊗ B is generally noncommutative as well, and the multiplication rule must respect the order of multiplication within each factor exactly as given; this is a genuinely algebra-theoretic concern, since the vector-space tensor product itself has no notion of "order of multiplication" to preserve.

Compatibility with Algebra Homomorphisms

The tensor product of two algebra homomorphisms φ : A → A′ and ψ : B → B′ is again an algebra homomorphism φ ⊗ ψ : A ⊗ B → A′ ⊗ B′, a fact requiring separate verification that φ ⊗ ψ respects the newly introduced multiplication, beyond the purely linear naturality of the tensor product of linear maps already established at the vector-space level.

Where the Two Theories Meet

Tensor Product Theory as Strict Prerequisite

Every construction in the tensor product algebra boundary discussion — the vector space A ⊗ B itself, the tensor product of the underlying linear maps φ and ψ, the dimension formula — is inherited unmodified from tensor product theory; algebra theory adds a multiplication on top without altering any of the linear-algebraic facts already established.

A Template for Adding Structure to the Tensor Product

The tensor product algebra boundary exemplifies a general pattern seen elsewhere in adjacent boundaries (representation theory, symmetric algebra): tensor product theory supplies an underlying vector space and its linear-algebraic properties, while a further theory adds compatible extra structure (a group action, a multiplication, a grading) that must itself be separately defined and verified.

Significance of the Algebra Boundary

Keeping the Base Theory Free of Multiplicative Assumptions

Marking this boundary keeps tensor product theory itself free of any assumption that the factor spaces carry a multiplication, correctly reflecting that the vector-space tensor product is defined and fully functional for spaces with no algebra structure at all.

Clarifying What Must Be Separately Verified

Recognizing this boundary clarifies that anyone wishing to equip a tensor product of algebras with its natural multiplication must separately verify well-definedness, associativity, and unitality — none of which follow automatically from tensor product theory, and all of which constitute genuine additional content belonging to the theory of algebras rather than to the tensor product construction itself.