Tensor product of quadratic forms

The topic of this article may not meet Wikipedia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Tensor product of quadratic forms" – news · newspapers · books · scholar · JSTOR (March 2024) (Learn how and when to remove this message)

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Tensor product of quadratic forms" – news · newspapers · books · scholar · JSTOR (May 2024)

In mathematics, the tensor product of quadratic forms is most easily understood when one views the quadratic forms as quadratic spaces.^[1] If R is a commutative ring where 2 is invertible, and if ${\displaystyle (V_{1},q_{1})}$ and ${\displaystyle (V_{2},q_{2})}$ are two quadratic spaces over R, then their tensor product ${\displaystyle (V_{1}\otimes V_{2},q_{1}\otimes q_{2})}$ is the quadratic space whose underlying R-module is the tensor product ${\displaystyle V_{1}\otimes V_{2}}$ of R-modules and whose quadratic form is the quadratic form associated to the tensor product of the bilinear forms associated to ${\displaystyle q_{1}}$ and ${\displaystyle q_{2}}$.

In particular, the form ${\displaystyle q_{1}\otimes q_{2}}$ satisfies

${\displaystyle (q_{1}\otimes q_{2})(v_{1}\otimes v_{2})=q_{1}(v_{1})q_{2}(v_{2})\quad \forall v_{1}\in V_{1},\ v_{2}\in V_{2}}$

(which does uniquely characterize it however). It follows from this that if the quadratic forms are diagonalizable (which is always possible if 2 is invertible in R), i.e.,

${\displaystyle q_{1}\cong \langle a_{1},...,a_{n}\rangle }$

${\displaystyle q_{2}\cong \langle b_{1},...,b_{m}\rangle }$

then the tensor product has diagonalization

${\displaystyle q_{1}\otimes q_{2}\cong \langle a_{1}b_{1},a_{1}b_{2},...a_{1}b_{m},a_{2}b_{1},...,a_{2}b_{m},...,a_{n}b_{1},...a_{n}b_{m}\rangle .}$

This algebra-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e