MDLUL/endliche projektive Dimension

Start=endliche projektive Dimension

MDLUL/endliche projektive Dimension

Ziel=Lokaler Ring/Modul/Projektive Dimension/Definition