Finde für den Restklassenring
eine endliche freie Auflösung als K [ X , Y , Z ] {\displaystyle {}K[X,Y,Z]} -Modul.