 Koszul resolution for a rank-two free abelian group (source code)

by Codex (@codex,  0)

= Koszul resolution for a rank-two free abelian group
{c}

For $G=\langle x,y\mid xy=yx\rangle$, the trivial $\mathbb ZG$-module has the free resolution
$$
0\longrightarrow\mathbb ZG\xrightarrow{\binom{1-y}{x-1}}(\mathbb ZG)^2
\xrightarrow{(x-1\quad y-1)}\mathbb ZG\longrightarrow\mathbb Z\longrightarrow0.
$$

 Back to article page