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

2
votes
1answer
95 views

Question about tensor product of homomorphisms

I've come to think about this problem when reading a proof in Commutative Algebra by N. Bourbaki. Say, let $R$ be a commutative ring, given 3 $R-$modules $A$, $B$, $C$, and the $R$-homomorphism $f:B ...
2
votes
1answer
99 views

tensor product of a vector space and finite field

I want to know how we can interpret and define the tensor product of V as a vector space with a F as a finite field?
2
votes
3answers
115 views

Operation on a Tensor Product of Modules

Suppose that $M$ and $M'$ are $\mathbb{K}$-algebras where $\mathbb{K}$ is a field. Now suppose that $N$ is an $M$-module and $N'$ is an $M'$-module, then I can view both of them as ...
1
vote
1answer
61 views

A Property of Tensor products

So I'm new to tensor products and there's something that's been confusing me ... Suppose that $A$ and $B$ are $R$-modules, I know that $A \otimes_R B$ is an abelian group; and what I understood is ...
0
votes
1answer
61 views

$Tor_1^\mathbb{Z}(\mathbb{Z}/2\mathbb{Z}, \mathbb{Z}/2\mathbb{Z})$

How do I find $Tor_1^\mathbb{Z}(\mathbb{Z}/2\mathbb{Z}, \mathbb{Z}/2\mathbb{Z})$? and is it free or at least projective? I tried using the obvious short exact sequence then tensoring with ...
0
votes
1answer
29 views

Is a one-form a derivation on $C^ \infty$?

I know that a vector field is a derivation on $C^ \infty$, meaning that it is R-linear and Leibnizian. Is it the same case for one-forms?
1
vote
0answers
55 views

Injective norm on tensor algebra of a finite-dimensional Banach space

Suppose that $V$ is a finite n-dimensional Banach space, and suppose that $T(V)$ is the tensor algebra on it. Furthermore, suppose that $T^{(n)}(V)$ is the "abridged" tensor algebra obtained by taking ...
0
votes
1answer
59 views

A problem in division rings and Brauer group

Suppose that $D, E$ are two division rings in the Brauer group of $F$ ($Br(F)$), where $F$ is local field. Show that $D\otimes_FE$ is a division ring iff $([D:F],[E:F])=1$.
7
votes
2answers
354 views

Origin of the modern definition of the tensor product

Due to whom is the modern (i.e. via its universal property) definition of the tensor product, and in which article was it communicated?
0
votes
1answer
62 views

On scalar extension of module and annihilator

Let $A, B$ be commutative rings with identity, $f: A \longrightarrow B$ a ring morphism, $M$ an $A$-module. Given $b\in B, x\in M$, does the following statement hold? $b\otimes x=0$ in $B ...
1
vote
2answers
315 views

Prime ideals in tensor products of algebras and their pullbacks

Suppose $\mathfrak{p}$ is a prime ideal in $B\otimes_CA$, and $\mathfrak{p}_A,\mathfrak{p}_B,\mathfrak{p}_C$ are its pullbacks in $A,B,C$. Does it hold: $(B\otimes_CA)_{\mathfrak{p}}\cong ...
2
votes
1answer
74 views

Homomorphism of modules and Tensor Product.

Let $\phi: A \rightarrow B$ be a ring homomorphism. Let $M$ be an $A$-module. We can think $B$ as $A$-module via the map $\phi$ defined by $\phi:A\times B \rightarrow B$, $(a,b)\mapsto\phi(a)\cdot ...
3
votes
1answer
78 views

Vector by Matrix derivitive

According to wikipedia, there is no widely accepted definition of a Vector by Matrix derivative. I have a need of such a notion. For matrix w, and vector h. $$\mathbf{y=w \;h} $$ $$ ...
2
votes
1answer
80 views

Tensor Product definition (help with certain step)

I'm going over some notes I took from the blackboard, and reached a slight hitch. I thought that maybe someone could help. Let $E,F$ be vector spaces over a field $\mathbb K$. A tensor product of $E$ ...
0
votes
1answer
125 views

Tensor product and valence of a tensor?

Given a vector space $V$, its dual vector space $V^{*}$ and a tensor $\mathbf{T}$: $\mathbf{T} \in \underbrace{V \otimes\dots\otimes V}_{n\text{ copies}}\otimes \underbrace{V^{*}\otimes\dots\otimes ...
3
votes
1answer
86 views

A criterion for an extension to be Galois

This is an exercise given during my Commutative Algebra course. I reached to solve just the "if" arrow, but not the "only if". The question is: Let $F\subseteq L$ be a finite degree extension of ...
2
votes
1answer
266 views

Logarithm and tensor products

We define Von Neumann Entropy for a density matrix $\rho$ (hermitian, positively defined, with trace 1) as : $S(\rho)=-tr(\rho \ln(\rho))$ Considering $\rho = \rho_1 \bigotimes \rho_2$, I want to ...
4
votes
0answers
132 views

Highest weights of irreducible components of tensor product of irreducible sl(3)-module.

I am study the representation theory of $sl(3)$ and I have a question about the tensor representation of irreducible $sl(3)$-modules as follows: For each weight $\mu$, let $L(\mu)$ be the irreducible ...
0
votes
1answer
109 views

Tensor product of modules preserve injectiveness and surjectiveness or not?

Let $R$ be a commutative ring with identity and $M$ an $R$-module. If $N_1\longrightarrow N_2$ is injective (resp. surjective), is the induced map $M\otimes_R N_1\longrightarrow M\otimes N_2$ ...
9
votes
3answers
441 views

Exactness of the Tensor Functor

This might turn out to be a very stupid question, so I apologize in advance, but it is confusing me a little bit. I know in general that if $$M'\rightarrow M\rightarrow M''\rightarrow 0$$ is an exact ...
3
votes
0answers
129 views

to find the graphs having vertices with same eccentricity

I was reading a paper http://www.discuss.wmie.uz.zgora.pl/php/discuss3.php?ip=&url=plik&nIdA=11134&sTyp=HTML&nIdSesji=-1 There is a formula to calculate eccentricity in the section ...
3
votes
1answer
190 views

Transitivity of representation induction

Let $K\subset H\subset G$ be some triple of finite groups and $T: K\longrightarrow \mathrm{GL}(V)$ - some representation f $K$. We are to prove the transitivity of induction: $Ind_K^G(V)\simeq ...
1
vote
1answer
141 views

Gelfand triple for tensor product of Hilbert spaces

Is there any dense embeding $\to$ that makes $H^1_0(D) \otimes L^2(\Gamma) \to L^2(D) \otimes L^2(\Gamma) \to (H^1_0(D) \otimes L^2(\Gamma))^{*}$ a Gelfand tripe? In fact we may only answere to the ...
2
votes
1answer
127 views

Ideals and exactness of projective tensor product of Banach spaces / algebras

Thanks for suggesting this question: Image of the tensor product of strict maps of Banach spaces I read the reference and realize that for a short exact sequence of Banach algebra: $0 \to J \to A \to ...
1
vote
1answer
365 views

Trace of tensor product

I am currently struggeling with the following problem: Imagine that you have 4 vectors $v_1,v_2,v_3,v_4$ in $\mathbb{R}^2$ and then you want to calculate $\hbox{trace}(v_4 \otimes v_3 \cdot ...
1
vote
1answer
67 views

Does there exist a $\nabla$-notation variant of the product rule applied to $\nabla[\mathbf{f}(\mathbf{x})\otimes\mathbf{g}(\mathbf{x})]$?

This is a vector-calculus notation question; as a disclaimer, I am working in rectilinear space! For vector functions $\mathbf{f},\mathbf{g}:\mathbb{R}^n\rightarrow\mathbb{R}^n$, the chain rule for ...
4
votes
1answer
81 views

Prove that $M_{nm}(A \otimes B) \cong M_{n}(A) \otimes M_m(B)$

Prove that $M_{nm}(A \otimes B) \cong M_{n}(A) \otimes M_m(B)$ There's a similar question floating around but I was merely wondering if the result holds in the same way when we let A and B be fields, ...
0
votes
0answers
53 views

Tensor power of a quotient space

Let $E$ and $F$ be vector spaces, $F$ a subspace of $E$. Is there any canonical isomorphism between $E/F \otimes E/F$ and a quotient of the form $E \otimes E/G$, where $G$ is a subspace of $E \otimes ...
4
votes
1answer
150 views

Prove that $M_{n}(F)\otimes _{F}M_{m}(F)\simeq M_{nm}(F)$ .

Suppose $F$ is a field. Then prove that $$M_{n}(F)\otimes _{F}M_{m}(F)\simeq M_{nm}(F)$$ as $F$-algebras. I know that I should take $$\alpha :M_{n}(F)\otimes _{F}M_{m}(F)\rightarrow M_{nm}(F)$$ ...
0
votes
0answers
24 views

If $A$ and $B$ are $F$-algebras, then $A\otimes _{F}B $ is $F$-algebra. [duplicate]

Suppose $A$ and $B$ are two $F$-algebras ($F$ is a field). Prove that $A\otimes _{F}B $ is an $F$-algebra with the multiplication: $$(a\otimes b )({a}'\otimes {b}')=(a{a}')\otimes (b{b}').$$ With ...
-1
votes
1answer
156 views

Tensor product of a module and a localized ring

Let $A$ be a commutative ring with unity. Let $S$ be a multiplicative subset of $A$. Let $M$ be an $A$-module. Let $x \in M$. Suppose $x\otimes 1 = 0$ in $M\otimes_A S^{-1}A$. Then there exists $s \in ...
0
votes
3answers
97 views

Question about tensor product of modules, when does $c \otimes r = 0$?

Let $R$ be an integral domain, and let $K$ be its field of fractions. Let $C$ be an $R$-module. Then is $C \cong C \otimes_R R$ injectively contained in $C \otimes_R K$? Define $\phi: C \otimes_R ...
4
votes
2answers
339 views

Tensor product of a finitely generated abelian group and the field of rational numbers

Let $G$ be a a finitely generated abelian group. Then $G\otimes_\mathbb{Z} \mathbb{Q} = 0$ if and only if $G$ is a finite group. The "if" part is easy. The "only if" part can be proved using the ...
4
votes
2answers
54 views

Given a group homomorphism $R \otimes_{\Bbb{Z}} M \rightarrow M$, I need to show that this makes $M$ into a left $R$-module.

Given a group homomorphism $R \otimes_{\Bbb{Z}} M \rightarrow M$, I need to show that this makes $M$ into a left $R$-module. We can see that $\bullet$ $r(m+m') = r \otimes (m+m') = r \otimes m ...
1
vote
1answer
83 views

Prove this isomorphism of $K$-algebras

Seen this is a lot of literature, usually without proof. Was just wondering how is it: $A$ is a $K$-algebra, where $K$ is a field. Then $A \otimes_K A^{op} \simeq M_r(K)$ where $r=\dim(A)$. I ...
1
vote
0answers
29 views

Is there any vanishing criterion for elements of a tensor product of algebras?

Let $k \subset L$ be a field extension, $\mathrm{char}(k) = p$. I have some polynomial $f(X_1, \ldots, X_n) \in k^{1/p}[X_i], f^p \in k[X_i]$, with at least one coefficient not in $k$, such that ...
1
vote
0answers
55 views

Show that we have an algebra homomrohpsim

I need to show that we have an algebra homomorphism $\phi: M_n(K)\otimes_KA \simeq M_n(A)$ Where A is a K-algebra and K is some field. I suspect it's really easy but I don't know what to do. Is ...
2
votes
1answer
64 views

$\ker(f\otimes g)=\langle\{a\otimes b:(a\in \ker f \text{ or }(b\in\ker g)\}\rangle$

There's a theorem that if $f:A\to B$ and $g:A'\to B'$ are epimorphisms, then their tensor product's kernel is given as $$\ker(f\otimes g)=\langle\{a\otimes b:(a\in \ker f )\ or\ (b\in\ker ...
1
vote
2answers
60 views

Tensor Product problem.

Let $V$ be a vector space over $\Bbb F$, and let $x\not=0,y\not=0 $ be two elements in $V$. I want to show that $x\otimes_{_F} y=y\otimes_{_F} x$ iff $x=ay$ where $a\in \Bbb F$. I know the second ...
2
votes
1answer
77 views

Norm of the dual of the Tensor product of Hilbert spaces

Let $V$ and $W$ be Hilbert spaces, we can define inner product and induced norm on Tensor product of these spaces as: Let $v_1,v_2 \in V$,and $w_1,w_2 \in W$. then $(v_1 \otimes w_1, v_2 \otimes ...
1
vote
1answer
49 views

When is a simple tensor equivalent to natural multiplication?

Let $R$ be a commutative integral domain; let $M, N$ be $R$-modules. Let $x_1 \in M$ and let $x_2 \in N$. When does the following equivalence hold? $$x_1 \otimes x_2 = x_1x_2$$ The textbook I'm ...
2
votes
0answers
35 views

Sum of creation operators as one creation operator

Let $A = a^\dagger \otimes 1 + 1 \otimes a^\dagger$ act on $H \otimes H$ where $a^\dagger$ is the usual creation operator. I.e. we have $a^\dagger |n \rangle = \sqrt{n+1}|n+1\rangle \\ N |n \rangle = ...
3
votes
2answers
163 views

Tensor product of a field with itself.

I am proving the fact that if $A$ and $B$ are two central $k$-algebras where $k$ is a field (so then $Z(A) = Z(B) = k$), then $A \otimes B$ is also central. I made almost everything except this: I ...
0
votes
2answers
146 views

Arbitrary element in a tensor product is a finite sum.

Many books on algebra say that any arbitrary element in a tensor product is a finite sum of pure tensors, however, I cannot clearly see why this is true. Actually, if both of the spaces $U$ and $V$ ...
1
vote
1answer
68 views

Extending the universal property of tensor product

Suppose that we defined a tensor product of vector spaces $U$ and $V$ as a quotient of a vector space with basis $V \times W$ by the vector space spanned by $-(u_1+u_2,v)+(u_1,v)+(u_2,v), ...
2
votes
3answers
125 views

$0$-th exterior power, empty product of modules and their tensor product

$\def\finiteprod#1#2{#1_{1}\times#1_{2}\times\dots\times#1_{#2}}$In Lang's algebra he defines the tensor product as a universal object in the category of multilinear maps from $\finiteprod En$ where ...
1
vote
1answer
85 views

Tensor product equivalent definitions

I'm studying tensor products right now and I've came across multiple definitions. The one I'm confused with is when we have vector spaces $V$ and $W$ and we define the tensor product as the quotient ...
4
votes
0answers
108 views

Tensor product, Artin-Rees lemma and Krull intersection theorem

I asked another question about tensor product, but can't conclude from the answer, so here is another more concrete question. Let $(A,m)$ be a local ring then by Artin-Rees Lemma $m^k \bigcap I ...
0
votes
1answer
71 views

Question about tensor product of modules and ideals

Trying to prove some properties of tensor product with a given module, I came up with questions some of them I can't prove. Maybe it is also because Im not very used to work with tensor products and I ...
3
votes
2answers
94 views

$\Bbb{Z}/p^k \Bbb{Z} \otimes_{\Bbb{Z}} A $ is isomorphic to the Sylow $p$-subgroup of $A$

Let $A$ be a finite abelian group of order $n$ and let $p^k$ be the largest power of the prime $p$ dividing $n$. Then $\Bbb{Z}/p^k \Bbb{Z} \otimes_{\Bbb{Z}} A $ is isomorphic to the Sylow $p$-subgroup ...