Projective modules were introduced by Henri Cartan and Samuel Eilenberg in 1956.

In general one can define a -module to be projective by any one of the following:

(1) Any short exact sequence splits;

(2) is a direct summand of a free module, which such that is a free -module;

(3) Given an epimorphism and , then such that , that is

(4) hom is an exact functor.

These four definitions show that projective module has very rich properties and is related to other types of modules. (2) means projective module is a generalization of free modules. (3) is called the lifting property of projective module, it is also a generalization of free module, because if is a free module, there exists a unique such that the following diagram commutes

In (3) we don’t require to be unique, so does not have the universal property, consequently not necessarily a free object in category sense. Dual to definition (3), injective module is introduced

1)Given a monomorphism and a module homomorphism , then such that the following diagram commutes

2) hom is an exact (contravariant) functor;

3) Any short exact sequence splits.

Since we know free modules are all projective ones, two natural questions emerge naturally.

(1)whether there is a projective module but not free;

(2)when the projective module is free.

For the first question, there is an easy answer. Let regarded as a module for -module, then is a free module. By the Chinese remainder theorem, . Thus is a direct summand of free -module. is projective from the definition, but not free -module because actually it is a torsion -module. Carefully investigating this example, the ring is decomposable, , then it is easy to find a non-free projective module, in particular . What if we require the is not decomposable, say is an integral domain in particular? Is it still possible to find a non-free projective module? Our main result of this paper is devoted to this purpose. It turns out to be much more difficult to give such examples. Before finding an example, we should have a rough understanding on which kind of ring projective modules are always free, which is related to the answer of question (2).

The study of (2) can be summarized as following:

If is a PID (the commutative principal ideal domains), all projective modules are free.

This is because any submodule of free module over is free. Projective is direct summand of free module, hence a submodule of free module.

is a local ring, any finitely generated projective module over is free.

This result is proved by Irving Kaplansky in 1958. It is easy to prove this result for finitely generated projective modules, but the general case is difficult.

The following theorem is a well known result of H. Bass.

If is a connected (i.e.without nontrivial idempotents) Noetherian ring. Then any infinitely generated projective -module is free.

The following theorem is known as Serre’s Conjecture, which was solved by Quillen, Daniel and Suslin, Andrei A. independently in 1976.

If , where is a PID, then every projective module over is free.

Note that Bass’s theorem is a special case of Serre’s Conjecture.