37
votes

### When is the tensor product of two fields a field?

This is the most complete treatment I could come up with. Let $k \subseteq K^{\operatorname{sep}} \subseteq K^{\operatorname{alg}} \subseteq K$ and $k \subseteq L^{\operatorname{sep}} \subseteq L^{\...

Community wiki

20
votes

Accepted

### Is the tensor product of chain complexes a Day convolution?

The answer to the question posed in the title of your post is yes, the tensor product of chain complexes is a Day convolution product. The important thing to note is that, to define a Day convolution ...

18
votes

### Tensor product of vector bundles

Perhaps the fundamental issue here is an unintended consequence of the orthodox set-theoretic foundations of mathematics, which can give the mistaken impression that mathematical objects need be ...

16
votes

### Clebsch–Gordan decomposition formula for algebraic groups

Let $G$ denote the group, and suppose one has an enumeration of its irreducible representations $V_{\lambda}$ by some combinatorial objects $\lambda$, like nonnegative integers for $SU_2$ (or for ...

13
votes

Accepted

### Axiom of choice and algebraic tensor product

I think both can be proved without choice, essentially because, in both cases, whenever you're tempted to choose a basis, you can manage with a little care to get by with a basis of a finite ...

12
votes

Accepted

### Non-tensor-representable ultrafilters on $\omega$

Recall that $\mathcal Z$ is a weak $P$-point if it is not in the closure of any countable subset of $\omega^* \setminus \{\mathcal Z\}$. A weak $P$-point is never the tensor product of two non-...

12
votes

Accepted

### A non nuclear $C^*$ algebra $A$ for which the algebraic tensor product $A\otimes A$ admits a unique $C^*$ norm

Pisier https://arxiv.org/abs/1908.02705 very recently constructed a non-nuclear $C^\ast$-algebra $A$ with the weak expectation property (WEP) and the local lifting property (LLP). By a celebrated ...

12
votes

Accepted

### Taking the category of sheaves is symmetric monoidal

Provided at least one of $M$ and $N$ is locally compact, the $\infty$-topos $\mathrm{Sh}(M \times N)$ is the product of $\mathrm{Sh}(M)$ and $\mathrm{Sh}(N)$ in $\mathrm{RTop}$. This is HTT 7.3.1.11.
...

12
votes

### Can we test if an abelian group is finitely generated by taking tensor product?

First note that it's not necessary to consider the tensor products $A \otimes K$ for arbitrary fields $K$; $K$ has some prime subfield $k$, and $A \otimes K \cong (A \otimes k) \otimes_k K$, so all ...

11
votes

Accepted

### Constructive proof that a kernel consists of nilpotent elements

This answer provides a scheme how to construct a constructive proof, though I'm still working to actually explicitly extract the constructive proof, so please don't accept the answer just yet. (Update:...

11
votes

### Linear algebra underlying quantum entanglement?

Many introductory books on quantum information theory go over the linear algebraic tools necessary to study the topic, including the tensor product (since it indeed models quantum entanglement). ...

11
votes

### Proof of $V\cong \overline{K} \otimes_{K} V_K$ using $H^1(G_{\overline{K}/K},\operatorname{GL}_n(K))＝0$

Here's a sketch of the proof. I encourage you to fill in the details yourself. The definition of $V_K$ is $V_K=H^0(G_{\overline K/K},V)$. The key part of the proof is to show that $V$ has a $\overline{...

10
votes

### Approximation property counterexamples? (Also: relation to tensor products)

Taking your last question first: there is an accessible discussion of the link between the AP and the injectivity of the comparison map "projective tensor product to injective tensor product" in ...

10
votes

Accepted

### Basis of invariant tensors of rank n in three dimensions

Planar partitions with no singletons works. You need to pick for each $n>1$ some map with certain properties. One way to do this is to just fix a preferred trivalent tree of each size and ...

10
votes

Accepted

### Tensor product of irreducible representations of an algebra

By a famous theorem of R. Steinberg, STEINBERG, R. Complete sets of representations of algebras. PROC. Am. Math. Soc. 13 (1962), 746-747, if $V$ is a faithful representation for a monoid $M$, then $T(...

9
votes

Accepted

### Reference request: tensor induction

An introduction to tensor induction is given in §13 of
Curtis, Charles W.; Reiner, Irving, Methods of representation theory with applications to finite groups and orders. Volume 1., Wiley Classics ...

9
votes

### Functors on the category of abelian groups which satisfy $F(G\times H) \cong F(G)\otimes_{\mathbb{Z}} F(H)$

The first thing that comes to mind is the symmetric algebra functor
$$A \mapsto Sym_{\mathbb Z}(A) = \oplus_{n \in \mathbb N} Sym^n_{\mathbb Z}(A) = \mathbb Z \oplus A \oplus (A\otimes A/ \Sigma_2) \...

Community wiki

9
votes

Accepted

### Varieties with everywhere good reduction that are isomorphic over every completion have isomorphic generic fibers

Here's an explicit example. Let $R=\mathbb{Z}[\sqrt{2}]$, let $X=\mathbb{P}^1_R$, and let $Y$ be the smooth projective conic defined by the equation $$(2-\sqrt{2})x^2+y^2+(2-\sqrt{2})z^2+xy+yz+(3-2\...

9
votes

Accepted

### A different notion of a decomposable symmetric tensor (besides Veronese)

Your $\vee$ is essentially multiplication of polynomials. The variety of tensors $x_1 \vee \dotsb \vee x_m$ corresponds to polynomials that factor as products of linear factors. Points of the (...

9
votes

Accepted

### Defining the abstract tensor product of W*-algebras via a universal property

You can see this is false by taking $N = \mathbb{C}$. Then, given a von Neumann algebra $M$, you are asking for a von Neumann algebra $\widetilde{M}$ and a weak* dense embedding $\iota: M \to \...

9
votes

### Injection vs. bijection between $V^\star \otimes V^\star$ and $(V \otimes V)^\star$

Write $V=k^{(I)}$ (this is always the case, up to isomorphism, for some set $I$, namely take $I$ to be a basis subset).
So $V^*=K^I$, $V\otimes V=k^{(I\times I)}$ and the embedding of $V^I\otimes V^I$ ...

9
votes

### Tensor product of vector bundles

I guess we should start by speaking somewhat philosophically about what it means to think geometrically about bundles. For me, this usually means looking at their sections: either constructing ...

8
votes

Accepted

### exponential functors on finite dimensional complex vector spaces

In case anyone is still interested in this question:
There is a classification of polynomial exponential functors on the category $\mathcal{V}$ of finite-dimensional inner product spaces in terms of ...

8
votes

Accepted

### Tensor product of field extensions

In general, if $A$ is a field of characteristic $0$ and $B/A, C/A$ are two finite extensions of $A$, then the tensor product $B \otimes_A C$ is isomorphic to the product (i.e. direct product of $K$-...

8
votes

Accepted

### Containment of $c_0$ in projective tensor products

The answer is no. Bourgain and Pisier have given a counterexample (A construction of $\mathcal{L}_\infty$-spaces and related Banach spaces. Bol. Soc. Bras. Mat. 14, No. 2, 109-123 (1983). See Zbl 0586....

8
votes

Accepted

### Infinite dimensional irreducible representations of a tensor product

Nate's suggestion on math.SE works. We'll show that if $A = k[x, \partial_x]$ and $B = k[y, \partial_y]$ are both taken to be the Weyl algebra, then the module over $A_2 = A \otimes B \cong k[x, \...

8
votes

Accepted

### Completed tensor product and power series rings

$k[[x]]$ and $k[[y]]$ are topological $k$-algebras, and their completed tensor product is indeed isomorphic to $k[[x,y]]$ (with the topology defined by the maximal ideal $(x,y)$). This is because the ...

8
votes

### Origin of the symbol for the tensor product

According to John Aldrich's list of "Earliest Uses of Symbols for Matrices and Vectors", the notation $\times$ for direct product (as well as the name itself) goes back to Wedderburn's 1934 ...

8
votes

### If $A\hat\otimes B$ has identity then so are $A$ and $B$

The answer is NO, if you count $0$ as a unital Banach algebra. Otherwise, it's YES. Let $e \in A \hat\otimes B$ be a unit and take $b_0\in B$ and $g\in B^*$ with $g(b_0)=1$. Let $g\cdot b_0\in B^*$ be ...

7
votes

### maximal tensor product of simple $C^*$algebras is non-simple

An explicit example to question 1 is given by $A=B=C^*_r(G)$ where $G$ is the free group on two generators.
Takesaki produced the first systematic study of nuclearity (then called Property (T)) in ...

Only top scored, non community-wiki answers of a minimum length are eligible

#### Related Tags

tensor-products × 417fa.functional-analysis × 102

linear-algebra × 55

rt.representation-theory × 48

ac.commutative-algebra × 45

ra.rings-and-algebras × 39

oa.operator-algebras × 38

banach-spaces × 35

c-star-algebras × 32

reference-request × 28

ct.category-theory × 25

tensor × 25

ag.algebraic-geometry × 23

modules × 21

homological-algebra × 19

operator-theory × 19

matrices × 18

hilbert-spaces × 17

banach-algebras × 14

qa.quantum-algebra × 10

monoidal-categories × 10

gr.group-theory × 9

multilinear-algebra × 9

co.combinatorics × 8

fields × 8