On definitions and explicit examples of pure-injective modules
$begingroup$
I am interested in the following assumption on left $R$-modules: for a module $I$ and all injective homomorphisms $Ato B$ of finitely generated (or possibly finitely presented) modules I want the homomorphism $Hom_R(B,I)to Hom_R(A,I)$ to be surjective. Is this condition strictly weaker than the injectivity of $I$; how can one construct examples of this sort?
What is the relation of my condition to pure injectivity of $R$-modules? I do not understand its relation to the "standard" definition of the latter notion; also, what is the relation of the "standard" definition to Terminology 11.1 in the paper "Relative Homological Algebra and Purity in
Triangulated Categories" of Beligiannis?
Edit. Thanks to the answer by Leonid Positselski, now I know that the term I need is "fp-injectve", whereas "pure injective" probably means something else.
rt.representation-theory kt.k-theory-and-homology injective-modules
asked Mar 21 at 10:08
Mikhail BondarkoMikhail Bondarko
8,31921972
$endgroup$
add a comment |
$begingroup$
I am interested in the following assumption on left $R$-modules: for a module $I$ and all injective homomorphisms $Ato B$ of finitely generated (or possibly finitely presented) modules I want the homomorphism $Hom_R(B,I)to Hom_R(A,I)$ to be surjective. Is this condition strictly weaker than the injectivity of $I$; how can one construct examples of this sort?
What is the relation of my condition to pure injectivity of $R$-modules? I do not understand its relation to the "standard" definition of the latter notion; also, what is the relation of the "standard" definition to Terminology 11.1 in the paper "Relative Homological Algebra and Purity in
Triangulated Categories" of Beligiannis?
Edit. Thanks to the answer by Leonid Positselski, now I know that the term I need is "fp-injectve", whereas "pure injective" probably means something else.
rt.representation-theory kt.k-theory-and-homology injective-modules
asked Mar 21 at 10:08
Mikhail BondarkoMikhail Bondarko
8,31921972
$endgroup$
add a comment |
$begingroup$
I am interested in the following assumption on left $R$-modules: for a module $I$ and all injective homomorphisms $Ato B$ of finitely generated (or possibly finitely presented) modules I want the homomorphism $Hom_R(B,I)to Hom_R(A,I)$ to be surjective. Is this condition strictly weaker than the injectivity of $I$; how can one construct examples of this sort?
What is the relation of my condition to pure injectivity of $R$-modules? I do not understand its relation to the "standard" definition of the latter notion; also, what is the relation of the "standard" definition to Terminology 11.1 in the paper "Relative Homological Algebra and Purity in
Triangulated Categories" of Beligiannis?
Edit. Thanks to the answer by Leonid Positselski, now I know that the term I need is "fp-injectve", whereas "pure injective" probably means something else.
rt.representation-theory kt.k-theory-and-homology injective-modules
asked Mar 21 at 10:08
Mikhail BondarkoMikhail Bondarko
8,31921972
$endgroup$
I am interested in the following assumption on left $R$-modules: for a module $I$ and all injective homomorphisms $Ato B$ of finitely generated (or possibly finitely presented) modules I want the homomorphism $Hom_R(B,I)to Hom_R(A,I)$ to be surjective. Is this condition strictly weaker than the injectivity of $I$; how can one construct examples of this sort?
What is the relation of my condition to pure injectivity of $R$-modules? I do not understand its relation to the "standard" definition of the latter notion; also, what is the relation of the "standard" definition to Terminology 11.1 in the paper "Relative Homological Algebra and Purity in
Triangulated Categories" of Beligiannis?
Edit. Thanks to the answer by Leonid Positselski, now I know that the term I need is "fp-injectve", whereas "pure injective" probably means something else.
rt.representation-theory kt.k-theory-and-homology injective-modules
rt.representation-theory kt.k-theory-and-homology injective-modules
asked Mar 21 at 10:08
Mikhail BondarkoMikhail Bondarko
8,31921972
asked Mar 21 at 10:08
Mikhail BondarkoMikhail Bondarko
8,31921972
edited Mar 21 at 13:02
Mikhail Bondarko
asked Mar 21 at 10:08
Mikhail BondarkoMikhail Bondarko
8,31921972
asked Mar 21 at 10:08
Mikhail BondarkoMikhail Bondarko
8,31921972
asked Mar 21 at 10:08
Mikhail BondarkoMikhail Bondarko
8,31921972
8,31921972
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
This is not pure-injectivity. The relevant concept is that of an fp-injective ("finitely presented-injective") module, otherwise known as an "absolutely pure" module. A left $R$-module $J$ is said to be fp-injective if for any finitely presented left $R$-module $M$ one has $Ext^1_R(M,J)=0$.
The notion of an fp-injective left $R$-module is particularly well-behaved when the ring $R$ is left coherent. Over a left Noetherian ring $R$, fp-injectivity is equivalent to injectivity.
The class of all fp-injective left $R$-modules is always closed under infinite direct sums (while the class of all injective left $R$-modules is closed under infinite direct sums if and only if the ring $R$ is left Noetherian). Thus infinite direct sums of injective left $R$-modules are typical examples of fp-injective left $R$-modules that are not injective. When $R$ is left coherent, the class of all fp-injective left $R$-modules is also closed under (filtered) direct limits.
References:
B.Stenström, "Coherent rings and $FP$-injective modules", Journ. London Math. Soc. vol.2, 1970, https://doi.org/10.1112/jlms/s2-2.2.323
C.Megibden, "Absolutely pure modules", Proc. Amer. Math. Soc. vol.26, 1970, https://doi.org/10.1090/S0002-9939-1970-0294409-8
my paper L.Positselski "Coherent rings, fp-injective modules, dualizing complexes, and covariant Serre-Grothendieck duality", Selecta Math. vol.23, 2017, https://arxiv.org/abs/1504.00700
answered Mar 21 at 10:54
Leonid PositselskiLeonid Positselski
10.9k13976
$endgroup$
$begingroup$
Thank you very much indeed! So I remembered correctly that I had already met this notion, but the adjective was wrong.:)
$endgroup$
– Mikhail Bondarko
Mar 21 at 13:00
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "504"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f325938%2fon-definitions-and-explicit-examples-of-pure-injective-modules%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
This is not pure-injectivity. The relevant concept is that of an fp-injective ("finitely presented-injective") module, otherwise known as an "absolutely pure" module. A left $R$-module $J$ is said to be fp-injective if for any finitely presented left $R$-module $M$ one has $Ext^1_R(M,J)=0$.
The notion of an fp-injective left $R$-module is particularly well-behaved when the ring $R$ is left coherent. Over a left Noetherian ring $R$, fp-injectivity is equivalent to injectivity.
The class of all fp-injective left $R$-modules is always closed under infinite direct sums (while the class of all injective left $R$-modules is closed under infinite direct sums if and only if the ring $R$ is left Noetherian). Thus infinite direct sums of injective left $R$-modules are typical examples of fp-injective left $R$-modules that are not injective. When $R$ is left coherent, the class of all fp-injective left $R$-modules is also closed under (filtered) direct limits.
References:
B.Stenström, "Coherent rings and $FP$-injective modules", Journ. London Math. Soc. vol.2, 1970, https://doi.org/10.1112/jlms/s2-2.2.323
C.Megibden, "Absolutely pure modules", Proc. Amer. Math. Soc. vol.26, 1970, https://doi.org/10.1090/S0002-9939-1970-0294409-8
my paper L.Positselski "Coherent rings, fp-injective modules, dualizing complexes, and covariant Serre-Grothendieck duality", Selecta Math. vol.23, 2017, https://arxiv.org/abs/1504.00700
answered Mar 21 at 10:54
Leonid PositselskiLeonid Positselski
10.9k13976
$endgroup$
$begingroup$
Thank you very much indeed! So I remembered correctly that I had already met this notion, but the adjective was wrong.:)
$endgroup$
– Mikhail Bondarko
Mar 21 at 13:00
add a comment |
$begingroup$
This is not pure-injectivity. The relevant concept is that of an fp-injective ("finitely presented-injective") module, otherwise known as an "absolutely pure" module. A left $R$-module $J$ is said to be fp-injective if for any finitely presented left $R$-module $M$ one has $Ext^1_R(M,J)=0$.
The notion of an fp-injective left $R$-module is particularly well-behaved when the ring $R$ is left coherent. Over a left Noetherian ring $R$, fp-injectivity is equivalent to injectivity.
The class of all fp-injective left $R$-modules is always closed under infinite direct sums (while the class of all injective left $R$-modules is closed under infinite direct sums if and only if the ring $R$ is left Noetherian). Thus infinite direct sums of injective left $R$-modules are typical examples of fp-injective left $R$-modules that are not injective. When $R$ is left coherent, the class of all fp-injective left $R$-modules is also closed under (filtered) direct limits.
References:
B.Stenström, "Coherent rings and $FP$-injective modules", Journ. London Math. Soc. vol.2, 1970, https://doi.org/10.1112/jlms/s2-2.2.323
C.Megibden, "Absolutely pure modules", Proc. Amer. Math. Soc. vol.26, 1970, https://doi.org/10.1090/S0002-9939-1970-0294409-8
my paper L.Positselski "Coherent rings, fp-injective modules, dualizing complexes, and covariant Serre-Grothendieck duality", Selecta Math. vol.23, 2017, https://arxiv.org/abs/1504.00700
answered Mar 21 at 10:54
Leonid PositselskiLeonid Positselski
10.9k13976
$endgroup$
$begingroup$
Thank you very much indeed! So I remembered correctly that I had already met this notion, but the adjective was wrong.:)
$endgroup$
– Mikhail Bondarko
Mar 21 at 13:00
add a comment |
$begingroup$
This is not pure-injectivity. The relevant concept is that of an fp-injective ("finitely presented-injective") module, otherwise known as an "absolutely pure" module. A left $R$-module $J$ is said to be fp-injective if for any finitely presented left $R$-module $M$ one has $Ext^1_R(M,J)=0$.
The notion of an fp-injective left $R$-module is particularly well-behaved when the ring $R$ is left coherent. Over a left Noetherian ring $R$, fp-injectivity is equivalent to injectivity.
The class of all fp-injective left $R$-modules is always closed under infinite direct sums (while the class of all injective left $R$-modules is closed under infinite direct sums if and only if the ring $R$ is left Noetherian). Thus infinite direct sums of injective left $R$-modules are typical examples of fp-injective left $R$-modules that are not injective. When $R$ is left coherent, the class of all fp-injective left $R$-modules is also closed under (filtered) direct limits.
References:
B.Stenström, "Coherent rings and $FP$-injective modules", Journ. London Math. Soc. vol.2, 1970, https://doi.org/10.1112/jlms/s2-2.2.323
C.Megibden, "Absolutely pure modules", Proc. Amer. Math. Soc. vol.26, 1970, https://doi.org/10.1090/S0002-9939-1970-0294409-8
my paper L.Positselski "Coherent rings, fp-injective modules, dualizing complexes, and covariant Serre-Grothendieck duality", Selecta Math. vol.23, 2017, https://arxiv.org/abs/1504.00700
answered Mar 21 at 10:54
Leonid PositselskiLeonid Positselski
10.9k13976
$endgroup$
This is not pure-injectivity. The relevant concept is that of an fp-injective ("finitely presented-injective") module, otherwise known as an "absolutely pure" module. A left $R$-module $J$ is said to be fp-injective if for any finitely presented left $R$-module $M$ one has $Ext^1_R(M,J)=0$.
The notion of an fp-injective left $R$-module is particularly well-behaved when the ring $R$ is left coherent. Over a left Noetherian ring $R$, fp-injectivity is equivalent to injectivity.
The class of all fp-injective left $R$-modules is always closed under infinite direct sums (while the class of all injective left $R$-modules is closed under infinite direct sums if and only if the ring $R$ is left Noetherian). Thus infinite direct sums of injective left $R$-modules are typical examples of fp-injective left $R$-modules that are not injective. When $R$ is left coherent, the class of all fp-injective left $R$-modules is also closed under (filtered) direct limits.
References:
B.Stenström, "Coherent rings and $FP$-injective modules", Journ. London Math. Soc. vol.2, 1970, https://doi.org/10.1112/jlms/s2-2.2.323
C.Megibden, "Absolutely pure modules", Proc. Amer. Math. Soc. vol.26, 1970, https://doi.org/10.1090/S0002-9939-1970-0294409-8
my paper L.Positselski "Coherent rings, fp-injective modules, dualizing complexes, and covariant Serre-Grothendieck duality", Selecta Math. vol.23, 2017, https://arxiv.org/abs/1504.00700
answered Mar 21 at 10:54
Leonid PositselskiLeonid Positselski
10.9k13976
edited Mar 21 at 11:15
answered Mar 21 at 10:54
Leonid PositselskiLeonid Positselski
10.9k13976
answered Mar 21 at 10:54
Leonid PositselskiLeonid Positselski
10.9k13976
answered Mar 21 at 10:54
Leonid PositselskiLeonid Positselski
10.9k13976
10.9k13976
$begingroup$
Thank you very much indeed! So I remembered correctly that I had already met this notion, but the adjective was wrong.:)
$endgroup$
– Mikhail Bondarko
Mar 21 at 13:00
add a comment |
$begingroup$
Thank you very much indeed! So I remembered correctly that I had already met this notion, but the adjective was wrong.:)
$endgroup$
– Mikhail Bondarko
Mar 21 at 13:00
$begingroup$
Thank you very much indeed! So I remembered correctly that I had already met this notion, but the adjective was wrong.:)
$endgroup$
– Mikhail Bondarko
Mar 21 at 13:00
$begingroup$
Thank you very much indeed! So I remembered correctly that I had already met this notion, but the adjective was wrong.:)
$endgroup$
– Mikhail Bondarko
Mar 21 at 13:00
add a comment |
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f325938%2fon-definitions-and-explicit-examples-of-pure-injective-modules%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
