Homological algebra studies homology in a general algebraic setting. The purpose is extraction of information about structures involved in terms of tangible objects like rings groups and modules.

learn more… | top users | synonyms

11
votes
1answer
953 views

Hom of finitely generated modules over a noetherian ring

This is an exercise from Rotman, An Introduction to Homological Algebra, which I've been thinking now and then for a few days and I haven't solved it yet. I've decided to ask here because it is ...
22
votes
4answers
1k views

Why isn't $\mathbb{C}[x,y,z]/(xz-y)$ a flat $\mathbb{C}[x,y]$-module

Why isn't $M = \mathbb{C}[x,y,z]/(xz-y)$ a flat $R = \mathbb{C}[x,y]$-module? The reason given on the book is "the surface defined by $y-xz$ doesn't lie flat on the $(x,y)$-plane". But I don't ...
17
votes
1answer
2k views

Hom is a left-exact functor

If $0 \to A \to B\to C$ is a left exact sequence of $R$-module, then for any $R$-module $M$, $0 \to Hom_R(M,A)\to Hom_R(M,B)\to Hom_R(M,C)$ is left exact. I proved the above, and highlighted what ...
9
votes
3answers
803 views

“The Yoneda embedding reflects exactness” is a direct consequence of Yoneda?

Let $A,B,C$ be objects of a category of modules over a ring. It is not hard to see that the Yoneda embedding "reflects exactness" (as Weibel puts it, on p. 28), i.e. if ...
12
votes
1answer
505 views

On equivalent definitions of Ext

Let $A$ be an abelian category and $X$, $Y$ two objects of $A$. Let's define Ext in this way: Ext$^i_A(X,Y)$=Hom$_{D(A)}(X[0],Y[i])$ Where $X[0]$ is the complex with all zeros except in degree 0 ...
4
votes
1answer
417 views

Equivalent definition of exactness of functor?

I'll use the following definition: (Def) A functor $F$ is exact if and only if it maps short exact sequences to short exact sequences. Now I'd like to prove the following (not entirely sure it's ...
4
votes
1answer
1k views

Relative homology of a retract

Show that if $A$ is a retract of $X$ then for all $n \ge 0$ $$H_n(X) \simeq H_n(A) \oplus H_n(X,A)$$ So we have a retraction $r:X \to A$, which is surjective. Consider the long exact sequence ...
9
votes
1answer
291 views

Tangent space in a point and First Ext group

Let $X$ be an abelian variety over an algebraically closed field $k$. I have read that one has for an arbitrary closed point $x$ on $X$ a canonical identification $$T_x(X)\simeq ...
7
votes
1answer
139 views

Is $R/N(R)$ a faithfully flat $R$-module?

I'm studying recently faithfully flat modules and I'd like to know the following: Is $R/N$ faithfully flat as $R$-module, where $R$ is a commutative ring with unit and $N$ is the subset of ...
5
votes
1answer
212 views

Existence proof of the tensor product using the Adjoint functor theorem.

Can one prove the existence of the tensor product by the adjoint functor theorem? (of, say, modules over a commutative ring) If yes, how would one check the SSC (solution set condition) for the hom ...
2
votes
1answer
439 views

what is a faithfully exact functor?

Could any of you give me a definition of faithfully exact functor, please?
33
votes
3answers
1k views

Intuition behind Snake Lemma

I've been struggling with this for some time. I can prove the Snake Lemma, but I don't really “understand” it. By that I mean if no one told me Snake Lemma existed, I would not even ...
20
votes
1answer
1k views

When is the derived category abelian?

I read in the book Methods of homological algebra of Gelfand and Manin that the derived category of an abelian category $A$ is never abelian. Now to me this seems to be wrong, because if $A=0$ then ...
17
votes
3answers
1k views

How to define Homology Functor in an arbitrary Abelian Category?

In the Category of Modules over a Ring, the i-th Homology of a Chain Complex is defined as the Quotient Ker d / Im d where d as usual denotes the differentials, indexes skipped for simplicity. How ...
20
votes
2answers
3k views

Proving that the tensor product is right exact

Let $A\stackrel{\alpha}{\rightarrow}B\stackrel{\beta}{\rightarrow}C\rightarrow 0$ a exact sequence of left $R$-modules and $M$ a left $R$-module ($R$ any ring). I am trying to prove that ...
17
votes
2answers
2k views

Good introductory books on homological algebra

Which books would you recommend, for self-studying homological algebra, to a beginning graduate (or advanced undergraduate) student who has background in ring theory, modules, basic commutative ...
10
votes
2answers
744 views

Surprising applications of cohomology

The concept of cohomology is one of the most subtle and powerful in modern mathematics. While its application to topology and integrability is immediate (it was probably how cohomology was born in the ...
15
votes
2answers
2k views

Short Exact Sequences & Rank Nullity

This is a well known lemma that consistently appears in textbooks, either as a statement without proof, or as an exercise (see for example pp. 146 of Hatcher) If $0 \stackrel{id}{\to} A ...
6
votes
0answers
181 views

Description of $\mathrm{Ext}^1(R/I,R/J)$

Let $R$ be a commutative ring with unit and $I$ and $J$ are nonzero ideals of $R$. Do we have a nice description for $\mathrm{Ext}^1_R(R/I,R/J)$? What do I mean by a nice description? For example ...
4
votes
4answers
90 views

Proving that P/PJ is a projective right module over R/J

If P is a projective right module over a ring R and J is a two sided ideal of R. Prove that P/PJ is a projective right module over R/J . My idea was trying to proof that " $M$ is an $R$-module ...
8
votes
2answers
485 views

Are localized rings always flat as R-modules?

We know this is true for commutative ring, but if $S\subset R$ is a left and right Ore set, and $S^{-1}R$ its localization by this Ore set, is this always a flat $R$-module?
6
votes
2answers
323 views

Does finite projective dimension localize?

Let $R$ be a commutative (but not necessarily Noetherian) ring with unity. Let $M$ be an $R$-module. Suppose that, for all $\mathfrak p \in\text {Spec}(R),$ $\text{pd}_{R_{\mathfrak p}}M_{\mathfrak ...
5
votes
3answers
327 views

Cylinder object in the model category of chain complexes

Let $\text{Ch}⁺(R)$ be the category of non-negative chain complexes of $R$-modules where $R$ is a commutative ring. What is a cylinder object, in the sense of model categories, for a given complex ...
6
votes
1answer
203 views

Singular $\simeq$ Cellular homology?

Given an arbitrary CW-complex, are the singular chain complex $S_\ast(X)$ and cellular chain complex $C_\ast(X)$ homotopy equivalent or just quasi-isomorphic (some chain map induces isomorphisms on ...
4
votes
3answers
261 views

On a commutative diagram

Let a commutative diagram be given: $$\require{AMScd} \begin{CD} 0 @>>> A @>f>> B @>g>> C @>>> 0 \\ @. @V{\alpha}VV @V{\beta}VV @V{\gamma}VV @. \\ 0 @>>> ...
3
votes
1answer
82 views

The homotopy category of complexes

I have some trouble in proving Exercise A3.51 of Eisenbud's book "Commutative Algebra with a view toward Algebraic Geometry", pag. 688. The solution is sketched at pag. 754 at the end of the book. The ...
2
votes
1answer
53 views

$i^{-1} F$ a sheaf if and only if $\varinjlim_{ U \subseteq X \text{ open}, ~ x,y \in U } F(U) \to F_x \times F_y$ is an isomorphism.

Let $X$ be a topological space containing two closed points $x,y$ and let $i : \{x,y\} \to X$ denote the inclusion map. Notice that $\{x,y\}$ carries the discrete topology. Let $F$ be a sheaf on $X$. ...
2
votes
1answer
102 views

The inverse image of a sheaf

By definition, the inverse image of the sheaf $ \mathcal{F} : \mathrm{Ouv} (Y) \to \mathrm {Set} $ is the sheaf associated to the presheaf $ f^{-1} \mathcal{F} : \mathrm{Ouv} (X) \to \mathrm{Set} $ ...
2
votes
1answer
293 views

Bruns-Herzog problem 3.1.25

This is problem 3.1.25 (page 97) in Cohen-Macaulay Rings by Bruns and Herzog. The direction I am interested in is the following. Let $R$ be a Gorenstein local ring and $M$ a finite $R$-module. If ...
5
votes
1answer
125 views

Global dimension of quasi Frobenius ring

Let $R$ be a quasi-Frobenius ring (so $R$ is self-injective and left and right noetherian). I want to prove that $lD(R)=0$ or $\infty$, where $lD(R)$ denotes the left global dimension. I'm ...
3
votes
2answers
102 views

Hochschild cohomology of a formal quantization of an associative algebra

Let $A$ be a commutative associative $k$-algebra and let $A[[\hbar]]$ be the formal deformation of $A$. I would like to know if there is a relation between the Hochschild co-homologies ...
3
votes
1answer
332 views

About presentation of module

Let $R$ be a ring and $R[\mathbb{Z}]$ be the group ring obtained from ring $R$ and group $\mathbb{Z}=<s>$. Suppose that $M$ be a $R[\mathbb{Z}]$-module and it is isomorphic to $R^n$ as ...
2
votes
3answers
281 views

Showing an ideal is a projective module via a split exact sequence

Let $R=\mathbb{Z}[\sqrt{-6}]$ and $I=(2,\sqrt{-6})$ the ideal generated by $2$ and $\sqrt{-6}$. I want to show that $I$ is a projective $R$-module by producing a short exact sequence that splits, ...
1
vote
2answers
138 views

What is the injective envelope of $\mathbb{Z}/n\mathbb{Z}$?

In the category of $\mathbb{Z}$-modules, what is the injective envelope of $\mathbb{Z}/n\mathbb{Z}$? I was hoping to find a divisible group containing $\mathbb{Z}/n\mathbb{Z}$ such that it is ...
1
vote
1answer
185 views

Every chain complex is quasi-isomorphic to a $\mathcal J$-complex

I found this in "Algebra & Topology" by Schapira, but I'm not able to prove it: Suppose $\mathcal J$ is a cogenerating family in an abelian category $\mathbf A$. Then for any positive complex ...
33
votes
2answers
1k views

What are exact sequences, metaphysically speaking?

Why is it natural or useful to organize objects (of some appropriate category) into exact sequences? Exact sequences are ubiquitous - and I've encountered them enough to know that they can provide a ...
28
votes
3answers
668 views

How did we know to invent homological algebra?

Update: Qiaochu Yuan points out in the comments that the title of the question is misleading, as homological algebra did not begin with long exact sequences as I'd thought. (Original question ...
18
votes
8answers
1k views

Reference for spectral sequences

What are good expositions of spectral sequences, which include a thorough introduction to the topic as well as the most important examples of applications - maybe with an emphasis an topological ...
12
votes
1answer
631 views

What are $E_\infty$-rings?

I've been working with DG-algebras for the last year, and was able to obtain using them some nice commutative homological algebra results. However, I keep hearing about a (more general???) concept of ...
22
votes
4answers
2k views

Proving the snake lemma without a diagram chase

Suppose we have two short exact sequences in an abelian category $$0 \to A \mathrel{\overset{f}{\to}} B \mathrel{\overset{g}{\to}} C \to 0 $$ $$0 \to A' \mathrel{\overset{f'}{\to}} B' ...
29
votes
1answer
714 views

Applying Freyd-Mitchell's embedding theorem on large categories

One commonly reads that the Freyd-Mitchell's embedding theorem allows proof by diagram chasing in any abelian category. This is not immediately clear, since only small abelian categories can be ...
9
votes
1answer
652 views

Signs in the tensor product and internal hom of chain complexes

Let $R$ be a commutative ring and $\text{Ch}(R)$ the category of chain complexes of $R$-modules. $\text{Ch}(R)$ is first of all an abelian category, but it can also be equipped with the structure of a ...
17
votes
2answers
623 views

Can we think of a chain homotopy as a homotopy?

I'm taking a course in algebraic topology, which includes an introduction to (simplicial) homology, and I'm looking for a bit of intuition regarding chain homotopies. The definitions I'm using are: ...
12
votes
1answer
268 views

Can it happen that the image of a functor is not a category?

On Hilton and Stammbach's homological algebra book, end of chap. 2, they wrote in general $F(\mathfrak{C})$ is not a category at all in general. But I don't quite get it. I checked the axioms of a ...
6
votes
2answers
2k views

Minimal free resolution

I'm studying on the book "Cohen-Macaulay rings" of Bruns-Herzog (Here's a link and an image of the page in question for those unable to use Google Books.) At page 17 it talks about minimal free ...
11
votes
2answers
504 views

Computation of $\operatorname{Tor}_1$ and $\operatorname{Ext}^1$

Can you please give some examples of computation of the derived functors $\operatorname{Tor}_1$ and $\operatorname{Ext}^1$ for some simple cases, say $R=\mathbb{Z}$ or $R=\mathbb{Z}[G]$ for some ...
9
votes
1answer
488 views

The construction of the localization of a category

I was reading the construction of the localization of a category in the book "Methods of homological algebra" of Manin and Gelfand. Let me remind you the definition of the localization of a category: ...
7
votes
1answer
301 views

When is the pushout of a monic also monic?

Let $$\matrix{ A& \mathop{\longrightarrow}\limits^f &B\\ \Big\downarrow & & \Big\downarrow\\ C&\mathop{\longrightarrow}\limits_g &D }$$ Be a pushout diagram in a category ...
8
votes
1answer
146 views

Generators of a certain ideal

Crossposted on MathOverflow. The MathOverflow version of the question has been rewritten. For the sake of completeness, I pasted it here in a condensed form. I also deleted the old version. Let $K$ ...
7
votes
2answers
289 views

Computing an example of Ext

Let $k$ be a field. I want to compute $\operatorname{Ext}_{k[x] / \langle x^2 \rangle}(k,k)$. However I have no idea how to do this? I cannot even think how to construct a projective resolution ...