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
0answers
36 views

Graduations and filtrations for localizations

I'm trying to answer the following questions: Let $A$ be a (not necessarily commutative) $\mathbb{Z}$-graded ring and $S$ a multiplicative subset of $A$ such that $AS^{-1}$ exists. Is $AS^{-1}$ a ...
0
votes
1answer
55 views

Characterization of the kernel and cokernel of the natural homomorphism between a module and its double dual. [closed]

Let $R$ be a Noetherian ring and $M$ a finite $R$-module. Suppose $$ G \overset{\varphi}{\rightarrow} F \to M \to 0$$ is exact where $F,G$ are finite free modules. Suppose ...
1
vote
0answers
51 views

Tensor product and projective dimension

Let $R$ be a local commutative Noetherian ring and be $M,N$ be finitely generated $R$ modules. Question$1$: If $\operatorname{pd}(M)$ and $\operatorname{pd}(M\otimes_{A} N)$ are finite ,then ...
6
votes
1answer
128 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 ...
1
vote
0answers
45 views

Hochschild dimension

I'm curious; if $A$ ia a commutative $k$-algebra over a field $k$ of global dimension $n$, then is its $A^e$-projective dimension $2n$ (this is also sometimes called the Hochschild cohomological ...
1
vote
1answer
48 views

When does a functor commute with colimits?

Is it true that an additive functor between abelian categories commutes with colimits if it's right-exact and commutes with (arbitrary) direct sums? If yes, does someone know a good source of a ...
2
votes
1answer
115 views

Homology of mapping telescope

It is stated here http://math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf that if $X$ is an increasing union of the type $X=\bigcup_{i \in I}X_i$ (where $X_i \subset X_{i+1}$), then we have an ...
3
votes
2answers
95 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
0answers
18 views

Hochschild (co)-homology of a formal quantization of an associative algebra [duplicate]

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 ...
0
votes
0answers
42 views

Grade of an ideal greater than the projective dimension of quotient of another one

We know that the grade of an ideal $I$ in a Noetherian ring $R$ is the infimum of the set of all $i$ with $Ext^i(R/I,R)$ nonzero. Also, the projective dimension of an $R$-module $M$ is at most $s$ if ...
1
vote
1answer
133 views

What can we say about groups $G$ with $H_3(G)=0$?

Let $G$ be a group. What can we say about groups such that $H_3(G)=0$? If a characterization is not possible, then knowing examples of such groups would be good? Any help is appreciated. Thanks
4
votes
1answer
74 views

Homological algebra (homotopical approach)

I have gone through a couple of courses in homological algebra, in the context of derived functors, abelian categories,... Now I would like to watch it from another perspective: my main interest is ...
1
vote
2answers
98 views

Soft sheaves adapted to $f_!$

I'm reading Gelfand-Manin, Homological Algebra. I understand that the class of soft sheaves is sufficiently large, because every injective sheaf is soft. Now to see that this class is adapted to ...
4
votes
1answer
67 views

From a vector bundle to a Koszul complex

Let $k = \mathbb C$. Given a commutative $k$-algebra $A$, an $A$-module $M$ and a homomorphism of $A$-modules $s:M \to A$, we can construct the Koszul dg algebra. $$K(A,M,s) = \wedge^{-\!*}_A(M)$$ ...
0
votes
2answers
84 views

$\operatorname{Ext}^0$ for free resolutions

I am studying homological algebra for an exam in algebraic topology, and I was wondering: Let $H,G$ be two abelian groups. What is $\operatorname{Ext}^0(H;G)$? Now here's what I have done: We ...
0
votes
3answers
59 views

$\mathbb{Z}/n\mathbb{Z}$ projective as $\mathbb{Z}/n\mathbb{Z}$-module

$\mathbb{Z}/n\mathbb{Z}$ as $\mathbb{Z}$-module is not projective because isn't torsionfree, but is projective as $\mathbb{Z}/n\mathbb{Z}$ module ?
1
vote
0answers
57 views

Pushout and pullback of short exact sequence of groups

I think that there might be some textbooks which introduce the notions of pushout and pullback of a short exact sequence of groups. However, I cannot find any of them. To be precise, for a given ...
1
vote
1answer
40 views

computation of a group homology

A few days ago, I asked a question about a group homology, and it was actually easy. I am continuing computing group homologies, but I am stuck on this: $H_*^{\textrm {grp}}(T, \mathbb{Z}) = ...
5
votes
1answer
102 views

(Co)homology of free symmetric algebra

Let $V$ be a (co)chain complex, and let $Sym(V)$ be the free differential graded-commutative algebra generated by $V$. Definition and examples below in case you don't know what I mean. Question: ...
4
votes
1answer
94 views

Two definitions of homology

Let $f,g$ be arrows in an abelian category such that the composite $gf$ is defined and is given by the zero arrow. I shall try to find a definition for the quotient $\ker g /\operatorname{im} f$, ...
0
votes
1answer
42 views

Relation between faithfully flatness and map of $Spec$

I'm stuck on this exercise ( from Bosch ) : Let $\phi :R \to R' $ a flat ring morphism. Show that $\phi$ is faithfully flat if and only if the associated map $Spec(R') \to Spec(R)$ , ...
1
vote
0answers
27 views

a group homology computation

I was assigned to compute the group homology of $\mathbb{Z}^k$ with $\mathbb Z$ as coefficient ring(with the trivial action): $H_*(\mathbb{Z}^k, \mathbb{Z})$. I know that $H_*(\mathbb{Z}^k, ...
1
vote
0answers
59 views

If two maps induce the same homomorphism, then they are homotopic

If two chain maps $f,g:\mathcal{X} \rightarrow \mathcal{Y}$, where $\mathcal{X},\mathcal{Y}$ are chain complexes with free modules $X_p$ and $Y_p$ over a PID, $R$, induce the same homomorphism in the ...
1
vote
1answer
74 views

Period of a particular finite group

Let $G$ be a group fitting in the following exact sequence: $0 \to \mathbb{Z}/p \to G \to \mathbb{Z}/q^r \to 0.$ Here $q$ and $p$ are primes (not necessarily distinct). It is easy to check (by the ...
1
vote
1answer
36 views

Obtaining Chain Complex from a Cochain Complex

In this question: Constructing a cochain complex out of a chain complex , palio asked how to construct a co-chain complex when given a chain complex as well as how to go in the opposite direction, ...
1
vote
0answers
45 views

chain homotopy equivalence between mapping cone complexes

Given continuous maps $f_i : X_i \to Y_i$ ($i=1, 2$) we may consider the singular chain cocomplexes $$ C^n(Y_i) \oplus C^{n-1}(X_i) $$ with boundary operator: $$ (u^n, v^{n-1}) \mapsto (-\delta u^n, ...
1
vote
0answers
29 views

An inverse limit of a certain inverse system

Let $∆$ be a directed set and $(N_i,f_{ji})_{i∈∆}$ be an inverse system of $R$-modules. Fix $α \in∆$ and consider $(M_i,g_{ji})_{i\in∆}$ as follows: $M_i=N_i$ for $i≥α$, $M_i=0$ for $i<α$, and ...
2
votes
1answer
140 views

Splitting short exact sequence of space groups

I want to prove the following: Assume we have two space groups $G,G^\prime \subseteq \text{Euc}(V) \subseteq \text{Aff}(V)$ which are affinely equivalent, $G \sim G^\prime, \; \text{ i.e. }\; ...
2
votes
1answer
77 views

An exact sequence of unit groups

In the answer of K. Conrad to this question, he mentions a "nice 4-term short exact sequence of abelian groups (involving units groups mod a, mod b, and mod ab)" proving the product formula for ...
1
vote
1answer
53 views

When does a short exact sequence of representations exist?

The context for this question is that I am trying to determine the Grothendieck group of finite-dimensional complex representations of $T = (\mathbb{C}^*)^n$, where $\mathbb{C}^*$ denotes the ...
2
votes
1answer
51 views

Action of the functor Ext$_1(-,-)$ on extensions

Suppose we have an exact sequence of $R$-modules \begin{array}{ccccccccc} 0 & \longrightarrow & L & \overset{f}{\longrightarrow} & M & \overset{g}{\longrightarrow} & E & ...
1
vote
2answers
60 views

If $\text{Ext}^1(\mathbb{Q}/ \mathbb{Z}, D ) = 0$ then $D$ is divisible

This is Exercise 7.15(ii) from Rotman's book, Introduction to homological algebra that I'm doing. If $D$ is an abelian group and $\text{Ext}^1(\mathbb{Q}/ \mathbb{Z}, D ) = 0$, prove that $D$ is ...
2
votes
1answer
42 views

If R and S are artinian and finite dimensional algebras respectively, then the tensor product of them is artinian.

Let $R$ be an artinian algebra and $S$ be a finite dimensional algebra over the field $k$. How can i show that $R\otimes_kS$ is artinian? I know that $S$ is also artinian since it is finite ...
1
vote
0answers
51 views

A Question About Notation (Homology with Local Coefficients)

I am currently reading A J Berrick’s An Approach to Algebraic K-Theory, and I am stuck at one of the propositions there because he does not define homology with local coefficients. Proposition: ...
3
votes
2answers
57 views

$mA = 0 = nC, \ \gcd(m,n) = 1 \Rightarrow $ every extension of $A$ by $C$ splits

This is Exercise 7.14(ii) from Rotman, Introduction to homological algebra, and I'm stuck on it. If $A$ and $C$ are abelian groups, with $mA = 0 = nC $ and $\gcd(m,n) = 1$ then every extension of ...
1
vote
1answer
23 views

Characterization of faithfully flat modules

This is an exercise from Rotman, introduction to homological algebra. A right $R$-module $B$ is called faithfully flat if : 1) $B$ is flat 2) If $X$ is a left $R$-module and $B \otimes_R X =0 $ ...
4
votes
1answer
46 views

Dual of Schanuel lemma

This is an exercise from Rotman, Introduction to homological algebra. Given exact sequences of $R$-modules \begin{array}{ccccccccc} 0 & \longrightarrow & M & \overset{i}{\longrightarrow} ...
1
vote
2answers
118 views

Examples of Noetherian local rings which are not Gorenstein

Can anyone give me an example of a Noetherian local ring which is not a Gorenstein ring?
3
votes
3answers
68 views

Injective dimension of $\mathbb Z_n$ as a $\mathbb Z$-module

What is the injective dimension of $\mathbb Z_n$ as a $\mathbb Z$-module? Can one use the well-known fact that $id(M)$ is less than or equal to $i$ iff $Ext^{i+1}(N,M)=0$ for all $N$? Thanks in ...
0
votes
0answers
42 views

Direct limits commute with $\mathrm{Tor}$ functor

How one could prove that direct limits commute with the functor $\mathrm{Tor}$? Of course, I know that $\mathrm{Tor}$ with its first $0$ index is the same as tensor product which does commute ...
2
votes
4answers
73 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 ...
2
votes
1answer
58 views

$\hom_{\mathbb{Z}}(\mathbb{Q}, C) = 0$ for every cyclic group $C$

This is part of an exercise I'm doing, exercise 2.22 Rotman, Introduction to homological algebra. Prove that $$\hom_{\mathbb{Z}}(\mathbb{Q}, C) = 0$$ for every cyclic group $C$. Any hint ?
1
vote
0answers
36 views

If a direct sum has a projective cover, must the summands have projective covers?

In “Cover of a direct summand” it is asked to show that if a direct sum has a projective cover, and if one of the summands has a projective cover, then so does the other. I gave a solution that works ...
2
votes
1answer
85 views

Finite projective dimension may lead to projectiveness!

Assume a ring $R$ is injective as an $R$-module. If the projective dimension of an $R$-module $P$ is finite could one conclude that $P$ is a projective $R$-module? Probably one should start with ...
3
votes
0answers
35 views

Homology Theory based on “linear symmetric differences”

Homology Theory is based on the idea that if you have a sequence $A \rightarrow B \rightarrow C$ of homomorphisms $f \colon A \rightarrow B$ and $g \colon B \rightarrow C$ such that their composition ...
2
votes
2answers
81 views

Total dimension of the cohomology of a homogeneous space (or of a graded Tor)

I want to calculate the cohomology ring with rational coefficients of a homogeneous space, but would be happy enough to know its total dimension. Let $G$ be a compact Lie group, $T$ a maximal torus, ...
0
votes
0answers
43 views

Intuition of higher push-forward constant sheaves.

Let us consider the higher phsh-forward sheaves $R^if_*\mathbb{R}$ of a map $f:X\rightarrow Y$ between two compact manifolds. We assume that the fibers has a constant dimension, say $n$. I think ...
1
vote
0answers
12 views

The product of $E_2$-degenerate spectral sequences also $E_2$-degenerates?

Assume the Leray spectral sequence of a map $f_i:X_i\rightarrow B_i$ $E_2$-degenerates for $i=1,2$. Is it true that the Leray spectral sequence of the map $f_1\times f_2:X_1 \times X_2 \rightarrow B_1 ...
0
votes
2answers
33 views

induced sequence exact

If $D$ is a multiplicatively closed subset of $R$. I'm trying to come up with an example where $$0\to L \to M \to N \to 0$$ is not exact, but the induced sequence $$0 \to D^{-1}L \to D^{-1}M \to ...
2
votes
1answer
113 views

showing exact functors preserve exact sequences (abelian categories, additive functors, and kernels)

I'm working through Vakil's algebraic geometry text and I've been stuck on Exercise 1.6.E (page 52 on http://math.stanford.edu/~vakil/216blog/FOAGjun1113public.pdf.) Suppose that $F$ is an exact ...