Tagged Questions

1
vote
1answer
47 views

What's stronger: projective or locally free? flat or locally free?

maybe that's an idiot question, however I did not found anything related in the classical references. It's know that a finitely generated projective $A$-module $M$ is locally free ,since each ...
2
votes
2answers
76 views

What's the definition of a free module in an abelian category?

I was trying to prove that free modules were projective in the language of abelian categories, but did not succeed. I was missing a good description of what a free module is. So my question is ...
1
vote
1answer
77 views

A particular isomorphism between Hom and first Ext.

Let $R$ commutative ring and $I$ an ideal of $R$. How do I prove that $\operatorname{Ext}^1_R(R/I,R/I)$ isomorphic to $\operatorname{Hom}_R(I/I^2,R/I)$ ? This question is an exercise of the course ...
18
votes
2answers
412 views

What are exact sequences, metaphysically speaking?

Why is it natural or useful to organize objects (of some appropiate category) into exact sequences? Exact sequences are ubiquitous - and I've encountered them enough to know that they can provide a ...
4
votes
0answers
76 views

Mod-$R$, Mod-$S$ and Mod-$R \otimes S$

Let $R,S,T$ be commutative rings and assume that $R,S$ are $T$-algebras. In an answer to this question, Pierre-Yves Gaillard gives an example of an $R \otimes_T S$-module that cannot be written as ...
17
votes
4answers
759 views

Proving the snake lemma without a diagram chase

Suppose we have two short exact sequences in an abelian category $$0 \to A \mathrel{\overset{f}{\to}} B \mathrel{\overset{g}{\to}} C \to 0 $$ $$0 \to A' \mathrel{\overset{f'}{\to}} B' ...
8
votes
2answers
275 views

Derived functors of torsion functor

Let $A$ be a domain. For every $A$-module $M$ consider its torsion submodule $M^{tor}$ made up of elements of $M$ which are annihilated by a non zero-element of $A$. If $f \colon M \to N$ is a ...
10
votes
1answer
653 views

Hom is a left-exact functor

If $0 \to A \to B\to C$ is a left exact sequence of $R$-module, then for any $R$-module $M$, $0 \to Hom_R(M,A)\to Hom_R(M,B)\to Hom_R(M,C)$ is left exact. I proved the above, and highlighted what ...