 Koszul resolution for a rank-two free abelian group

ID: koszul-resolution-for-a-rank-two-free-abelian-group

For

G = ⟨ x, y ∣ x y = y x ⟩

, the trivial

Z G

-module has the free resolution

0 ⟶ Z G (x - 1 1 - y) (Z G)^{2} (x - 1 y - 1) Z G ⟶ Z ⟶ 0.

 New to topics? Read the docs here!