Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $R$ be an arbitrary ring. Let $D$ be the class of $R$-modules of projective dimension less than or equal to a natural number $n$. If $L$ is the direct union of a continuous chain of submodules ${L_{\alpha},\alpha < \lambda}$ for some ordinal number $\lambda$ (this means that $L=\bigcup_{\alpha}L_{\alpha},\ L_{\alpha}\subseteq L_{\alpha^{'}}\ \ if\ \ \alpha \leq \alpha^{'}<\lambda$ and $\ L_{\beta}=\bigcup_{\alpha <\beta}$ when $\beta < \lambda $ is a limit ordinal.) with $L_{0}\in D$ and $L_{\alpha +1}/L_{\alpha}\in D, \forall \alpha<\lambda,$ can one show that $L \in D$?

PS: We know that when $R$ is a perfect ring, then $D$ is closed under direct limits, then we can prove the above question by transfinite induction. But if $R$ is not perfect, how to show that?

share|improve this question
add comment

1 Answer 1

When $n=0$, the module $L$ is isomorphic to the direct sum of $L_{\alpha+1}/L_\alpha$, so it is projective. For an arbitrary natural number $n$, argue by induction. Let $P_\alpha$ denote the free $R$-module with generators indexed by the elements of $L_\alpha$ and $P$ denote the free $R$-module with generators indexed by the elements of $L$. Then $P$ is the direct union of $P_\alpha$. There is a natural morphism of $R$-modules $P\to L$ mapping $P_\alpha$ surjectively onto $L_\alpha$. Let $M$ be the kernel of the morphism $P\to L$ and $M_\alpha$ be the kernel of the morphism $P_\alpha\to L_\alpha$. Then $M$ is the direct union of $M_\alpha$ and the quotient modules $M_{\alpha+1}/M_\alpha$, being isomorphic to the kernels of the morphisms $P_{\alpha+1}/P_\alpha\to L_{\alpha+1}/L_\alpha$, have projective dimensions not exceeding $n-1$.

share|improve this answer
add comment

Your Answer

 
discard

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.