Tagged Questions

101 views

When is $K_0(i)$ an injection?

Suppose that $\mathcal A$ and $\mathcal B$ are two abelian categories such that $\mathcal A$ is a full subcategory of $\mathcal B$. If $i: \mathcal A\rightarrow\mathcal B$ is the inclusion functor, ...
133 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 ...
101 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 ...
115 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 ...
925 views

What are exact sequences, metaphysically speaking?

Why is it natural or useful to organize objects (of some appropriate category) into exact sequences? Exact sequences are ubiquitous - and I've encountered them enough to know that they can provide a ...
105 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 ...
1k 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' ...
463 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 ...
1k 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 ...