Construction of free resolution of modules over a group ring.

119 Views Asked by At

I'm reading this paper, it says(in Theoerm 2) that:

Let $A$ be a finite abelian group, $G$ a finite group, $\Delta G$ the augmentation ideal of the integral group ring $\mathbb Z G$ and a $G$-modules extension $A\hookrightarrow B \twoheadrightarrow \Delta G$, then taking a free resolution of $B$ we get a commutative diagram (4) below:

enter image description here

How is $\mathbb Z G^{m}$ constructed that maps correspondingly?

1

There are 1 best solutions below

2
On BEST ANSWER

$\mathbb{Z}G^m$ is the direct sum of $m$ copies of the group ring $\mathbb{Z}G$. The map $\mathbb{Z}G^m\twoheadrightarrow\Delta G$ is just mapping $1$ in each summand to corresponding generators of the ideal and extend by $\mathbb{Z}G$-linearity.