I am reading Swan’s paper, “Projective modules over group rings and maximal orders” and came across the following characterisation of projective modules: Let $ \Lambda$ be an order in a semisimple $ k$ -algebra. Then each finitely generated projective $ \Lambda$ -module (that is locally free, so always true for $ \mathbb{Z}[G]$ , $ G$Read more