# Tagged Questions

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 ...

262 views

### How to prove tensor product is exact when acted on split short exact sequence?

I know tensor product is right exact, but I can't figure out why it's exact when it is acted on a split short exact sequence. In addition, can you give an example that tensor product acts on a short ...
115 views

### Kernel of a map on tensor product of modules

Let $M,N, P$ be $A$-modules, and let $f:M \otimes N \to P$ be an $A$-homomorphism. If $m \otimes n \in \ker f$ implies $m\otimes n =0$ for all $m\in M, n\in N$, does it follow that $\ker f=0?$ For ...
27 views

47 views

### Checking alternating tensors

How do I check that $$f(x,y)=x_1y_2-x_2y_1+x_1y_1$$ is an alternating tensor? I did check that f is a tensor, but how do I know if it is alternating by direct computation? Thanks in advance!
281 views

87 views

### Show an ideal is a finitely generated projective module via a split exact sequence

Let $I$ be an ideal of $R$ such that the mapping $f:I\otimes_R\operatorname{Hom}_R (I,R)→R$ defined (on the generators) by $f(i\otimes α)=α(i)$ for all $i∈I$ and $α∈\operatorname{Hom}_R (I,R)$ is onto....
232 views

### Does a long exact sequence of flat modules remain exact after tensoring with an arbitrary module?

In Liu's Algebraic Geometry and Arithmetic Curves, Proposition 1.2.6 states that given any short exact sequence $0 \rightarrow M' \rightarrow M \rightarrow M'' \rightarrow 0$ with $M''$ flat, taking ...
35 views

59 views

### When is a pure tensor equal to $0$?

Let $R$ be a commutative unital ring and let $A$ and $B$ be $R$-modules. For any $b\!\in\!B$ the set $$\{a\!\in\!A;\, a\!\otimes\!b\!=\!0\text{ in }A\!\otimes_R\!B\}$$ is a submodule of $A$ that ...
94 views

### Tensor product of $C^*$- algebras

We know from the paper of Douglas and Howe (enter link description here) that the commutator ideal $\mathcal{I}$ of $\mathcal{A}(C(T^2))$, the $C^*$-algebra generated by Toeplitz operators with ...
76 views

### sections of tensor product of sheaves of modules

I am confused about notation concerning tensor products of sheaves of modules. I know that given a ringed space $X$ and $\mathcal{O}_X$-Modules $\mathcal{F}$ and $\mathcal{G}$ their tensor product is ...
61 views

63 views

66 views

### Natural Transformaton $\text{Hom}(V,W)$ and $W\otimes V^*$

Something of this form has already been answered here: Why is $\text{Hom}(V,W)$ the same thing as $V^* \otimes W$? I'm starting introductory category theory stuff, and I'm looking for some help. I ...
63 views

### Derivation of tensor (with einstein summation)

Let $f$ be a scalar defined by: $$f = a_{iik}a_{kjj} (1 \leq i, j, k \leq 3)$$ in which $a$ is a third-rank tensor $a_{ijk} = a_{jik}$ and the summation convention for repeated indices is employed. ...
We know that $c_0\check\otimes c_0=c_0(c_0)$ where $\check\otimes$ is the injective tensor product. is the following still true? $$c_0\check\otimes l^\infty = l^\infty(c_0).$$ Thank you for your help