Namespaces
Variants
Actions

Difference between revisions of "Flat cover"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 38 formulas out of 38 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 38 formulas, 38 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|done}}
 
''flat covering''
 
''flat covering''
  
In [[#References|[a1]]], R. Baer proved that every [[Module|module]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f1301301.png" /> can be embedded in an [[Injective module|injective module]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f1301302.png" />. In [[#References|[a5]]], B. Eckmann and A. Schöpf defined an injective envelope of a module to be an embedding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f1301303.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f1301304.png" /> injective and with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f1301305.png" /> essential in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f1301306.png" />, i.e. such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f1301307.png" /> for every submodule <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f1301308.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f1301309.png" />. They proved that every module has an injective envelope and that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013011.png" /> are two injective envelopes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013012.png" />, then any [[Morphism|morphism]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013013.png" /> which is the identity on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013014.png" /> (and such exists) is an [[Isomorphism|isomorphism]]. So, injective envelopes are unique up to isomorphism.
+
In [[#References|[a1]]], R. Baer proved that every [[Module|module]] $M$ can be embedded in an [[Injective module|injective module]] $E$. In [[#References|[a5]]], B. Eckmann and A. Schöpf defined an injective envelope of a module to be an embedding $M \subset E$ with $E$ injective and with $M$ essential in $E$, i.e. such that $S \cap M \neq 0$ for every submodule $S \subset E$, $S \neq 0$. They proved that every module has an injective envelope and that if $M \subset E _ { 1 }$ and $M \subset E _ { 2 }$ are two injective envelopes of $M$, then any [[Morphism|morphism]] $E _ { 1 } \rightarrow E _ { 2 }$ which is the identity on $M$ (and such exists) is an [[Isomorphism|isomorphism]]. So, injective envelopes are unique up to isomorphism.
  
In [[#References|[a2]]], H. Bass considered projective covers of modules. The notion of a projective cover is categorically dual to that of an injective envelope. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013015.png" /> is a [[Ring|ring]], Bass proved that every left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013016.png" />-module has a projective cover if and only if every flat left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013017.png" />-module is projective (cf. also [[Projective module|Projective module]]). Projective covers (when they exist) are also unique up to isomorphism.
+
In [[#References|[a2]]], H. Bass considered projective covers of modules. The notion of a projective cover is categorically dual to that of an injective envelope. If $R$ is a [[Ring|ring]], Bass proved that every left $R$-module has a projective cover if and only if every flat left $R$-module is projective (cf. also [[Projective module|Projective module]]). Projective covers (when they exist) are also unique up to isomorphism.
  
In [[#References|[a7]]] the following definition can be found: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013018.png" /> is a class of objects in a [[Category|category]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013019.png" />, then a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013020.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013021.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013022.png" /> is called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013024.png" />-pc if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013025.png" /> is surjective for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013026.png" /> and is called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013028.png" />-cover if, moreover, every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013029.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013030.png" /> is an [[Automorphism|automorphism]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013031.png" />.
+
In [[#References|[a7]]] the following definition can be found: If $\mathcal{F}$ is a class of objects in a [[Category|category]] $\mathcal{C}$, then a morphism $\phi : F \rightarrow X$ in $\mathcal{C}$ with $F \in \mathcal{F}$ is called an $\mathcal{F}$-pc if $\operatorname { Hom }( G , F ) \rightarrow \operatorname { Hom } ( G , X )$ is surjective for all $G \in  \mathcal{F}$ and is called an $\mathcal{F}$-cover if, moreover, every $f : F \rightarrow F$ such that $\phi \circ f = \phi$ is an [[Automorphism|automorphism]] of $\mathcal{F}$.
  
When <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013032.png" />-covers exist, they are unique up to isomorphism. Both pre-covers and covers are frequently named after the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013033.png" />. So, flat covers are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013034.png" />-covers with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013035.png" /> the class of flat modules in the category of modules. Pre-envelopes and envelopes are defined dually. Then this terminology agrees with the earlier terminology of injective envelopes and projective covers. In this language, Bass' result says that if every module has a projective cover, then these projective covers are flat covers.
+
When $\mathcal{F}$-covers exist, they are unique up to isomorphism. Both pre-covers and covers are frequently named after the class $\mathcal{F}$. So, flat covers are $\mathcal{F}$-covers with $\mathcal{F}$ the class of flat modules in the category of modules. Pre-envelopes and envelopes are defined dually. Then this terminology agrees with the earlier terminology of injective envelopes and projective covers. In this language, Bass' result says that if every module has a projective cover, then these projective covers are flat covers.
  
In [[#References|[a7]]], E. Enochs proved that if a module has a flat pre-cover, then it has a flat cover. He also conjectured that every module has a flat cover. J. Xu [[#References|[a12]]] proved that the conjecture holds for all commutative Noetherian rings of finite Krull dimension (cf. also [[Dimension|Dimension]]; [[Noetherian ring|Noetherian ring]]) and L. Bican, R. El Bashir and Enochs [[#References|[a4]]] gave two different solutions of the conjecture for any ring. One proof uses a result of El Bashir which shows that any morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013036.png" /> of a flat module into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013037.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013038.png" /> sufficiently large has a non-zero pure submodule of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013039.png" /> in its kernel. The other proof is an application of a theorem of P.C. Eklof and J. Trlifaj [[#References|[a6]]], Thm. 2, guaranteeing  "enough injectives and projectives"  for certain cotorsion theories (as defined in [[#References|[a11]]]). Eklof and Trlifaj attribute the inspiration for their theorem to a construction of [[#References|[a9]]]. D. Quillen [[#References|[a10]]], Lemma II 3.3, gives essentially the same argument in the setting of homotopical algebra.
+
In [[#References|[a7]]], E. Enochs proved that if a module has a flat pre-cover, then it has a flat cover. He also conjectured that every module has a flat cover. J. Xu [[#References|[a12]]] proved that the conjecture holds for all commutative Noetherian rings of finite Krull dimension (cf. also [[Dimension|Dimension]]; [[Noetherian ring|Noetherian ring]]) and L. Bican, R. El Bashir and Enochs [[#References|[a4]]] gave two different solutions of the conjecture for any ring. One proof uses a result of El Bashir which shows that any morphism $F \rightarrow M$ of a flat module into $M$ with $F$ sufficiently large has a non-zero pure submodule of $F$ in its kernel. The other proof is an application of a theorem of P.C. Eklof and J. Trlifaj [[#References|[a6]]], Thm. 2, guaranteeing  "enough injectives and projectives"  for certain cotorsion theories (as defined in [[#References|[a11]]]). Eklof and Trlifaj attribute the inspiration for their theorem to a construction of [[#References|[a9]]]. D. Quillen [[#References|[a10]]], Lemma II 3.3, gives essentially the same argument in the setting of homotopical algebra.
  
In [[#References|[a3]]], Bass defined what were subsequently called the Bass numbers of a module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130130/f13013040.png" /> over a commutative Noetherian ring. These are computed using the minimal injective resolution of the ring. Xu [[#References|[a8]]] showed that flat covers can be used to define dual Bass numbers of modules. These numbers have properties in some sense dual to the properties of the original Bass numbers.
+
In [[#References|[a3]]], Bass defined what were subsequently called the Bass numbers of a module $M$ over a commutative Noetherian ring. These are computed using the minimal injective resolution of the ring. Xu [[#References|[a8]]] showed that flat covers can be used to define dual Bass numbers of modules. These numbers have properties in some sense dual to the properties of the original Bass numbers.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  R. Baer,  "Abelian groups which are direct summands of every containing group"  ''Bull. Amer. Math. Soc.'' , '''46'''  (1940)  pp. 800–806</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H. Bass,  "Finitistic dimension and a homological generalization of semiprimary rings"  ''Trans. Amer. Math. Soc.'' , '''95'''  (1960)  pp. 466–488</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H. Bass,  "On the ubiquity of Gorenstein rings"  ''Math. Z.'' , '''82'''  (1963)  pp. 8–28</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  L. Bican,  R. El Bashir,  E. Enochs,  "All modules have flat covers"  ''Bull. London Math. Soc.''  (to appear)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  B. Eckmann,  A. Schöpf,  "Über injektive Moduln"  ''Archiv Math.'' , '''4'''  (1953)  pp. 75–78</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  P. Eklof,  J. Trlifaj,  "How to make Ext vanish"  ''Bull. London Math. Soc.''  (to appear)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  E. Enochs,  "Injective and flat covers, envelopes and resolvents"  ''Israel J. Math.'' , '''39'''  (1981)  pp. 33–38</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  E. Enochs,  J. Xu,  "On invariants dual to the Bass numbers"  ''Proc. Amer. Math. Soc.'' , '''125'''  (1997)  pp. 951–960</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  R. Göbel,  S. Shelah,  "Cotorsion theories and splitters"  ''Trans. Amer. Math. Soc.''  (to appear)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  D. Quillen,  "Homotopical algebra" , ''Lecture Notes in Mathematics'' , '''43''' , Springer  (1967)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  L. Salce,  "Cotorsion theories for Abelian groups" , ''Symp. Math.'' , '''23''' , Amer. Math. Soc.  (1979)  pp. 11–32</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  J. Xu,  "The existence of flat covers over noetherian rings of finite Krull dimension"  ''Proc. Amer. Math. Soc.'' , '''123'''  (1995)  pp. 27–32</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  J. Xu,  "Flat covers of modules" , ''Lecture Notes in Mathematics'' , '''1634''' , Springer  (1996)</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  R. Baer,  "Abelian groups which are direct summands of every containing group"  ''Bull. Amer. Math. Soc.'' , '''46'''  (1940)  pp. 800–806</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  H. Bass,  "Finitistic dimension and a homological generalization of semiprimary rings"  ''Trans. Amer. Math. Soc.'' , '''95'''  (1960)  pp. 466–488</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  H. Bass,  "On the ubiquity of Gorenstein rings"  ''Math. Z.'' , '''82'''  (1963)  pp. 8–28</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  L. Bican,  R. El Bashir,  E. Enochs,  "All modules have flat covers"  ''Bull. London Math. Soc.''  (to appear)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  B. Eckmann,  A. Schöpf,  "Über injektive Moduln"  ''Archiv Math.'' , '''4'''  (1953)  pp. 75–78</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  P. Eklof,  J. Trlifaj,  "How to make Ext vanish"  ''Bull. London Math. Soc.''  (to appear)</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  E. Enochs,  "Injective and flat covers, envelopes and resolvents"  ''Israel J. Math.'' , '''39'''  (1981)  pp. 33–38</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  E. Enochs,  J. Xu,  "On invariants dual to the Bass numbers"  ''Proc. Amer. Math. Soc.'' , '''125'''  (1997)  pp. 951–960</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  R. Göbel,  S. Shelah,  "Cotorsion theories and splitters"  ''Trans. Amer. Math. Soc.''  (to appear)</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  D. Quillen,  "Homotopical algebra" , ''Lecture Notes in Mathematics'' , '''43''' , Springer  (1967)</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  L. Salce,  "Cotorsion theories for Abelian groups" , ''Symp. Math.'' , '''23''' , Amer. Math. Soc.  (1979)  pp. 11–32</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  J. Xu,  "The existence of flat covers over noetherian rings of finite Krull dimension"  ''Proc. Amer. Math. Soc.'' , '''123'''  (1995)  pp. 27–32</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  J. Xu,  "Flat covers of modules" , ''Lecture Notes in Mathematics'' , '''1634''' , Springer  (1996)</td></tr></table>

Latest revision as of 16:55, 1 July 2020

flat covering

In [a1], R. Baer proved that every module $M$ can be embedded in an injective module $E$. In [a5], B. Eckmann and A. Schöpf defined an injective envelope of a module to be an embedding $M \subset E$ with $E$ injective and with $M$ essential in $E$, i.e. such that $S \cap M \neq 0$ for every submodule $S \subset E$, $S \neq 0$. They proved that every module has an injective envelope and that if $M \subset E _ { 1 }$ and $M \subset E _ { 2 }$ are two injective envelopes of $M$, then any morphism $E _ { 1 } \rightarrow E _ { 2 }$ which is the identity on $M$ (and such exists) is an isomorphism. So, injective envelopes are unique up to isomorphism.

In [a2], H. Bass considered projective covers of modules. The notion of a projective cover is categorically dual to that of an injective envelope. If $R$ is a ring, Bass proved that every left $R$-module has a projective cover if and only if every flat left $R$-module is projective (cf. also Projective module). Projective covers (when they exist) are also unique up to isomorphism.

In [a7] the following definition can be found: If $\mathcal{F}$ is a class of objects in a category $\mathcal{C}$, then a morphism $\phi : F \rightarrow X$ in $\mathcal{C}$ with $F \in \mathcal{F}$ is called an $\mathcal{F}$-pc if $\operatorname { Hom }( G , F ) \rightarrow \operatorname { Hom } ( G , X )$ is surjective for all $G \in \mathcal{F}$ and is called an $\mathcal{F}$-cover if, moreover, every $f : F \rightarrow F$ such that $\phi \circ f = \phi$ is an automorphism of $\mathcal{F}$.

When $\mathcal{F}$-covers exist, they are unique up to isomorphism. Both pre-covers and covers are frequently named after the class $\mathcal{F}$. So, flat covers are $\mathcal{F}$-covers with $\mathcal{F}$ the class of flat modules in the category of modules. Pre-envelopes and envelopes are defined dually. Then this terminology agrees with the earlier terminology of injective envelopes and projective covers. In this language, Bass' result says that if every module has a projective cover, then these projective covers are flat covers.

In [a7], E. Enochs proved that if a module has a flat pre-cover, then it has a flat cover. He also conjectured that every module has a flat cover. J. Xu [a12] proved that the conjecture holds for all commutative Noetherian rings of finite Krull dimension (cf. also Dimension; Noetherian ring) and L. Bican, R. El Bashir and Enochs [a4] gave two different solutions of the conjecture for any ring. One proof uses a result of El Bashir which shows that any morphism $F \rightarrow M$ of a flat module into $M$ with $F$ sufficiently large has a non-zero pure submodule of $F$ in its kernel. The other proof is an application of a theorem of P.C. Eklof and J. Trlifaj [a6], Thm. 2, guaranteeing "enough injectives and projectives" for certain cotorsion theories (as defined in [a11]). Eklof and Trlifaj attribute the inspiration for their theorem to a construction of [a9]. D. Quillen [a10], Lemma II 3.3, gives essentially the same argument in the setting of homotopical algebra.

In [a3], Bass defined what were subsequently called the Bass numbers of a module $M$ over a commutative Noetherian ring. These are computed using the minimal injective resolution of the ring. Xu [a8] showed that flat covers can be used to define dual Bass numbers of modules. These numbers have properties in some sense dual to the properties of the original Bass numbers.

References

[a1] R. Baer, "Abelian groups which are direct summands of every containing group" Bull. Amer. Math. Soc. , 46 (1940) pp. 800–806
[a2] H. Bass, "Finitistic dimension and a homological generalization of semiprimary rings" Trans. Amer. Math. Soc. , 95 (1960) pp. 466–488
[a3] H. Bass, "On the ubiquity of Gorenstein rings" Math. Z. , 82 (1963) pp. 8–28
[a4] L. Bican, R. El Bashir, E. Enochs, "All modules have flat covers" Bull. London Math. Soc. (to appear)
[a5] B. Eckmann, A. Schöpf, "Über injektive Moduln" Archiv Math. , 4 (1953) pp. 75–78
[a6] P. Eklof, J. Trlifaj, "How to make Ext vanish" Bull. London Math. Soc. (to appear)
[a7] E. Enochs, "Injective and flat covers, envelopes and resolvents" Israel J. Math. , 39 (1981) pp. 33–38
[a8] E. Enochs, J. Xu, "On invariants dual to the Bass numbers" Proc. Amer. Math. Soc. , 125 (1997) pp. 951–960
[a9] R. Göbel, S. Shelah, "Cotorsion theories and splitters" Trans. Amer. Math. Soc. (to appear)
[a10] D. Quillen, "Homotopical algebra" , Lecture Notes in Mathematics , 43 , Springer (1967)
[a11] L. Salce, "Cotorsion theories for Abelian groups" , Symp. Math. , 23 , Amer. Math. Soc. (1979) pp. 11–32
[a12] J. Xu, "The existence of flat covers over noetherian rings of finite Krull dimension" Proc. Amer. Math. Soc. , 123 (1995) pp. 27–32
[a13] J. Xu, "Flat covers of modules" , Lecture Notes in Mathematics , 1634 , Springer (1996)
How to Cite This Entry:
Flat cover. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Flat_cover&oldid=50088
This article was adapted from an original article by E. Enochs (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article