Namespaces
Variants
Actions

Difference between revisions of "Coherent ring"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
A ring in which every finitely-generated left ideal is finitely presentable, that is, it is the quotient module of a finitely-generated free module by a submodule which is an image of a finitely-generated free module. Such a ring is called a left coherent ring; a right coherent ring is defined similarly in terms of right ideals. A left coherent ring can also be defined by either of the following two equivalent conditions: 1) every finitely-generated submodule of a finitely-presented left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c0230101.png" />-module is finitely presentable; 2) a direct product of flat right <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c0230102.png" />-modules is a flat right <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c0230103.png" />-module.
+
<!--
 +
c0230101.png
 +
$#A+1 = 19 n = 0
 +
$#C+1 = 19 : ~/encyclopedia/old_files/data/C023/C.0203010 Coherent ring
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
A ring in which every finitely-generated left ideal is finitely presentable, that is, it is the quotient module of a finitely-generated free module by a submodule which is an image of a finitely-generated free module. Such a ring is called a left coherent ring; a right coherent ring is defined similarly in terms of right ideals. A left coherent ring can also be defined by either of the following two equivalent conditions: 1) every finitely-generated submodule of a finitely-presented left $  R $-
 +
module is finitely presentable; 2) a direct product of flat right $  R $-
 +
modules is a flat right $  R $-
 +
module.
  
 
Many constructions known for modules over Noetherian rings (cf. [[Noetherian ring|Noetherian ring]]) prove to be realizable for modules over coherent rings as well. For example, every finitely-presented module over a coherent ring has a projective resolution by finitely-presented modules. At the same time, the class of coherent rings is wider than that of Noetherian rings since it contains, for example, all regular rings (in the sense of von Neumann, cf. [[Regular ring (in the sense of von Neumann)|Regular ring (in the sense of von Neumann)]]) and the rings of polynomials over Noetherian rings in any (finite or infinite) number of variables.
 
Many constructions known for modules over Noetherian rings (cf. [[Noetherian ring|Noetherian ring]]) prove to be realizable for modules over coherent rings as well. For example, every finitely-presented module over a coherent ring has a projective resolution by finitely-presented modules. At the same time, the class of coherent rings is wider than that of Noetherian rings since it contains, for example, all regular rings (in the sense of von Neumann, cf. [[Regular ring (in the sense of von Neumann)|Regular ring (in the sense of von Neumann)]]) and the rings of polynomials over Noetherian rings in any (finite or infinite) number of variables.
Line 5: Line 20:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. Commutative algebra" , Addison-Wesley  (1972)  pp. Chapt. 1  (Translated from French)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. Commutative algebra" , Addison-Wesley  (1972)  pp. Chapt. 1  (Translated from French)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
A left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c0230104.png" /> module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c0230105.png" /> is finitely presentable if there is an [[Exact sequence|exact sequence]]
+
A left $  A $
 +
module $  E $
 +
is finitely presentable if there is an [[Exact sequence|exact sequence]]
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c0230106.png" /></td> </tr></table>
+
$$
 +
A  ^ {r}  \rightarrow  A  ^ {s}  \rightarrow  E  \rightarrow  0 ,\ \
 +
r , s \in \mathbf N .
 +
$$
  
A left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c0230107.png" />-module is pseudo-coherent if every submodule of finite type (i.e. with a finite number of generators) is finitely presentable, and it is a coherent module if it is also itself of finite type. A left module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c0230108.png" /> is coherent if and only if for every morphism of left modules <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c0230109.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c02301010.png" /> of finite type the kernel of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c02301011.png" /> is also of finite type. Thus, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c02301012.png" /> is a left coherent ring if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c02301013.png" />, considered as a left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c02301014.png" />-module, is a coherent left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c02301015.png" />-module. This is equivalent to the requirement that every finitely-presented left module be coherent.
+
A left $  A $-
 +
module is pseudo-coherent if every submodule of finite type (i.e. with a finite number of generators) is finitely presentable, and it is a coherent module if it is also itself of finite type. A left module $  E $
 +
is coherent if and only if for every morphism of left modules $  f : F \rightarrow E $
 +
with $  F $
 +
of finite type the kernel of $  f $
 +
is also of finite type. Thus, $  A $
 +
is a left coherent ring if $  A $,  
 +
considered as a left $  A $-
 +
module, is a coherent left $  A $-
 +
module. This is equivalent to the requirement that every finitely-presented left module be coherent.
  
More generally, in suitable Abelian categories one defines a coherent object as an object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c02301016.png" /> of finite type such that for any morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c02301017.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c02301018.png" /> of finite type, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023010/c02301019.png" /> is also of finite type, [[#References|[a1]]].
+
More generally, in suitable Abelian categories one defines a coherent object as an object $  X $
 +
of finite type such that for any morphism $  f : Y \rightarrow X $
 +
with $  Y $
 +
of finite type, $  \mathop{\rm Ker}  f $
 +
is also of finite type, [[#References|[a1]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  N. Popescu,  "Abelian categories with applications to rings and modules" , Acad. Press  (1973)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  N. Popescu,  "Abelian categories with applications to rings and modules" , Acad. Press  (1973)</TD></TR></table>

Latest revision as of 17:45, 4 June 2020


A ring in which every finitely-generated left ideal is finitely presentable, that is, it is the quotient module of a finitely-generated free module by a submodule which is an image of a finitely-generated free module. Such a ring is called a left coherent ring; a right coherent ring is defined similarly in terms of right ideals. A left coherent ring can also be defined by either of the following two equivalent conditions: 1) every finitely-generated submodule of a finitely-presented left $ R $- module is finitely presentable; 2) a direct product of flat right $ R $- modules is a flat right $ R $- module.

Many constructions known for modules over Noetherian rings (cf. Noetherian ring) prove to be realizable for modules over coherent rings as well. For example, every finitely-presented module over a coherent ring has a projective resolution by finitely-presented modules. At the same time, the class of coherent rings is wider than that of Noetherian rings since it contains, for example, all regular rings (in the sense of von Neumann, cf. Regular ring (in the sense of von Neumann)) and the rings of polynomials over Noetherian rings in any (finite or infinite) number of variables.

References

[1] N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) pp. Chapt. 1 (Translated from French)

Comments

A left $ A $ module $ E $ is finitely presentable if there is an exact sequence

$$ A ^ {r} \rightarrow A ^ {s} \rightarrow E \rightarrow 0 ,\ \ r , s \in \mathbf N . $$

A left $ A $- module is pseudo-coherent if every submodule of finite type (i.e. with a finite number of generators) is finitely presentable, and it is a coherent module if it is also itself of finite type. A left module $ E $ is coherent if and only if for every morphism of left modules $ f : F \rightarrow E $ with $ F $ of finite type the kernel of $ f $ is also of finite type. Thus, $ A $ is a left coherent ring if $ A $, considered as a left $ A $- module, is a coherent left $ A $- module. This is equivalent to the requirement that every finitely-presented left module be coherent.

More generally, in suitable Abelian categories one defines a coherent object as an object $ X $ of finite type such that for any morphism $ f : Y \rightarrow X $ with $ Y $ of finite type, $ \mathop{\rm Ker} f $ is also of finite type, [a1].

References

[a1] N. Popescu, "Abelian categories with applications to rings and modules" , Acad. Press (1973)
How to Cite This Entry:
Coherent ring. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Coherent_ring&oldid=46383
This article was adapted from an original article by V.E. Govorov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article