How to decide what kind of resolutions should we use to calculate Ext and Tor? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)when to use projective vs. injective resolutionDoes finite projective resolution imply finite free resolution?when to use projective vs. injective resolutionUnderstanding the maps in the long exact sequence of $operatornameExt$Ext and Tor over noncommutative ringsWhy do we impose conditions on the modules in resolutions?Does the adjoint relationship between Tensor and Hom functors give an adjoint relationship between Ext and Tor?Calculating Ext and Tor for Z/5Z and Z/7ZDefinitions of Tor and Ext functors for Abelian groups via resolutions“Good” resolution for calculating Ext and TorBridge between classical and “modern” derived functors
Losing the Initialization Vector in Cipher Block Chaining
Why is there no army of Iron-Mans in the MCU?
Unable to start mainnet node docker container
Do working physicists consider Newtonian mechanics to be "falsified"?
Problem when applying foreach loop
How to politely respond to generic emails requesting a PhD/job in my lab? Without wasting too much time
What's the difference between (size_t)-1 and ~0?
Working around an AWS network ACL rule limit
Fishing simulator
Geometric mean and geometric standard deviation
How to add zeros to reach same number of decimal places in tables?
Should you tell Jews they are breaking a commandment?
When communicating altitude with a '9' in it, should it be pronounced "nine hundred" or "niner hundred"?
Windows 10: How to Lock (not sleep) laptop on lid close?
3 doors, three guards, one stone
What items from the Roman-age tech-level could be used to deter all creatures from entering a small area?
Can smartphones with the same camera sensor have different image quality?
What do you call the holes in a flute?
When is phishing education going too far?
How to colour the US map with Yellow, Green, Red and Blue to minimize the number of states with the colour of Green
How is simplicity better than precision and clarity in prose?
Can the prologue be the backstory of your main character?
Can a zero nonce be safely used with AES-GCM if the key is random and never used again?
Can't figure this one out.. What is the missing box?
How to decide what kind of resolutions should we use to calculate Ext and Tor?
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)when to use projective vs. injective resolutionDoes finite projective resolution imply finite free resolution?when to use projective vs. injective resolutionUnderstanding the maps in the long exact sequence of $operatornameExt$Ext and Tor over noncommutative ringsWhy do we impose conditions on the modules in resolutions?Does the adjoint relationship between Tensor and Hom functors give an adjoint relationship between Ext and Tor?Calculating Ext and Tor for Z/5Z and Z/7ZDefinitions of Tor and Ext functors for Abelian groups via resolutions“Good” resolution for calculating Ext and TorBridge between classical and “modern” derived functors
$begingroup$
In general, when we calculate groups like Ext and Tor, how should we choose between free, projective and injective resolutions?
For example, why does Hatcher 3.1 only consider free resolution but not the other two? Is this simply because we can find free resolutions for abelian groups?
abstract-algebra algebraic-topology homological-algebra
$endgroup$
add a comment |
$begingroup$
In general, when we calculate groups like Ext and Tor, how should we choose between free, projective and injective resolutions?
For example, why does Hatcher 3.1 only consider free resolution but not the other two? Is this simply because we can find free resolutions for abelian groups?
abstract-algebra algebraic-topology homological-algebra
$endgroup$
2
$begingroup$
When we consider abelian groups, free is equivalent to projective since $mathbbZ$ is a PID
$endgroup$
– user289143
Mar 31 at 19:00
$begingroup$
Projective resolutions are "dual" to injective resolutions, so we are often "free" to use both. So the answer to the title question probably is: "We decide by convenience".
$endgroup$
– Dietrich Burde
Mar 31 at 19:11
$begingroup$
You'll probably find this related question helpful.
$endgroup$
– jgon
Apr 1 at 0:30
add a comment |
$begingroup$
In general, when we calculate groups like Ext and Tor, how should we choose between free, projective and injective resolutions?
For example, why does Hatcher 3.1 only consider free resolution but not the other two? Is this simply because we can find free resolutions for abelian groups?
abstract-algebra algebraic-topology homological-algebra
$endgroup$
In general, when we calculate groups like Ext and Tor, how should we choose between free, projective and injective resolutions?
For example, why does Hatcher 3.1 only consider free resolution but not the other two? Is this simply because we can find free resolutions for abelian groups?
abstract-algebra algebraic-topology homological-algebra
abstract-algebra algebraic-topology homological-algebra
edited Mar 31 at 18:56
2010 Kur
asked Mar 31 at 18:50
2010 Kur2010 Kur
204
204
2
$begingroup$
When we consider abelian groups, free is equivalent to projective since $mathbbZ$ is a PID
$endgroup$
– user289143
Mar 31 at 19:00
$begingroup$
Projective resolutions are "dual" to injective resolutions, so we are often "free" to use both. So the answer to the title question probably is: "We decide by convenience".
$endgroup$
– Dietrich Burde
Mar 31 at 19:11
$begingroup$
You'll probably find this related question helpful.
$endgroup$
– jgon
Apr 1 at 0:30
add a comment |
2
$begingroup$
When we consider abelian groups, free is equivalent to projective since $mathbbZ$ is a PID
$endgroup$
– user289143
Mar 31 at 19:00
$begingroup$
Projective resolutions are "dual" to injective resolutions, so we are often "free" to use both. So the answer to the title question probably is: "We decide by convenience".
$endgroup$
– Dietrich Burde
Mar 31 at 19:11
$begingroup$
You'll probably find this related question helpful.
$endgroup$
– jgon
Apr 1 at 0:30
2
2
$begingroup$
When we consider abelian groups, free is equivalent to projective since $mathbbZ$ is a PID
$endgroup$
– user289143
Mar 31 at 19:00
$begingroup$
When we consider abelian groups, free is equivalent to projective since $mathbbZ$ is a PID
$endgroup$
– user289143
Mar 31 at 19:00
$begingroup$
Projective resolutions are "dual" to injective resolutions, so we are often "free" to use both. So the answer to the title question probably is: "We decide by convenience".
$endgroup$
– Dietrich Burde
Mar 31 at 19:11
$begingroup$
Projective resolutions are "dual" to injective resolutions, so we are often "free" to use both. So the answer to the title question probably is: "We decide by convenience".
$endgroup$
– Dietrich Burde
Mar 31 at 19:11
$begingroup$
You'll probably find this related question helpful.
$endgroup$
– jgon
Apr 1 at 0:30
$begingroup$
You'll probably find this related question helpful.
$endgroup$
– jgon
Apr 1 at 0:30
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
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%2fmath.stackexchange.com%2fquestions%2f3169762%2fhow-to-decide-what-kind-of-resolutions-should-we-use-to-calculate-ext-and-tor%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- 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%2fmath.stackexchange.com%2fquestions%2f3169762%2fhow-to-decide-what-kind-of-resolutions-should-we-use-to-calculate-ext-and-tor%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
2
$begingroup$
When we consider abelian groups, free is equivalent to projective since $mathbbZ$ is a PID
$endgroup$
– user289143
Mar 31 at 19:00
$begingroup$
Projective resolutions are "dual" to injective resolutions, so we are often "free" to use both. So the answer to the title question probably is: "We decide by convenience".
$endgroup$
– Dietrich Burde
Mar 31 at 19:11
$begingroup$
You'll probably find this related question helpful.
$endgroup$
– jgon
Apr 1 at 0:30