MDLUL/projektive Dimension (lokal)

Start=projektive Dimension (lokal)

MDLUL/projektive Dimension (lokal)

Ziel=Lokaler Ring/Modul/Projektive Dimension/Definition