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

4
votes
1answer
42 views

What is higher kernel explicitly?

Let $\mathcal{A}$ be an abelian category (for simplicity you can think that $\mathcal{A}$ is the category of modules over ring $R$). Let $[1]$ be the category with two objects and one arrow between ...
1
vote
1answer
28 views

Direct limit of modules: a property.

Suppose $A$ to be a ring and $M_i$ the indexed $A$-modules used to build the direct limit of modules $M \doteq \lim{M_i}$. Let $f_{ij}: M_i \to M_j$ the transition maps and $\phi : M_i \to M$ the ...
0
votes
1answer
35 views

Definition of (left) resolution

Let $\mathsf C$ be an abelian category. A (left) resolution of an object $A$ is a nonnegative chain complex $$\cdots \rightarrow P_2\rightarrow P_1\rightarrow P_0\rightarrow 0\rightarrow \cdots$$ ...
1
vote
0answers
62 views

“Stable model categories are categories of modules” - Clarification about a few things

I was reading Schwede and Shipley's "Stable model categories are categories of modules", I needed clarification about a few things: 1 - When they say that stable model categories are categories of ...
2
votes
0answers
35 views

Question about computing cohomology of trivial action on $\mathbb{Z}_{4}$

I'm currently considering the trivial action of the group $G = \mathbb{Z}_{2}$ on the group $A = \mathbb{Z}/4\mathbb{Z}$. It is easy to show that $|C^{2}(G,A)|$ = $2^{8}$ and that $|B^{2}(G,A)| \leq ...
1
vote
0answers
30 views

Hochschild homology of a free commutative algebra

Let $V$ be a graded vector space over $k$. Let $Com(V)$ be the free commutative algebra over V. Let $HH_*(-,k)$ be the Hochschild homology with coefficients in $k$ functor. My questions are : $$ ...
0
votes
1answer
49 views

A question about the definition of tensor product

Let $M$ and $N$ be modules over a ring $R$. Generally, the tensor product $M\otimes N$ is defined to be an abelian group with a balanced map $j:M\times N\to M\otimes N$ such that for any abelian group ...
1
vote
1answer
22 views

every projective module has a free complement.

I have to prove that every projective module has a free complement. Now Rotman ask it to first do for $R=Z/6Z$ and $P=Z/2Z$, We know $Z/6Z \cong Z/2Z \oplus Z/3Z$. Now $Z/2Z$ is projective as it a ...
3
votes
0answers
33 views

Calculating Hodge numbers by means of locally free resolutions

In this paper the author considers a smooth $3$-fold $X$ in $\Bbb{CP}^6$ with the following locally free resolutions of its structure sheaf and squared ideal sheaf: $$0\to \mathcal O_\Bbb {P^6}(-7) ...
1
vote
1answer
83 views

example of inverse limit and direct limit

Does a direct limit of projective need to be projective? And is the inverse limit of injectives injective? I guess they need not, but I can't find an example. Can you help please?
2
votes
1answer
40 views

Prove that $I_k \otimes_k \Omega \rightarrow I$ is injective

Let $\Omega$ be an algebraically closed field, $k$ a subfield of $\Omega$, $I$ an ideal of $\Omega[X_1, ... , X_n]$, and $I_k = I \cap k[X_1, ... , X_n]$. Then $I_k$ is an ideal of $k[X_1, ... , ...
1
vote
0answers
69 views

Let $R$ be a domain. Then $\operatorname{Tor}_n^R(A,B)$ is a torsion module

I have some problem to understanding the proof of this problem. This theorem is on page $414$ introduction to homological algebra Rotman. The theorem says: If $R$ is a domain, then ...
2
votes
2answers
60 views

How to show fraction field is flat (without localization)

Here I asked that if one can prove the field of fraction of a domain is flat. The answers used localization, which I am not familiar with. Can anyone prove it without using localization?
1
vote
2answers
51 views

Why field of fractions is flat?

I want to show this lemma: Let $R$ be a domain. If $A$ is a torsion $R$-module, then $\operatorname{Tor}_1^R (K,A)\cong A$ where $\operatorname{Frac}(R)=Q$ and $K=Q/R$. When I was reading ...
1
vote
0answers
24 views

$H^n(G,M)$ with a cyclic $G$

I have to show that $H^n( \text{Gal}(\mathbb{F}_{q^d}/\mathbb{F}_q),\mathbb{F}_{q^d}^{\times})=0$ if $n\geq 1$. I suppose I have to use the fact that if $G$ is cyclic generated by $\phi$ and $M$ is a ...
1
vote
1answer
28 views

torsion free module and injective envelop of this

suppose that $R$ be a domain, $M$ a torsion free $R$-module and $V=E(M)$, the injective envelop of $M$. Is it true that if $M$ is torsion free then $V$ is torsion free? I guess it is true because $V$ ...
3
votes
0answers
44 views

How much information about $R-\mathrm{Mod}$ can be extracted from $\underline{R-\mathrm{Mod}}$ and $K_0(R)$?

The question is in the title, so let me just repeat it: How much information about $R-\mathrm{mod}$ can be extracted from $\underline{R-\mathrm{mod}}$ and $K_0(R)$? Here ...
1
vote
1answer
26 views

Contractible chain complex

Suppose that we have a chain complex $... \to P_n \to ... \to P_1 \to P_0 \to 0$ (denote by $d_k:P_K \to P_{k-1}$ the differential of this complex) and suppose that we have $D_k:P_k \to P_{k+1}$ such ...
4
votes
1answer
42 views

Short exact sequence is split iff contractible

Let $0\rightarrow A\overset{f}{\rightarrow} B \overset{g}{\rightarrow} C\rightarrow 0$ be a short exact sequence in an abelian category. I am trying to prove this SES is contractible iff it is split. ...
0
votes
0answers
40 views

thorough proof of Mayer-Vietoris implies Excision

Where could I find a very complete proof of how the Mayer-Vietoris sequence implies the Excision theorem? I've read a few proofs, but they always leave out the details! Thank you!
1
vote
1answer
60 views

How do we get this quotient $\textrm{Ext}^1(N,M)/\textrm{Hom}(N,M)$?

If $0\longrightarrow M\longrightarrow E\longrightarrow N\longrightarrow 0$ is a short exact sequence of vector bundles on a surface. Here $M$ and $N$ are line bundles, and so rank $ E$=2. Also, if ...
0
votes
2answers
64 views

Exact sequence - proof

Let $R$ be a ring. Prove that a sequence of left $R$-modules and homomorphisms $$0 \to N_1 \xrightarrow{f} N_2 \xrightarrow{g} N_3$$ is exact if and only if for all left $R$-modules $M$ sequence ...
0
votes
1answer
116 views

Elementary proof that the category of modules is not self-dual

If $R,S$ are rings such that ${}_R \mathsf{Mod}$ is equivalent to ${}_S \mathsf{Mod}^{\mathrm{op}}$, then $R$ and $S$ are trivial. This is well-known. The usual proof uses of the notions of limit and ...
2
votes
0answers
46 views

Reference for proof of Hochschild-Kostant-Rosenberg for Hochschild cohomology

Is there a place where there is a full proof of the Hochschild-Kostant-Rosenberg Theorem for Hochschild cohomology? I am aware of many places where the result is proven for Hochschild homology i.e. ...
0
votes
0answers
41 views

Colimits in $Ch_R$, help with a step of the proof

I want to prove that the category of chain complexes of R-modules admits small colimits. I was told to try proving that the chain complex defined degree wise as the colimit of the modules of the same ...
3
votes
1answer
68 views

(Hopefully) Simple question about the exterior algebra functor

I have some (hopefully super) basic questions about the exterior algebra functor $$ \wedge:R\text{-Mod}\rightarrow R\text{-Alg}. $$ As I (think I) understand it, if one considers it as a functor ...
2
votes
1answer
47 views

Cohomology of a split cochain complex

I have $A$ and $B$ two graded vector spaces, and $D: A \oplus B \to A \oplus B$ with $D(a + b) = d_0(a) + d_1(a) + d_0(b)$ for $a \in A$ and $b \in B$, where $d_0 : A \to A$, $d_0 : B \to B$ and $d_1 ...
1
vote
0answers
42 views

Why a chain morphism can be factorized into a composition of a monomorphism with retraction and a homotopy equivalence?

Let $\mathscr{A}$ be an additive category and $f:X\rightarrow Y$ be a morphism of complexes in $\mathscr{A}$. The question is are there chain morphisms $h,g$ such that $f=gh$ where $h^{n}$ is a ...
2
votes
0answers
42 views

Computation of $Ext^*_R(k,k)$ as an algebra using a dga-resolution

There is a theorem (VIII.2.3) in Mac Lane's Homology that reads: Let $k$ be a commutative ring. Let $R,S$ be $k$-algebras, and let $U$ be a $k$-differential graded algebra. Suppose there is a ...
3
votes
1answer
30 views

Two short exact sequences with projective objects in the middle

Problem: Prove that for two short exact sequences $$ 0\rightarrow A \xrightarrow{f} B \xrightarrow{g} C \rightarrow 0 $$ $$ 0\rightarrow A' \xrightarrow{f'} B' \xrightarrow{g'} C \rightarrow 0, $$ ...
0
votes
0answers
8 views

How do I write the BRST-BV differential if I start with a dg Lie algebra and module?

The usual BRST-BV implements a Lie algebra and its module in terms of ghosts, etc. Where is there written a corresponding formula incorporating the differential of a dg Lie algebra and module? answer ...
0
votes
0answers
57 views

Question about Poincare duality and homology of a cylinder.

I am reading the paper. I have some questions about Poincare duality and homology of a cylinder. On page 9, example 2.6. Let $X = \mathbb{R} \times S^1$ be a cylinder and $Y = X/(0 \times S^1 )$, ...
1
vote
0answers
20 views

Simplicial Complexes of Graphs notation question

I'm studying Jakob Jonsson's book Simplicial Complexes of Graphs very rigorously and in depth. I've been okay so far with the intensity and notation, but on page Chapter 3, section 2, page 30, I'm ...
4
votes
1answer
98 views

Values of the Herbrand quotient

For a finite cyclic group $G$, there is the Herbrand quotient in the theory of group cohomology. I calculated some of those quotients and I always came up with an Integer as solution. I failed at ...
0
votes
1answer
124 views

commutes homology

I am trying to prove the following: Let $R,A$ be rings and $\mathrm T:$$\mathscr M_R$ $\to $$\mathscr A_R$ such that $\mathscr M_R$ is category of left R modules and $\mathscr A_R$ is category of ...
3
votes
1answer
141 views

Classification of finitely generated multigraded modules over $K[x_1,\ldots,x_n]$?

Let $K$ be a field and $R=K[x_1,\ldots,x_n]=\bigoplus_{a\in\mathbb{N}^n}Kx^a$ the multigraded polynomial ring. Have finitely-generated multigraded $R$-modules been classified? Are they of the ...
1
vote
1answer
35 views

About a chain homotopy

Assume that $C=\lbrace C_{q},d_{q}\rbrace$ is a chain complex with each $C_{q}$ a free $R$-module. Let $C^{'}$ be another chain complex. Furthermore, assume that each $H_{q}$ is also free and that we ...
0
votes
0answers
46 views

Spectral sequences and Ext between extension of modules

Suppose $A$ is a commutative ring, $M_1,M_2,N_1,N_2$ are $A$-modules and we have two exact sequences of $A$-modules $$0\to M_1\to M\to M_2\to 0,$$ $$0\to N_1\to N\to N_2\to 0.$$ I want to write a ...
2
votes
2answers
54 views

diagram of short exact sequence

I have this commutative diagram of vector complex spaces where all the sequences that appear are short and exact. is there a way to say that $H$ is the intersection between $W1$ and $W2$?
3
votes
0answers
37 views

Tensor product of flat modules - proof verification

Let $A$ be a commutative ring, and let $B,C$ be commutative $A$-algebras. Let $M$ be a flat $B$-module and $N$ a flat $C$-module. I want to show that $M\otimes_A N$ is a flat $B\otimes_A C$-module. ...
0
votes
1answer
31 views

$p_k \colon M_k \to N_k$ is onto for $k>0$, if $p_0$ induces an iso on homology level, prove that $p_0$ is onto

We are working in $\textbf{Ch}_R$, chain complexes of $R-$modules. As the title suggest, I'm given a map (of chain complexes) $p\colon M \to N$ which is onto for $k>0$. It is known that ...
3
votes
1answer
51 views

Prove that $Ker(g \otimes k)= Im(f \otimes 1_{N}) + Im (1_{M} \otimes h)$

Suppose we have two short exact sequences: $$0 \to M' \mathrel{\overset{f}{\to}} M \mathrel{\overset{g}{\to}} M'' \to 0 $$ in Mod-R $$0 \to N' \mathrel{\overset{h}{\to}} N \mathrel{\overset{k}{\to}} ...
1
vote
1answer
62 views

Why is this Hilbert's Syzygy theorem?

In Lang's Algebra, chapter XXI, §4, on p. 861 he describes the standard construction of a graded (in principle infinite) free resolution of a finite graded module $M$ over the polynomial ring $A = ...
1
vote
0answers
33 views

If $Ext_A^n(M,N) \ne 0$, then $Ext_A^n(M,N') \ne 0$, for every indecomposable summand N' of N?

Let $A$ be an artin algebra and $M$ and $N$ finitely generated modules over $A$. Suppose that $Ext_A^n(M,N) \ne 0$, is it possible to conclude that $Ext_A^n(M,N') \ne 0$, for each indecomposable ...
1
vote
0answers
28 views

Reference for derived functor

I'm following a course in algebraic geometry and in 2-3 month we will see the cohomology of schemes using derived functors. I don't know anything about it, (and about category theory in general), ...
1
vote
0answers
37 views

Counterexample to exactness of functor from group representations to fixed points

I recently asked this question. Now, the answer there claimed that the functor $()^G:Rep_G\to Vect_{\mathbb{C}}$, where $Rep_G$ are complex representations of a group $G$, and $V^G=\{v\in V: ...
7
votes
1answer
64 views

Intuitive explanation of Four Lemma

In the Short Five Lemma where the rows are exact, it is a fact that $$\alpha \text{ and }\gamma \text{ injective (surjective) }\implies \beta \text{ injective (surjective)}.$$ I've heard this fact ...
2
votes
1answer
58 views

(An arbitrary direct product of free modules need not be free)

For each positive integer $i$ let $M_i$ be the free $\Bbb Z$-module $\Bbb Z$, and let $M$ be the direct product $\prod _{i \in \Bbb Z^+} M_i$. Each element of $M$ can be written uniquely in the form ...
3
votes
1answer
87 views

If the cohomology of two objects in the derived category are equal, are the objects isomorphic?

Let $\mathcal{A}$ be an abelian category. Given objects $A^\bullet,B^\bullet$ in the derived category $D(\mathcal{A})$. Assume that $H^n(A^\bullet)=H^n(B^\bullet)$ for all $n\in\mathbb{Z}$. Can we ...
1
vote
0answers
39 views

Shapiro's Lemma-Finding the inverse of an isomorphism.

Consider the isomorphism $\phi: H^n(G, Hom_{ZH}(ZG, A))\cong H^n(H,A)$ of shapiro's lemma. I would like to describe this via cochains. So the obvious map is $\phi(f+B^n(G,Hom_{ZH}(ZG, A) ...