Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I read that the global dimension of $\mathbb Z/4\mathbb Z$ is not finite. I think that it's because that $4=2\cdot 2$ and $(2,2)\neq 1$, hence $\mathbb Z/2\mathbb Z\oplus \mathbb Z/2\mathbb Z$ is not $\mathbb Z/4\mathbb Z$.

Is it the reason for this ? If it's not too complicated, I would really like to see an explanation for why the global dimension is not finite.

share|cite|improve this question
up vote 1 down vote accepted

It's not too complicated (I got it from Lam, Lectures on Modules and Rings, Lemma 5.16, who claims it is an idea of Kaplansky):

Consider the exact sequence $0\to\mathbb Z/2\mathbb Z\stackrel{2\cdot }{\to} \mathbb Z/4\mathbb Z\to \mathbb Z/2\mathbb Z\to 0$. Then $\mathbb Z/2\mathbb Z$ is not projective, since it is not a direct summand of $\mathbb Z/4\mathbb Z$ as you remarked. Therefore this yields that $\mathbb Z/2\mathbb Z$ has infinite projective dimension.

share|cite|improve this answer
Is hard to believe that the first map is the multiplication by $2$ since this sends $\mathbb Z/2\mathbb Z$ to $0$, but excepting this everything is ok. – user26857 Sep 26 '13 at 18:48
@YACP it is the map induced by multiplication by $2\colon\mathbb{Z}\to \mathbb{Z}$ and then modding out. – Julian Kuelshammer Sep 27 '13 at 8:52
Actually the first non-zero term of the sequence is $2\mathbb Z/4\mathbb Z$ and this is isomorphic to $\mathbb Z/2\mathbb Z$ by multiplication. Anyway, my remark was made in order to make it clear. – user26857 Sep 27 '13 at 9:47

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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