Проективные модули над ограниченными дедекиндовыми кольцами

Если $A$ — ограниченное дедекиндово первичное кольцо и $M$ — $A$-модуль, то $M$ — проективный модуль тогда и только тогда, когда $M$ — $\pi$-проективный непериодический модуль, причём либо $M$ — редуцированный модуль, либо $A$ — простое артиново кольцо.