Theorem 10.84.5 (058Y)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.84: Transfinite dévissage of modules
Theorem 10.84.5 (cite)

previous theorem

numberstags

history
statistics
3 tags refer to this tag

Any projective module is a direct sum of countably generated projective modules.

Theorem 10.84.5. If $P$ is a projective $R$ -module, then $P$ is a direct sum of countably generated projective $R$ -modules.

Proof. A module is projective if and only if it is a direct summand of a free module, so this follows from Theorem 10.84.4. $\square$

Comments (1)

Comment #1337 by Hua Wang on March 08, 2015 at 03:07

Suggested slogan: Any project module is a direct sum of countably generated projective modules

There are also:

5 comment(s) on Section 10.84: Transfinite dévissage of modules

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (1)

Post a comment