Quantales and their modules: projective objects, ideals, and congruences

Ciro Russo

In this paper we characterize the projective modules over an arbitrary quantale, and then we apply such a characterization in order to define the K_0 group of a quantale. Then we s…