Let $R$ be a ring. An $R$-module $M$ is called FL (FP) if it has a finite resolution consisiting of finitely generated free (projective) modules.


Given an exact sequence of $R$-modules, $0\to M\_1\to M\_2\to M\_3\to 0$, if two of the modules $M\_1$, $M\_2$ or $M\_3$ are FP, then the third is FP as well. This follows, for example, from Proposition 1.4 and Proposition 4.1b of


Bieri, Robert Homological dimension of discrete groups. Second edition. Queen Mary College Mathematics Notes. Queen Mary College, Department of Pure Mathematics, London, 1981.


My question is



> 
> If two of the modules $M\_1$, $M\_2$ or $M\_3$ are FL, is it true that
> the third one is also FL?
> 
> 
> 



Exact sequences with two FL-modules
Yes, this is true. See Bourbaki, N. Éléments de mathématique. Algèbre. Chapitre 10. Algèbre homologique. (French) [Elements of mathematics. Algebra. Chapter 10. Homological algebra], Theorem 3.9.1


Let $K\_0(R)$ be the Grothendieck group of $R$ and $\widetilde K\_0(R)=K\_0(R)/\langle [R]\rangle$.
Then $[P]=0$ in $\widetilde K\_0(R)$ if and only if $P$ is stably free.


For any $FP$ $R$-module $M$ having the following resolution consisting of finitely generated projective $R$-modules
$$0\to P\_k\to \ldots \to P\_1\to P\_0\to M\to 0,$$ we denote
$$\chi\_u^R(M)=\sum\_{i=0}^k (-1)^i [P\_i]\in \widetilde K\_0(R).$$
Observe that $\chi\_u^R(M)=0$ if and only if $M$ is $FL$.


Thus, in order to prove the claim it is enough to show that if $0\to M\_1\to M\_2\to M\_3\to 0$ is an exact sequence of $FP$ $R$-modules, then $\chi\_u(M\_2)=\chi\_u(M\_1)+\chi\_u(M\_3)$.


This can easily be done by induction on
$pd\_R(M\_1)+pd\_R(M\_2)+ pd\_R(M\_3)$, where $pd\_R(M)$ is the projective dimension of $M$.


