1
vote
2answers
27 views

Why does tensoring a projective resolution with a flat module give another projective resolution?

This question came up in this thread: Proving that tensoring a projective module with a flat module gives a projective module? Assume $\left\{P_i\right\}$ is a projective resolution of an $R$-module ...
2
votes
1answer
44 views

Possible examples where the Zero Divisor Conjecture does not hold

Given a ring $R$ with a nonzero zero divisor $x$, it is easy to show that if $M$ is a nonzero $R$-module, then there exists $y\in R-\{0\}$ such that $ym=0$ for some $m\in M-\{0\}$. I was ...
0
votes
1answer
50 views

Characterization of the kernel and cokernel of the natural homomorphism between a module and its double dual. [closed]

Let $R$ be a Noetherian ring and $M$ a finite $R$-module. Suppose $$ G \overset{\varphi}{\rightarrow} F \to M \to 0$$ is exact where $F,G$ are finite free modules. Suppose ...
0
votes
3answers
59 views

$\mathbb{Z}/n\mathbb{Z}$ projective as $\mathbb{Z}/n\mathbb{Z}$-module

$\mathbb{Z}/n\mathbb{Z}$ as $\mathbb{Z}$-module is not projective because isn't torsionfree, but is projective as $\mathbb{Z}/n\mathbb{Z}$ module ?
1
vote
0answers
27 views

An inverse limit of a certain inverse system

Let $∆$ be a directed set and $(N_i,f_{ji})_{i∈∆}$ be an inverse system of $R$-modules. Fix $α \in∆$ and consider $(M_i,g_{ji})_{i\in∆}$ as follows: $M_i=N_i$ for $i≥α$, $M_i=0$ for $i<α$, and ...
1
vote
1answer
18 views

Characterization of faithfully flat modules

This is an exercise from Rotman, introduction to homological algebra. A right $R$-module $B$ is called faithfully flat if : 1) $B$ is flat 2) If $X$ is a left $R$-module and $B \otimes_R X =0 $ ...
4
votes
1answer
40 views

Dual of Schanuel lemma

This is an exercise from Rotman, Introduction to homological algebra. Given exact sequences of $R$-modules \begin{array}{ccccccccc} 0 & \longrightarrow & M & \overset{i}{\longrightarrow} ...
1
vote
0answers
37 views

Direct limits commute with $\mathrm{Tor}$ functor

How one could prove that direct limits commute with the functor $\mathrm{Tor}$? Of course, I know that $\mathrm{Tor}$ with its first $0$ index is the same as tensor product which does commute ...
3
votes
4answers
71 views

Proving that P/PJ is a projective right module over R/J

If P is a projective right module over a ring R and J is a two sided ideal of R. Prove that P/PJ is a projective right module over R/J . My idea was trying to proof that " $M$ is an $R$-module ...
1
vote
0answers
28 views

If a direct sum has a projective cover, must the summands have projective covers?

In “Cover of a direct summand” it is asked to show that if a direct sum has a projective cover, and if one of the summands has a projective cover, then so does the other. I gave a solution that works ...
6
votes
0answers
72 views

When does the tensor product consist of elementary tensors only?

The question is: Assume that $R$ is a (commutative) ring. Under what conditions on $R$-modules $M,N$ does the tensor product $M\otimes_RN$ consist of elementary tensors only? That is, every ...
2
votes
2answers
59 views

Flatness of $\mathbb{Z}$-modules

I have to prove that : 1) For every positive integer $n$, $\mathbb{Z}_{n}$ is not a flat $\mathbb{Z}$-module 2) Every torsion free abelian group is a flat $\mathbb{Z}$-module What I have done: 1) ...
2
votes
2answers
53 views

The Relationship Between Cohomological Dimension and Support

Let $ R $ be a commutative unital ring, $ I $ an ideal of $ R $, and $ M $ an $ R $-module. The cohomological dimension of $ M $ with respect to $ I $ is defined as $$ \operatorname{cd}(I,M) ...
0
votes
1answer
27 views

Extending morphism between derived functors

Let N,M be objects in a left exact functor $F:A\rightarrow B$ between abelian categoire's source, most importantly say there is an isomorpihsm $\psi: F(M)\rightarrow R^dF(N)$ is it possible to extend ...
1
vote
1answer
41 views

Inequality amongst projective dimensions!?

Assume $φ : R\to S$ is a ring homomorphism between commutative rings sending unity to unity. Taking any $S$-module $M$ as an $R$-module, is it true that always $$\operatorname{pd}_R (M)\le ...
5
votes
2answers
300 views

Exercise 2.27 Atiyah-Macdonald, absolute flatness

A commutative ring $R$ is absolutely flat if every $R$-module is flat. Prove that the following are equivalent: 1) $R$ is absolutely flat 2) Every principal ideal of $R$ is idempotent 3) Every ...
1
vote
1answer
45 views

Limit of inverse system where morphisms are non-zero products

I have a rather complicated inverse limit which I am trying to compute. I will try to distil the question to its barest form, but if more details are necessary I can supply them. Let $R$ be an ...
2
votes
1answer
74 views

Exercise 2.26 Atiyah-Macdonald, flatness

I'm stuck on this exercise. $A$ is a commutative ring with unit. $N$ is an $A$-module. Then $N$ is flat $\Longleftrightarrow $ $\text{Tor}_{1}(A/a, N ) = 0 $ for every finitely generated ideal $a$ of ...
2
votes
1answer
90 views

Global dimension of $\mathbb Q [x]$

I'm trying to show that the global dimension of $\mathbb Q [x]$ is $1$. I have shown that $D(\mathbb Q [x]) \leq 1$ as follows. One can reduce to the case of showing that ...
0
votes
2answers
55 views

Show that Q, as a Z module, is a direct summand in a direct product of copies of Q/Z.

Prove:Q, as a Z module, is a direct summand in a direct product of copies of Q/Z. This is a problem from P.J.Hilton&Stammbach's Homological Algebra. If this is true, then there exists a ...
4
votes
1answer
77 views

Why we can consider both modules as modules over $R_{(p)}$? (Bruns and Herzog, Theorem 1.5.9)

I'm reading Bruns-Herzog's book Cohen Macaulay rings and have a probably elementary question. Why we may consider both modules as modules over $R_{(p)}$ in this theorem? ... i know that ...
2
votes
1answer
52 views

A Sort of Exact Sequence

I have not given a lot of thought to this question: It may be very easy or very hard or somewhere in between. Suppose we have a sequence of modules and morphisms which looks like $ \ldots \to A_1 ...
3
votes
2answers
70 views

How can I compute $\operatorname{Tor}(\mathbb Z_{p},\mathbb Z_{q})$?

I am self-studying Vick's Homology Theory, and now it is on the topic of free resolutions. Since I am not familiar with it, I have little ideas about how to compute $$\operatorname{Tor}(\mathbb ...
2
votes
1answer
73 views

Is any right exact sequence of modules induced by free modules?

Let $R$ be a ring and let $M \to N \to K \to 0$ be an exact sequence of $R$-modules. Is there an exact sequence of free modules $A \to B \to C \to 0$ and a commutative diagram $$\begin{array}{c} M ...
0
votes
1answer
37 views

Tor of submodule

Let $R$ be a $CRing$. If $i:A \rightarrow B$ is the inclusion of a $R$-subalgebra A into an $R$-algebra $B$, then what is ther relationship between: $Tor_{A^e}$ and $Tor_{B^e}$?
1
vote
1answer
38 views

Natural map of extension groups

Let $\Lambda$ be a cocommutative Hopf algebra over a commutative ring $R$. For two left $\Lambda$-modules $M$ and $N$, interpret $\mathrm{Ext}_{\Lambda}^n(M,N)$ as the set of equivalence classes of ...
1
vote
1answer
93 views

Definition/existence/uniqueness of a minimal projective resolution

I'm reading Dave Benson's book "Representations and Cohomology," Volume I, and I'm trying to understand the following discussion on page $32$ in which he introduces the notion of a minimal projective ...
1
vote
1answer
35 views

Hom($P$, $R$) $\neq 0 $ if $P$ is a nonzero projective left $R$-module (Rotman)

I've found this exercise, number $3.11$ from Introduction to homological algebra. Prove that $\operatorname{Hom}(P, R) \neq 0 $ if $P$ is a nonzero projective left $R$-module. Any hint?
1
vote
0answers
17 views

Examples of d-extensions in realisation of $\operatorname{Ext}^d$

If $R$ is a commutative unital associative ring and $A$ is an $R$-algebra of dimension $d$, which is local as a ring, then from dimension theory we know that the global dimension of $A$ must be at ...
2
votes
0answers
42 views

Bounds dimension, scheme and projective dimension

Is the dimension of a (commutative unital associative) algebra always bounded above by its protective (injective) dimension? If not is it always bounded above by its global dimension?
2
votes
0answers
124 views

Does $\operatorname{id} M =\dim R$ hold for finite modules of finite injective dimension?

When $\operatorname{id}R<∞$ then $\operatorname{id}R = \dim R$. The same holds for a finite free, projective or flat module instead of $R$, that is, $\operatorname{id}M = \dim R$. Does it hold for ...
4
votes
1answer
53 views

Given a torsion $R$-module $A$ where $R$ is an integral domain, $\mathrm{Tor}_n^R(A,B)$ is also torsion.

Given an integral domain $R$, and a left torsion $R$-module $A$ (i.e. $\forall{a}\in A,\exists{r}\in R$ such that $ra=0$) how would you show that $\mathrm{Tor}_n^R(A,B)$ is also a torsion $R$-module?
4
votes
1answer
134 views

How to calculate $Ext(M,N)$?

I am confused about the calculation of $\text{Ext}(M,N)$. If $N$ is a fixed module and if we consider the projective resolution $$\cdots \to C_1 \to C_0 \to M \to 0,$$ then $\text{Ext}_n(M,N)$ is the ...
3
votes
1answer
88 views

Showing $M\cong M'\oplus M''$ given an exact sequence

I am struggling with the following question: $R$ is a ring. $$M'\overset{f}{\longrightarrow} M\overset{g}{\longrightarrow} M''$$ are homomorphisms of $R$-modules such that for any $R$-module $N$, the ...
2
votes
1answer
33 views

When are maps between Hom sets induced?

I'm trying to better understand $R$-module homomorphisms, and I know that say, an $\, f:M\to N$ induces $\, f_*:Hom_R(V,M)\to Hom_R(V,N)$ or $\, f^*:Hom_R(N,V)\to Hom_R(M,V)$. What I'm wondering is, ...
4
votes
0answers
81 views

Existence of finite projective resolution

The situation I'm considering is quite involved. All rings are noetherian commutative with $1$. All modules are finitely generated. First of all we fix a non reduced local ring $A$ where all zero ...
0
votes
0answers
55 views

Global dimension of endomorphism rings

Does anybody have an idea on how the global dimension of the endomorphism ring of a module over a (nice enough) ring is related to the global dimension of the endomorphism ring of its projective ...
3
votes
1answer
68 views

Determinant of long exact sequence

Let the following be a long exact sequence of free $A$-modules of finite rank: $$0\to F_1\to F_2\to F_3\to...\to F_n\to0$$ I want to show that $\otimes_{i=1}^n (\det F_i)^{-1^{i}} \cong A$, where ...
2
votes
1answer
29 views

Adjoints to cofree modules tensor?

If $M$ is a cofree $R$-module and $A,B$ are arbitrary $R$-modules then, is there a left adjoint to the functor $M\otimes_R -$, i.e. is there an endofunctor $F$ on $_R \mathrm{Mod}$ such that ...
1
vote
2answers
36 views

Showing that an epimorphism to a free module of finite rank splits

Let $M$ be an $R$-module and let $F$ be a free $R$-module of finite rank. Let $\phi : M \to F$ be an epimorphism. Then show that $M$ has a submodule $F' \cong F $ such that $M=F' \oplus \ker\phi$. ...
3
votes
0answers
49 views

Endomorphism rings of MCM Modules

Let $k$ be a field (algebraically closed of characteristic not equal to two, if you like) and let $R = k[[t^2, t^{2n+1}]]$. It is well known $R$ has finite type and the MCM (maximal Cohen-Macaulay) ...
2
votes
1answer
69 views

Homology of Chain Complexes from Free Resolution

Suppose I have an $R$-module $M$ and a free resolution $$ \ldots \to F_2 \to F_1 \to M \to 0. $$ I apply an additive functor $f$ in $R$-$\mathbf{Mod}$ to the free resolution to get $$ \ldots \to ...
8
votes
1answer
79 views

An explicit imbedding of $(R\mathbf{-Mod})^{op}$ into $S\mathbf{-Mod}$

Given a ring $R$ consider $(R\mathbf{-Mod})^{op}$, the opposite category of the category of left $R$-modules. Since it is the dual to an abelian category and the axioms of abelian categories are ...
7
votes
1answer
106 views

Is it true that Tensor product of injective modules is injective?

Is it true that if $M$, $N$ are injective modules over a commutative ring $R$ (with identity) then $M\otimes_R N$ is also injective ?
0
votes
1answer
66 views

Tensor product of modules preserve injectiveness and surjectiveness or not?

Let $R$ be a commutative ring with identity and $M$ an $R$-module. If $N_1\longrightarrow N_2$ is injective (resp. surjective), is the induced map $M\otimes_R N_1\longrightarrow M\otimes N_2$ ...
0
votes
1answer
65 views

When do we have $m\otimes n = 0$ [duplicate]

Let $M$ and $N$ be $R$-modules ($R$ a commutative ring with identity). Let $m \in M$ and $n \in N$. Is there any necessary and sufficient condition to have $m\otimes n = 0$ (as an equation in ...
5
votes
1answer
147 views

Existence proof of the tensor product using the Adjoint functor theorem.

Can one prove the existence of the tensor product by the adjoint functor theorem? (of, say, modules over a commutative ring) If yes, how would one check the SSC (solution set condition) for the hom ...
4
votes
1answer
242 views

A problem about an $R$-module that is both injective and projective.

Let $R$ be a domain that is not a field, and let $M$ be an $R$-module that is both injective and projective. Prove that $M= \left \{ 0 \right \}$. This is exercise 7.52 of Rotman's Advanced ...
3
votes
0answers
118 views

On a commutative diagram

Let a commutative diagram: \begin{array}{ccccccccc} 0 & \longrightarrow & A & \overset{f}{\longrightarrow} & B & \overset{g}{\longrightarrow} & C & \longrightarrow & ...
1
vote
1answer
82 views

Exact sequence of $R$-modules

Let $0\longrightarrow N\overset{f}{\longrightarrow}M\overset{g}{\longrightarrow}L\longrightarrow0$ be a short exact sequence of $R$-modules. Prove that this chain splits iff $f(N)$ is direct ...