Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If I have a divisible abelian group (i.e $\mathbb{Z}$-injective) $D$ and I take an arbitrary group $G$, and then I give $D$ the trivial $G$ action, then will $D$ be an injective $\mathbb{Z}[G]$-module?

Thank you

share|cite|improve this question
up vote 2 down vote accepted

This statement is false. Let $T$ be the infinite cyclic group with generator $t\in T$. Then I claim that nontrivial abelian group $M$ with the trivial $T$-action cannot be an injective $T$-module. (By $T$-module I mean a $\mathbb{Z}[T]$ module.)

Let $M$ be a nontrivial abelian group with trivial $T$-action. Then $M$ is injective as a $T$ module if and only if the functor $\mathrm{Hom}_T(-,M)$ is an exact functor. To show that this is not the case, it is sufficient to show that $\mathrm{Ext}^1_T(\mathbb{Z},M)\not= 0$. This can be computed using the projective $T$-resolution $0\to \mathbb{Z}[T]\xrightarrow{t-1}\mathbb{Z}[T]\xrightarrow{\epsilon}\mathbb{Z}\to 0$ where $\epsilon$ is the augmentation map.

Using this, one easily shows that $\mathrm{Ext}^1_T(\mathbb{Z},M) \cong M_T$, where $M_T$ is the module of coinvariants. Since $M$ has the trivial action, $M_T\cong M$ and $M$ is nonzero by assumption. (This of course is the usual group cohomology $H^1(T,M)$.) Hence $M$ cannot be injective.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.