# Tagged Questions

24 views

### The injectivity of $f\mapsto f\circ v$ on $\hom(M'',N)$ implies that $v$ is surjective [duplicate]

I'm an undergrad getting familiar with some notions of commutative algebra by reading Atiyah-McDonald. On the exact sequences part, a part of the proof of (2.9) is proving that if ...
53 views

### Injective dimension and Krull dimension of a module

Let $R$ be a regular local ring and $M$ an $R$-module (not necessarily finite), then the injective dimension $\operatorname{id}_R(M)$ of $M$ is finite. When $M$ is finitely generated, we have ...
69 views

### Minimal injective resolution of a module

Let $R$ be a commutative Noetherian ring and $M$ an $R$-module. Let $0\rightarrow M \rightarrow E^{\bullet}$ be a minimal injective resolution of $M$ and $0\rightarrow M\rightarrow I^{\bullet}$ be an ...
36 views

### Example of Tor-Rigid Module

Let $R$ be a commutative ring (with 1) and $M$ a finitely generated $R$-module. We say that $M$ is rigid if for every finitely generated $R$-module $N$ whenever Tor$_i^R(M,N)=0$ then Tor$_j^R(M,N)=0$ ...
36 views

71 views

### Existence of module of finite injective dimension

At p. 107 of the book Cohen-Macaulay Rings by Bruns and Herzog, the authors write "any module of finite projective dimension (over a Gorenstein ring $R$) has finite injective dimension as well, ...
44 views

### Map induced by localization on categories

I have been doing some reading in Hartshorne's Algebraic Geometry on derived functors and subsequent results in cohomology. Given $A$ an abelian category of groups, I have seen that the map ...
36 views

### Under what conditions are the resolutions of two modules subcomplexes of the resolution of the tensor product?

I have that $S=k[x_1, \dots, x_n]$, $I$ is a lattice ideal, and $J$ is a monomial ideal. I am interested in the resolution of $S/(I+J)\cong S/I\otimes S/J$. In particular, I am interested in knowing ...
45 views

### Tor dimension in polynomial rings over Artin rings

I found this tricky problem in trying to understand some properties of local rings at non-smooth points of embedded curves. But this would be a very long story. So I make it short and I try to go ...
61 views

### $K(A)\cong \mathbb Z$ for a PID $A$
In Atiyah and Macdonald, chapter 7, exercise 26, iii), it's required to show the Grothendieck group $K(A)\cong \mathbb Z$ for a PID $A$. By ii) of this problem, it's easy to show that $K(A)$ is ...
Let $A$ be a PID and consider the exact sequence of finitely generately modules over$A$: $$0\longrightarrow M' \overset{f}{\longrightarrow}M\overset{g}{\longrightarrow}M''\longrightarrow 0 \tag{1}.$$ ...