4
$\begingroup$

$\newcommand{\Z}{\mathbf{Z}}$ Let $G$ be a non-abelian group. And let $\Z$ be the ring of integers. Under which condition on the group $G$ can we find a free resolution $F_{\bullet}\rightarrow \Z$ of $\Z$ as left $\Z[G]$-module satisfying the conditions ?

  1. $F_{\bullet}\rightarrow \Z$ is a finite resolution I.e. each $F_{i}$ is finitely generated free left $\Z[G]$-module. And $F_{i}=0$ for $i$ enough big.
  2. $F_{\bullet}\rightarrow \Z$ is also a resolution of $\Z[G]$-bimodules. I.e. for each $i$, $F_{i+1}\rightarrow F_{i}$ and $F_{0}\rightarrow \Z$ are maps of $\Z[G]$-bimodule.

In this question each free $\Z[G]$-module is seen as $\Z[G]$-bimodule in the obvious way.

As far as I know, there is a big class of groups satisfying condition 1. I will be happy if one can provide a non-abelian example satisfying 1 and 2. Or a proof that such non-abelian group does not exist.

Improve this question
$\endgroup$
17
  • 3
    $\begingroup$ No. Take $G=\mathbb{Z}$. Then $\mathbb{Z}[G]$ is the ring $R=\mathbb{Z}[t,t^{-1}]$ of Laurent polynomials, and $\mathbb{Z}$ admits the resolution $0\rightarrow R\xrightarrow{\ \times (t-1)\ }R\rightarrow \mathbb{Z}\rightarrow 0$. $\endgroup$
    – abx
    Sep 29, 2022 at 16:02
  • $\begingroup$ @abx oups, I will edit my question, to avoid commutativity. Thanks for your remark. $\endgroup$
    – GSM
    Sep 29, 2022 at 16:04
  • 1
    $\begingroup$ How do you view a free left $R:=\mathbb Z[G]$-module as a $R$-bimodule? Note that the "obvious way" is not well-defined since it depends on how you see a module to be free. For example, let $M$ be the free left $R$-module $R$ of rank 1. For a unit $u\in R$, the right multiplication $u\colon R\to M$ is another way to see $M$ as a free $R$-module, while the "obvious" right multiplications do not coincide (if $u$ is not in the center). $\endgroup$
    – Z. M
    Sep 29, 2022 at 16:21
  • $\begingroup$ @Z.M let say that free module in this question is given by a finite direct sum of Z[G]. The multiplication on the right and on the left are the obvious ones. $\endgroup$
    – GSM
    Sep 29, 2022 at 16:24
  • 1
    $\begingroup$ @GSM I just realised that my answer doesn’t work. If you unaccept it then I’ll delete it. $\endgroup$
    – Jeremy Rickard
    Oct 2, 2022 at 21:24

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.