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
0answers
21 views

Pullback map distributes over wedge product (proof)

To prove that the pullback map distributes with the wedge product is it first best to prove that it distributes over the tensor product and then use the relation $$dx^{\mu_{1}}\wedge\cdots\wedge ...
8
votes
2answers
54 views

What is $\mathbb{Z}[i] \otimes_{\mathbb{Z}[2i]} \mathbb{Z}[i]$?

What is $\mathbb{Z}[i] \otimes_{\mathbb{Z}[2i]} \mathbb{Z}[i]$? Also, since $\mathbb{Z}[i]$ is a PID, we should be able to write this $\mathbb{Z}[i]$-module as a direct sum of cyclic ...
2
votes
1answer
21 views

Perfect pairing induces isomorphism of tensor products

Let $M, N$ be $R$-modules and $(\cdot, \cdot): M \times N \to R$ be a perfect pairing. Wikipedia sais that this means that the map $\varphi: M \to \text{Hom}_R(N, R), m \mapsto (n \mapsto (m, n))$ is ...
1
vote
1answer
21 views

Tensor product of homology equivalences

Let $f : C \to C'$ and $g : D \to D'$ be chain maps of non-negative chain complexes of $R$-modules, where $R$ is any commutative ring. Assume that $f$ and $g$ are homology equivalences. Is the same ...
0
votes
0answers
16 views

Is there a natural link between symmetric polynomials and symmetric algebra?

Let $R$ be a commutative ring and $R[X_1,...,X_n]^{S_n}$ be the ring of symmetric polynomials. I have learned some basic properties of this ring and the results are really similar to those by ...
1
vote
0answers
19 views

Understanding Extension of Scalars in a Vector Space

$\newcommand{\R}{\mathbf R}\newcommand{\C}{\mathbf C}$ Low-Tech Complexification: Let $V$ be a finite dimensional vector space over $\R$. We can forcefully make $W:=V\times V$ into a complex vector ...
0
votes
0answers
25 views

Tensor independence

Let $(e_{i})$ be a basis in $V$, $( \epsilon_{i} )$ - basis in $V^{*}$ so that $\epsilon_{i} (e_{j})= \delta_{i}^{j}$ (Kronecker delta, $\epsilon_{i} (e_{j}) = 1 \Leftrightarrow i=j$, otherwise it's ...
0
votes
0answers
22 views

tensor product of polynomial algebra [on hold]

Is $R[x] \otimes R[x]$ a free $R \otimes R$-module? Here $R$ is a $k$-algebra and $\otimes = \otimes_k$.
1
vote
0answers
12 views

$\mathbb{Z}G\otimes_{\mathbb{Z}N} \mathcal{N}= \mathcal{N}^G$ is a non-trivial idempotent ideal in $\mathbb{Z}G$

Let $G$ be a group and $I_G$ be the augmentation ideal of the group ring $\mathbb{Z}G$, i.e. $I_G$ consists of formal linear combinations $\sum n_i g_i$ ($n_i\in\mathbb{Z}$, $g_i\in G$) such that ...
2
votes
1answer
55 views

Is it possible that $1\otimes 1 = 0$?

Let $R$ be a commutative ring. Let $A,B$ be $R$-algebras and consider their product $A\otimes_R B$. Is it possible that $1\otimes 1=0$? What is an example? If $R$ is a field, $1\otimes 1$ is never ...
1
vote
1answer
35 views

If M and N are nonzero, finitely generated R-modules with M projective, then $M\otimes N$ is nonzero

I am trying to work through the following problem: If M and N are nonzero, finitely generated R-modules with M projective, then $M\otimes N$ is nonzero. My thought on how to approach this problem is ...
1
vote
0answers
29 views

How does a 4-tensor act as a linear trasformation of 2-tensors?

I'm trying to understand tensors by looking at this table and thinking about the various types of transformations the tensors represent. From the linked table, I tried looking up some of the less ...
4
votes
1answer
29 views

Tensor product in dual-space

I am a bid confused regarding the notation for tensor products when going into dual-space If $\left| \Psi \rangle \right. = \left| A \rangle \right. \left| B \rangle \right.$ is $ \left. \langle \Psi ...
1
vote
0answers
20 views

Going into dual space for a vector product [duplicate]

I am a bid confused regarding the notation for tensor products when going into dual-space If $\left| \Psi \rangle \right. = \left| A \rangle \right. \left| B \rangle \right.$ is $ \left. \langle \Psi ...
4
votes
1answer
74 views

Show that $\mathbb{C} \otimes_\mathbb{Z} \mathbb{C} \cong \mathbb{C} \otimes_\mathbb{Q} \mathbb{C}$

Show that $\mathbb{C} \otimes_\mathbb{Z} \mathbb{C} \cong \mathbb{C} \otimes_\mathbb{Q} \mathbb{C}$ This is not homework, it is part of an answer of Show that $\mathbb{A}_\mathbb{C}^2 \ncong ...
1
vote
1answer
47 views

The adjoint of left exterior multiplication by $\xi$ for hodge star operator

As we know, for $V$ vectoral space and a orientation $\mathcal{O}$ on $V$ and $e_{1},...,e_{n}$, the hodge star operator $\ast:\wedge V^*\rightarrow\wedge V^*$ is defined for ...
2
votes
2answers
39 views

Is there a way to factor out the middle tensor product?

Given a state $(|1\rangle \otimes |0\rangle \otimes |1\rangle) + (|0\rangle \otimes |0\rangle \otimes |1\rangle)$, is it possible to factorise out the $|0\rangle$ in the middle of both of them? ...
1
vote
2answers
71 views

Looking For a Coordinate Free Way to Prove This Linear Algebra 'Fact'

$$\newcommand{\mc}{\mathcal}$$ Let $V$ be an $n$-dimensional vector space over a field $F$. (We use $\mc L(V)$ to denote $End(V)$). For each $v\in V$, define $\Theta_v:\mc L(V)\to V$ as ...
0
votes
0answers
27 views

Does the dual behave well with base change?

Let $R$ be a ring, $M$ an $R$-module and $R \to S$ a ring homomorphism. I wondered under which conditions we have an isomorphism $$ Hom_R(M,R) \otimes_R S \xrightarrow{\sim} Hom_S(M \otimes_R S, S). ...
0
votes
1answer
12 views

Why is $\mathbb{P}(Sym_2(\mathbb{C}^2))$ isomorphic to $\mathbb{P}^2(\mathbb{C})$?

Let $Sym_2(\mathbb{C}^2)$ denote the space of symmetric 2-tensors on $\mathbb{C}^2.$ I want to understand why is $\mathbb{P}(Sym_2(\mathbb{C}^2)) \cong \mathbb{P}^2(\mathbb{C})$. Any help please?
1
vote
1answer
41 views

Computing tensor products of $\mathbb{Z}$-modules.

I'd like to compute $\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{Z}^{n}$, for some natural number $n$, and $\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{Z}/n\mathbb{Z}$.
1
vote
0answers
35 views

unitary transformation of $\mathbb{C^2} \otimes \mathbb{C^2}$ that preserves the decomposability

I have some doubts about the relationship between tensor product and unitary transformations... Take $\mathbb{C^2} \otimes \mathbb{C^2}$ and think about it as a inner product space with the canonical ...
0
votes
0answers
39 views

Tensor product of the Heaviside distribution

I would like to prove that: \begin{equation} H_{(a,b)}=H_a \otimes H_b \end{equation} So far I have: \begin{equation} \langle H_a(x) \otimes H_b(y), \phi\rangle=\langle H_a(x),\langle ...
0
votes
1answer
35 views

Direct Limit and Tensor Product

Let $I$ be a directed order set. And let $\{ (M_i,\mu_{ij}) | i\leq j\} $ be a directed system of modules with $M = \lim M_i$ the direct limit. With maps $\mu_i :M_i\to M$ satisfying the required ...
1
vote
0answers
56 views

Conjugation in the complexification of a vector space switches its type

Let $V$ be a real vector space with an almost complex structure $J$ and consider its complexification $V^\mathbb{C}$ where we extend $\mathbb{C}$-linearly the linear maos of $V$, in particular $J$. In ...
0
votes
0answers
4 views

Does the Boardman-Vogt tensor product of operads commute with their W-construction [migrated]

I have absolutely no idea whether this is true or not but it could well be useful for me in the future if it is. If we have topological operads $\mathcal{P}$ and $\mathcal{Q}$ and we let $W$ denote ...
0
votes
0answers
10 views

Normalizers of subgroups of simple tensors

Inside $GL(2^n,\mathbb{C})$, we have subgroups that are formed by simple tensors. For example, in $GL(16,\mathbb{C})$, we've got subgroups like $H \leq G \leq GL(16,\mathbb{C})$ where $H = \{A_1 ...
2
votes
1answer
34 views

Product of characters in representation theory

Is it true that if $\phi_1$ and $\phi_2$ are characters then $\phi_1\phi_2$ is a character of a representation? I think this is true, say for instance if $R_1$ is a matrix representation with ...
1
vote
0answers
23 views

Understanding linearly disjoint fields and how their rings of integers interact in a proof

Let $L,L'$ be linearly disjoint number fields (i.e. finite-degree extension of $\mathbb{Q}$). Their rings of integers are denoted $O_L,O_{L'}$. I am trying to understand a proof of how if $p$ is ...
0
votes
1answer
48 views

A question about the definition of tensor product

Let $M$ and $N$ be modules over a ring $R$. Generally, the tensor product $M\otimes N$ is defined to be an abelian group with a balanced map $j:M\times N\to M\otimes N$ such that for any abelian group ...
2
votes
1answer
37 views

Prove that $I_k \otimes_k \Omega \rightarrow I$ is injective

Let $\Omega$ be an algebraically closed field, $k$ a subfield of $\Omega$, $I$ an ideal of $\Omega[X_1, ... , X_n]$, and $I_k = I \cap k[X_1, ... , X_n]$. Then $I_k$ is an ideal of $k[X_1, ... , ...
0
votes
0answers
22 views

Dimension of subspace of $(\mathbb{C}^2)^{\otimes n}$

Consider the space $V = (\mathbb{C}^2)^{\otimes n}$ with $n$ even. Let $(v_+, v_-) = ((1,0), (0,1))$ be a basis of $\mathbb{C}^2$. Then the pure tensors $v_{\pm} \otimes \cdots \otimes v_{\pm}$ form a ...
1
vote
0answers
18 views

Stabilizers of Segre varieties

What, if anything, is known about maps in PGL(V) that preserve Segre varieties? I am specifically interested in linear maps preserving the Segre embeddings of $\mathbb{P}^{15} \times ...
1
vote
1answer
22 views

zero element in tensor product of a localization ring and a module

Let $R$ be a commutative ring with $1$. Let $f$ be a non-nilpotent element of $R$ and let $R_f$ be a localization of $R$ by the multiplicative set $\{ f^i \mid i=0,1,2,\dots\}$. Let $M$ be an ...
1
vote
0answers
34 views

Can the following simple tensor preserving map exist?

In this question here, I asked if there could exist a $U \in U(4)$ such that $U$ itself was not the tensor product of two matrices, but such that $U(A \otimes B)U^{-1} = A' \otimes B'$ for all $A,B ...
4
votes
3answers
56 views

Can all “standard” properties of the tensor product be proven from the universal property?

The tensor product is typically constructed in an existence proof by referring to a rather esoteric quotient space which "feels" hard to work with in general. The universal property of bilinear ...
3
votes
2answers
68 views

Commuting of Hom and Tensor Product functors?

Let $V_i,W_i$ be finite dimensional vector spaces, for $i=1,2$. Assume we have homomorphisms $\phi_i:V_i\rightarrow W_i$. Then, there is an induced map $\widehat{\phi_1 \times \phi_2} \in Hom(V_1 ...
0
votes
0answers
29 views

Tensor algebra becomes a graded $R$-algebra short proof verification

I had a post proving that the tensor algebra becomes a graded ring, i have come up with a simple approach that goes as follows: Proposition: The tensor algebra $T(M)$ with multiplication defined ...
2
votes
0answers
45 views

Tensor algebra becomes an R-algebra. Theorem, Proof, Dummit and Foote

I have the definition of tensor algebra as follows: $T(M) = \bigoplus_{i =1}^{\infty} T^i(M)$, where $M$ is an $R$ module, where $R$ is commutative and contains the element $1$. Finally $T^k(M) = ...
7
votes
1answer
208 views

Symmetric kernel of tensor product

Let $V,W$ be two real vector spaces, and let $L_i:V\rightarrow W$, $i=1,\ldots,n$ be $n$ linear maps with distinct kernels $K_i$ of dimension $1$. Consider the tensor product of these maps ...
5
votes
0answers
61 views

Maps that preserve tensor rank

Suppose we have some tensor product of vector spaces. By tensor rank, I mean the minimal number of simple tensors required to write down an element of this tensor product of spaces. Is there much ...
1
vote
0answers
10 views

Tensor products of Lipschitz functions

I have encountered a problem on which I am sure there is some background, which unfortunately I don't know anything about (so that I don't even know where to start). Let $(M, d_M)$, $(N, d_N)$ be ...
0
votes
0answers
13 views

Injective homomorphism on tensor product

I am currently attempting the following: Find (cyclic) $\mathbb{Z}$-modules $M, N, P$ and an injective homomorphism $f: M \rightarrow N$ s.t. $g: M \otimes_{\mathbb{Z}} P \rightarrow N ...
0
votes
0answers
14 views

Explicit example of tensor norms

I can't find any example anywhere on the web where someone actually evaluates a non-trivial tensor norm. So I'm wondering about the simplest non-trivial case. Let $X$ be $\mathbb R^2$ with the ...
3
votes
1answer
47 views

Is there an “internal” definition of the tensor product?

We have the following "internal" definition of the direct sum: A vector space $V$ with subspaces $S,T$ is said to be the direct sum of $S$ and $T$ if $S + T = V$ and $S \cap T = \{0\}$. (Of course ...
3
votes
1answer
45 views

Prove that the following is a non zero tensor.

I'm asked to prove that the ideal $I=(x,y)$ in $R=k[x,y]$ is not a flat R-module. My approach was to use the exact sequence $$0\rightarrow I \to R \to R/I \to 0$$ to induce a non injective map ...
2
votes
0answers
13 views

When do injective and projective tensor norms agree?

For $C^*$-algebra tensor products, one talks about the min and max tensor norms, and they agree when one of the $C^*$-algebras is nuclear. For general Banach algebras, what is the analog of ...
1
vote
1answer
22 views

Module homomorphism on the algebraic closure of $\mathbb{Z}_p$

Let $k$ be the algebraic closure of $\mathbb{Z}_p$ and $k^*=k-\{0\}$ be a multiplicative group. For a finite abelian group (i.e. a finite $\mathbb{Z}$-module) $G$, compute the following: ...
0
votes
0answers
24 views

derivative of a tensor function

If e is a second order tensor and it's symmetrical, assuming abs() is a tensor function such that returns all the components of e be positive, I am interested the derivatives of the function abs(e) ...
1
vote
0answers
25 views

Pullbacks of symmetric tensors commute with products

The problem: Show that $$F*(AB)=(F*A)(F*B)$$ where F is a smooth map from a smooth manifold M to another smooth manifold N, A and B are symmetric tensor fields on N, and $F*$ denotes the pullback ...