2
$\begingroup$

Hi all!

I am interested in the following question in homological algebra.

Let we have two noncommutative rings with homomorphism $\phi:B\rightarrow A$ and $M$ be a projective $A$-module. Consider the following extension of $M$ over $B$

$0\rightarrow M\rightarrow N\rightarrow M\rightarrow0$

What is the obstruction for $N$ to be a projective $B$-module?

In other words, which elements from $\text{Ext}^{1}_{B}(M,M)$ correspond to projective modules?

$\endgroup$
2
  • $\begingroup$ It's somehow weird to have a question starting with "two noncommutative rings" tagged ac.commutative-algebra. Could someone change it to homological? $\endgroup$ Jul 4, 2012 at 10:17
  • 3
    $\begingroup$ I'd say there are too few hypotheses here to get an answer. $\endgroup$ Jul 4, 2012 at 11:00

1 Answer 1

3
$\begingroup$

Given a short exact sequence $0\to F_1 \to F \to F_2\to 0$, one has $pd(F)\leq \max \left( pd(F_1),pd(F_2) \right)$ with equality except when $pd(F_2)=pd(F_1)+1$. Suppose that $pd_B(M)<\infty$. Then $pd_B(N) = pd_B(M)$.

Now, $N$ is projective if and only if $pd_B(N)=0$. Therefore, one has to ask for $pd_B(M)=0$, which is the same as to say that $M$ is projective as a $B$-module.

$\endgroup$
5
  • 5
    $\begingroup$ It is also possible that $\mathrm{pd}_B(N)=0\ne\infty=\mathrm{pd}_B(M)$. $\endgroup$
    – user2035
    Jul 4, 2012 at 10:28
  • $\begingroup$ @a-fortiori Sure, thanks for pointing this out. $\endgroup$ Jul 4, 2012 at 10:57
  • 1
    $\begingroup$ Counterexample: the ring $\mathbb{Z}/4$ and the extension $0\rightarrow \mathbb{Z}/2\rightarrow\mathbb{Z}/4\rightarrow\mathbb{Z}/2\rightarrow$. $\endgroup$ Jul 4, 2012 at 10:59
  • 3
    $\begingroup$ @Fernando, this obviously happens as $pd_{\mathbf{Z}/4}(\mathbf{Z}/2)=\infty$. I've already put this assumption that I had in mind. $\endgroup$ Jul 4, 2012 at 11:05
  • 1
    $\begingroup$ In case it'll help the OP, I want to mention that my go-to source for questions like this is Lectures on Modules and Rings by T.Y. Lam. This argument appears on page 172 as Corollary 5.23. I assume the OP asked his question for a reason, and it might be useful to read this section of Lam to see if other questions he has are also answered. $\endgroup$ Jul 4, 2012 at 12:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.