## 22.18 Injective modules over graded algebras

In this section we discuss injective graded modules over graded algebras analogous to More on Algebra, Section 15.55.

Let $R$ be a ring. Let $A$ be a $\mathbf{Z}$-graded algebra over $R$. Section 22.2 for our conventions. If $M$ is a graded $R$-module we set

as a graded $R$-module (no signs in the actions of $R$ on the homogeneous parts). If $M$ has the structure of a left graded $A$-module, then we define a right graded $A$-module structure on $M^\vee $ by letting $a \in A^ m$ act by

as in Section 22.13. If $M$ has the structure of a right graded $A$-module, then we define a left graded $A$-module structure on $M^\vee $ by letting $a \in A^ n$ act by

as in Section 22.13 (the sign is forced on us because we want to use the same formula for the case when working with differential graded modules — if you only care about graded modules, then you can omit the sign here). On the category of (left or right) graded $A$-modules the functor $M \mapsto M^\vee $ is exact (check on graded pieces). Moreover, there is an injective evaluation map

of graded $R$-modules, see More on Algebra, Item (17). This evaluation map is a left, resp. right $A$-module homomorphism if $M$ is a left, resp. right $A$-module, see Remarks 22.13.5 and 22.13.6. Finally, given $k \in \mathbf{Z}$ there is a canonical isomorphism

of graded $R$-modules which uses a sign and which, if $M$ is a left, resp. right $A$-module, is an isomorphism of right, resp. left $A$-modules. See Remark 22.13.7.

We claim that $A^\vee $ is an injective object of the category $\text{Mod}_ A$ of graded right $A$-modules. Namely, given a graded right $A$-module $N$ we have

by Lemma 22.13.2 (applied to the case where all the differentials are zero). We conclude because the functor $N \mapsto (N^0)^\vee = (N^\vee )^0$ is exact.

Finally, for every graded right $A$-module $M$ we can choose a surjection of graded left $A$-modules

where $A[k_ i]$ denotes the shift of $A$ by $k_ i \in \mathbf{Z}$. We do this by choosing homogeneous generators for $M^\vee $. In this way we get an injection

Observe that the products in the formula above are products in the category of graded modules (in other words, take products in each degree and then take the direct sum of the pieces).

We conclude that

the category of graded $A$-modules has enough injectives,

for every $k \in \mathbf{Z}$ the module $A^\vee [k]$ is injective, and

every $A$-module injects into a product in the category of graded modules of copies of shifts $A^\vee [k]$.

## Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)