Es sei R {\displaystyle {}R} ein dreidimensionaler lokaler regulärer Ring. Konstruiere eine endliche freie Auflösung des Restklassenkörpers ähnlich zu
