諾特環
However, there are examples of finitely generated modules over a non-Noetherian ring which are locally free and not projective. For instance,