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
52 views

Doubt about the tensor product

Suppose $M$ is an abelian group and $F(X)$ is the free abelian group over $X$. Is it true that any element of $M\otimes F(X)$ can be written as a finite sum $$m_{1}\otimes x_{1}+ \cdots+m_{n}\otimes ...
2
votes
2answers
65 views

Having trouble understanding the Tor functor

I am having trouble understanding the Tor functor as presented in Dummit and Foote. Given $\dotsb\to P_n\to P_{n-1}\to\dotsb\to P_0\to B\to 0$ as a projective resolution with homomorphisms ...
0
votes
0answers
46 views

Problem about tensor products and modules over a group algebra

Can anyone help me with hints for these problems? I would appreciate it a lot. 1) Supose $G$ is a group and $k$ is a field. If $U,V$ and $W$ are $kG$-modules then $\operatorname{Hom}_{kG}(U\otimes ...
4
votes
1answer
47 views

Given a torsion $R$-module $A$ where $R$ is an integral domain, $\mathrm{Tor}_n^R(A,B)$ is also torsion.

Given an integral domain $R$, and a left torsion $R$-module $A$ (i.e. $\forall{a}\in A,\exists{r}\in R$ such that $ra=0$) how would you show that $\mathrm{Tor}_n^R(A,B)$ is also a torsion $R$-module?
1
vote
0answers
69 views

Can group cohomology be used to study fiber bundles?

Is (non-abelian) cohomology used to study vector and principal bundles? Can you give me a text or an article? For example: Consider a vector bundle $E$ with fiber $V$ and base manifold $M$. Consider ...
0
votes
0answers
49 views

An easy infinite free resolution

I'm doing exercise 1.23 on Eisenbud's Commutative algebra, and I have the following situation: let $k$ be a field and $R = k[x]/(x^n)$. They ask for a free resolution of $R/(x^m)$, for some $m \leq ...
1
vote
1answer
29 views

Acyclic resolution but not projective

Suppose $\mathfrak{C}$ is an abelian category which does not have enough projectives and we're interested in computing the right derived functors of some covariant functor $F$. If however, every ...
2
votes
0answers
30 views

Does additivity of (equivariant) cohomology hold at the algebra level?

The additivity property of many (co)homology theories is that if $X = \bigsqcup_{i \in I} X_i$ then $H^*(X) = \bigoplus_{i\in I} H^*(X_i)$. This is usually either an axiom of the theory, can be proven ...
1
vote
2answers
63 views

Existence of module of finite injective dimension

At p. 107 of the book Cohen-Macaulay Rings by Bruns and Herzog, the authors write "any module of finite projective dimension (over a Gorenstein ring $R$) has finite injective dimension as well, ...
5
votes
1answer
98 views

Isomorphism in cohomology is an isomorphism in homology

Let $f:X \to Y$ be a continuous map between topological spaces and $R$ some coefficients. From the universal coefficient theorem for homology we immediatly get, that if $H_*(f,\mathbb{Z})$ is an ...
0
votes
0answers
77 views

Homology out of Smith normal form

Let $R$ be a PID and $A: R^m\rightarrow R^n$ and $B:R^n\rightarrow R^o$ with $BA=0$ and Smith normal forms $A=P\mathrm{diag}(a_1,\ldots,a_r,0,\ldots,0)Q^{-1}$ and ...
4
votes
1answer
117 views

How to calculate $Ext(M,N)$?

I am confused about the calculation of $\text{Ext}(M,N)$. If $N$ is a fixed module and if we consider the projective resolution $$\cdots \to C_1 \to C_0 \to M \to 0,$$ then $\text{Ext}_n(M,N)$ is the ...
1
vote
1answer
40 views

Map induced by localization on categories

I have been doing some reading in Hartshorne's Algebraic Geometry on derived functors and subsequent results in cohomology. Given $A$ an abelian category of groups, I have seen that the map ...
2
votes
0answers
35 views

Under what conditions are the resolutions of two modules subcomplexes of the resolution of the tensor product?

I have that $S=k[x_1, \dots, x_n]$, $I$ is a lattice ideal, and $J$ is a monomial ideal. I am interested in the resolution of $S/(I+J)\cong S/I\otimes S/J$. In particular, I am interested in knowing ...
3
votes
1answer
74 views

Showing $M\cong M'\oplus M''$ given an exact sequence

I am struggling with the following question: $R$ is a ring. $$M'\overset{f}{\longrightarrow} M\overset{g}{\longrightarrow} M''$$ are homomorphisms of $R$-modules such that for any $R$-module $N$, the ...
2
votes
1answer
29 views

When are maps between Hom sets induced?

I'm trying to better understand $R$-module homomorphisms, and I know that say, an $\, f:M\to N$ induces $\, f_*:Hom_R(V,M)\to Hom_R(V,N)$ or $\, f^*:Hom_R(N,V)\to Hom_R(M,V)$. What I'm wondering is, ...
2
votes
0answers
40 views

Tor dimension in polynomial rings over Artin rings

I found this tricky problem in trying to understand some properties of local rings at non-smooth points of embedded curves. But this would be a very long story. So I make it short and I try to go ...
3
votes
1answer
48 views

tensor, symmetric, exterior power of a module over a PID

Let $R$ be a PID and $M\cong R^r\!\oplus\bigoplus_{i=1}^s\!R/Ra_i$. Denote the tensor, symmetric, exterior power of $M$ by $T^nM=\bigotimes_{k=1}^nM$ and $S^nM= T^nM/\langle ...
4
votes
0answers
67 views

Existence of finite projective resolution

The situation I'm considering is quite involved. All rings are noetherian commutative with $1$. All modules are finitely generated. First of all we fix a non reduced local ring $A$ where all zero ...
2
votes
0answers
39 views

The differentials of a spectral sequence

Suppose we are on the $E_r$ page and the lattice either consists of 0 or $\mathbb{Q}[x,y]$ in each entry. Suppose in particular that the points $(p,q)$ and $(r, s)$ (and "their codomains") are equal ...
3
votes
0answers
32 views

Reference request: where can I find illustrative, concrete examples of the use of the Eilenberg–Moore spectral sequence?

Pursuant to advice at When does cohomology take pullbacks to pushouts?, I tried to use the Eilenberg–Moore spectral sequence in the simplest conceivable example, for the Hopf bundle $S^3 \to ...
4
votes
1answer
47 views

Question on the fill-in morphism in a triangulated category

Let $$ \begin{array}{rcl} A&\to& B\\ \downarrow & &\downarrow\\ A'&\to& B' \end{array} $$ be a commutative diagram in a triangulated category. By the axioms of a triangulated ...
1
vote
0answers
21 views

The Poincare series for a bigraded vector space

I don't understand this computation (this is from McCleary's book on spectral sequences, p.15): The Poincare series of a (locally finite) bigraded vector space $E^{\ast,\ast}$ is defined as ...
0
votes
0answers
47 views

Global dimension of endomorphism rings

Does anybody have an idea on how the global dimension of the endomorphism ring of a module over a (nice enough) ring is related to the global dimension of the endomorphism ring of its projective ...
2
votes
2answers
29 views

Extending monics in a commutative diagram

Given a commutative diagram in a Grothendieck category $\mathscr{A}$ \begin{array}{ccccccccc} 0 & \longrightarrow & A' & \overset{i}{\longrightarrow} & A & ...
0
votes
0answers
32 views

Book of Pullbacks and Pushouts

what books can I consult for properties of pullback and pushouts in algebraic topology? I need to understand the theory of homotopy in algebraic topology and I started to study pullbacks and push ...
0
votes
0answers
19 views

Different definitions of connectedness of commutative cochain algebras

Let $(M,d)$ be a commutative cochain algebra over the rationals, that is a differential graded, graded commutative Algebra over $\mathbb{Q}$ concentrated in nonnegative degrees. In the literature, ...
3
votes
1answer
52 views

Determinant of long exact sequence

Let the following be a long exact sequence of free $A$-modules of finite rank: $$0\to F_1\to F_2\to F_3\to...\to F_n\to0$$ I want to show that $\otimes_{i=1}^n (\det F_i)^{-1^{i}} \cong A$, where ...
1
vote
1answer
32 views

Extensions of G-modules

Let $G$ be a finite group of order $n$ and $\Lambda={\mathbb{Z}}[G]$ the group ring of $G$. Let $A$ be a finitely generated free abelian group on which $G$ acts. Let $B$ be a finitely generated ...
2
votes
1answer
28 views

What does the $\Omega$ represent in $\Omega S^{n}$?

To put my question in context, I'm reading Hatcher's book on Spectral sequences is which is say " The suspension homomorphism $E$ is the map on $pi_{i}$ induced by the natural inclusion map ...
-1
votes
2answers
53 views

short exact sequence

Let $0 \rightarrow L \stackrel{\alpha}\rightarrow M\stackrel{\beta}\rightarrow N \rightarrow 0$ be an exact sequence, and $M_1$, $M_2$ be two submodules of $M$; then whether the follwing implications ...
-1
votes
1answer
53 views

Relative homology of ball and sphere

What is the result of $H_k(B^n,S^{n-1}; \mathbb{A })$ and in any book can i found the proof ? And what about $H_n(S^{n};\mathbb{A})$ (sigular homology of the sphere )?? Please help me. Thank you
3
votes
2answers
60 views

Exercise in an abelian category

Supose we have an exact sequence $$A\overset{f}\longrightarrow B\overset{g}\rightarrow C\overset{h}\rightarrow D$$ in an abelian category $\mathcal{A}$. Is it true that $f$ is an epimorphism if and ...
2
votes
1answer
26 views

Adjoints to cofree modules tensor?

If $M$ is a cofree $R$-module and $A,B$ are arbitrary $R$-modules then, is there a left adjoint to the functor $M\otimes_R -$, i.e. is there an endofunctor $F$ on $_R \mathrm{Mod}$ such that ...
4
votes
0answers
64 views

Long exact sequence in cohomology associated to a short exact sequence of *functors*

In homological algebra, when you have a left exact functor $F$ From an abelian category $\mathcal{A}$ to an abelian category $\mathcal{B}$ and you have enough injectives in $\mathcal{A}$, then you ...
3
votes
0answers
63 views

Mapping cones and resolutions

Let me preface my question by acknowledging the vagueness of it. I am hoping to find some information in the form of references as opposed to a hard and fast solution. Suppose that $S=k[x_1, \dots, ...
1
vote
2answers
34 views

Showing that an epimorphism to a free module of finite rank splits

Let $M$ be an $R$-module and let $F$ be a free $R$-module of finite rank. Let $\phi : M \to F$ be an epimorphism. Then show that $M$ has a submodule $F' \cong F $ such that $M=F' \oplus \ker\phi$. ...
4
votes
0answers
78 views

A question about the universal coefficient theorem.

Or rather a couple of questions. Let $X$ be some topological space, $R$ be a (unital) PID and $G$ be an $R$-module. Am I correct in understanding that the singular cochain complexes ...
5
votes
2answers
73 views

Why is the definition of $\lim^1$ via a cokernel the first derived functor of $\lim$?

Let $A_*=\ldots\to A_n\to A_{n-1}\to\ldots\to A_0$ be a linear system of abelian groups. The limit of this system may be defined as the kernel of the map $$ \prod A_n\xrightarrow{g-1}\prod A_n $$ ...
1
vote
1answer
44 views

$K(A)\cong \mathbb Z$ for a PID $A$

In Atiyah and Macdonald, chapter 7, exercise 26, iii), it's required to show the Grothendieck group $K(A)\cong \mathbb Z$ for a PID $A$. By ii) of this problem, it's easy to show that $K(A)$ is ...
3
votes
1answer
28 views

Exact sequence induces exact sequences for free parts and torsion parts?

Let $A$ be a PID and consider the exact sequence of finitely generately modules over$A$: $$0\longrightarrow M' \overset{f}{\longrightarrow}M\overset{g}{\longrightarrow}M''\longrightarrow 0 \tag{1}.$$ ...
1
vote
1answer
48 views

Queston on the definition of singular homology

From the Hatcher's can someone told me why $\sigma$ has singularities ? Thank you
1
vote
0answers
38 views

Faithfully flat checkable on finitely generated modules

A left $R$-module $_RM$ is said to be faithfully flat if it is flat and, for any $N_R$, $N \otimes_R M = 0$ implies $N = 0$. I would like to show that $M$ is faithfully flat if it is flat and, for any ...
7
votes
1answer
80 views

Localization of an additive category which is no longer additive

Is there a nice example of an additive category $C$ and a family of morphisms $S\subset Mor(C)$ such that $C[S^{-1}]$ is no longer additive? I know that in general localization of categories ...
1
vote
0answers
18 views

Relationship between homological functors and t-structures

Let $D$ be a triangulated category, $A$ an abelian category and $\pi: D \to A$ a homological functor (sending distinguished triangles to long exact sequences). Can we describe (the) obstructions to ...
2
votes
2answers
65 views

Represent localization as a direct limit

Let $A$ be a commutative ring with identity, $S\subset A$ a multiplicatively closed subset and $1\in S$. Does the equation $$S^{-1}A=\varinjlim_{s\in S}A_s$$ make sense? Here $A_s$ is the ...
0
votes
0answers
26 views

Exactness of derived functor [duplicate]

Is the right derived functor of a left exact functor left exact also? If now, can anything be said about its exactness in general?
2
votes
0answers
79 views

Duality between Tor and Ext?

Let $A$ be a $\mathbb{N}$-graded, locally finite $\Bbbk$-algebra, $\Bbbk$ being a field, $A=\oplus_{n \geq 0} \ A^n$, each $A^i$ being finitely dimensional as a $\Bbbk$ vector space. Assume also that ...
4
votes
1answer
87 views

Existence and homotopies of embeddings between simplicial complexes

Let $K$ and $L$ be simplicial complexes, $m=\dim K$, and $h:|K|\rightarrow |L|$ be a continuous map. Show that $h$ is homotopic to a map carrying $K$ into $L^{(m)}$, the $m$-skeleton of $L$. I'm ...
0
votes
1answer
76 views

Kernel and direct sum

Let $R=k[x_1,\ldots,x_7]$ be a polynomial ring over field $k$ and $I=\bigcap_{i=1}^4 \mathfrak{p}_i$ where $\mathfrak{p}_1=(x_1,x_3,x_5,x_6), \mathfrak{p}_2=(x_1,x_3,x_4,x_6), ...