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

1
vote
1answer
25 views

Name of this theorem about morita equivalences?

Can someone point me the name of this theorem or where can I read about it? It's about Morita's equivalences: If $F$ is a functor which is an equivalence of categories between ${}_A{\rm Mod}$ and ...
1
vote
0answers
29 views

Grothendieck spectral sequence from the hypercohomology spectral sequence

Is it possible to write a proof of the convergence of the Grothendieck spectral sequence of the composition of two functors only using the convergence of the hypercohomology spectral sequences ...
2
votes
1answer
16 views

Ring of infinite global dimension with a finitely generated module of infinite projective dimension

Let $R$ be a ring of infinite global dimension. A priori we can't immediately conclude that $R$ has a module of infinite projective dimension, since it could be the case that $R$ only has a sequence ...
-2
votes
1answer
44 views

A question about injective modules [on hold]

I need to find an injective module $B$ and a submodule $A$ of $B$ such that $B/A$ not injective.
0
votes
0answers
28 views

inclusion of homotopy fiber and induced map on homology group

Given a fibration $F \to E \to B$, under what circumstances does the inclusion of the homotopy fiber into $E$, $F \to E$, induce injections on homology? The specific case I'm dealing with involves the ...
2
votes
0answers
24 views

What are explicit maps in the following exact sequence?

Let $G$ be a group and $M,N$ be normal subgroups of $G$ such that $G=MN$. Then there is a natural exact homology sequence $Ker(M \wedge N \xrightarrow{\lambda} [M,N]) \xrightarrow{\rho} H_2(G) ...
2
votes
0answers
37 views

Projective dimension over a factor ring

$\newcommand{\pdim}{\operatorname{pdim}}$If $\pdim_A M$ is the projective dimension of $M$ as an $A$-module how can i prove that if $A/I=A'$ then $$\pdim_A M\leq \pdim_A A' + \pdim_{A'} M$$ If the ...
2
votes
1answer
49 views

Counter example to existence of Mayer-Vietoris sequence

Every open cover $X = U \cup V$ gives an exact sequence (called mayer vietoris sequence) $$ \ldots \to H_n(U \cap V) \to H_n(U) \oplus H_n(V) \to H_n(X) \to H_{n-1}(U \cap V) \to \ldots $$ Do $U$ and ...
1
vote
0answers
15 views

Restriction-Co Restriction Homomorphism

Let $G$ be a finite group and let $A$ be any $G$ module. Then it is well known that $H^n(G,A)$ is a subgroup of $\oplus_p H^n(G_p, A)$, where $G_p$ denotes a sylow $p$ subgroup of $G$. This is ...
3
votes
1answer
55 views

Full subcategory of abelian category is abelian

I'm trying to understand a proof in Rotman's 'Introduction to Homological Algebra', Proposition 5.92, p.310. Proposition: Let $\mathcal S$ be a full subcategory of an abelian category $\mathcal A$. ...
0
votes
0answers
40 views

a problem in homological algebra

For $C$ is abelian group satisfied $pC=0$ with p is a prime number and $G$ is abelian group. prove that $Ext_{Z}(C,G)\cong Hom(C,G/pG)$ I thought about this in 2 hours but couldn't prove it!
5
votes
1answer
39 views

What is $Ext_{\mathbb Z}^{1}(S^1, \mathbb Z)$?

By wikipedia, suppose $A, B$ are left $R$-modules, one way to calculate $Ext_{R}^{1}(A, B)$ is to regard it as equivalent class of module extension of $A$ by $B$, in the sense that the diagram ...
1
vote
1answer
25 views

Homology groups of $D^2\times S^1$, full torus

I know what are the homology groups of a torus $T=S^1\times S^1$, in sense that $$\tilde{H}_1(T)=\mathbb{Z}^2,H_2(T)=\mathbb{Z}$$ but I wonder what happens if we fill it. What are the homology groups ...
1
vote
0answers
34 views

Functor preserves kernels iff it's left exact

I'm trying to understand the proof to a statement in Rotman's 'Introduction to Homological Algebra': Proposition 5.25, p. 240: Let $F :_R\text{Mod} \to \text{Ab}$ be a covariant functor. Then $F$ ...
3
votes
2answers
76 views

If a chain complex is homotopy equivalent to its homology, is it split?

Setup and conventions: Let $C_*$ be a chain complex of $R$-modules over some ring $R$, with boundary map $d$. The chain complex is said to be split if there exist $R$-linear maps $s: C_*\rightarrow ...
2
votes
2answers
185 views

Why Study Homological Algebra?

I'm very interested in learning Homological Algebra. But I'm not sure about the prerequisites for learning this. My current knowledge in algebra consists of Abstract Algebra (Group,Rings,Fields), ...
1
vote
1answer
42 views

Find homology $S^n-f(X)$ where f is injective

Let $f\colon X\to S^n$ be an injective function. Find the homology groups of $S^n-f(X)$ where: a. $X=S^k\sqcup S^r$ b. $X=S^k\vee S^r$ The question above gives hint to look in both ...
1
vote
0answers
137 views

Homology and Hyperhomology

Let $X$ be a non-singular variety over $k$(algebraically closed). Suppose we have the following complexes (not exact sequence) of $\mathcal{O}_X$-modules. $0 \longrightarrow A^2 \longrightarrow A^1 ...
0
votes
1answer
19 views

Split-injective iff split-surjective

I was reading Keith Conrad's notes here and was wondering if there is any way to only prove (1) $\iff$ (2) which comes out as Let $0 → N → M→ P → 0$ be a short exact sequence of R-modules. The ...
1
vote
2answers
33 views

Isomorphism of chain complexes

In my notes it says $C^{sing}_n(\sqcup_{i\in I} X_i;R) \cong {\bigoplus}_{i \in I} C^{sing}_n(X_i;R)$, where $C^{sing}_n$ denotes the n-th singular chain complex and $R$ is a ring, $S_n(X)$ is the set ...
7
votes
2answers
110 views

The homology of $\Omega T^n$

As part of a bigger plan for conquering Europe, I have to compute the integral homology of the loop space of the $n$-torus $T^n = S^1\times \cdots \times S^1$. The plan is: compute $H_*(\Omega ...
1
vote
1answer
27 views

Subgroups Separated by Homomorphisms (Eilenberg Lemma)

I am struggling with a lemma allegedly from a paper of Eilenberg and Moore from back in the nascent days of category theory. I encountered it in Rotman's Group Theory text as an exercise and couldn't ...
5
votes
1answer
52 views

Cech Cohomology and the Dold-Kan Correspondence

Given a (co/contravariant) functor $F$ from the simplicial category $\Delta$ to an abelian category $A$, we can form its Cech complex (or "alternating face map complex" on the nLab), i.e. ...
3
votes
0answers
20 views

Intuition for homotopy (co)limits in triangulated categories

The following definition is taken from Daniel Murfet's Triangulated Categories Part I notes. Let $\mathcal T$ be a triangulated category with countable coproducts. Suppose we are given a ...
4
votes
1answer
56 views

Showing that localization is an exact functor

I'm again in this awfully familiar situation where I'm struggling to prove simple statements mostly because I have no idea how a template of a proof should look like in this specified context. I'm ...
2
votes
0answers
40 views

Homological Conjectures

Let The strong Nakayama conjecture : If $M \in \rm{{mod\mbox{-}}}R$ and $\rm{Ext}^i(M,R)=0$ for $i \geq 0$, then $M$ is zero. The generalized Nakayama conjecture If $S$ is a simple module and ...
2
votes
0answers
27 views

Ascending Sequence of Submodules

Claim: Consider an ascending sequence of submodules of a module $P$: $$\{0\} = P_0 \subseteq P_1 \subseteq P_2 \subseteq \cdots$$ where $P = \bigcup_{n \geq 0} P_n$. Suppose that $P_n$ is a direct ...
0
votes
0answers
14 views

“One-sided” Morita equivalence and Hochschild homology

Suppose $A$ and $B$ are $k$-algebras. Then we have the Hochschild homologies $HH(A) = HH(A,A)$ and $HH(B) = HH(B,B)$. Now suppose that $P$ is an $A$-$B$ bimodule and $Q$ is a $B$-$A$ bimodule so ...
3
votes
0answers
44 views

Vanishing of Tor

Let $R$ be a commutative ring with unit. Vanishing of $\operatorname{Tor}_0(M,N)$ (see here) for two finitely generated $R$ modules $M$ and $N$ implies $\operatorname{Ann}M+ \operatorname{Ann}N=R$. ...
3
votes
1answer
57 views

Choosing projective replacement to be functorial

A basic result of homological algebra says that if $\mathsf A$ is an abelian category with enough projectives, then the mapping $P:\mathsf{Obj}(\mathsf A)\rightarrow \mathsf{Obj}(\mathsf{K} ^+(\mathsf ...
7
votes
1answer
141 views

Universal coefficient theorem and multiplication on cohomology

Let $X$ be a topological space and $R$ is a commutative ring. For $H^*(X)$ we have $$0\to H^n(X,\mathbb Z)\otimes R\to H^n(X,R)\to \mathrm{Tor}(H^{n+1}(X,\mathbb Z), R)\to0.$$ Is it true that we ...
7
votes
0answers
74 views

A Geometric Description of Injective Modules

I've found that when studying commutative algebra, thinking of things in terms of their algebro-geometric interpretation helps them stick as well as motivates otherwise odd and abstract concepts. ...
4
votes
0answers
36 views

How to apply a double centralizer property on a faithful module of a self-injective Artin algebra?

Let all considered algebras be Artin algebras and let all considered modules be finitely generated. Let $A$ be left-QF-3 with minimal faithful left ideal $Ae$. Then the following are equivalent: ...
2
votes
0answers
48 views

Spectral Sequence associated to a filtration abuts because we can find closed representatives

Let $(K,D)$ be a differential complex of abelian groups, and $K = K_0 \supset K_1 \supset K_2 \supset \cdots \supset K_{p+1} = 0$ a filtration of $K$ by sub-complexes. Let $(E^{r},d^r)_{r\ge 1}$ be ...
2
votes
1answer
34 views

How to show that a certain module is injective over an endomorphism algebra?

Let $A$ be a self-injective Artin algebra and $M\in\ \mathfrak{mod}\ A$ with the property $\mathfrak{add}\ _AA = \mathfrak{add}\ M$. Let $I$ be a finitely generated injective $A$-module. Why is ...
0
votes
1answer
20 views

Using the Bockstein spectral sequence to identify direct summands

I have a question about demonstrating part 2 of corollary 5.9.12 in Weibel's An Introduction to Homological Algebra. Here is the setup. Fix a prime $p$ and suppose I have a long exact sequence of ...
0
votes
2answers
63 views

homology group of adjunction space

I start to study homology theory and i want to understand homology groups of adjunction space In this picture i can't see $V$ deformation retracts to $X$ neither intuitively nor explicitly help ...
0
votes
0answers
52 views

A problem about isomorphism in module theory

For a sequence of $R$-modules like this:$A \overset{f}{\rightarrow} B \overset{g}{\rightarrow}C$ such that $\mathrm{Im} f \subset\ker g$ and $B/\mathrm{Im}f \cong B/\ker g$. Then $\mathrm{Im}f=\ker ...
0
votes
1answer
39 views

Properties of isomorphism in module theory [closed]

I have two exercises, but I can't solve them: a. If $X, A, B $ are $R$-modules with $A \subset B \subset X $, prove that if $X/A \cong X/B$ then $A=B$ b. If $X/A \cong X$ then $A=0$
6
votes
1answer
132 views

Is “Categories and Sheaves” a good followup to Aluffi's “Algebra: Chapter 0”?

I'm about to finish Aluffi's "algebra: chapter 0" and am a bit confused as to what should be my next move. I've been planning to read Tom Dieck's Algebraic Topology for some time now. I glimpsed at it ...
5
votes
1answer
74 views

If $m$ divides $n$, find a free resolution of $\mathbb{Z}/m$ as a $\mathbb{Z}/n$-module.

If $m$ divides $n$, find a free resolution of $\mathbb{Z}/m$ as a $\mathbb{Z}/n$-module. I have tried this one and got $0 \leftarrow \mathbb{Z}/m \leftarrow \mathbb{Z}/n \leftarrow \mathbb{Z}/n$. ...
0
votes
0answers
40 views

the functor Ext repairs the inexactitude of Hom on the right

For a short exact sequence of R -modules: $ 0 \longrightarrow A \longrightarrow B \longrightarrow C \longrightarrow 0$. Prove that: the following sequence is exact $0 \rightarrow \mathrm{Hom} ...
4
votes
1answer
102 views

When $N \to M \otimes_R N$ is not an embedding.

Can someone please provide an example of the following (or tell me why such an example doesn't exist): Let $R$ be a (not necessarily commutative) ring, $M$ an $R$-$R$-bimodule containing a copy of ...
2
votes
2answers
33 views

Double complex with exact rows

Let $(K^{p,q},\delta,d)$ be a double complex of modules. We assume that $\delta$ of degree $(1,0)$, $d$ has degree $(0,1)$ and $d$ and $\delta$ commute. Since $d$ and $\delta$ commute, then $\delta$ ...
2
votes
1answer
66 views

Colimits and tensor product ground rings

Is it true that $\varinjlim (M \otimes_{A_i} N) = M \otimes_A N$ where $A = \varinjlim A_i$ and $M$ and $N$ are $A$-modules? Take maps $f : A_j \rightarrow A_k$ and $m : M \otimes_{A_j} N \rightarrow ...
0
votes
0answers
39 views

Projective and injective resolutions of cyclic modules

Let $R$ be a ring and $M$ a cyclic $R$-module. It is well-known that always exist projective and injective resolutions of $M$. Is it any method to construct explicitly these resolutions which have the ...
0
votes
0answers
38 views

Koszul complex and isomorphism of graded algebras

I'm reading an article about noncommutative geometry and I'm trying to prove the following theorem Let $R$ be a commutative ring and assume that $I$ is ideal generated by regular sequence ...
2
votes
1answer
27 views

Something wrong with proof: left adjoint functor preserves projectives

First a remark, I skipped the hypothesis "left adjoint to an exact functor" on purpose because the sketch of argument I wrote down I didn't use this, at least according to me. I know that there ...
1
vote
1answer
63 views

Is each $F$-acyclic resolution homotopic to a projective resolution?

Here is an excerpt from some notes I stumbled upon online: From what I understand, the "elementary proof" is just the fundamental lemma of homological algebra which says the homotopy type of ...
9
votes
0answers
93 views

Abelian category induced by commutative ring

If $R$ is any ring, then ${}_R \mathsf{Mod}$ is an abelian category. We cannot detect commutativity of $R$ from ${}_R \mathsf{Mod}$, since for example $R$ and the matrix ring $M_n(R)$ are always ...