© Wuhan University 2025

0 Introduction

A module $M$ is called type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$ if $M$ has a projective resolution by finitely generated projective modules. This concept is a generalization of finitely generated modules and finitely presented modules, which is studied by Bravo et al^[1]. Also a module $N$ is called $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$-injective or absolutely clean if $\mathrm{E}\mathrm{x}{\mathrm{t}}_R^{\mathrm{1}}(M,N)=\mathrm{0}$ for all modules $M$ of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$, these modules have properties that injective modules only have over Noetherian rings. Specifically, if $R$ is left Noetherian, the modules of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$ are precisely the finitely generated modules.

The category of complexes plays an important role in the theory of homological algebra, and many results of the category of modules have been generalized to the category of complexes. As we know, in the category of complexes, the relationship between complexes and its level modules and cycle modules is an important research topic. For example, a complex is injective if and only if it is exact and each cycle module is injective. A complex $X$ is absolutely clean if and only if $X$ is exact and each $Z_n^t(X)$ is an absolutely clean module for each $n\in \mathbf{\mathbb{Z}}$ and $t=\mathrm{1,2},\cdots ,N$. A complex $X$ is Gorenstein AC-injective if and only if $X_n$ is a Gorenstein AC-injective module and $\mathrm{H}\mathrm{o}{\mathrm{m}}_R(A,-)$ is exact for any absolutely clean complex $A$^[2].

The notion of N-complexes was introduced by Mayer in his study of simplicial complexes^[3-4], that is, it satisfies differentials $d^N=\mathrm{0}$. The category of N-complexes is consistent with the category of complexes whenever $N=\mathrm{2}$. In 1996, Kapranov^[5], Dubois-Violette and Kerner^[6] gave an abstract framework of homological theory of N-complexes. Since then, the N-complexes have been concerned by many authors, for example Refs.[7-11]. Recently, Lu^[12] introduced the concept of FP-injective N-complexes, which has shown that an N-complex $X$ is FP-injective if and only if $X$ is N-exact and $Z_n^t(X)$ is an FP-injective module for each $n\in \mathbf{\mathbb{Z}}$ and $t=\mathrm{1,2},\cdots ,N$.

In present paper, we establish relationships between the absolutely clean N-complex and its level modules and cycle modules. And from this, we prove that under certain hypotheses, an N-complex $X$ is Gorenstein AC-injective if and only if $Z_n^t(X)$ is a Gorenstein AC-injective module for each $n\in \mathbf{\mathbb{Z}}$ and $t=\mathrm{1,2},\cdots ,N$.

More precisely, our results can be stated as follows:

Theorem 1   Let $X$ be an N-complex. Then $X$ is absolutely clean if and only if $X$ is N-exact and $Z_n^i(X)$ is an absolutely clean module for each $n\in \mathbf{\mathbb{Z}}$ and$i=\mathrm{1,2},\cdots ,N$.

As an application of Theorem 1, the following result is established.

Proposition 1   Let $X$ be a bounded above N-complex. Then $X$ is absolutely clean if and only if $X$ is N-exact and $X_n$ is an absolutely clean module for $n\in \mathbf{\mathbb{Z}}$.

It is well known that an N-complex $X$ is Gorenstein AC-injective if and only if $X_n$ is a Gorenstein AC-injective module and $\mathrm{H}\mathrm{o}{\mathrm{m}}_R(A,X)$ is N-exact for any absolutely clean N-complex $A$^[9]. As another application of Theorem 1, we also obtain the following result, which extends the above classical result to the Gorenstein AC-injective N-complexes.

Proposition 2   Let $X$ be an N-exact N-complex with $\mathrm{H}\mathrm{o}{\mathrm{m}}_R(D_n^{\mathrm{1}}(M),X)$N-exact for any absolutely clean module $M$. Then $X$ is a Gorenstein AC-injective N-complex if and only if $Z_n^t(X)$ is a Gorenstein AC-injective module for each $n\in \mathbf{\mathbb{Z}}$ and $t=\mathrm{1},\mathrm{2},\cdots ,N$.

1 Preliminaries

Throughout this paper, unless stated otherwise, $R$ denotes an associative ring with an identity and by the term "module" we always mean a left $R$-module and use $R$-$\mathrm{M}\mathrm{o}\mathrm{d}$ to denote the category of left $R$-modules.

This section is devoted to recalling some notions and basic consequences for use throughout this paper. For terminology we shall follow Refs. [7] and [10] when working with N-complexes.

By an N-complex $X(N\ge \mathrm{2})$ we mean a sequence of left $R$-modules

$\cdots \stackrel{d_{n+\mathrm{2}}^X}{\to }{X}_{n+\mathrm{1}}\stackrel{d_{n+\mathrm{1}}^X}{\to }{X}_n\stackrel{d_n^X}{\to }{X}_{n-\mathrm{1}}\stackrel{d_{n-\mathrm{1}}^X}{\to }\cdots$

satisfying $d^N=d_{n+\mathrm{1}}^X{d}_{n+\mathrm{2}}^X\cdots d_{n+N}^X=\mathrm{0}$ for any $n\in \mathbf{\mathbb{Z}}$. That is, composing any N-consecutive morphisms gives $\mathrm{0}$. So a $\mathrm{2}$-complex is a chain complex in the usual sense. A chain map or simply map $f:X\to Y$ of N-complexes is a collection of morphisms $f_n:X_n\to Y_n$ making all the rectangles commute. In this way, we get a category of N-complexes of left $R$-modules, denoted by ${\mathcal{C}}_N(R)$, whose objects are N-complexes and whose morphisms are chain maps. This is an abelian category having enough projectives and injectives. Let $C$ and $D$ be N-complexes. We use $\mathrm{H}\mathrm{o}{\mathrm{m}}_{{\mathcal{C}}_N(R)}(C,D)$ to denote the Abelian group of morphisms from $C$ and $D$ and $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^i(C,D)$ for $i\ge \mathrm{0}$ to denote the groups we get from the right derived functor of $\mathrm{H}\mathrm{o}\mathrm{m}$.

For an N-complex $X$, there are $N-\mathrm{1}$ choices for homology. Indeed for $t=\mathrm{1,2},\cdots ,N$, we define $Z_n^t(X)=\mathrm{K}\mathrm{e}\mathrm{r}(d_{n-(t-\mathrm{1})}\cdots d_{n-\mathrm{1}}{d}_n)$ and $B_n^t(X)=\mathrm{I}\mathrm{m}(d_{n+\mathrm{1}}{d}_{n+\mathrm{2}}\cdots d_{n+t})$. In particular, we have $Z_n^{\mathrm{1}}(X)=\mathrm{K}\mathrm{e}\mathrm{r}{d}_n$,$Z_n^N(X)=X_n$ and $B_n^{\mathrm{1}}(X)=\mathrm{I}\mathrm{m}{d}_{n+\mathrm{1}}$,$B_n^N(X)=\mathrm{0}$. Finally, we define $H_n^t(X)=Z_n^t(X)/B_n^{N-t}(X)$ the amplitude homology objects of $X$ for all $t$. We say $X$ is N-exact, or just exact, if $H_n^t(X)=\mathrm{0}$ for all $n$ and $t$.

An N-complex $X$ is called bounded, if there is only a finite number $n$ such that $X_n\ne \mathrm{0}$; if $X_n=\mathrm{0}$ when $n$ is sufficiently large, which is called bounded above. Similarly, we can define lower bounded N-complexes. As we know, an N-complex $X$ is called finitely generated if $X$ is bounded and $X_n$ is a finitely generated module for each $n\in \mathbf{\mathbb{Z}}$.

Unless stated otherwise, in the following complexes will always denote $\mathrm{2}$-complexes. Given a module $A$, we define N-complexes $D_n^t(A)$ for $t=\mathrm{1,2},\cdots ,N$, as follows: $D_n^t(A)$ consists of $A$ in degrees $n,n-\mathrm{1},\cdots ,n-(t-\mathrm{1})$, all joined by identity morphisms, and $\mathrm{0}$ in every other degree. Let $\{M_n|n\in \mathbf{\mathbb{Z}}\}$ be objects of modules. Then $(\coprod _{n\in \mathbf{\mathbb{Z}}}{D}_n^N(M_n{))}_k=(\prod _{n\in \mathbf{\mathbb{Z}}}{D}_n^N(M_n{))}_k=M_{k+N-\mathrm{1}}\oplus \cdots \oplus M_k$ for all $k$. Therefore,

$\coprod _{n\in \mathbf{\mathbb{Z}}}{D}_n^N(M_n)=\prod _{n\in \mathbf{\mathbb{Z}}}{D}_n^N(M_n).$

Two chain maps $f,g:X\to Y$ are called chain homotopic, or simply homotopic if there exists a collection of morphisms $\{s_n:X_n\to Y_{n+N-\mathrm{1}}\}$ such that

$\begin{array}{l}{g}_n-f_n=d^{N-\mathrm{1}}{s}_n+d^{N-\mathrm{2}}{s}_{n-\mathrm{1}}d+\cdots +s_{n-(N-\mathrm{1})}{d}^{N-\mathrm{1}}\\ ={\displaystyle \sum _{i=\mathrm{0}}^{N-\mathrm{1}}}{d}^{(N-\mathrm{1})-i}{s}_{n-i}{d}^i,\forall n.\end{array}$(1)

If $f$ and $g$ are homotopic, then we write $f\sim g$. We call a chain map $f$ null homotopic if $f\sim \mathrm{0}$. There exists an additive category ${\mathcal{K}}_N(R)$, called the homotopy category of N-complexes, whose objects are the same as those of ${\mathcal{C}}_N(R)$ and whose $\mathrm{H}\mathrm{o}\mathrm{m}$ sets are the equivalence classes of $\mathrm{H}\mathrm{o}\mathrm{m}$ sets in ${\mathcal{C}}_N(R)$. An isomorphism in ${\mathcal{K}}_N(R)$ is called a homotopy equivalence. Let ${\mathcal{S}}_N(R)$ be the collection of sequences $\mathrm{0}\to X\to Y\to Z\to \mathrm{0}$ of morphisms in ${\mathcal{C}}_N(R)$ such that $\mathrm{0}\to X_i\to Y_i\to Z_i\to \mathrm{0}$ is split exact in ${\mathcal{K}}_N(R)$ for any integer $i$.

Following Ref.[8], let $X\in {\mathcal{C}}_N(R)$, we have morphisms ${\rho }_n^{X_{n+N-\mathrm{1}}}:D_{n+N-\mathrm{1}}^N(X_{n+N-\mathrm{1}})\to X$ and ${\lambda }_n^{X_n}:X\to D_{n+N-\mathrm{1}}^N(X_n)$. Set ${\rho }^X:{\oplus }_{n\in \mathbf{\mathbb{Z}}}{D}_{n+N-\mathrm{1}}^N(X_{n+N-\mathrm{1}})\to X$ and ${\lambda }^X:X\to {\oplus }_{n\in \mathbf{\mathbb{Z}}}{D}_{n+N-\mathrm{1}}^N$

$(X_n)$. Then we have the following exact sequences in ${\mathcal{S}}_N(R)$,

$\mathrm{0}\to \mathrm{K}\mathrm{e}\mathrm{r}{\rho }^X\stackrel{{\epsilon }^X}{\to }{\oplus }_{n\in \mathbf{\mathbb{Z}}}{D}_n^N(X_n)\stackrel{{\rho }^X}{\to }X\to \mathrm{0}$(2)

and

$\mathrm{0}\to X\stackrel{{\lambda }^X}{\to }{\oplus }_{n\in \mathbf{\mathbb{Z}}}{D}_{n+N-\mathrm{1}}^N(X_n)\stackrel{{\eta }^X}{\to }\mathrm{C}\mathrm{o}\mathrm{k}\mathrm{e}\mathrm{r}{\lambda }^X\to \mathrm{0}$(3)

Now we define functors $\mathrm{\Sigma }$,${\mathrm{\Sigma }}^{-\mathrm{1}}:{\mathcal{C}}_N(R)\to {\mathcal{C}}_N(R)$ by ${\mathrm{\Sigma }}^{-\mathrm{1}}X=\mathrm{K}\mathrm{e}\mathrm{r}{\rho }^X$ and $\mathrm{\Sigma }X=\mathrm{C}\mathrm{o}\mathrm{k}\mathrm{e}\mathrm{r}{\lambda }^X$ in the exact sequences above. Then $\mathrm{\Sigma }$ and ${\mathrm{\Sigma }}^{-\mathrm{1}}$ induce the suspension functor and its quasi-inverse of the triangulated category ${\mathcal{K}}_N(R)$. On the other hand, we define the shift functor $\mathrm{\Theta }:{\mathcal{C}}_N(R)\to {\mathcal{C}}_N(R)$ by $\mathrm{\Theta }{(X)}_i=X_{i+\mathrm{1}}$ and $d_i^{\mathrm{\Theta }(X)}=d_{i+\mathrm{1}}^X$ for $X=(X_i,d_i^X)\in {\mathcal{C}}_N(R)$. The N-complex $\mathrm{\Theta }(\mathrm{\Theta }X)$ is denoted as ${\mathrm{\Theta }}^{\mathrm{2}}X$ and inductively we define ${\mathrm{\Theta }}^{n}X$ for all $n\in \mathbf{\mathbb{Z}}$. This induces the shift functor $\mathrm{\Theta }:{\mathcal{K}}_N(R)\to {\mathcal{K}}_N(R)$ which is a triangle functor. Unlike classical case, $\mathrm{\Sigma }$ does not coincide with $\mathrm{\Theta }$.

Following Refs. [8] or [10], for any N-complex $X$, $\mathrm{\Sigma }X$ and ${\mathrm{\Sigma }}^{-\mathrm{1}}X$ are given by the following explicit description,

${(\mathrm{\Sigma }X)}_n=X_{n-\mathrm{1}}\oplus X_{n-\mathrm{2}}\oplus \cdots \oplus X_{n-(N-\mathrm{1})},d_n^{\mathrm{\Sigma }X}=\left(\begin{array}{rrrrrrr}-d& \mathrm{1}& \mathrm{0}& \cdots & \mathrm{0}& \mathrm{0}& \mathrm{0}\\ -d^{\mathrm{2}}& \mathrm{0}& \mathrm{1}& \cdots & \mathrm{0}& \mathrm{0}& \mathrm{0}\\ ⋮& ⋮& ⋮& ⋮& ⋮& ⋮& ⋮\\ -d^{N-\mathrm{3}}& \mathrm{0}& \mathrm{0}& \cdots & \mathrm{0}& \mathrm{1}& \mathrm{0}\\ -d^{N-\mathrm{2}}& \mathrm{0}& \mathrm{0}& \cdots & \mathrm{0}& \mathrm{0}& \mathrm{1}\\ -d^{N-\mathrm{1}}& \mathrm{0}& \mathrm{0}& \cdots & \mathrm{0}& \mathrm{0}& \mathrm{0}\end{array}\right),$

$({\mathrm{\Sigma }}^{-\mathrm{1}}{X)}_n=X_{n+N-\mathrm{1}}\oplus \cdots \oplus X_{n+\mathrm{2}}\oplus X_{n+\mathrm{1}},d_n^{{\mathrm{\Sigma }}^{-\mathrm{1}}X}=\left(\begin{array}{rrrrrrr}\mathrm{0}& \mathrm{1}& \mathrm{0}& \cdots & \mathrm{0}& \mathrm{0}& \mathrm{0}\\ \mathrm{0}& \mathrm{0}& \mathrm{1}& \cdots & \mathrm{0}& \mathrm{0}& \mathrm{0}\\ ⋮& ⋮& ⋮& ⋮& ⋮& ⋮& ⋮\\ \mathrm{0}& \mathrm{0}& \mathrm{0}& \cdots & \mathrm{0}& \mathrm{1}& \mathrm{0}\\ \mathrm{0}& \mathrm{0}& \mathrm{0}& \cdots & \mathrm{0}& \mathrm{0}& \mathrm{1}\\ -d^{N-\mathrm{1}}& -d^{N-\mathrm{2}}& -d^{N-\mathrm{3}}& \cdots & -d^{\mathrm{3}}& -d^{\mathrm{2}}& -d\end{array}\right).$

2 Main Results

In this section, we investigate the concept of absolutely clean N-complexes and give some equivalence characterizations of absolutely clean N-complexes. In particular, we prove that an N-complex $X$ is absolutely clean if and only if $X$ is N-exact and $Z_n^i(X)$ is an absolutely clean module for each $n\in \mathbf{\mathbb{Z}}$ and $i=\mathrm{1,2},\cdots ,N$.

Definition 1   An N-complex $C$ is of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$ if $C$ has a projective resolution $\cdots \to P^{\mathrm{2}}\to P^{\mathrm{1}}\to P^{\mathrm{0}}\to C\to \mathrm{0}$ by finitely generated projective N-complexes $P^i$ for $i\ge \mathrm{0}$.

Proposition 3   An N-complex $C$ is of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$ if and only if it is bounded and each $C_n$ is a module of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$.

Proof   Sufficiency. Let $C$ be of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$. Then it must be finitely generated, so it is bounded. We also see that each N-complex $P^i$ must consist of finitely generated projective modules in each degree by the definition of N-complex of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$. So we get that each $C_n$ is a module of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$.

Necessity. Suppose $C$ is bounded and each $C_n$ is a module of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$, we can construct a surjection $P^{\mathrm{0}}\stackrel{f}{\to }C$ where $P^{\mathrm{0}}$ is a finitely generated projective N-complex. Set $K_{\mathrm{0}}=\mathrm{K}\mathrm{e}\mathrm{r}f$ and note that it also must be bounded. Since each $C_n$ must also be finitely presented, it follows that each $K_n$ is finitely generated. Thus $K_{\mathrm{0}}$ is finitely generated, and we can again construct a surjection $P^{\mathrm{1}}\stackrel{f_{\mathrm{1}}}{\to }{K}_{\mathrm{0}}$ where $P^{\mathrm{1}}$ is a finitely generated projective N-complex. Set $K_{\mathrm{1}}=\mathrm{K}\mathrm{e}\mathrm{r}{f}_{\mathrm{1}}$ and note that $K_{\mathrm{1}}$ must be bounded. Since each $C_n$ must be of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$, it follows that $K_{\mathrm{1}}$ must also be finitely generated N-complex. Continuing this way, we can construct a projective resolution

$\cdots \to P^{\mathrm{2}}\to P^{\mathrm{1}}\to P^{\mathrm{0}}\to C\to \mathrm{0}$(4)

where each $P^i$ is a finitely generated projective N-complex.

Remark 1   1) If $M$ is a module of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$, then $D_n^t(M)$ is an N-complex of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$ for each $n\in \mathbf{\mathbb{Z}}$ and $t=\mathrm{1,2},\cdots ,N$.

2) An N-complex of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$ is finitely generated.

Definition 2   An N-complex $X$ is said to be absolutely clean if $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(P,X)=\mathrm{0}$ for all N-complexes $P$ of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$.

Remark 2   1) If $N=\mathrm{2}$, then absolutely clean N-complexes are precisely absolutely clean complex.

2) The class of absolutely clean N-complexes is closed under direct products, summands and direct limits.

3) ${\mathrm{\Theta }}^{n}C$ is absolutely clean for any absolutely clean N-complex $C$ and $n\in \mathbf{\mathbb{Z}}$.

4) The class of absolutely clean N-complexes is coresolving. For any absolutely clean N-complex $X$ and $F$ of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$, we have $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^n(F,X)=\mathrm{0}$ for all $n>\mathrm{0}$.

5) The class of absolutely clean N-complexes is closed under clean N-subcomplexes and clean quotients.

It is well known that an N-complex $X$ is injective if and only if $X$ is N-exact and $Z_n^i(X)$ is an injective module for each $n\in \mathbf{\mathbb{Z}}$ and $i=\mathrm{1,2},\cdots ,N$. In the following, we will generalize this characterization to the absolutely clean N-complexes. Firstly, we need to make the following preparations.

Lemma 1   An N-complex $X$ is absolutely clean if and only if $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(D_n^t(Q),X)=\mathrm{0}$ for all modules $Q$ of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$ and $n\in \mathbf{\mathbb{Z}}$ and $t=\mathrm{1,2},\cdots ,N$.

Proof   Sufficiency. It is trivial.

Necessity. Without losing generality, we take $P$ has the following form:

$P=\cdots \to \mathrm{0}\to P^n\stackrel{d_n}{\to }{P}^{n-\mathrm{1}}\stackrel{d_{n-\mathrm{1}}}{\to }\cdots \to P^{\mathrm{0}}\to \mathrm{0}\to \cdots$(5)

with each $P^i$ a module of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$ for $\mathrm{0}\le i\le n$.

For any $\mathrm{0}\le k\le n$, we put

$P(k)=\cdots \to \mathrm{0}\to P^k\stackrel{d_k}{\to }{P}^{k-\mathrm{1}}\stackrel{d_{k-\mathrm{1}}}{\to }\cdots \to P^{\mathrm{0}}\to \mathrm{0}\to \cdots$(6)

Then $P=P(n)$. In the following, we prove the result by using induction on $k$. For $k=\mathrm{0}$, by the assumption,$\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(P(\mathrm{0}),X)=\mathrm{0}$. Assume that $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(P(n-\mathrm{1}),X)=\mathrm{0}$. Applying the functor $\mathrm{H}\mathrm{o}{\mathrm{m}}_{{\mathcal{C}}_N(R)}(-,X)$ to the exact sequence

$\mathrm{0}\to P(n-\mathrm{1})\to P(n)\to D_n^{\mathrm{1}}(P^n)\to \mathrm{0}$(7)

yields the following exact sequence

$\begin{array}{l}\mathrm{0}=\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(D_n^{\mathrm{1}}(P^n),X)\to \mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(P(n),X)\\ \to \mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(P(n-\mathrm{1}),X)=\mathrm{0}.\end{array}$(8)

Then $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(P(n),X)$, as desired.

Lemma 2^[11] Let $M\in R$-$\mathrm{M}\mathrm{o}\mathrm{d}$, $X,Y\in {\mathcal{C}}_N(R)$ and $n\in \mathbf{\mathbb{Z}}$,$i=\mathrm{1,2},\cdots ,N$. Then we have the following natural isomorphisms:

1) $\mathrm{H}\mathrm{o}{\mathrm{m}}_{{\mathcal{C}}_N(R)}(D_n^N(M),Y)\cong \mathrm{H}\mathrm{o}{\mathrm{m}}_R(M,Y_n)$.

2) $\mathrm{H}\mathrm{o}{\mathrm{m}}_{{\mathcal{C}}_N(R)}(X,D_{n+N-\mathrm{1}}^N(M))\cong \mathrm{H}\mathrm{o}{\mathrm{m}}_R(X_n,M)$.

3) $\mathrm{H}\mathrm{o}{\mathrm{m}}_{{\mathcal{C}}_N(R)}(D_n^i(M),Y)\cong \mathrm{H}\mathrm{o}{\mathrm{m}}_R(M,Z_n^i(Y))$.

4)$\mathrm{H}\mathrm{o}{\mathrm{m}}_{{\mathcal{C}}_N(R)}(X,D_n^i(M))\cong \mathrm{H}\mathrm{o}{\mathrm{m}}_R(X_{n-(i-\mathrm{1})}/B_{n-(i-\mathrm{1})}^i(X),M)$.

5) $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(D_n^N(M),Y)\cong \mathrm{E}\mathrm{x}{\mathrm{t}}_R^{\mathrm{1}}(M,Y_n)$.

6) $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(X,D_{n+N-\mathrm{1}}^N(M))\cong \mathrm{E}\mathrm{x}{\mathrm{t}}_R^{\mathrm{1}}(X_n,M)$.

7) If $Y$ is N-exact, then $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(D_n^i(M),Y)$$\cong \mathrm{E}\mathrm{x}{\mathrm{t}}_R^{\mathrm{1}}(M,Z_n^i(Y))$.

8) If $X$ is N-exact, then $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(X,D_n^i(M))$$\cong \mathrm{E}\mathrm{x}{\mathrm{t}}_R^{\mathrm{1}}(X_{n-(i-\mathrm{1})}/B_{n-(i-\mathrm{1})}^i(X),M)$.

Following Ref. [5], let $C$ and $D$ be N-complexes of left $R$-modules. We will denote by $\mathrm{H}\mathrm{o}{\mathrm{m}}_R(C,D)$ the sequence of Abelian groups with $\mathrm{H}\mathrm{o}{\mathrm{m}}_R{(C,D)}_n={\mathrm{\Pi }}_{t\in \mathbf{\mathbb{Z}}}\mathrm{H}\mathrm{o}{\mathrm{m}}_R(C_t,D_{n+t})$ and such that if $f\in \mathrm{H}\mathrm{o}{\mathrm{m}}_R{(C,D)}_n$ then $(d_n{(f))}_m=d_{\mathrm{n}+\mathrm{m}}^{\mathrm{D}}{f}_m-{(q)}^n{f}_{m-\mathrm{1}}{d}_m^C$, where $q$ is a N-th root of unity, $q^N=\mathrm{1}$ and $q\ne \mathrm{1}$. Then $\mathrm{H}\mathrm{o}{\mathrm{m}}_R(C,D)$ is also an N-complex. $f$ is called a chain map of degree $n$ if $d_n(f)=\mathrm{0}$. A chain map of degree $\mathrm{0}$ is called a morphism.

Lemma 3^[13] Let $C$ and $D$ be N-complexes. Then $H_n^{\mathrm{1}}\mathrm{H}\mathrm{o}{\mathrm{m}}_R(C,D)\cong \mathrm{H}\mathrm{o}{\mathrm{m}}_{{\mathcal{K}}_N(R)}(C,{\mathrm{\Theta }}^{-n}D)$. In particular, $\mathrm{H}\mathrm{o}{\mathrm{m}}_R$

$(C,D)$ is N-exact if and only if $\mathrm{H}\mathrm{o}{\mathrm{m}}_{{\mathcal{K}}_N(R)}(C,D)=\mathrm{0}$, i.e.,$H_n^t\mathrm{H}\mathrm{o}{\mathrm{m}}_R(C,D)=\mathrm{0}$ is equivalent to $\mathrm{H}\mathrm{o}{\mathrm{m}}_{{\mathcal{K}}_N(R)}(C,{\mathrm{\Theta }}^{-n}D)=\mathrm{0}$ for $n\in \mathbf{\mathbb{Z}}$ and $t=\mathrm{1,2},\cdots ,N$.

Proof  of Theorem 1

Sufficiency. Let $X$ be an absolutely clean N-complex. Then $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(\mathrm{\Sigma }{D}_n^i(P),{\mathrm{\Theta }}^{-n}X)=\mathrm{0}$ for any module $P$ of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$, $n\in \mathbf{\mathbb{Z}}$ and $i=\mathrm{1,2},\cdots ,N$. This implies that N-complex $\mathrm{H}\mathrm{o}{\mathrm{m}}_R(D_n^i(P),X)$ is N-exact^[13]. Note that $P$ is of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$. It follows that $X$ must be an N-exact N-complex. Also, $\mathrm{E}\mathrm{x}{\mathrm{t}}_{{\mathcal{C}}_N(R)}^{\mathrm{1}}(D_n^i(P),X)=\mathrm{0}$ for all modules $P$ of type $\mathrm{F}{\mathrm{P}}_{\mathrm{\infty }}$, $n\in \mathbf{\mathbb{Z}}$ and $i=\mathrm{1,2},\cdots ,N$. Using Lemma 2, we get $Z_n^i(X)$ is an absolutely clean module for $n\in \mathbf{\mathbb{Z}}$ and $i=\mathrm{1,2},\cdots ,N$.

Necessity. It follows by Lemma 1 and Lemma 2.

Then the following result can be obtained by Theorem 1.

Corollary 1   If an N-complex $X$ is absolutely clean, then $Z_n^i(X)$ is an absolutely clean module for each $n\in \mathbf{\mathbb{Z}}$ and $i=\mathrm{1,2},\cdots ,N$. Moreover,$X_n$ is an absolutely clean module for each $n\in \mathbf{\mathbb{Z}}$.

Corollary 2   A module $M$ is absolutely clean if and only if the N-complex $D_n^t(M)$ is absolutely clean for each $n\in \mathbf{\mathbb{Z}}$ and $t=\mathrm{1,2},\cdots ,N$.

In the following, we obtain a result for bounded above N-complex $X$.

Proof  of Proposition 1

Sufficiency. Obviously, $X$ is N-exact and $X_n$ is an absolutely clean module for $n\in \mathbf{\mathbb{Z}}$ by Theorem 1 and Corollary 1.

Necessity. Assume that $X$ has the following form:

$\cdots \to \mathrm{0}\to X_{\mathrm{0}}\stackrel{d_{\mathrm{0}}}{\to }{X}_{-\mathrm{1}}\stackrel{d_{-\mathrm{1}}}{\to }{X}_{-\mathrm{2}}\stackrel{d_{-\mathrm{2}}}{\to }{X}_{-\mathrm{3}}\to \cdots$(9)

Since $X$ is N-exact,

$\mathrm{K}\mathrm{e}\mathrm{r}(d_{\mathrm{0}})=\mathrm{K}\mathrm{e}\mathrm{r}(d_{-\mathrm{1}}{d}_{\mathrm{0}})=\cdots =\mathrm{K}\mathrm{e}\mathrm{r}(d_{-N+\mathrm{2}}\cdots d_{\mathrm{0}})=\mathrm{0}$(10)

This implies that $Z_{\mathrm{0}}^i(X)=\mathrm{0}$ for $-N+\mathrm{1}\le i\le -\mathrm{1}$ and $Z_{\mathrm{0}}^{-N}(X)=X_{\mathrm{0}}$. Also we have

$\mathrm{K}\mathrm{e}\mathrm{r}(d_{-\mathrm{1}})=\mathrm{K}\mathrm{e}\mathrm{r}(d_{-\mathrm{2}}{d}_{-\mathrm{1}})=\cdots =\mathrm{K}\mathrm{e}\mathrm{r}(d_{-N+\mathrm{2}}\cdots d_{-\mathrm{1}})=\mathrm{0}$(11)

Then $Z_{-\mathrm{1}}^i(X)=\mathrm{0}for-N+\mathrm{2}\le i\le -\mathrm{1}and{Z}_{-\mathrm{1}}^{-N+\mathrm{1}}(X)\cong X_{\mathrm{0}},Z_{-\mathrm{1}}^{-N}(X)\cong X_{-\mathrm{1}}.$

Similarly, $Z_{-\mathrm{2}}^i(X)=\mathrm{0}$ for $-N+\mathrm{3}\le i\le -\mathrm{1}$ and

$Z_{-\mathrm{2}}^{-N+\mathrm{2}}(X)\cong X_{\mathrm{0}},Z_{-\mathrm{2}}^{-N+\mathrm{1}}(X)\cong X_{-\mathrm{1}},Z_{-\mathrm{2}}^{-N}(X)\cong X_{-\mathrm{2}}$

$⋮$

$\begin{array}{l}{Z}_{-N+\mathrm{1}}^{-\mathrm{1}}(X)\cong X_{\mathrm{0}},Z_{-N+\mathrm{1}}^{-\mathrm{2}}(X)\cong X_{-\mathrm{1}},\cdots ,\\ Z_{-N+\mathrm{1}}^{-N+\mathrm{1}}(X)\cong X_{-N+\mathrm{2}},Z_{-N+\mathrm{1}}^{-N}(X)\cong X_{-N+\mathrm{1}}.\end{array}$(12)

Then $Z_t^i(X)$ is absolutely clean for $-N+\mathrm{1}\le t\le \mathrm{0}$, $i=-\mathrm{1},\cdots ,-N$.

Note that

$\mathrm{0}\to X_{\mathrm{0}}\stackrel{d_{\mathrm{0}}}{\to }{X}_{-\mathrm{1}}\to B_{-N}^{-N+\mathrm{1}}(X)\to \mathrm{0}$

$\mathrm{0}\to X_{\mathrm{0}}\stackrel{d_{-\mathrm{1}}{d}_{\mathrm{0}}}{\to }{X}_{-\mathrm{2}}\to B_{-N}^{-N+\mathrm{2}}(X)\to \mathrm{0}$

$⋮$

$\mathrm{0}\to X_{\mathrm{0}}\stackrel{d_{-N+\mathrm{3}}\cdots d_{-\mathrm{1}}{d}_{\mathrm{0}}}{\to }{X}_{-N+\mathrm{2}}\to B_{-N}^{-\mathrm{2}}(X)\to \mathrm{0}$

$\mathrm{0}\to X_{\mathrm{0}}\stackrel{d_{-N+\mathrm{2}}\cdots d_{-\mathrm{1}}{d}_{\mathrm{0}}}{\to }{X}_{-N+\mathrm{1}}\to B_{-N}^{-\mathrm{1}}(X)\to \mathrm{0}$(13)

are exact. This implies that $Z_{-N}^i(X)$ is absolutely clean for $i=-\mathrm{1},\cdots ,-N$.

Using exact sequences

$\mathrm{0}\to Z_{-N}^{-\mathrm{1}}(X)\to X_{-N}\to Z_{-N-\mathrm{1}}^{-N+\mathrm{1}}(X)\to \mathrm{0}$

$\mathrm{0}\to Z_{-N}^{-\mathrm{2}}(X)\to X_{-N}\to Z_{-N-\mathrm{1}}^{-N+\mathrm{2}}(X)\to \mathrm{0}$

$⋮$

$\mathrm{0}\to Z_{-N}^{-N+\mathrm{2}}(X)\to X_{-N}\to Z_{-N-\mathrm{1}}^{-\mathrm{2}}(X)\to \mathrm{0}$

$\mathrm{0}\to Z_{-N}^{-N+\mathrm{1}}(X)\to X_{-N}\to Z_{-N-\mathrm{1}}^{-\mathrm{1}}(X)\to \mathrm{0}$(14)

we can obtain $Z_{-N-\mathrm{1}}^i(X)$ is absolutely clean for $i=-\mathrm{1},\cdots ,-N$.

We also obtain $Z_t^i(X)$ is absolutely clean for $t\le -N-\mathrm{2}$,$i=-\mathrm{1},\cdots ,-N$, by a similar method. Thus $X$ is absolutely clean by Theorem 1.

As we know, absolutely clean N-complex is important for the characterization of Gorenstein AC-injective N-complexes. An N-complex $X$ is Gorenstein AC-injective if and only if $X_n$ is a Gorenstein AC-injective module and $\mathrm{H}\mathrm{o}{\mathrm{m}}_R(A,X)$ is N-exact for any absolutely clean N-complex $A$^[9]. Next we obtain an equivalent characterization for N-exact absolutely clean N-complex in Gorenstein AC-injective N-complexes.

Proof  of Proposition 2

Sufficiency. From the definition of the Gorenstein AC-injective N-complexes^[8], there is an exact sequence of injective N-complexes

$I=\cdots \to I^{\mathrm{1}}\stackrel{f^{\mathrm{1}}}{\to }{I}^{\mathrm{0}}\stackrel{f^{\mathrm{0}}}{\to }{I}^{-\mathrm{1}}\stackrel{f^{-\mathrm{1}}}{\to }\cdots$(15)

with $X=\mathrm{K}\mathrm{e}\mathrm{r}(f^{\mathrm{0}})$ and which remains exact after applying $\mathrm{H}\mathrm{o}{\mathrm{m}}_{{\mathcal{C}}_N(R)}(A,-)$ for any absolutely clean N-complex $A$. Since $\mathrm{K}\mathrm{e}\mathrm{r}(f^{\mathrm{0}})=X$ and $I^i$ are N-exact, we have $\mathrm{K}\mathrm{e}\mathrm{r}(f^i)$ is N-exact for all $i\in \mathbf{\mathbb{Z}}$.

For the exact sequence

$\mathrm{0}\to \mathrm{K}\mathrm{e}\mathrm{r}(f^{\mathrm{1}})\to I^{\mathrm{1}}\to X\to \mathrm{0}$(16)

according to Ref. [14] we have the following exact sequence

$\mathrm{0}\to Z_n^t(\mathrm{K}\mathrm{e}\mathrm{r}(f^{\mathrm{1}}))\to Z_n^t(I^{\mathrm{1}})\to Z_n^t(X)\to \mathrm{0}$(17)

Thus there is an exact sequence of injective modules

$\cdots \to Z_n^t(I^{\mathrm{1}})\to Z_n^t(I^{\mathrm{0}})\to Z_n^t(I^{-\mathrm{1}})\to \cdots$(18)

with $Z_n^t(X)\cong \mathrm{K}\mathrm{e}\mathrm{r}(Z_n^t(I^{\mathrm{0}})\to Z_n^t(I^{-\mathrm{1}}))$. Next we only show that $\mathrm{H}\mathrm{o}{\mathrm{m}}_R(M,-)$ applying the sequence (18) exact for any absolutely clean module $M$.

Let $M$ be an absolutely clean module and $g:M\to Z_n^t(X)$ be a morphism of modules. Since $\mathrm{H}\mathrm{o}{\mathrm{m}}_R(D_n^{\mathrm{1}}(M),X)$ is N-exact, there exists a morphism $f:M\to X_{n+N-t}$ such that the following diagram commute (Fig. 1).