Intereting Posts

Suppose $a,b,m,n$ are natural numbers, prove that if $a({m \over n})=b$ and $(a,n)=1$, then ${m \over n} \in \mathbb{N}$
Prove that the empirical measure is a measurable fucntion
What's the meaning of the transpose?
What is the limit of
Can $\mathbb R$ be written as the disjoint union of (uncountably many) closed intervals?
Is there an irrational number $a$ such that $a^a$ is rational?
Closed form for $\sum_{k=0}^{n} \binom{n}{k}\frac{(-1)^k}{(k+1)^2}$
Proof on Riemann's Theorem that any conditionally convergent series can be rearranged to yield a series which converges to any given sum.
Which integers can be expressed as a sum of squares of two coprime integers?
Looking for examples of an uncountable proper subgroup of $(\mathbb R,+)$ without using the concept of Hamel basis of $\mathbb R$ over $\mathbb Q$
$1/i=i$. I must be wrong but why?
Order of the smallest group containing all groups of order $n$ as subgroups.
Did Galois show $5^\sqrt{2}$ can't solve a high-order integer polynomial?
How can I solve the equation $x^3-x-1 = 0$?
proving the existence of a complex root

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 the induced sequence $$A\otimes_R M\xrightarrow{\alpha\otimes Id}B\otimes_R M\xrightarrow{\beta\otimes Id}C\otimes_R M\rightarrow 0$$ is

exact.

The part I have trouble with is that $\ker{\beta\otimes Id}\subset\text{im }{\alpha\otimes Id}$.

- The homotopy category of complexes
- How do you break up an exact sequence of any length to a “succession of short exact sequences”?
- Why does flatness imply these Homs are isomorphic?
- Kähler differential over a field
- Conditions for free/projective/flat module over a groupring
- Finite projective dimension and vanishing of ext on f.g modules

If we had $$\beta(b)\otimes m=0 \text{ if and only if } \beta(b)=0\text{ or }m=0,$$

we could easily conclude using the exactness of the original sequence. However, it is false, right ? (I think of $C_3\otimes \mathbb{Z}/2\mathbb{Z}$, we have $g^2\otimes 1=g\otimes 2=g\otimes 0=0$, where $g$ is a generator of $C_3$.)

I can’t see how to proceed then… When a tensor $c\otimes m$ is zero, what can we say on $c$ and $m$ in general ?

- CW complex such that action induces action of group ring on cellular chain complex.
- Generators of a certain ideal
- Long exact sequence in homology: naturality=functoriality?
- If $\{M_i\}_{i \in I}$ is a family of $R$-modules free, then the product $\prod_{i \in I}M_i$ is free?
- Endomorphism Rings of finite length Modules are semiprimary
- Infinite linear independent family in a finitely generated $A$-module
- Lemma 1.3.4(b) in Bruns and Herzog
- Every Submodule of a Free Module is Isomorphic to a Direct Sum of Ideals
- Let $R=M_n(D)$, $D$ is a division ring. Prove that every $R-$simple module is isomorphic to each other.
- showing exact functors preserve exact sequences (abelian categories, additive functors, and kernels)

The proof mentioned by Frederik and Loronegro is great because it provides a first example of how it can be useful to know that two functors are adjoint: left adjoints are right exact. However, you can also argue as follows. Let $D$ be the image of $\alpha \otimes \operatorname{id}$. You get an induced map $(B \otimes M)/D \to C \otimes M$. Let’s try to define an inverse: if $(c, m) \in C \times M$ then choose a $b \in B$ such that $\beta(b) = c$, and send $(c, m)$ to $b \otimes m \bmod D$. You can check that this is well defined using the exactness of the original sequence.

First of all, if you start with an exact sequence $A\to B\to C\to 0$ of left $R$-modules, then $M$ should be a right $R$-module, so that the tensor products $M\otimes A$, etc. are well defined.

Second, it happens that for the proof that I will explain, it is easier to consider the functor $M\otimes\underline{}$ which is applied to the exact sequence. Then we can use the isomorphism $M\otimes A\cong A\otimes M$ to prove the exactness of the sequence $A\otimes M\to B\otimes M\to C\otimes M\to 0$, in case that $A,B,C$ are right $R$-modules and $M$ is a left $R$-module.

I don’t know a direct proof of the proposition and I think it may be difficult. The proof I know uses indeed the natural isomorphism mentioned by @Frederik (I think that in his comment there is a misorder of the modules involved). With the notation used by @Klaus, the natural isomorphism that is convenient is $Hom(M\otimes A,Q)\cong Hom(A,Hom(M,Q))$, where $Q$ is an injective cogenerator right $R$-module (for example, the injective hull of the direct sum of a complete set of non-isomorphic simple modules). We can consider the functor $(\underline{})^*=Hom(\underline{},Q)$, so the latter natural isomorphism can be stated as $(M\otimes A)^*\cong Hom(A,M^*)$. This functor $(\underline{})^*$, which is contravariant, so that it reverses the direction of morphisms, has the following property:

For $R$-modules $K,N,L$, the sequence $K\to M\to N\to 0$ is exact if, and only if, the sequence $0\to N^*\to M^*\to K^*$ is exact.

Therefore, the sequence $M\otimes A\to M\otimes B\to M\otimes C\to 0$ is exact if, and only if, $0\to (M\otimes C)^*\to (M\otimes B)^*\to (M\otimes A)^*$ is exact, if and only if, $0\to Hom(C,M^*)\to Hom(B,M^*)\to Hom(A,M^*)$ is exact.

But the contravariant functor $Hom(\underline{},M^*)$ is left exact, that is, if the sequence $A\to B\to C\to 0$ is exact, then the sequence $0\to Hom(C,M^*)\to Hom(B,M^*)\to Hom(A,M^*)$ is exact, and this is very much easier to prove directly, rather than the right exactness of the functor $M\otimes\underline{}$, which @Klaus was trying.

Here is a direct proof of exactness at $B \otimes_R N$. Summary: it’s very annoying to prove things in detail using the generators-and-relations definition of tensor products. Even in this long-winded version, significant detail is omitted. I would be curious to know if anyone has typed something like this into Coq.

This is usually treated using the universal property of the tensor product, as in the other answers, or in Dummit and Foote, or left as an exercise. In my opinion, leaving this as an exercise is mostly about not wanting to write this much detail. I have written this out because I can’t find another source that does so.

First we state two clarifying lemmas:

**Lemma 1** If $f \colon S \rightarrow T$ is a map of sets, then the kernel of the induced map of free $R$-modules $f \colon R[S] \rightarrow R[T]$ is generated by $\{s-s’ \in R[S] \mid f(s) = f(s’)\}$.

**Lemma 2** If $$X \xrightarrow{f} Y \xrightarrow{g} Z \rightarrow 0$$ are maps of $R$-modules and $\mathrm{Ker}(f)$ is generated by $\{x_i\}$, $\mathrm{Ker} (g)$ is generated by elements $\{y_j\}$, and we have $x’_j \in X$ such that $f(x’_j) = y_j$, then $\mathrm{Ker} (gf)$ is generated by $\{x_i\} \cup \{x’_j\}$.

To prove that $\mathrm{Ker}(\beta \otimes \mathrm{Id}) \subset \mathrm{Im}(\alpha \otimes \mathrm{Id})$ we work with the definition of the tensor products as quotients of the free modules $R[B \times M]$ and $R[C \times M]$. If $(\beta \otimes \mathrm{Id} )(\sum m_i \otimes n_i) = 0 \in C \otimes_R M$, then the composition $$R[B \times M] \xrightarrow{ \beta \times \mathrm{Id}} R[C \times M] \xrightarrow{\pi} C \otimes_R M$$ sends $\sum (m_i ,n_i)$ to zero, where $\pi$ is the quotient map defining the tensor product.

Our goal is to show that any such element $\sum (m_i ,n_i)$ can be expressed ($\star$) as a sum $\sum_j (\alpha(a_j),m_j)$ plus a linear combination of tensor-product relation elements in $R[B \times M]$ (there are 4 types). This is equivalent to showing that $\sum m_i \otimes n_i$ is in the image of $\alpha \otimes \mathrm{Id}$.

That is to say, we want to show that the kernel of the composition $\pi \circ (\beta \otimes \mathrm{Id})$ is generated by 5 types of elements. Lemma 1 tells us that the kernel of $\beta \times \mathrm{Id}$ is generated ($\triangle$) by $\{(b,m)-(b’,m) \in R[B \times M] \mid \beta(b) = \beta(b’)\}$. The kernel of $\pi$ is generated by tensor-product relation elements by definition. Further, any tensor-product relation element in $R[C \times M]$ is the image of a tensor-product relation element in $R[B \times M]$, because $ \beta $ is onto.

We can write the annoying expression

$$

(b,m)-(b’,m) = (b-b’, m) – [(b+(-b’),m)-(b,m)-(-b’,m)]+[(-1)(b’,m)-(-b’,m)]

$$

Since $\beta(b-b’) = 0$, $b-b’ = \alpha(a)$, so the first term on the RHS is an element in the image of $\alpha \times \mathrm{Id}$ and the other two terms are tensor product relations terms for $B \otimes_R M$.

By Lemma 2, we know a set of generators of $\mathrm{Ker}(\pi \circ (\beta \otimes \mathrm{Id}))$. We want to show that all of these can be expressed as described above ($\star$). The generators arising from tensor-product relation elements of $R[C \times M]$ are tensor-product relation elements in $R[B \times M]$, so there is nothing to prove. The other type of generator $\triangle$ is also expressible in the form $\star$, because of the annoying expression above.

- Is $123456788910111121314\cdots$ a $p$-adic integer?
- How to calculate integral of $\int_0^\sqrt4\!\sqrt\frac{x}{4-x^{3/2}}\,\mathrm{d}x$
- The link between vectors spaces ($L^2(-\pi, \pi$) and fourier series
- Number of distinct values of $ \oint_\gamma \frac{dz}{(z-a_1)(z-a_2)…(z-a_n)}$ for closed $ \gamma $
- $p$-variation of a continuous local martingale
- Determine the set $\{w:w=\exp(1/z), 0<|z|<r\}$
- free software to create equations and export to various formats
- a conjectured continued-fraction for $\displaystyle\cot\left(\frac{z\pi}{4z+2n}\right)$ that leads to a new limit for $\pi$
- What makes the inside of a shape the inside?
- Finding the sum $\sum\limits_{n=1,n\neq m^2}^{1000}\left$,
- Completion as a functor between topological rings
- Integral from $0$ to $\infty$ of $\ln(x)/e^x$
- Is the integral $\int_0^\infty \frac{\mathrm{d} x}{(1+x^2)(1+x^a)}$ equal for all $a \neq 0$?
- $GL(n,K)$ is open in $M(n,K)$
- Composition of smooth maps