5
$\begingroup$

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} L_\alpha$ 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 by transfinite induction. But if $R$ is not perfect, how can we show that?

$\endgroup$
1
  • $\begingroup$ The projective dimension of $L$ is also $\leq n$. This result is known as Auslander's Lemma. $\endgroup$ Aug 7, 2014 at 13:42

1 Answer 1

2
$\begingroup$

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$.

$\endgroup$

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.