On the structure of coherent FP-rings (Q1175604)

All rings are commutative with identity element. A ring \(R\) is said to be an FP-ring if every finitely projective module over \(R\) is free. A ring \(R\) is said to be \((a,b,c)\) if W.gl.dim\((R)=a\), gl.dim\((R)=b\) and f.p.dim\((R)=c\). The authors prove the following results: let \(R\) be a coherent FP-ring then: (1) If every principal ideal of \(R\) has finite flat dimension, then \(R\) is a domain; (2) If W.gl.dim\((R)=0\), then \(R\) is a field; (3) If W.gl.dim\((R)=1\), then \(R\) is a Bezout domain; (4) If W.gl.dim\((R)<\infty\), then \(R\) is a common divisor domain; (5) If gl.dim\((R)=2\), then \(R\) must be (1,2,3), (2,2,0) or (2,2,3).