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

0
votes
1answer
20 views

A homological algebra question.(Chain map).

In Robert Ash's notes a chain map is defined by the next relation: $f_{n-1}\circ d_n = d_n\circ f_n $; while in Charles Weibel's book on page 2, it's defined as follows: $u_{n-1}\circ d_n = d_{n-1} ...
2
votes
0answers
52 views

when will homology and direct limit commute?

Question: Let a sequence of maps between topological spaces $$ X_1\to^{f_1}X_2\to^{f_2}X_3\to^{f_3}\cdots $$ The mapping telescope is denoted by $T$. Under what conditions will $H_*(T)$, the ...
0
votes
0answers
29 views

Question about cohomology of free abelian group

Let $A$ and $B$ be finite abelian groups and suppose that $B$ acts on $A$. Now, suppose we have two surjective homomorphisms $f,g:\mathbb{Z}^n\twoheadrightarrow B$ for some $n\in \mathbb{N}$. This ...
1
vote
1answer
27 views

Ext$_R^n(Q,A)=0=$Tor$_n^R(Q,A)$ where $Q$ is the field of fractions of a domain $R$

I am currently working through a problem in Rotman: Let $R$ be a domain and let $Q=$Frac$(R)$. If $r\in R$ is nonzero and $A$ is an $R$-module for which $rA=0$, prove that for all $n\geq 0$, ...
2
votes
0answers
63 views

Singular homology: Change of coefficients

Let $f: X \to Y$ be a map of topological spaces which induces isomorphisms $H_*(f;\mathbb{Z})$ on singular homology with $\mathbb{Z}$-coefficients. Show that $f$ induces isomorphisms ...
4
votes
1answer
61 views

Two modules are isomorphic in the stable module category iff they are projectively equivalent

Let $R$ be a (not necessarily commutative) ring. Let ${\text{mod-}R}$ be the category of finitely generated right $R$-modules. Let $\underline{\text{mod-}R}$ be the stable module category, with the ...
3
votes
0answers
37 views

Extend a map to a 1-cocycle

Let $\Gamma=PSL(2,\mathbb{Z})$ be the modular group with the usual presentation $\Gamma=\langle S,U,T|\ S^2=U^3=1, T=US\rangle$ where ...
3
votes
2answers
70 views

Complete and unabridged proof of the theorem of acyclic models

Can someone indicate me where I can find a complete and unabridged proof of the said theorem? By "complete and unabridged" I mean not writing something like "details are left to the reader as an ...
0
votes
1answer
35 views

Every projective $R$-module $P$ is free

I have come across a theorem which states that if the underlying ring $R$ is a principal ideal domain then every $R$-module $P$ which is projective is free also. But the problem is I have encountered ...
5
votes
1answer
51 views

Natural Transformation: Direct Products

I have result that tells me $$\displaystyle \varphi : \text{Hom}_R \bigg(A, \prod_{i \in I} B_i \bigg) \to \prod_{i \in I} \text{Hom}_R(A, B_i)$$ is a $Z(R)$-isomorphism. The next result tells me that ...
2
votes
0answers
10 views

Pontryagin duality for torsion abelian groups.

I am trying to prove Pontryagin duality for torsion abelian groups. It might appear that this question is a duplicate of this, but I assure you its not. Rather if the linked question had all the ...
0
votes
1answer
29 views

Hom Functor Preserves Direct Products

I'm looking at a statement in Rotman's 'Introduction to Homological Algebra' which I'm having a problem with: Theorem 2.30.i: There is a $Z(R)$-isomorphism $$\varphi : \text{Hom}_R \bigg( A, ...
2
votes
1answer
42 views

Can we see directly from the cocycle condition that 2-cocycles are symmetric?

Let $A$ be an abelian group and let $C$ be a cyclic group. All central extensions of $C$ by $A$ are abelian because in any such extension $$ 1\rightarrow A\rightarrow E\rightarrow C\rightarrow 1$$ ...
0
votes
0answers
40 views

short exact sequences of complexes and triangles in the homotopy category

Suppose I start with an abelian category $\mathcal{A}$, form its category of complexes $C(\mathcal{A})$ and consider a short exact sequence in this category: $$0 \to A^{\bullet} \to B^{\bullet} \to ...
0
votes
1answer
26 views

In an SES of chain complexes in an abelian category two of complexes exact implies the third is exact.

Consider a short exact sequence of chain complexes: $$0_{\cdot} \rightarrow A_{\cdot} \xrightarrow{f} B_{\cdot} \xrightarrow{g} C_{\cdot} \rightarrow 0_{\cdot}$$ If any two of ...
6
votes
1answer
77 views

Applications of diagram lemmas

I'm currently reading Theo Bühler's survey on exact categories about which he says This article is written for the reader who wants to learn about exact categories and knows why. Very few ...
1
vote
1answer
47 views

Weibel's book, Page 8. $\text{Tot}(C)$. What is the sum of the horizontal and vertical differentials in a bicomplex?

... define the total complexes $\text{Tot}(C) = \text{Tot}^{\Pi}(C)$ and $\text{Tot}^{\oplus}(C)$ by $\prod_{p+q = n} C_{p,q}$, and $\bigoplus_{p + q = n}C_{p,q}$. The formula $d = d^h + d^v$ ...
4
votes
0answers
51 views

Weibel exercise 1.2.2.: kernels, monics, and monomorphisms are the same in $R$-Mod.

See image below. I just want help proving that all kernels in $R$-Mod are monics. My attempt: Let $f : A \to B$ be a map in $R$-Mod. Suppose $i$ is a kernel of $f$, that is: $fi = 0$ and ...
1
vote
1answer
32 views

What does “universal w.r.t. this property” mean? (kernel of a morphism in an additive category)

In an additive category $\mathcal{A}$ a kernel of a morphism $f: B\to C$ is defined to be a map $i : A \to B$ such that $fi = 0$ and that is universal with respect to this property. This is ...
2
votes
1answer
103 views

A power series ring over $\mathbb C$

I have two questions around the ring of formal power series $R=\mathbb C[[x^2,x^3]]$. What is the global dimension of $R$? Is it a local regular ring? The global dimension of a ring is the ...
2
votes
0answers
22 views

How do you form differential maps in a quotient complex? (Weibel pg. 5)

They say "...In this case we can assemble the quotient modules $C_n / B_n$ into a chain complex $$ \cdots \xrightarrow{d} C_{n+1}/B_{n+1} \xrightarrow{d} C_{n}/B_{n} \xrightarrow{d} \cdots $$ But ...
2
votes
0answers
31 views

homology commutes with direct product of chain complexes. Direct proof

This is an attempt to prove that direct product of chain complexes commutes with homology (exercise in Weibel's book). I've had some success since I've proved that $Z_n(\prod_{\alpha \in A} C_{\alpha ...
0
votes
1answer
20 views

Weibel exercise 1.1.2. the $n$th homology module is a functor from category Ch-Mod$(R)$ to Mod-$R$

Ch-Mod$(R)$ is the category of $R$-module chain complexes. How do you turn a homology module into a functor? Thanks for teaching.
0
votes
0answers
16 views

Weibel's book exercise 1.1.2. Cycles get sent to cycles by chain complex homs $u : C_{\cdot} \to D_{\cdot}$

A morphism of chain complexes is a family of homs $u_n : C_n \to D_n $ such that $u_{n-1} d_n^{(C)} = d_n^{(D)} u_n$. Weibel's book says that cycles "get sent to cycles". To me that means that ...
1
vote
1answer
32 views

Is this a typo in Weibel, page 1?

It says a morphism $u : C_{\cdot } \to D_{\cdot}$ of chain complexes is a family of homomorphisms $u_n : C_n \to D_n$ such that $u_{n-1} d_n = d_{n-1} u_{n}$, but shouldn't it just be that $u_{n-1} ...
0
votes
0answers
25 views

How do I write a correct answer to Weibel exercise 1.1.1.?

Exercise 1.1.1. Set $C_n = \Bbb{Z}/8$ for $n \geq 0$ and $C_n = 0$ for $n \lt 0$. Let $d_n : x \pmod{8} \to 4x \pmod{8}$ Compute the homology modules of the chain complex $C_{\cdot}$. I got that ...
0
votes
1answer
12 views

Does $C < G$ imply $H_n(C,A) < H_n(G,A)$?

Suppose to have two groups $C$ and $G$ (not necessarily abelian) such that $C < G$ (subgroup, not necessarily proper). Let's fix an abelian group $A$ such that it is a trivial $G$-module (and ...
1
vote
0answers
21 views

$S$ subring of $R$. Is a projective objects in $R$-$\bmod$ still projective in $S$-$\bmod$?

Let $R$ be a ring (not necessarily commutative and not necessarily with unit). Recall the definition of $R$-$\bmod$ as an abelian group $A$ on which $R$ acts on the left respecting the following ...
1
vote
1answer
26 views

Is zeroth homology right adjoint to taking homotopy type of projective resolution?

Let $\mathsf A$ be an abelian category and $\mathsf{K(A)}$ be the homotopy category of chain complexes over $\mathsf A$. Let $P_\bullet,Q_\bullet$ be projective resolutions of $A,B\in \mathsf A$ ...
6
votes
1answer
63 views

Nonspliting short exact sequence

The short exact sequence $0\rightarrow \mathbb Z \stackrel{\alpha}{\longrightarrow} \mathbb Z \oplus \mathbb Q \stackrel{\beta} {\longrightarrow} \mathbb Q \rightarrow 0$ is splits because we have ...
0
votes
0answers
16 views

Chain morphism into a subcomplex homotopic to identity

Let us assume we have a chain complex $(X_\bullet,\partial_\bullet)$ of vector spaces and a subcomplex $(Y_\bullet,\partial_\bullet)$. Let us furthermore assume that there exists a morphism ...
2
votes
0answers
44 views

Fundamental lemma of homological algebra via acylic models?

The fundamental lemma of homological algebra discusses the extension of arrows to chain maps from a projective to an arbitrary resolution, and the uniqueness-up-to-homotopy of such an extension. ...
2
votes
0answers
30 views

Relationship between acyclic models and universal $\delta$-functors

(An elementary version of) The acyclic models theorem more-or-less says that natural transformations between the zeroth homology of a free functor taking values in $\mathsf{Ch}^+_\bullet(\mathsf A)$ ...
4
votes
0answers
81 views

$\operatorname{Ext}^n$: computation verification

I would like someone to verify my computation of $\operatorname{Ext}^n$. Problem: Let $p$ be a prime, $k$ a field of characteristic $p$, $G = \langle x \mid x^p = 1 \rangle$, $B = kG$, $S = k(1 ...
0
votes
1answer
16 views

Centralizer acting on the homology of a subgroup

Let $H\subset G$ be a subgroup. Let $E_*G$ be a free (right) $\mathbb ZG$-resolution of the trivial representation $\mathbb Z$. Because $E_*G$ is then also a free $\mathbb ZH$-resolution of the ...
2
votes
1answer
40 views

Question concerning an isomorphism between a module of $\operatorname{add}(M)$ and a hom space

Let $M$ be a $\Lambda$-module of an artin algebra $\Lambda$. Let $N$ be in $\text{add}(M)$. Let $\Gamma:=\text{End}_\Lambda(M)$. Assume further that $\Lambda\cong \text{End}_{\Gamma}(_\Gamma M)$. ...
3
votes
0answers
27 views

Flatness over tensor product

Let $k$ be a field, let $A,B$ be commutative $k$-algebras, and let $M$ be $A\otimes_k B$-module. Via the maps $A \to A\otimes_k B$ and $B\to A\otimes_k B$, we may regard $M$ as an $A$-module and as a ...
3
votes
1answer
38 views

How to construct an explicit isomorphism between two special endomorphism rings

Let $\Lambda$ be an artin algebra and $M$ a $\Lambda$-module. Let $\Gamma:=\text{End}_\Lambda(M)$ and let $D$ be the standard duality. How can you give an explicit isomorphism ...
2
votes
1answer
52 views

Using Koszul complex [closed]

Let $A$ be a Noetherian local ring of dimension $t$ with maximal ideal $\mathfrak{m}$. If $J\subset A$ is an $\mathfrak{m}$-primary ideal then we have the following complex for $n\in \Bbb N$: ...
4
votes
2answers
173 views

What exactly is a trivial module?

Yes, this is a quite basic answer, but I have to admit to be absolutely confused about this notion. Searching on the web, I managed to found two possible definition of trivial modules, referring ...
2
votes
0answers
79 views

Equivalent condition of spliting exact sequence of partially ordered groups

A short exact sequence $ 0 \rightarrow A \rightarrow B \rightarrow C\rightarrow 0$ of partially ordered group, where $\alpha : A\rightarrow B$ and $\beta: B\rightarrow C$ are order homomorphism is ...
1
vote
2answers
80 views

Show that the categories $G$-mod and $\mathbb{Z}G$-mod are equivalent.

I have another basic question inspired from reading the sixth chapter of Weibel's "An Introduction to Homological Algebra". First version of the question: a bit ambiguous At the first paragraph, ...
0
votes
0answers
27 views

A clarification about the meaning of “Let $\mathbb{Z}$ be *the* trivial $G$-module”.

I have a question regarding a definition/lemma in the book from Charles A. Weibel, "An introduction to Homological Algebra". At page 161, there is a claim starting as follows: Let $A$ be any ...
1
vote
0answers
33 views

Relation between Extensions and self-Extensions!

This should be considered as very general question regarding the extension group $Ext^i _A (R,S)$, in particular where $i=1$, for $R$ and $S$, a pair of given objects in an abelian category $A$. For ...
0
votes
1answer
34 views

A question about $\operatorname{Tor}_i$

Suppose P'$\to$M is a projective resolution of M. And P'$\bigotimes$C is a complex and the definition of $Tor_i$ is $h^i$(P'$\bigotimes$C). However I am confused about $Tor_i$. As tensor product is ...
1
vote
1answer
86 views

Homotopy equivalence and chain complexes

This is from the book: Hilton and Stammbach, A Course in Homological Algebra, Chapter IV, Derived Functors, exercise 4.2. Let $\varphi:C \to D$ be a chain map of the projective complex $C$ into ...
0
votes
0answers
18 views

Čech cohomology and fundamental class

I have a notational question. Simplified, I have a Cech cohomology on a simplical complex $\Sigma$ generated from the nerve of a covering of a set $X$. I also have a map $f: \Delta^n \to \Sigma$. In ...
5
votes
1answer
87 views

Ideas for basic application of homotopy theory to homological algebra?

I'm taking a first course in homological algebra. As a project, the lecturer suggested each student find a topic, presentable in an hour, relating to the material studied in the course. The material ...
1
vote
2answers
47 views

Objects that are quotient of two projective objects and cohomology in degree>1

1) What is an example of an abelian group which is not the quotient of two free abelian groups? For the abelian group $X$ for which this is true then for all Right exact functors F, i would have ...
4
votes
1answer
79 views

The realationship of $\hom(M\otimes_RN,M'\otimes_RN')$ and $\hom_R(M,M')\otimes\hom_R(N,N')$.

Let $R$ be a ring with identity, $M$ and $M'$ two right $R$-module, $N$ and $N'$ two left $R$-module. There is a natural way to define a homomorphism ...