模上复形

complex over a module