# Tagged Questions

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 ...
29 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 ...
26 views

### Given ring $A$, ideal $I$, and $A$-module $M$, show that $A/I \otimes_A M$ is isomorphic to $M/IM$.

The question is stated as in the title; the hint I am given is to "tensor the exact sequence" $0 \rightarrow I \rightarrow A \rightarrow A/I \rightarrow 0$, which I take to mean using that sequence ...
105 views

### Tensor products and monomorphisms of $A$-modules.

This problem addresses the same question that has been asked in $A^m\hookrightarrow A^n$ implies $m\leq n$ for a ring $A\neq 0$, which is exercise 2.11 of Atiyah and Macdonald's Introduction to ...
102 views

### If for $A$ a commutative nonzero ring $A^m ≅ A^n$ as $A$-modules, then $m = n$

This is the problem I need to solve: Let $A$ be a nonzero ring. Show that if $A^m ≅ A^n$, then $m = n$. The book I got this problem from suggests using the following method to solve it: Let ...
130 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)$$ ...
22 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 ...
175 views

### Show that V $\otimes _\mathbb{R}$ $\mathbb{C}$ is isomorphic to V + iV

Let V be a real n-dimensional vector space. Show that V $\otimes _\mathbb{R}$ $\mathbb{C}$ is isomorphic to V + iV. Note that V $\otimes _\mathbb{R}$ $\mathbb{C}$ is a real vector space and is ...
64 views

240 views

### A characterization of finite purely inseparable extensions of fields

Let $K/k$ be a finite extension of fields. Let $A=K \otimes_k K$. An exercise: Show that $K/k$ is purely inseparable $\Leftrightarrow A/J(A) \cong k$, where $J(A)$ is the Jacobson radical of $A$. It ...
1k views

### What does a zero tensor product imply?

I'm trying to prove that for two finitely generated $A$-modules $M,N$ ($A$ being any cmmutative ring), the tensor product $M\otimes_A N$ is zero iff $\operatorname{Ann}(M)+\operatorname{Ann}(N)=A$. ...
Let $A\stackrel{\alpha}{\rightarrow}B\stackrel{\beta}{\rightarrow}C\rightarrow 0$ a exact sequence of left $R$-modules and $M$ a left $R$-module ($R$ any ring). I am trying to prove that ...
### what is the tensor product $\mathbb{H\otimes_{R}H}$
I'm looking for a simpler way of thinking about the tensor product: $\mathbb{H\otimes_{R}H}$, i.e a more known algbera which is isomorphic to it. I have built the algebra and played with it for a ...