Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 450

(Co)chain complexes, abelian Categories, (pre)sheaves, (co)homology in various (possibly highly generalized) settings, spectra, derived functors, resolutions, spectral sequences, homotopy categories. Chain complexes in an abelian category form the heart of homological algebra.

72 votes
3 answers
8k views

Where do all these projection formulas come from?

I have been intrigued for a long time by the formal similarity of results from different areas of mathematics. Here are some examples. Set theory Given a map $f:X\to Y$ and subsets $X' \subset X, Y'\ …
21 votes

Motivating the category of chain complexes

"...utinam intelligere possim rationacinationes pulcherrimas quae e propositione concisa DE QUADRATUM NIHILO EXAEQUARI fluunt." Henri CARTAN [...if I could only understand the beautiful consequences …
Georges Elencwajg's user avatar
21 votes
Accepted

Flat module and torsion-free module

Dear liu, 1) If $A$ is a domain in which every finitely generated ideal is principal, then a module over $A$ is flat iff it is torsion free (Bourbaki, Comm.Alg.,I,§2, 4, Prop.3). Of course a PID has …
Georges Elencwajg's user avatar
11 votes
0 answers
869 views

Who proved the exactness of Amitsur's complex ?

A foundational result in Grothendieck's descent theory and in his étale cohomology is the exactness of Amitsur's complex. More precisely, suppose we have an $A$-algebra $A\to B$; then there is a cosim …