جبر هم‌ولوژیک و نظریه نمایش