Cohen–Macaulay module