﻿ Homological Properties in Relation to Nakayama Algebras

Journal of Applied Mathematics and Physics
Vol.05 No.01(2017), Article ID:73865,15 pages
10.4236/jamp.2017.51016

Homological Properties in Relation to Nakayama Algebras

Kwasi Baah Gyamfi, Abraham Aidoo, Dickson Y. B. Annor

Department of Mathematics, Kwame Nkrumah University of Science and Technology, Kumasi, Ghana Copyright © 2017 by authors and Scientific Research Publishing Inc.   Received: October 30, 2016; Accepted: January 22, 2017; Published: January 25, 2017

ABSTRACT

The goal of this paper is to investigate whether the Ext-groups of all pairs $\left(M,N\right)$ of modules over Nakayama algebras of type $\left(n,n,n\right)$ satisfy the condition $Ex{t}_{\Lambda }^{n}\left(M,N\right)=0$ for $n\gg 0⇔Ex{t}_{\Lambda }^{n}\left(N,M\right)=0$ for $n\gg 0$ . We achieve that by discussing the Ext-groups of Nakayama algebra with projectives of lengths $3n+1$ and $3n+2$ using combinations of modules of different lengths.

Keywords:

Quivers, Path algebras, Ext-Groups, Projective Resolutions 1. Introduction

In this paper, we describe homological properties of Nakayama algebras. The algebra Ʌ is a Nakayama algebra if every projective indecomposable and every injective indecomposable Ʌ-module is uniserial. In other words, these modules have a unique composition series, (see Schröer  ). Nakayama algebras are finite dimensional and representation-finite algebras that have a nice representation theory in the sense that the finite-dimensional indecomposable modules are easy to describe.

The main contribution of this paper is to investigate whether the Ext-groups of all pairs $\left(M,N\right)$ of modules over Nakayama algebras of type $\left(n,n,n\right)$ satisfy the condition $Ex{t}_{\Lambda }^{n}\left(M,N\right)=0$ for $n\gg 0⇔Ex{t}_{\Lambda }^{n}\left(N,M\right)=0$ for $n\gg 0$ .

2. Preliminary Notes

This section will briefly discuss the properties of Nakayama algebra and some related propositions. We consider also proofs of some of the propositions. All the information presented here can be found in deeper details in the book from Rotman  .

Definition: Let $\Lambda$ be an artin algebra. A $\Lambda$ -module $A$ is called a uniserial module if the set of submodules is totally ordered by inclusion.

Proposition 1: The following are equivalent for $\Lambda$ -module $A$

1. A is uniserial.

2. There is only one composition series for $A$ .

3. The radical filtration of $A$ is a composition series for $A$ .

4. The socle filtration of $A$ is a composition series for $A$ .

5. $l\left(A\right)=rl\left(A\right)$ , where $l\left(A\right)$ is the length of $A$ and $rl\left(A\right)$ is the radical length of $A$ .

Proof: See Rotman  for the details.

Proposition 2: The following are equivalent for an artin algebra $\Lambda$ .

1. $\Lambda$ is a sum of uniserial modules .

2. $\Lambda /a$ is a sum of uniserial modules for all ideals $a$ of $\Lambda$ .

3. $\Lambda /{r}^{2}$ is a sum uniserial modules.

Proof: $1⇒2$ and $2⇒3$ are trivial. If $\Lambda$ is the sum of uniserial modules, then $\Lambda /a$ and $\Lambda /{r}^{2}$ which are factors of $\Lambda$ are also a sum of uniserial modules.

$3⇒1$

Let $P$ be an indecomposable projective $\Lambda$ -module. We show that $P/{r}^{n}P$ is uniserial by induction on $n$ when $n\ge 2$ . When $n=2$ , there is nothing to prove. Suppose $n>2$ . Let the radical filtration of $P$ be; $P\supset rP\supset {r}^{2}P\supset \cdots \cdots {r}^{n-1}P\supset {r}^{n}P=0$ such that ${r}^{i}P/{r}^{i+1}P$ is simple for $i=0,1,\cdots ,n-1$ .

When $n=3$ , we have ${r}^{3}P\subset {r}^{2}P\subset rP\subset P$ . Hence by induction hypothesis, $P/{r}^{n-1}P$ is uniserial. Considering the exact sequence $0\to rP\to P\to P/rP\to 0$ , which also implies that $P/rP$ is uniserial, hence $P/{r}^{n-1}P$ is also uniserial.

If ${r}^{n-1}P=0$ , then $P/{r}^{n}P$ is clearly uniserial, so we have to assume that ${r}^{n-1}P\ne 0$ . From proposition 1, it follows that ${r}^{i}P/{r}^{i+1}P$ is simple for $i=0,1,\cdots ,n-2$ . To show that $P/{r}^{n}P$ is uniserial, then it is sufficient by proposition 1 to prove that ${r}^{n-1}P/{r}^{n}P$ is also simple.

Let $Q\to {r}^{n-2}P$ be a projective cover. Since ${r}^{n-2}P/{r}^{n-1P}$ is simple, $Q$ must be indecomposable and so $Q/{r}^{2}Q$ is uniserial. But we have an epimorphism $rQ/{r}^{2}Q\to {r}^{n-1}P/{r}^{n}P$ which shows that ${r}^{n-1}P/{r}^{n}P$ is simple.

Proposition3: Proposition 2 (1).

Let $\phi$ be a $D$ Tr-orbit of $\text{ind}\Lambda$ . Suppose there is a projective module $P$ in $\phi$ . Then we have the following

1. $\phi$ of non-zero objects in ${\left\{P,{\left(D{T}_{r}\right)}^{-1}P,\cdots ,{\left(D{T}_{r}\right)}^{-i}P,\cdots \right\}}_{i\in N}$ .

2. $\phi$ is finite if and only if ${\left(D{T}_{r}\right)}^{-n}P={\left({T}_{r}D\right)}^{n}$ is injective for some $n$ in $N$ . Moreover, if ${\left({T}_{r}D\right)}^{n}P$ is injective, then $\phi =\left\{P,{\left(D{T}_{r}\right)}^{-1}P,\cdots ,{\left(D{T}_{r}\right)}^{-n}P\right\}$ .

Proof: By proposition 1, $DTrP=0$ if and only if $P$ is projective. Since $P$ is projective module in $\phi ,{\left(DTr\right)}^{i}P=0$ for all $i>0$ . Hence the claim in 2 (1).

We claim that if ${\left(DTr\right)}^{-i}P\simeq {\left(TDr\right)}^{-\left(i+j\right)}P\ne 0$ with $j>0$ we have ${\left(DTr\right)}^{i}{\left(DTr\right)}^{-\left(i+j\right)}P\simeq \left(DTr\right){\left(DTr\right)}^{-i}P$ which implies that $P\simeq {\left(DTr\right)}^{j}P={\left(TrD\right)}^{j}P$ which is not possible since $j>0$ . $\phi$ can therefore be finite if ${\left(DTr\right)}^{-\left(n+1\right)}P=0$ for some $n\ge 0$ . Since ${\left(DTr\right)}^{-n}P={\left(TrD\right)}^{n}P,$ then $P$ is injective in $\phi$ . We know therefore that if ${\left(DTr\right)}^{-n}P$ is injective, then $\phi =\left\{P,{\left(DTr\right)}^{-1}P,\cdots ,{\left(DTr\right)}^{-n}P\right\}$ .

3. Results

The main goal of this work is to investigate whether the Ext-groups of all pairs (M, N) of modules over Nakayama algebras of type (n, n, n) satisfy the condition: $Ex{t}_{\Lambda }^{n}\left(M,N\right)=0$ for $n\gg 0⇔Ex{t}_{\Lambda }^{n}\left(N,M\right)=0$ for $n�0$ , where $n$ is a positive integer. We discuss the Ext-groups of Nakayama algebras with projectives of lengths $3n+1$ and $3n+2$ using combinations of modules of different lengths. Reader may refer to Auslander, M et al.  for ideas illustrated in this section.

We begin with the Ext-groups of Nakayama algebra with projectives of length $3n+1$ using the combinations $\left(3i,3j\right)$ , and $\left(3i,3j+2\right)$ where $3i$ and $3j$ are modules of lengths $3i$ and $3j$ respectively, $3j+2$ is also module of length $3j+2$ .

Let $\Gamma$ be a path with the relations

$\alpha \gamma \beta \cdots \gamma \beta \alpha ,\beta \alpha \gamma \cdots \alpha \gamma \beta$ and $\gamma \beta \alpha \cdots \beta \alpha \gamma$

where the length of each relation is $3n+1$ . Let

$\Lambda =k\Gamma /〈\alpha \gamma \beta \cdots \gamma \beta \alpha ,\beta \alpha \gamma \cdots \alpha \gamma \beta ,\gamma \beta \alpha \cdots \beta \alpha \gamma 〉.$

The projectives of the above path algebra are as follows:

${P}_{1}=\left(\begin{array}{c}{S}_{1}\\ {S}_{2}\\ {S}_{3}\\ ⋮\\ {S}_{1}\end{array}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{P}_{2}=\left(\begin{array}{c}{S}_{2}\\ {S}_{3}\\ {S}_{1}\\ ⋮\\ {S}_{2}\end{array}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{P}_{3}=\left(\begin{array}{c}{S}_{3}\\ {S}_{1}\\ {S}_{2}\\ ⋮\\ {S}_{3}\end{array}\right).$

The above projectives ${P}_{1},{P}_{2}$ and ${P}_{3}$ each has length $3n+1$ . The minimal projective resolution of the module $M={\left({S}_{1},{S}_{2},\cdots ,{S}_{3}\right)}^{t}$ of length $3i,i=1,2,\cdots ,n$ is given as;

$\cdots {Q}_{4}\text{\hspace{0.17em}}\stackrel{{d}_{5}}{\to }\text{\hspace{0.17em}}{Q}_{3}\stackrel{{d}_{4}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{Q}_{3}\stackrel{{d}_{3}}{\to }\text{\hspace{0.17em}}{Q}_{2}\stackrel{{d}_{2}}{\to }\text{\hspace{0.17em}}{Q}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{1}}{\to }\text{\hspace{0.17em}}{Q}_{0}\text{\hspace{0.17em}}\stackrel{{d}_{0}}{\to }M\to 0$

where ${Q}_{6i}={Q}_{6i+1}={P}_{1},{Q}_{6i+2}={Q}_{6i+3}={P}_{2}$ and ${Q}_{6i+4}={Q}_{6i+5}={P}_{3}$ for $i\ge 0$ .

The combinations have been reduced to four class because in the above minimal projective resolution of the module of length $3i$ , we see that it is in the same group as the module of length $3i+1$ . The modules of lengths $3i$ and $3i+1$ therefore have the same properties with respect to the conditions; $Ex{t}_{\Lambda }^{n}\left(M,N\right)=0$ for $n\gg 0⇔Ex{t}_{\Lambda }^{n}=0$ for $n\gg 0$ .

From the above resolution, we have;

$\begin{array}{l}\cdots \Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{6}}{\to }\Lambda {e}_{3}\stackrel{{d}_{5}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{3}\stackrel{{d}_{4}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\Lambda {e}_{2}\text{\hspace{0.17em}}\stackrel{{d}_{3}}{\to }\text{\hspace{0.17em}}\lambda {e}_{2}\\ \text{}\text{\hspace{0.17em}}\stackrel{{d}_{2}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{1}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{0}}{\to }\left({S}_{1},{S}_{2},\cdots ,{S}_{3}\right)\to 0.\end{array}$

Let $A={\left({S}_{1},{S}_{2},\cdots ,{S}_{3}\right)}^{t}$ , the pd $A=\infty$ since the resolution is periodic. The period is 6. The truncation of the resolution is given as;

$P\cdots \Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{6}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{3}\stackrel{{d}_{5}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{3}\stackrel{{d}_{4}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{2}\stackrel{{d}_{3}}{\to }\text{\hspace{0.17em}}\lambda {e}_{2}\stackrel{{d}_{2}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{1}}{\to }\Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{0}}{\to }0.$

The map ${d}_{6i+1}$ is the multiplication by ${\left(\gamma \beta \alpha \right)}^{i},{d}_{6i+2}$ is the multiplication by $\alpha {\left(\gamma \beta \alpha \right)}^{n-i},{d}_{6i+3}$ is multiplication by ${\left(\alpha \gamma \beta \right)}^{i},{d}_{6i+4}$ is the multiplication by $\beta {\left(\alpha \gamma \beta \right)}^{n-i},{d}_{6i+5}$ is the multiplication by ${\left(\beta \alpha \gamma \right)}^{i}$ and ${d}_{6i}$ is the multiplication by $\gamma {\left(\beta \alpha \gamma \right)}^{n-i}$ .

Applying $Ho{m}_{\Lambda }\left(\text{\hspace{0.17em}},M\right)$ where $M$ is the module

$\left(\begin{array}{c}{S}_{1}\\ {S}_{2}\\ ⋮\\ {S}_{3}\end{array}\right)$

of length $3j,$ we have;

$\begin{array}{l}0\text{\hspace{0.17em}}\stackrel{{d}_{0}^{×}}{\to }Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right)\stackrel{{d}_{1}^{×}}{\to }\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right)\stackrel{{d}_{2}^{×}}{\to }\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{2},M\right)\\ \stackrel{{d}_{3}^{×}}{\to }\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{2},M\right)\text{\hspace{0.17em}}\stackrel{{d}_{4}^{×}}{\to }Ho{m}_{\Lambda }\left(\Lambda {e}_{3},M\right){\text{\hspace{0.17em}}}^{\underset{←}{{d}_{5}^{×}}}Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right),\end{array}$

where $Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right)\simeq {e}_{1}M,Ho{m}_{\Lambda }\left(\Lambda {e}_{2},M\right)\simeq {e}_{2}M$ and $Ho{m}_{\Lambda }\left(\Lambda {e}_{3},M\right)\simeq {e}_{3}M$ .

We have the following Ext-groups;

$Ex{t}_{\Lambda }^{1}\left(N,M\right)=\mathrm{ker}\left({e}_{1}M\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{2}M\right)/\Im \left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\gamma \beta \alpha \right)}^{i}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right),$

where $N$ and $M$ are modules of length $3i$ and $3j$ respectively. We first compute the kernel for

${d}_{2}^{×}:\left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right).$

We have

${d}_{2}^{×}\left({\left({a}_{1},{a}_{2},\cdots ,{a}_{s},{a}_{s+1},\cdots \right)}^{t},0,0\right)=\left(0,{\left(0,0,0,\cdots ,0,{a}_{1},{a}_{2},\cdots ,{a}_{s}\right)}^{t},0\right)$

where ${a}_{1}$ is in the coordinate number $n-i+1$ , therefore ${a}_{s}$ is in the coordinate number $n-i+s$ . Hence $s=j+i-n$ and consequently $s+1=j+i+1-n$ ,

$\mathrm{ker}\left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right)=\left\{\left({\left(0,0,\cdots ,0,{a}_{s+1},\cdots ,{a}_{j}\right)\right)}^{t},0,0\right)|{a}_{r}\in k,r=s+1,\cdots ,j\right\}.$

Next we compute the image of

${d}_{1}^{×}:\left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\gamma \beta \alpha \right)}^{i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{1}M\right).$

We have that

${d}_{1}^{×}\left({\left({b}_{1},{b}_{2},\cdots ,{b}_{j}\right)}^{t},0,0\right)=\left({\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j-1}\right)}^{t},0,0\right)$

where ${b}_{1}$ is in the coordinate number $i+1$ . This shows that

$\Im \left({e}_{1}M\stackrel{{\left(\gamma \beta \alpha \right)}^{i}}{\to }{e}_{1}M\right)=\left\{\left({\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j-1}\right)}^{t},0,0\right)|{b}_{t}\in k,t=1,\cdots ,j-1\right\}.$

Hence ${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{1}\left({\left({S}_{1},{S}_{2},\cdots ,{S}_{3}\right)}^{t},M\right)=\left(i+1\right)-\left(j+i+1-n\right)=n-j$ , for $j\le n$ . We compute

$Ex{t}_{\Lambda }^{2}\left({\left({S}_{1},{S}_{2},\cdots ,{S}_{3}\right)}^{t},M\right)\right)=\mathrm{ker}\left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\alpha \gamma \beta \right)}^{i}}{\to }\text{\hspace{0.17em}}{e}_{2}M\right)/\Im \left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }{e}_{2}M\right).$

We compute the kernel for

${d}_{3}^{×}:\left({e}_{2}M\stackrel{{\left(\alpha \gamma \beta \right)}^{i}}{\to }{e}_{2}M\right),$

we have

${d}_{3}^{×}\left(0,{\left({a}_{1},{a}_{2},\cdots ,{a}_{j}\right)}^{t},0\right)=\left(0,{\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{j-i}\right)}^{t},0\right)$

where ${a}_{1}$ is the coordinate number $i+1$ . This shows that

$\mathrm{ker}\left({e}_{2}M\text{\hspace{0.17em}}\stackrel{{\left(\alpha \gamma \beta \right)}^{i}}{\to }{e}_{2}M\right)=\left\{\left(0,{\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{j}\right)}^{t},0\right)|{a}_{r}\in k,r=1,\cdots ,j\right\},$

where ${a}_{1}$ is in the coordinate number $j-i+1$ . Next we compute the image of

${d}_{2}^{×}:\left({e}_{1}M\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right).$

We see that

${d}_{2}^{×}\left({\left({b}_{1},{b}_{2,\cdots ,{b}_{s},\cdots ,{b}_{j}}\right)}^{t},0\right)=\left(0,{\left(0,0,\cdots ,0,{b}_{1},{b}_{2},\cdots ,{b}_{s}\right)}^{t},0\right)$

where ${b}_{1}$ is in the coordinate number $n-i+1$ and therefore ${b}_{s}$ is in the coordinate number $n-i+s$ . This implies $n-i+s=j$ and hence $s=j+i-n$ ,

$\Im \left({e}_{1}M\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{2}M\right)=\left\{\left(0,{\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{s}\right)}^{t},0\right)|{b}_{t}\in k,t=1,\cdots ,s\right\}.$

Hence ${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{2}\left({\left({S}_{1},{S}_{2},\cdots ,{S}_{3}\right)}^{t},M\right)=\left(n-i+1\right)-\left(j-i+1\right)=n-j$ for $j\le n$ .

${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{2}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=n-j$

We compute

$Ex{t}_{\Lambda }^{3}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right)/\Im \left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\alpha \gamma \beta \right)}^{t}}{\to }{e}_{2}M\right).$

First we compute the kernel for

${d}_{4}^{×}:\left({e}_{2}M\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right).$

We have

${d}_{4}^{×}\left(0,{\left({a}_{1},{a}_{2},\cdots ,{a}_{s},\cdots ,{a}_{j}\right)}^{t},0\right)=\left(0,0,{\left(0,0,\cdots ,0,{a}_{1},{a}_{2},\cdots ,{a}_{s}\right)}^{t},\right),$

where ${a}_{1}$ is in the coordinate number $n-i+1$ and therefore ${a}_{s}$ is in the coordinate number $n-i+s$ . Hence $s=j+i-n$ and consequently $s+1=j+i+1-n$ . This shows that

$\begin{array}{l}\mathrm{ker}\left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }{e}_{3}M\right)\\ =\left\{\left(0,{\left(0,0,\cdots ,0,{a}_{s+1},{a}_{s+2},\cdots ,{a}_{j}\right)}^{t},0\right)|{a}_{r}\in k,r=s+1,\cdots ,j\right\}.\end{array}$

We compute the image of

${d}_{3}^{×}:\left({e}_{2}M\stackrel{{\left(\alpha \gamma \beta \right)}^{i}}{\to }{e}_{2}M\right)$

to have

${d}_{3}^{×}\left(0,{\left({b}_{1},{b}_{2},\cdots ,{b}_{j}\right)}^{t},0\right)=\left(0,{\left(0,0,\cdots ,0,{b}_{1},{b}_{2},\cdots ,{b}_{j-i}\right)}^{t},0\right)$

where ${b}_{1}$ is in the coordinate number $i+1$ . This shows that

$\Im \left({e}_{2}M\text{\hspace{0.17em}}\stackrel{{\left(\alpha \gamma \beta \right)}^{i}}{\to }\text{\hspace{0.17em}}{e}_{2}M\right)=\left\{\left(0,{\left(0,0,\cdots ,{b}_{1},\cdots ,{b}_{j-i}\right)}^{t},0\right)|{b}_{t}\in k,t=1,\cdots ,j-i\right\}.$

Hence

${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{3}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=i+1-\left(j+i+1-n\right)=n-j$

for $j\le n$ .

Next we have

$Ex{t}_{\Lambda }^{4}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{3}M\text{\hspace{0.17em}}\stackrel{{\left(\beta \alpha \gamma \right)}^{i}}{\to }{e}_{3}M\right)/\Im \left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right)$

Similarly, we have

$\mathrm{ker}\left({e}_{3}M\stackrel{{\left(\beta \alpha \gamma \right)}^{i}}{\to }{e}_{3}M\right)=\left\{\left(0,0,{\left(0,0,\cdots ,0,{a}_{1},{a}_{2},\cdots ,{a}_{j}\right)}^{t},0\right)|{a}_{r}\in k,r=1,\cdots ,j\right\}$

where ${a}_{1}$ is in the coordinate number $j+1-i$ , then

$\Im \left({e}_{2}M\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right)=\left\{\left(0,0,{\left(0,0,\cdots ,0,{b}_{1},{b}_{2}\cdots ,{b}_{s}\right)}^{t}\right)|{b}_{t}\in k,t=1,\cdots ,s\right\},$

$s=j+i-n$ where ${b}_{1}$ is in the coordinate number $n-i+1$ . Hence

${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{4}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=n-i+1-\left(j+1-i\right)=n-j,j\le n.$

Again we have

$Ex{t}_{\Lambda }^{5}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{3}M\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right)/\Im \left({e}_{3}M\stackrel{{\left(\beta \alpha \gamma \right)}^{i}}{\to }{e}_{3}M\right).$

We compute the kernel for

${d}_{6}^{×}:\left({e}_{3}M\to {e}_{1}M\right)$

to have

${d}_{6}^{×}\left(0,0,{\left({a}_{1},{a}_{2},\cdots ,{a}_{s},\cdots ,{a}_{j}\right)}^{t}\right)=\left({\left(0,0,\cdots ,0,{a}_{1},{a}_{2},\cdots ,{a}_{s}\right)}^{t},0,0\right)$

where ${a}_{1}$ is in the coordinate number $n-i+2$ and therefore ${a}_{s}$ is in the coordinate number $n-i+1+s,n-i+s+1=js=j+i-n-1$ and consequently $s+1=j+i-n.$ This show that

$\mathrm{ker}\left({e}_{3}M\to {e}_{1}M\right)=\left\{\left(0,0,{\left(0,0,\cdots ,{a}_{s+1},\cdots ,{a}_{j}\right)}^{t}\right)|{a}_{r}\in k,r=s+1,\cdots ,j\right\}$ .

We compute the image for

${d}_{5}^{×}:\left({e}_{3}M\text{\hspace{0.17em}}\stackrel{{\left(\beta \alpha \gamma \right)}^{i}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right)$

to get

${d}_{5}^{×}\left(0,0,{\left({b}_{1},{b}_{2},\cdots ,{b}_{j-i}\right)}^{t}\right)=\left(0,0,{\left(0,0,\cdots ,0,{b}_{1},{b}_{2},\cdots ,{b}_{j-i}\right)}^{t}\right)$

where ${b}_{1}$ is in the coordinate number $i+1$ . This shows that

$\Im \left({e}_{3}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\beta \alpha \gamma \right)}^{i}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right)=\left\{\left(0,0,{\left(0,0,\cdots ,,{b}_{1},\cdots ,{b}_{j-i}\right)}^{t}\right)|{b}_{t}\in k,t=1,\cdots ,j-1\right\}.$

Hence ${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{5}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=i+1-\left(j+i-n\right)=n+1-j$ . This shows that ${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{t}\left(3i,3j\right)=n-j$ for $t=1,2,3,4$ and $n-j+1$ for $t=5,n-j=0,n-j+1=0$ which implies $n=j$ and $n+1=j.$

It follows from the computation of the fifth Ext-group that the condition $Ex{t}_{\Lambda }^{n}\left(M,N\right)=0$ for $n\gg 0⇔Ex{t}_{\Lambda }^{n}\left(N,M\right)=0$ for $n\gg 0$ holds.

We calculate the Ext-groups for the combination $\left(3i,3j+2\right)$ .

$Ex{t}_{\Lambda }^{1}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)$

where $M$ is the module of length $3j+2$

$Ex{t}_{\Lambda }^{1}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{1}M\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right)/\Im \left({e}_{1}M\text{\hspace{0.17em}}\stackrel{{\left(\gamma \beta \alpha \right)}^{i}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right).$

We compute the kernel for

${d}_{2}^{×}:\left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right),$

we have

${d}_{2}^{×}\left({\left({a}_{1},{a}_{2},\cdots ,{a}_{s},\cdots ,{a}_{j+1}\right)}^{t},0,0\right)=\left(0,{\left(0,0,\cdots ,0,{a}_{1},{a}_{2},\cdots ,{a}_{s}\right)}^{t},0\right)$

where ${a}_{1}$ is in the coordinate number $n-i+1$ and therefore ${a}_{s}$ is in the coordinate number $n-i+s=j+1$ . Hence $s=j+i-n$ and consequently $s+1=j+i+2-n$ . This shows that

$\begin{array}{l}\mathrm{ker}\left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right)\\ =\left\{\left({\left(0,0,\cdots ,0,{a}_{s+1},\cdots ,{a}_{j+1}\right)}^{t},0,0\right)|{a}_{r}\in k,r=s+1,\cdots ,j+1\right\}.\end{array}$

Computing the image for

${d}_{1}^{×}:\left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\gamma \beta \alpha \right)}^{i}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right)$

we have

${d}_{1}^{×}\left({\left({b}_{1},{b}_{2},\cdots ,{b}_{j+1}\right)}^{t},0,0\right)=\left({\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j+1-i}\right)}^{t},0,0\right),$

where ${b}_{1}$ is in the coordinate number $i+1$ . This shows that

$\Im \left({e}_{1}M\text{\hspace{0.17em}}\stackrel{{\left(\gamma \beta \alpha \right)}^{i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{1}M\right)=\left\{\left({\left(0,0,\cdots ,{b}_{1},\cdots ,{b}_{j+1-i}\right)}^{t},0,0\right)|{b}_{t}\in k,t=1,\cdots ,j+1-i\right\}.$

We therefore have

${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{1}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=i+1-\left(j+i+2-n\right)=n-\left(j+1\right)$

for $j+1\le n$ .

Next we have

$Ex{t}_{\Lambda }^{2}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\alpha \gamma \beta \right)}^{i}}{\to }\text{\hspace{0.17em}}{e}_{2}M\right)/\Im \left({e}_{1}M\text{\hspace{0.17em}}v\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right).$

We compute the kernel for

${d}_{3}^{×}:\left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\alpha \gamma \beta \right)}^{i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right),$

we have

${d}_{3}^{×}\left(0,{\left({a}_{1},{a}_{2},\cdots ,{a}_{j+1}\right)}^{t},0\right)=\left(0,{\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{j+1-i}\right)}^{t}\right)$

where ${a}_{1}$ is in the coordinate number $i+1$ . This shows that

$\mathrm{ker}\left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\alpha \gamma \beta \right)}^{i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right)=\left\{\left(0,{\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{j+1}\right)}^{t},0\right)|{a}_{r}\in k,r=1,\cdots ,j+1\right\},$

where ${a}_{1}$ is in the coordinate number $j+2-i$ . We compute the image for

${d}_{2}^{×}:\left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right).$

We have

${d}_{2}^{×}\left({\left({b}_{1},{b}_{2},\cdots ,{b}_{s},\cdots ,{b}_{j+1}\right)}^{t},0,0\right)=\left(0,{\left(0,0,\cdots ,{b}_{1},{b}_{2},\cdots ,{b}_{s}\right)}^{t},0\right)$

where ${b}_{1}$ is in the coordinate number $n-i+1$ and therefore ${b}_{s}$ is in the coordinate number $n-i+s=j+1$ . Hence $s=j+1+i-n$ . This shows that

$\Im \left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right)=\left\{\left(0,{\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j+1}\right)}^{t},0\right)|{b}_{t}\in k,t=1,\cdots ,j+1\right\}.$

We therefore have ${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{2}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=n-i+1-\left(j+2-i\right)=n-\left(j+1\right)$ for $j+1\le n$ . Next we have

$Ex{t}_{\Lambda }^{3}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right)/\Im \left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\alpha \gamma \beta \right)}^{i}}{\to }\text{\hspace{0.17em}}{e}_{2}M\right).$

Similarly, we have;

$\mathrm{ker}\left({e}_{2}M\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right)=\left\{\left(0,{\left(0,0,\cdots ,{a}_{1},\cdots ,{a}_{j+1}\right)}^{t},0\right)|{a}_{r}\in k,r=1,\cdots ,j+1\right\},$

where ${a}_{1}$ is in the coordinate number $j+i+2-n$ . We also have

$\Im \left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\to \text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right)=\left\{\left(0,{\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j+1-i}\right)}^{t},0\right)|{b}_{t}\in k,t=1,\cdots ,j+1-i\right\},$

where ${b}_{1}$ is in the coordinate number $i+1$ . We therefore have ${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{3}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=i+1-\left(j+i+2-n\right)=n-\left(j+1\right)$ for $j+1\le n$ . Next we have

$Ex{t}_{\Lambda }^{4}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{3}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\beta \alpha \gamma \right)}^{i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right)/\Im \left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right).$

We compute the kernel for

${d}_{5}^{×}:\left({e}_{3}M\stackrel{{\left(\beta \alpha \gamma \right)}^{i}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right).$

We have

${d}_{5}^{×}\left(0,0,{\left({a}_{1},{a}_{2},\cdots ,{a}_{j}\right)}^{t}\right)=\left(0,0,{\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{j-i}\right)}^{t}\right)$

where ${a}_{1}$ is in the coordinate number $i+1$ . This shows that

$\mathrm{ker}\left({e}_{3}M\text{\hspace{0.17em}}\stackrel{{\left(\beta \alpha \gamma \right)}^{i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right)=\left\{\left(0,0,{\left(0,0,\cdots ,{a}_{1},\cdots ,{a}_{j}\right)}^{t},\right)|{a}_{r}\in k,r=1,\cdots ,j\right\},$

where ${a}_{1}$ is in the coordinate number $j+1-i$ . We compute the image for

${d}_{4}^{×}:\left({e}_{2}M\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right).$

We have

${d}_{4}^{×}\left(0,{\left({b}_{1},{b}_{2},\cdots ,{b}_{s},{b}_{j+1}\right)}^{t},0,\right)\left(0,0\left({\left(0,0,\cdots ,{b}_{1},{b}_{2}\cdots ,{b}_{s}\right)}^{t}\right)$

where ${b}_{1}$ is in the coordinate number $n-i+1$ and therefore ${b}_{s}$ is in the coordinate number $n-i+s=j+1$ and therefore $s=j+i-n$ ,

$\Im \left({e}_{2}M\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right)=\left\{\left(0,0,{\left(0,0,\cdots ,{b}_{1},\cdots ,{b}_{j-i}\right)}^{t}\right)|{b}_{t}\in k,t=1,\cdots ,j\right\}.$

We therefore have ${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{4}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=n-i+1-\left(j+1-i\right)n-j$ for $j\le n$ . Finally, we have

$Ex{t}_{\Lambda }^{5}\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{3}M\text{\hspace{0.17em}}\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right)/\Im \left({e}_{3}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{\left(\beta \alpha \gamma \right)}^{i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right).$

We compute the kernel for

${d}_{6}^{×}:\left({e}_{3}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{1}M\right),$

we have

${d}_{6}^{×}\left(0,0,{\left({a}_{1},{a}_{2},\cdots ,{a}_{s},\cdots {a}_{j}\right)}^{t}\right)=\left({\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{s}\right)}^{t},0,0\right)$

where ${a}_{1}$ is in the coordinate number $n-i+2$ and therefore ${a}_{s}$ is in the coordinate number $n-i+1+s=j,s=j+i-n-1$ and consequently $s+1=j+i-n$ . This shows that

$\mathrm{ker}\left({e}_{3}M\text{\hspace{0.17em}}\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right)=\left\{\left(0,0,{\left(0,0,\cdots ,{a}_{1},\cdots ,{a}_{j}\right)}^{t}\right)|{a}_{r}\in k,r=1,\cdots ,j\right\}.$

We compute the image for

${d}_{5}^{×}:\left({e}_{3}M\text{\hspace{0.17em}}\stackrel{{\left(\beta \alpha \gamma \right)}^{i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right),$

we have

${d}_{5}^{×}\left(0,0,{\left({b}_{1},{b}_{2},\cdots ,{b}_{j}\right)}^{t}\right)=\left(0,0,{\left(0,0,\cdots ,0,{b}_{1},{b}_{2},\cdots ,{b}_{j-i}\right)}^{t}\right)$

where ${b}_{1}$ is the $ith$ coordinate number $i+1$ and hence

$\Im \left({e}_{3}M\text{\hspace{0.17em}}\stackrel{{\left(\beta \alpha \gamma \right)}^{i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right)=\left\{\left(0,0,{\left({b}_{1},\cdots ,{b}_{j-i}\right)}^{t}\right)|{b}_{t}\in k,t=1,\cdots ,j-i\right\}.$

We therefore have

${\mathrm{dim}}_{k}Ex{t}_{\Lambda }\left({\left({S}_{1},\cdots ,{S}_{3}\right)}^{t},M\right)=i+1-\left(j+i-n\right)=n+1-j$ for $j\le n+1$

${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{t}\left(3i,3j+2\right)=n-\left(j+1\right)$ for $t=1,2,3$ , $n-j$ for $t=4$ and $n+1-j$ for $t=5$ . We therefore have $n=j+1,n=j$ and $n=j-1$ .

It follows from the computations of the forth and fifth Ext-groups that the condition $Ex{t}_{\Lambda }^{n}\left(M,N\right)=0$ for $n\gg 0⇔Ex{t}_{\Lambda }^{n}\left(N,M\right)=0$ for $n\gg 0$ holds.

We now discuss the Ext-groups of the Nakayama algebras with the projectives of length $3n+2$ using the combination $\left(3i+1,3j+1\right)$ , where $3i+1$ and $3j+1$ are also modules of length $3i+1$ and $3j+1$ respectively.

Let $\Gamma$ be a path with the relations $\beta \alpha \gamma \cdots \gamma \beta \alpha ,\gamma \beta \alpha \cdots \alpha \gamma \beta$ and $\alpha \gamma \beta \cdots \beta \alpha \gamma$ where the length of each relation is $3n+2,n$ is a positive integer. Let

$\Lambda =k\Gamma /〈\beta \alpha \gamma \cdots \gamma \beta \alpha ,\gamma \beta \alpha \cdots \alpha \gamma \beta ,\alpha \gamma \beta \cdots \beta \alpha \gamma 〉.$

The projectives of the above path algebra are as follows:

${P}_{1}={\left({S}_{1},{S}_{2},\cdots ,{S}_{1},{S}_{2}\right)}^{t},{P}_{2}={\left({S}_{2},{S}_{3},\cdots ,{S}_{2},{S}_{3}\right)}^{t},{P}_{3}={\left({S}_{3},{S}_{1},\cdots ,{S}_{3},{S}_{1}\right)}^{t}.$

The above projectives ${P}_{i},i=1,2,3$ each has length $n+2$ . The minimal projective resolution of module ${\left({S}_{1},\cdots ,{S}_{3}\right)}^{i}$ of length $3i$ is given as;

$\begin{array}{l}\cdots {Q}_{6}\text{\hspace{0.17em}}\stackrel{{d}_{6}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{Q}_{5}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{d}_{5}}{\to }{Q}_{4}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{d}_{4}}{\to }{Q}_{3}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{d}_{3}}{\to }{Q}_{2}\text{\hspace{0.17em}}\\ \text{}\text{\hspace{0.17em}}\stackrel{{d}_{2}}{\to }{Q}_{1}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{d}_{1}}{\to }\text{\hspace{0.17em}}{Q}_{0}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{d}_{0}}{\to }N\to 0.\end{array}$

where $N$ is the module of length $3i,{Q}_{6i}={Q}_{6i+1}={P}_{1},{Q}_{6i+2}={Q}_{6i+3}={P}_{3}$ and ${Q}_{6i+4}={Q}_{6i+5}={P}_{2}$ for $i\ge 0$ and ${d}_{6i+1}$ is a multiplication by ${\left(\gamma \beta \alpha \right)}^{i},{d}_{6i+2}$ is a multiplication by $\beta \alpha {\left(\gamma \beta \alpha \right)}^{n-i},{d}_{6i+3}$ is a multiplication by ${\left(\beta \alpha \gamma \right)}^{i},{d}_{6i+4}$ is a multiplication by $\alpha \gamma {\left(\beta \alpha \gamma \right)}^{n-i},{d}_{6i+5}$ is a multiplication by ${\left(\alpha \gamma \beta \right)}^{i}$ and ${d}_{6i}$ is multiplication by $\gamma \beta {\left(\alpha \gamma \beta \right)}^{n-i}$ .

The combinations have been reduced to four class because in the above resolution, we see that the module of length $3i$ is in the same group with the module of length $3i+2$ . The two modules therefore have the same properties with respect to the condition $Ex{t}_{\Lambda }^{n}\left(M,N\right)=0$ for $n\gg 0⇔Ex{t}_{\Lambda }^{n}\left(N,M\right)=0$ for $n\gg 0$ .

From the above resolution we have,

$\begin{array}{l}\cdots \Lambda {e}_{1}\stackrel{{d}_{7}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{2}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{d}_{6}}{\to }\Lambda {e}_{2}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{d}_{5}}{\to }\Lambda {e}_{3}\text{\hspace{0.17em}}\stackrel{{d}_{4}}{\to }\Lambda {e}_{3}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\\ \text{}\stackrel{{d}_{3}}{\to }\Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{2}}{\to }\Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{1}}{\to }N\stackrel{{d}_{0}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}0.\end{array}$

The $pdN=\infty$ since the resolution is periodic. The period is 6. The truncation of the above resolution is given as:

$\begin{array}{l}P\cdots \Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{6}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\Lambda {e}_{2}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{d}_{5}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{2}\text{\hspace{0.17em}}\stackrel{{d}_{4}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\Lambda {e}_{3}\\ \text{}\text{\hspace{0.17em}}\stackrel{{d}_{3}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{3}\text{\hspace{0.17em}}\stackrel{{d}_{2}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{1}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{d}_{1}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{0}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}0.\end{array}$

Applying $Hom\left(\text{\hspace{0.17em}},M\right)$ where $M$ is the module of length $3j$ , we have

$\begin{array}{l}0\text{\hspace{0.17em}}\stackrel{{d}_{0}^{×}}{\to }\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right)\stackrel{{d}_{1}^{×}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right)\text{\hspace{0.17em}}\stackrel{{d}_{2}^{×}}{\to }\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{3},M\right)\text{\hspace{0.17em}}\text{\hspace{0.17em}}\\ \stackrel{{d}_{3}^{×}}{\to }\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{3},M\right)\stackrel{{d}_{4}^{×}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{2},M\right)\text{\hspace{0.17em}}\stackrel{{d}_{5}^{×}}{\to }Ho{m}_{\Lambda }\left(\lambda {e}_{2},M\right)\text{\hspace{0.17em}}\text{\hspace{0.17em}}\\ \stackrel{{d}_{6}^{×}}{\to }Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right),\end{array}$

where $Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right)\simeq {e}_{1}M,Ho{m}_{\Lambda }\left(\Lambda {e}_{2},M\right)\simeq {e}_{2}M$ and $Ho{m}_{\Lambda }\left(\lambda {e}_{3},M\right)\simeq {e}_{3}M$ .

We discuss the Ext-groups of the Nakayama algebras with projectives of length $3n+2$ by considering the case: $\left(3i+1,3j+1\right)$ . $3i+1$ is the module ${\left({S}_{1},\cdots ,{S}_{1}\right)}^{i+1}$ of length $3i+1$ and $3j+1$ is the module ${\left({S}_{1},\cdots ,{S}_{1}\right)}^{i+1}$ of length $3j+1$ .

The minimal projective resolution of the module ${\left({S}_{1},\cdots ,{S}_{1}\right)}^{i+1}$ of length $3i+1$ is given as;

$\begin{array}{l}\cdots \to {Q}_{6}\text{\hspace{0.17em}}\stackrel{{d}_{6}}{\to }\text{\hspace{0.17em}}{Q}_{5}\text{\hspace{0.17em}}\stackrel{{d}_{5}}{\to }\text{\hspace{0.17em}}{Q}_{4}\text{\hspace{0.17em}}\stackrel{{d}_{4}}{\to }\text{\hspace{0.17em}}{Q}_{3}\text{\hspace{0.17em}}\stackrel{{d}_{3}}{\to }{Q}_{2}\\ \text{}\stackrel{{d}_{2}}{\to }\text{\hspace{0.17em}}{Q}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{1}}{\to }{Q}_{0}\text{\hspace{0.17em}}\stackrel{{d}_{0}}{\to }\text{\hspace{0.17em}}\to A\to 0\end{array}$

where ${Q}_{6i}={Q}_{6i+3}={P}_{1},{Q}_{6i+1}={Q}_{6i+4}={P}_{2}$ and ${Q}_{6i+2}={Q}_{6i+5}={P}_{3}$ for $i\ge 0,{d}_{6i+1}$ is a multiplication by $\alpha {\left(\gamma \beta \alpha \right)}^{i+1},{d}_{6i+2}$ is a multiplication by $\beta {\left(\alpha \gamma \beta \right)}^{n-i},{d}_{6i+3}$ is a multiplication by $\gamma {\left(\beta \alpha \gamma \right)}^{i+1},{d}_{6i+4}$ is a multiplication by $\alpha {\left(\gamma \beta \alpha \right)}^{n-i},{d}_{6i+5}$ is a multiplication by $\beta {\left(\alpha \gamma \beta \right)}^{i+1}$ and ${d}_{6i+6}$ is a multiplication by $\gamma {\left(\beta \alpha \gamma \right)}^{n-i}$ and $A$ is the module of length $3i+1$ .

Considering the above resolution, we have

$\begin{array}{l}\cdots \to \Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{6}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{3}\text{\hspace{0.17em}}\stackrel{{d}_{5}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{2}\stackrel{{d}_{4}}{\to }\Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{3}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{3}\\ \text{}\text{\hspace{0.17em}}\stackrel{{d}_{2}}{\to }\Lambda {e}_{2}\text{\hspace{0.17em}}\stackrel{{d}_{1}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{1}\stackrel{{d}_{0}}{\to }\text{\hspace{0.17em}}A\text{\hspace{0.17em}}\to 0.\end{array}$

The $p\text{d}A=\infty$ since the resolution is periodic. The period ic 6. The truncation of the above resolution is given as;

$\begin{array}{l}P:\cdots \Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{6}}{\to }\Lambda {e}_{3}\stackrel{{d}_{5}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{2}\stackrel{{d}_{4}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{1}\\ \text{\hspace{0.17em}}\stackrel{{d}_{3}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{3}\text{\hspace{0.17em}}\stackrel{{d}_{2}}{\to }\Lambda {e}_{2}\text{\hspace{0.17em}}\stackrel{{d}_{1}}{\to }\text{\hspace{0.17em}}\Lambda {e}_{1}\text{\hspace{0.17em}}\stackrel{{d}_{0}}{\to }\text{\hspace{0.17em}}0.\end{array}$

Applying $Ho{m}_{\Lambda }\text{\hspace{0.17em}}\left(,M\right),$ where $M$ is in the module ${\left({S}_{1},\cdots ,{S}_{j}\right)}^{j}$ of length $3j$ , we have

$\begin{array}{l}0\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{d}_{0}^{×}}{\to }\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right)\text{\hspace{0.17em}}\stackrel{{d}_{1}^{×}}{\to }\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{2},M\right)\text{\hspace{0.17em}}\\ \stackrel{{d}_{2}^{×}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{3},M\right)\text{\hspace{0.17em}}\stackrel{{d}_{3}^{×}}{\to }\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right)\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{{d}_{4}^{×}}{\to }Ho{m}_{\Lambda }\left(\Lambda {e}_{2},M\right)\text{\hspace{0.17em}}\\ \stackrel{{d}_{5}^{×}}{\to }\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\lambda {e}_{3},M\right)\stackrel{{d}_{6}^{×}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right),\end{array}$

where $Ho{m}_{\Lambda }\left(\Lambda {e}_{1},M\right)\simeq {e}_{1}M,Ho{m}_{\Lambda }\left(\Lambda {e}_{2},M\right)\simeq {e}_{2}M$ and $Ho{m}_{\Lambda }\left(\lambda {e}_{3},M\right)\simeq {e}_{3}M$ .

We compute the Ext-groups for $\left(3i+1,3j+1\right)$ . The first Ext-group is;

$Ex{t}_{\Lambda }^{1}\left({\left({S}_{1},\cdots ,{S}_{1}\right)}^{i+1},M\right)=\mathrm{ker}\left({e}_{2}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right)/\Im \left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{i+1}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right),$

where $M$ is the module of length $3j+1$ . We compute the kernel for

${d}_{2}^{×}:\left({e}_{2}M\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right).$

We have

${d}_{2}^{×}\left(0,{\left({a}_{1},{a}_{2},\cdots ,{a}_{s},\cdots ,{a}_{j}\right)}^{t},0\right)=\left(0,0,{\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{s}\right)}^{t}\right),$

where ${a}_{1}$ is in the coordinate number $n-i+1$ and therefore ${a}_{s}$ is in the coordinate number $n-i+s=j,s=j+i-n$ and consequently, $s+1=j+i+1-n$ . This shows that

$\mathrm{ker}\left({e}_{2}M\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right)=\left\{\left(0,{\left(0,0,\cdots ,0,{a}_{s+1},\cdots ,{a}_{j}\right)}^{t},0\right)|{a}_{r}\in k,r=s+1,\cdots ,j\right\}.$

We compute the image

${d}_{1}^{×}:\left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{i+1}}{\to }{e}_{2}M\right).$

We have

${d}_{1}^{×}\left({\left({b}_{1},{b}_{2},\cdots ,{b}_{j+1}\right)}^{t},0,0\right)=\left(0,{\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j-\left(i+1\right)}\right)}^{t},0\right),$

where ${b}_{1}$ is in the coordinate number $i+2$ . Hence

$\Im \left({e}_{1}M\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{i+1}}{\to }{e}_{2}M\right)=\left\{\left(0,{\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j-\left(i+1\right)}\right)}^{t},0\right)|{b}_{t}\in k,t=1,\cdots ,j-\left(i+1\right)\right\}.$

We have ${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{1}\left({\left({S}_{1},\cdots ,{S}_{1}\right)}^{t},M\right)=i+2-\left(j+i+1-n\right)=n+1-j$ for $j\le n+1$ . Next, we compute the second Ext-group.

$Ex{t}_{\Lambda }^{2}\left({\left({S}_{1},\cdots ,{S}_{1}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{3}M\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{i+1}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right)/\Im \left({e}_{2}M\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }{e}_{3}M\right).$

We compute the kernel for

${d}_{3}^{×}:\left({e}_{3}M\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{i+1}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right).$

We have

${d}_{3}^{×}\left(0,0,{\left({a}_{1},{a}_{2},\cdots ,{a}_{j}\right)}^{t}\right)=\left({\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{j-\left(i+1\right)}\right)}^{t},0,0\right),$

where ${a}_{1}$ is in the coordinate number $i+2$ . This shows that

$\mathrm{ker}\left({e}_{3}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{i+1}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{1}M\right)=\left\{\left(0,0,{\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{j}\right)}^{t}\right)|{a}_{r}\in k,r=1,\cdots ,j\right\},$

where ${a}_{1}$ is in the coordinate number $j-i$ . We compute the image for

${d}_{2}^{×}:\left({e}_{2}M\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{3}M\right).$

We have

${d}_{2}^{×}\left(0,{\left({b}_{1},{b}_{2},\cdots ,{b}_{s},\cdots ,{b}_{j}\right)}^{t},0\right)=\left(0,0,{\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{s}\right)}^{t}\right),$

where ${b}_{1}$ is in the coordinate number $n-i+1$ and therefore ${b}_{s}$ is the coordinate number $n-i+s=j$ and $s=j+i-n$ . This implies that

$\Im \left({e}_{2}M\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right)=\left\{\left(0,0,{\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j}\right)}^{t}\right)|{b}_{t}\in k,t=1,\cdots ,j\right\},$

where ${b}_{1}$ is in the coordinate number $n-i+1$ . We have

${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{2}\left({\left({S}_{1},\cdots ,{S}_{1}\right)}^{t},M\right)=n-i+1-\left(j-i\right)=n+1-j$

for $j\le n+1$ . We compute the third Ext-group.

$Ex{t}_{\Lambda }^{3}\left({\left({S}_{1},\cdots ,{S}_{1}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{1}M\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right)/\Im \left({e}_{3}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{i+1}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{1}M\right).$

We compute the kernel for

${d}_{4}^{×}:\left({e}_{1}M\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{2}M\right).$

We have

${d}_{4}^{×}\left({\left({a}_{1},{a}_{2},\cdots ,{a}_{s},\cdots ,{a}_{j+1}\right)}^{t},0,0\right)=\left(0,{\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{s}\right)}^{t},0\right),$

where ${a}_{1}$ is in the coordinate number $n-i+1$ and therefore ${a}_{s}$ is in the coordinate number $n-i+s=j+1,s=j+i+1-n$ and consequently, $s+1=j+i+2-n$ . Hence

$\mathrm{ker}\left({e}_{1}M\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{2}M\right)=\left\{\left({\left(0,0,\cdots ,0,{a}_{s+1},\cdots ,{a}_{j+1}\right)}^{t},0,0\right)|{a}_{r}\in k,r=s+1,\cdots ,j+1\right\}.$

We compute the image for

${d}_{3}^{×}:\left({e}_{3}M\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{i+1}}{\to }{e}_{1}M\right).$

We have

${d}_{3}^{×}\left(0,0,{\left({b}_{1},{b}_{2},\cdots ,{b}_{j}\right)}^{t}\right)=\left({\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j-i}\right)}^{t},0,0\right),$

where ${b}_{1}$ is in the coordinate number $i+3$ . This implies that

$\Im \left({e}_{3}M\text{\hspace{0.17em}}\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{i+1}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{1}M\right)=\left\{\left({\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j-i}\right)}^{t},0,0\right)|{b}_{t}\in k,t=1,\cdots ,j-i\right\}.$

We therefore have ${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{3}\left({\left({S}_{1},\cdots ,{S}_{1}\right)}^{t},M\right)i+3-\left(j+i+2-n\right)=n+1-j$ for $j\le n+1$ . We discuss the fourth Ext-group.

$Ex{t}_{\Lambda }^{4}\left({\left({S}_{1},\cdots ,{S}_{1}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{2}M\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{i+1}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right)/\Im \left({e}_{1}M\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{e}_{2}M\right).$

We compute the kernel for

${d}_{5}^{×}:\left({e}_{2}M\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{i+1}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right).$

We have

${d}_{5}^{×}\left(0,{\left({a}_{1},{a}_{2},\cdots ,{a}_{j}\right)}^{t},0\right)=\left(0,0,{\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{j-i}\right)}^{t}\right),$

where ${a}_{1}$ is in the coordinate number $i+2$ . Hence

$\begin{array}{l}\mathrm{ker}\left({e}_{2}M\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{i+1}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right)\\ =\left\{\left(0,{\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{j-\left(i+1\right)}\right)}^{t},0\right)|{a}_{r}\in k,r=1,\cdots ,j-\left(i+1\right)\right\},\end{array}$

where ${a}_{1}$ is in the coordinate number $j-i$ . We compute the image for

${d}_{4}^{×}:\left({e}_{1}M\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{2}M\right)$

to have

${d}_{4}^{×}\left({\left({b}_{1},{b}_{2},\cdots ,{b}_{s},\cdots ,{b}_{j}\right)}^{t},0,0\right)=\left(0,{\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{s}\right)}^{t},0\right),$

where ${b}_{1}$ is in the coordinate number $n-i+1$ and therefore ${b}_{s}$ is in the coordinate number $n-i+s=j,s=j+i-n$ . Consequently, $s+1=j+i+1-n$ . This shows that

$\Im \left({e}_{1}M\text{\hspace{0.17em}}\stackrel{\alpha {\left(\gamma \beta \alpha \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{2}M\right)=\left\{\left(0,{\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j-i}\right)}^{t},0\right)|{b}_{t}\in k,t=1,\cdots ,j\right\},$

where ${b}_{1}$ is in the coordinate number $n-i+1$ . We have

${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{4}\left({\left({S}_{1},\cdots ,{S}_{1}\right)}^{t},M\right)=n-i+1-\left(j-i\right)=n+1-j$

for $j\le n+1$ . We discuss the fifth Ext-group.

$Ex{t}_{\Lambda }^{5}\left({\left({S}_{1},\cdots ,{S}_{1}\right)}^{t},M\right)=\mathrm{ker}\left({e}_{3}M\text{\hspace{0.17em}}\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right)/\Im \left({e}_{2}M\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{i+1}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right).$

We compute the kernel for

${d}_{6}^{×}:\left({e}_{3}M\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right).$

We have

${d}_{6}^{×}\left(0,0,{\left({a}_{1},{a}_{2},\cdots ,{a}_{s},\cdots ,{a}_{j}\right)}^{t}\right)=\left({\left(0,0,\cdots ,0,{a}_{1},\cdots ,{a}_{s}\right)}^{t},0,0\right),$

where ${a}_{1}$ is in the coordinate number $n-i+2$ and therefore ${a}_{s}$ is in the coordinate number $n-i+1+s=j,s=j+i-1-n$ and consequently, $s+1=j+i-n$ . This shows that

$\mathrm{ker}\left({e}_{3}M\stackrel{\gamma {\left(\beta \alpha \gamma \right)}^{n-i}}{\to }\text{\hspace{0.17em}}{e}_{1}M\right)=\left\{\left(0,0,{\left(0,0,\cdots ,0,{a}_{s+1},\cdots ,{a}_{j}\right)}^{t}\right)|{a}_{r}\in \left(k,r=s+1,\cdots ,j\right)\right\}.$

We compute the image for

${d}_{5}^{×}:\left({e}_{2}M\text{\hspace{0.17em}}\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{i+1}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right).$

We have

${d}_{5}^{×}\left(0,{\left({b}_{1},{b}_{2},\cdots ,{b}_{j}\right)}^{t},0\right)=\left(0,0,{\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j-i}\right)}^{t},0,0\right),$

where ${b}_{1}$ is in the coordinate number $i+2$ . Hence

$\Im \left({e}_{2}M\stackrel{\beta {\left(\alpha \gamma \beta \right)}^{i+1}}{\to }\text{\hspace{0.17em}}{e}_{3}M\right)=\left\{\left(0,0,{\left(0,0,\cdots ,0,{b}_{1},\cdots ,{b}_{j-i}\right)}^{t}\right)|{b}_{t}\in k,t=1,\cdots ,j\right\}.$

We therefore have

${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{5}\left({\left({S}_{1},\cdots ,{S}_{1}\right)}^{t},M\right)=i+2-\left(j+i-n\right)=n+2-j$ for $j\le n+2$ .

${\mathrm{dim}}_{k}Ex{t}_{\Lambda }^{t}\left(3i+1,3j+1\right)=n+1-j$ for $t=1,2,3$ and 4, and $n+2-j$ for $t=5$ . We therefore have $n+1=j$ and $n+2=j$ .

It follows from the fifth Ext-group that the condition $Ex{t}_{\Lambda }^{n}\left(M,N\right)=0$ for $n\gg 0⇔Ex{t}_{\Lambda }^{n}\left(N,M\right)=0$ for $n\gg 0$ holds.

4. Conclusion

The study found that the Ext-groups of pairs $\left(M,N\right)$ of modules over Naka- yama algebras of type $\left(n,n,n\right)$ satisfy the condition $Ex{t}_{\Lambda }^{n}\left(M,N\right)=0$ for $n\gg 0⇔Ex{t}_{\Lambda }^{n}\left(N,M\right)=0$ for $n\gg 0$ and justified the claim with projectives of lengths $3n+1$ and $3n+2$ by using combinations of modules of different lengths.

Acknowledgements

We are grateful to the referee for many useful suggestions.

Cite this paper

Gyamfi, K.B., Aidoo, A. and Annor, D.Y.B. (2017) Homological Properties in Relation to Nakayama Algebras. Journal of Applied Mathematics and Physics, 5, 153-167. http://dx.doi.org/10.4236/jamp.2017.51016

References

1. 1. Schr&oumler, J. (2016) Nakayama Algebras, 2016. http://www.math.un-bonn.de/people/Schroer/fd-atlas/FD-NakayamaAlgebras.pdf

2. 2. Rotman, J.J. (2009) An Introduction to Homological Algebra. 2nd Edition, Universitex, Springer.

3. 3. Auslander, M., Reiten, I. and Smalø, S. (1995) Representation Theory of Artin Algebras. Series: Cambridge Studies in Advanced Mathematics (No. 36). Cambridge University Press, Cambridge.