Matrix Multiplication¶

The ordered contraction of compatible matrices, producing cᵢⱼ=Σₖaᵢₖbₖⱼ and representing composition of linear transformations.

Version: v1 · 2026-09-28 · History
Domain-specific #: 10614
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Linear Algebra, Matrix Operations → Mathematics
Aliases: Matrix product

Core Idea¶

For A of shape m×n and B of shape n×p, AB has shape m×p. Each entry sums products between one row of A and one column of B across n intermediate coordinates.

The formula expresses linear-map composition: B acts first and A second. This explains associativity and typical noncommutativity, while implementations can vary without changing the operation.

Structural Signature¶

Sig role-phrases:

Left matrix — Supplies output rows and shared columns. It is required factor. Counterfactual: Reversing factors changes meaning or definedness.
Right matrix — Supplies shared rows and input columns. It is required factor. Counterfactual: Under column convention it acts first.
Shared dimension — Pairs columns of A with rows of B. It is conformability condition. Counterfactual: If dimensions differ the product is undefined.
Scalar multiplication — Combines paired entries. It is local combination. Counterfactual: Changing it changes the algebra.
Summation — Aggregates intermediate-coordinate contributions. It is contraction rule. Counterfactual: No sum gives an elementwise-like result.
Ordered composition — Preserves direction and noncommutativity. It is structural meaning. Counterfactual: Interchanging AB and BA destroys the semantics.

What It Is Not¶

It is not Hadamard multiplication.
It is not generally commutative.
Outer dimensions do not determine compatibility.
A faster algorithm does not define a different product.
Closest near-miss. The Hadamard product multiplies same-position entries and needs equal shapes; matrix product contracts one shared dimension.

Scope of Application¶

Linear algebra. Composes transformations.
Numerical computing. Implements dense and sparse kernels.
Machine learning. Expresses linear layers and models.
Graph algebra. Aggregates paths under chosen semirings.

Clarity¶

State shapes, scalar domain, vector convention, and factor order. For boolean, tropical, block, or sparse products, specify addition and multiplication.

Manages Complexity¶

The shared-index rule compresses dependency paths into one operation and lets evaluation be optimized independently of meaning.

Abstract Reasoning¶

Assign domain and codomain dimensions.
Match the inner dimension.
Pair row and column entries.
Aggregate over the shared index.
Interpret order and verify shape.

Knowledge Transfer¶

The contraction transfers to tensors and semirings when axes and algebra are restated. Elementwise array operations remain distinct.

Examples¶

Canonical¶

A 2×3 matrix times a 3×4 matrix yields 2×4; each output aggregates three paths through the intermediate coordinate.

Mapped back: left → 2×3; right → 3×4; shared → 3; output → 2×4.

Applied / In Practice¶

If B maps inputs to an intermediate space and A maps that space to outputs, AB represents A after B.

Mapped back: first → B; second → A; composition → AB.

Structural Tensions¶

T1 — Coordinate Formula versus Map Composition. The row-column calculation represents a basis-independent operation.

Diagnostic: Is the argument about entries or transformations?

T2 — Mathematical Product versus Algorithm. Blocking and fast algorithms change evaluation but not semantics.

Diagnostic: Does the implementation preserve the declared algebra?

Structural–Framed Character¶

Matrix Multiplication is strongly structural.

Structural Core vs. Domain Accent¶

The skeleton is ordered contraction over a shared interface. Linear algebra supplies bases, maps, dimensions, and scalars.

This entry is a kind of Composition.

Approved root. No current parent entails this contraction rule.
Related — linear transformation, tensor contraction, dot product, and composition. They provide meaning and generalization.

Relationships to Other Abstractions¶

Current abstraction Matrix Multiplication Domain-specific

Parents (1) — more general patterns this builds on

Matrix Multiplication is a kind of Composition Prime

Matrix Multiplication is Composition of compatible linear transformations expressed by index contraction.

Hierarchy path (1) — routes to 1 parentless root

Matrix Multiplication → Composition → Gestalt Principles → Holism

Neighborhood in Abstraction Space¶

Matrix Multiplication sits in a crowded region of the domain-specific corpus (23^rd percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Matrices, Measures & Numeric Structures (30 abstractions)

Nearest neighbors

Distance Matrix — 0.91
Symmetric Successive Over-Relaxation — 0.90
Semidirect Product — 0.90
Tensor Network — 0.90
Symbolic Cholesky Decomposition — 0.89

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Hadamard product. Tell: Multiplies corresponding entries.
Outer product. Tell: Forms pairwise products without summing.
Dot product. Tell: Produces one scalar.
Matrix addition. Tell: Combines equal shapes entrywise.

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Matrix_multiplication (revision 1370857627).
Preserved source candidate: https://mathinsight.org/matrix_vector_multiplication
Preserved source candidate: https://archive.org/details/mcgrawhillencycl1993park
Preserved source candidate: https://archive.org/details/mathematicalmeth00rile
Preserved source candidate: https://mathworld.wolfram.com/MatrixMultiplication.html
Preserved source candidate: http://www.cs.ust.hk/mjg_lib/bibs/DPSu/DPSu.Files/0211028.pdf
Preserved source candidate: https://web.archive.org/web/20160804050127/http://www.cs.ust.hk/mjg_lib/bibs/DPSu/DPSu.Files/0211028.pdf
Preserved source candidate: http://www.cs.ust.hk/mjg_lib/bibs/DPSu/DPSu.Files/0213017.pdf
Preserved source candidate: https://web.archive.org/web/20160804042514/http://www.cs.ust.hk/mjg_lib/bibs/DPSu/DPSu.Files/0213017.pdf

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.