WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Tensor product

Revision #935 → #1621 · back to history

addedTensor product of two vector spacesabc496e326a7
addedElementary/decomposable tensor376f57ec01d5
addedUniversal property of bilinear maps3d421462ecb1
addedMetric tensor in general relativity7becc672e6a7
addedTensor product from bases40ebd6614177
addedTensor product as space of bilinear formsc7ed41a30742
addedTensor product of vectors via basis decomposition6738ebc1eb8f
addedTensor product as generalization of outer product74f4bc76d891
addedTensor product as a quotient space2e19d9c5b8e4
addedUniversal property of the tensor product62d8e9e3d560
addedTensor product of F^m and F^n8c9b03507b65
addedTensor product of function spaces6fd832fba011
addedCharacterization via linear disjointness2a27376c11f9
addedDimension of tensor product17c31f19d53f
addedAssociativity of tensor producta077f898389a
addedCommutativity of tensor product of spacesd8d9acce2cdd
addedBraiding map9685c791de5b
addedTensor product of linear maps4263608994d2
addedTensor product of two linear maps f and g42d269b8e9a2
addedTensor product is a bifunctor1277693e53ef
addedTensor product preserves injectivity/surjectivity; exactness1c6d91c1e4d0
addedMatrix of tensor product is Kronecker product8cf94801a7dc
addedDyadic productfb98a37ff86f
addedType (r,s) tensora845d2dcb2ee
addedTensor product of tensors98b24313b313
addedComponents of product of covariant tensors0863ed1ee981
addedTensor algebra6fd88b8721cc
addedEvaluation map857cb733e80a
addedTensor contractiondc3db9fcf404
addedCoevaluation map195c1d569047
addedAdjoint representation via tensor productd48cdc7552a2
addedCanonical isomorphism for adjoint representation21fd1b31d500
addedIsomorphism U* ⊗ V ≅ Hom(U,V)31960919ad9d
addedTensor-Hom adjunction8583083df49e
addedTensor product of modules over a commutative ring92ee6f67c9e2
addedTensor product of modules over a non-commutative ringaddd46ec95ea
addedCanonical middle linear mapad57502fc018
addedTensor product of modules (non-commutative ring)e1d49ed119a0
addedUniversal property for modules over non-commutative ring6a43845d785c
addedBimodule structures on tensor productc72fdd81e863
addedTensor product with Z/nZe1d7e84411cd
addedTensor product as cokernel from presentationd347680d7160
addedTensor product is right exact, not left exact1560faad5506
addedTensor product of algebrasc5749736736e
addedTensor product of fields and Galois theory77d262d40d3f
addedEigenconfiguration of a tensor194b6c8abd6b
addedTopological tensor product of Hilbert spacesd39469b54ed2
addedTensor product of representations / algebrasfbd94a175ce9
addedTensor product of algebraic field extensions9ada7131718c
addedTensor product of multilinear formsee993c703c1b
addedExterior product / exterior algebra848241f8e9d8
addedSymmetric algebra143184eca02c