Tensor products allow us to build "linear" objects from "multilinear" ones. It can refer to: basic ones from linear algebra/module theory, or more sophisticated versions from differential/algebraic geometry (bundles/sheaves), functional analysis (Hilbert/Banach/locally convex spaces), or in their ...

learn more… | top users | synonyms

1
vote
1answer
30 views

Construction of the Brauer Group

I've proven that the $K$ tensor product of two central simple $K$ algebras is itself central simple, and I've proven Wedderburn's theorem, but I now need to construct the Brauer group. I've been told ...
8
votes
2answers
117 views

$x \otimes y - y \otimes x \neq 0$ in $I \otimes_{R} I$

Let $R = k[x,y]$ , $I = (x,y)$ , $k$ is a field. I want to prove that : 1) $x \otimes y - y \otimes x \neq 0 $ in $I \otimes_{R} I$ 2) $x \otimes y - y \otimes x $ is a torsion element My ...
1
vote
1answer
40 views

An interesting phenomenon of $C^*$-tensor product

On the algebraic tensor product space of $C^*$-algebra, I try to find an example whose maximal $C^*$-norm is not the minimal $C^*$-norm, but it seems as it is impossible to do this because the finite ...
1
vote
0answers
41 views

Kruskal Tensor: sum of outer or Kronecker products?

I'm reading an ACL 2014 paper: Lei, Tao, et al. "Low-Rank Tensors for Scoring Dependency Structures.", ACL 2014. It defines the Kruskal form of a tensor as a sum of Kronecker products: However, ...
1
vote
1answer
147 views

Can one prove the existence of tensor product without explicitly constructing it? [duplicate]

R is a ring with 1. We construct tensor product $M \otimes N$ of right R-module $M$ and left R-module $N$ to basically be able to state its universal property that any R-bilinear map from $M\times ...
1
vote
2answers
40 views

Tensor Product of Algebras: Multiplication Definition

I've managed to get a weak grip on what the tensor product of two vector spaces is. I'm now trying to understand the tensor product of two algebras. I understand that we define $(v_1\otimes ...
0
votes
1answer
46 views

Embed a vector space into a tensor product

If $V$ is a $K$-vector space and $L$ is a field extension of $K$ then why is the map $v \to v\otimes 1$ an embedding of $V$ into $V\otimes_K L?$
1
vote
1answer
34 views

Universal Property of Tensor Product, Uniqueness

There is a universal property for free modules, where for any map $f:B\rightarrow S$ there is a map $g:F(B)\rightarrow S$ such $g\cdot b=f$ where $b$ is the canonical map from the basis set into the ...
0
votes
1answer
41 views

Number of generators in a tensor product

'Commutative Algebra' by Atiyah and Mcdonald, mentions if $ \lbrace x_{i} \rbrace_{i ∈ I}$ and $\lbrace y_{j} \rbrace_{j ∈ J}$ generate $M$ and $N$ as $A-$modules, respectively, then $x_{i} \otimes ...
3
votes
0answers
53 views

When is $N\otimes_A B \to N$ an isomorphism?

Let $A, B$ be commutative (unital) rings and $f\colon A \to B$ an $A$-algebra. There then exists a canonical functor $f_*\colon \mathbf{Mod}_B \to \mathbf{Mod}_A$ such that, for every morphism of ...
0
votes
1answer
39 views

Basis of tensor product of vector spaces

Suppose $V,W$ are vector spaces with bases $\{e_1,e_2,\dots ,e_m\}$ and $\{f_1,f_2,\dots ,f_n\}$. I know that $V\otimes W=F(V\times W)/H$, where $F(V\times W)$ is the free vector space on $V\times W$ ...
2
votes
1answer
22 views

How to apply operators across parts of a tensor product.

Question I have a system which is the tensor product of two vectors from different vector spaces, I would like to now apply operations to both sub systems separately. The question is how can I do ...
1
vote
1answer
31 views

Unclear Construction of Basis for Tensor Product

My problem lies in page 363 of Steven Roman's Advanced Linear Algebra (Here's a link). The author says that for each ordered pair $(e_i,f_j)$ where $\left\{e_i\right\}_{i\in ...
1
vote
0answers
20 views

Tensor Algebra and Isomorphism

Consider the standard tensor algebra over a vector space: $$T(V)=\bigoplus_{n\in N}V^{\otimes n}$$, I am trying to define a linear map from $T(V)\times T(V)\rightarrow T(V)$. Up to this time, I have a ...
0
votes
1answer
35 views

Exactness of sequence of vector spaces with tensor product

Let $k$ be a field and $0\rightarrow V _n \xrightarrow{f_n} V_ {n − 1} \xrightarrow{f_{n−1}} ··· \xrightarrow{f_3} V_ 2 \xrightarrow{f_2} V_ 1 \xrightarrow{f_2} V_ 0 \rightarrow 0$ an exact sequence ...
2
votes
1answer
35 views

Is this element necessarily non-zero in the tensor product?

Suppose $R$ is an integral domain and $M$, $N$ are torsion-free $R$-modules. If $m$ and $n$ are nonzero elements of $M$ and $N$ respectively then does it follow that $m \otimes n \neq 0$ ? If either ...
0
votes
1answer
52 views

Tensor Product of Vector Spaces - Quotient Definition

I'm trying to figure out exactly what the tensor product of vector spaces is. This is what I understand so far: If $V, W$ are vector spaces over a field $R$ then the free vector space $C(V\times W)$ ...
0
votes
0answers
24 views

tensor derivative of a symmetric second order tensor mapped onto itself, with respect to itself

In a continuum mechanical context, let $\mathbf{A}$ be a symmetric second order tensor. How can I calculate the derivative $$\cfrac{\partial(\mathbf{AA})}{\partial\mathbf{A}}$$ using indicial ...
2
votes
1answer
57 views

$M \otimes_Z N =0$ if and only if $M \otimes_R N =0$?

If $R$ is a commutative ring, and $M$ and $N$ are $R$-modules, is $M \otimes_Z N =0$ if and only if $M \otimes_R N =0$? The forward direction seems clear. The backward direction seems like it should ...
2
votes
1answer
32 views

Tensor product and Brauer Group

For a project I'm doing, I've been briefed to describe the Brauer Group. I know it has something to do with tensor products of algebras, but my problem is with understanding the tensor product. The ...
0
votes
1answer
22 views

wedge product - distributivity over addition

Wedge and tensor algebra are very new concepts to me and I want to understand how to prove the following property of the wedge product: ...
0
votes
0answers
11 views

3D tensor multiplied with 2D Matrix

I have a nolinear system with it's taylor aproximation up to the second order so that: $\tilde{\omega} = f(\omega) : f = \sum_{j=1}^6 R_{ij}\omega_j + \sum_{j,k=1}^6 T_{ijk}\omega_j\omega_k + \dots ...
3
votes
1answer
109 views

Tensors and General Relativity

I've recently begun self studying general relativity, using mostly the material found in Robert Wald's "General Relativity", and almost right out of the gate one encounters the notion of a tensor. In ...
1
vote
2answers
56 views

Does tensoring with a module preserve this injection even if the module is not flat?

Suppose $R$ is a domain and let $Q$ be its field of fractions. Then $ 0 \to R \to Q $ is exact. Now suppose that $M$ is a torsion free $R$ module. Is it necessary that $ 0 \to M \to Q \otimes M $ ...
2
votes
1answer
50 views

Dual of injective tensor norm is not projective tensor norm

Let $A$, $B$ are two Banach space, on the algebraic tensor space $A$ $\odot$ $B$, we can define the projection(maximal) tensor norm $\gamma$ and injective(minimal) tensor norm $\lambda$. For the ...
2
votes
1answer
44 views

wedge product and tensor operation problem

Let $\{e_{1},\ldots,e_{n}\}$ be the usual basis for $\mathbb{R}^{n}$ and let $\{\varphi_{i},\ldots,\varphi_{n}\}$ be the dual basis. Show that $$\varphi_{i_{1}}\wedge\cdots\wedge ...
0
votes
0answers
48 views

Representing natural numbers as matrices by use of $\otimes$

What I am wanting to do is to find a unique matrix representations for Natural numbers. Say I have the number $n$, how can I represent this number as a matrix in which I can do matrix multiplication ...
1
vote
1answer
77 views

$\mathbb{C}\otimes_\mathbb{C} \mathbb{C} \cong \mathbb{R}\otimes _\mathbb{R} \mathbb{C}$

I am trying to show that $\mathbb{C}\otimes_\mathbb{C} \mathbb{C} \cong \mathbb{R}\otimes _\mathbb{R} \mathbb{C}$ as abelian groups. I've tried to come up with various maps but gotten nowhere. ...
0
votes
1answer
78 views

$\biggl( \prod_{i \in \mathbb{N}}\mathbb{Z}/p^i\mathbb{Z}\biggr)\otimes_{\mathbb{Z}} \mathbb{Q}\ne 0$

I've found this claim $$\biggl( \prod_{i \in \mathbb{N}}\mathbb{Z}/p^i\mathbb{Z}\biggr)\otimes_{\mathbb{Z}} \mathbb{Q} \not\cong \prod_{i \in \mathbb{N}}\biggl( ...
1
vote
0answers
24 views

tensor product of infinite dimensional vector spaces [duplicate]

Let $V,W$ be vector space over field $k$. Then \begin{eqnarray*} V^*\otimes W &=&V^*(\oplus_{i\in I} k_i)\\ &=&\oplus_{i\in I}(V^*\otimes k_i)\\ &=& \oplus_{i\in I}V^*_i\\ ...
5
votes
1answer
68 views

The derivative of the determinant of a Kronecker product

For an invertible matrix $A$, we have the identity \begin{align} \dfrac{\partial \det A}{\partial A} = \det A (A^{-1})^T \end{align} where the $T$ denotes the transpose operation. How does this ...
0
votes
1answer
31 views

Constructing nontrivial $\mathbb{Z}$-bilinear map from $\mathbb{R} \times (\mathbb{R} / \mathbb{Z})$

I'm trying to show $\mathbb{R} \otimes_\mathbb{Z} (\mathbb{R} / \mathbb{Z})$ is nontrivial, where my tensor product is defined using the universal property. This problem can be easily reduced ...
1
vote
0answers
36 views

Tensorial product, a simple question

I need to find the components of $D$: $$D=a\otimes a$$ where $a$ is a tensor of order 2. Thanks!
0
votes
1answer
44 views

Product of two geometric series

I have used the Product of two power series and find out the below results. But it is to some extend strange for me, could you please confirm the results? Let $A=\sum_{i=0}^{\infty}(\frac{L}{a})^i$ ...
0
votes
2answers
45 views

Tensor Product over a ring

Given Two Fields $F,K$, and two vector spaces $V,W$ over $F$, what does tensor product $$V\otimes_{K} W$$ mean? I am not certain whether this is defined in general. I came across it in cases wheh ...
1
vote
0answers
48 views

Tensor product of two simple modules

Let $k$ be a field of arbitrary characteristic. Suppose that $A$ and $B$ are finite dimensional $k$-algebras. Let $S$ be a finite dimensional simple $A$-module and let $T$ be a finite dimensional ...
0
votes
1answer
48 views

Another matrix of a given operator $A \otimes A$

Let $V$ be a $4$-dimensional vector space with an ordered basis $e_{1}$, $e_{2}$, $e_{3}$, $e_{4}$, and $A: V → V$ be a linear operator given by its matrix relative to the ordered basis $(e_{1}, ...
1
vote
1answer
61 views

About the definition of the tensor product of modules

I was reading something about tensor product (balanced product) of modules (over an arbitrary ring $R$), but I cannot realize why we need a left and a right module. Would it be the same with two right ...
2
votes
1answer
48 views

What is a wedge product?

What is actually a wedge product ? How does it differ from a tensor product ? What is the intuition to invoke such a product, kind of like tensor product is invoked to simplify multilinear maps ?
1
vote
1answer
111 views

$k[x]/(x^n) \otimes_{k[x]} k[y]/(y^m)$

This is part of an exercise from Eisenbud: $k$ is a field, describe as explicitly as possible a) $k[x]/(x^n) \otimes_{k[x]} k[y]/(y^m)$ b) $k[x] \otimes_{k} k[y]$ Any hint ?
2
votes
2answers
69 views

Tensor product is o?

$K$ generated by $(ar,rb)$ for every $a\in A$, $b\in B$, $r\in R$. $F$ generated by $r(a,b)$ for every $a\in A$, $b\in B$, $r\in R$. $(a,rb)=(ar,b)=r(a,b)$,then $K=F$, $F/K=0$ Apparently I ...
1
vote
0answers
28 views

Tensoring and retaining projectiveness

Let $A$be a unital associative ring, If $A$ is not a projective $A$-bimodule, however $A\otimes A$ is a projective $A$-bimodule, can we conclude that $A\otimes A \otimes A$ is also projective?
1
vote
1answer
36 views

Matrix of a given operator $A \otimes A$

Let $V$ be a 3-dimensional vector space with an ordered basis $e_{1}$, $e_{2}$, $e_{3}$, and $A: V → V$ be a linear operator given by its matrix relative to the ordered basis $e_{1}$, $e_{2}$, $e_{3}$ ...
0
votes
1answer
35 views

Are the generators of the subgroup defining tensor products linearly independent over $\mathbb Z$?

Let $S$ be a (commutative) ring with identity, and let $M$, $N$ be $S$-modules. (I guess if $S$ isn't commutative, I want $M$ to be a right $S$-module an $N$ a left $S$-module.) In the definition of ...
1
vote
0answers
21 views

Tensor product - result as column vector or matrix

I have a bit of quantum computing on my current semester and I am currently reading about tensors. I have read article on outer product (which is described as tensor product of two vectors): ...
0
votes
2answers
165 views

Tensor product of quotient rings [duplicate]

$A$ is a commutative ring with unit and $\mathfrak a$, $\mathfrak b$ ideals. I have to show that $$A/\mathfrak a \otimes_{A} A/\mathfrak b \cong A/(\mathfrak{a+b}).$$ Any hint ?
1
vote
0answers
33 views

How is the multiplication between a multidimensional tensor with a matrix defined?

I am thinking this calculation in the following way but I am wondering if it is correct. Can anybody explain to me please? For example, I have a 3-way tensor $T^{u×i×t}$. How do I multiply this ...
1
vote
1answer
48 views

Example of $\sum_i a_i\otimes b_i\in M\otimes_AN$ which cannot be written as $a\otimes b$

In the appendix of my commutative algebra text: Note that in general the element of $M\otimes_AN$ is a sum of the form $\sum_i a_i\otimes b_i$ and cannot be necessarily written as $a\otimes b$. ...
2
votes
1answer
37 views

Relation between Tensor Product and Homomorphism

We know that there is a natural isomorphsm between $$V^*\otimes W \text{ and } Hom(V,W)$$ whenever either $V$ or $W$ is finite dimensional. (We also know that there always exists a linear map from ...
17
votes
2answers
333 views

If the tensor power $M^{\otimes n} = 0$, is it possible that $M^{\otimes n-1}$ is nonzero?

Let $M$ be a module over a commutative ring $R$. It is possible that $M \otimes M = 0$ if $M$ is nonzero, for example when $R = \mathbb{Z}$ and $M = \mathbb{Q}/ \mathbb{Z}$. What about when higher ...