On the structure of coherent FP-rings (Q1175604)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the structure of coherent FP-rings |
scientific article |
Statements
On the structure of coherent FP-rings (English)
0 references
25 June 1992
0 references
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).
0 references
projective module
0 references
coherent FP-ring
0 references
dimension
0 references