Вроде я прикинул с резольвентой Аника, и получается и впрямь кошулева алгебра - для базиса Грёбнера, что у них (должен был получиться) резольвента Аника может быть вполне явно вычислена. Но доказательство у них неверное всё же.