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

How do biadditive bifunctors extend to complexes?

$\newcommand{\Mod}{\operatorname{Mod}}$ Let $A, B$ be two rings, and let $F:\Mod A\times \Mod A \to \Mod B$ be a biadditive bifunctor. I want to extend $F$ naturally to a bifunctor from complexes ...
7
votes
0answers
86 views

Galois Group of Composite Field vs. Second Isomorphism Theorem

$\DeclareMathOperator{\Gal}{Gal}$ In my abstract algebra class, we learned about how Galois groups interact with composite fields. Namely, if $K/F$ is Galois, and $L/F$ is any extension: $$\Gal(KL/L) ...
2
votes
1answer
86 views

Additive functor is exact $\iff$ quasi-ismorphisms preserved?

While reading Weibel's Homological Algebra, on pg. 391 he considers an additive functor $F:\mathcal{A}\to\mathcal{B}$ between abelian categories, and writes "If $F$ is not exact, then the induced ...
1
vote
1answer
37 views

If a left ideal I of R is an injective R-module then I is a projective R-module. Is the converse true?

I was trying to prove the first statement using some characterizations of injective and projective modules but it did not work out. Could someone drop some hints?
1
vote
1answer
37 views

If a left ideal of R is a direct summand of R, is I an injective R-module?

This was an exercise question I encountered in the book on Homological algebra by Vermani. I am unable to prove it or find a counter example.
5
votes
1answer
106 views

Space with prescribed local homology

Lets be $G_n$ sequence of abelian groups and $G_0 = \mathbb{Z}$. Is there topological space $X$ that local homology groups at every point are those $G_n$ ? ie. $$ \forall x\in X \; \forall ...
1
vote
2answers
39 views

Some projective property of projective resolution

In the proof of lemma 3.2 in this PDF, it said: Let $0 → A → A′ → A′′ → 0$ be a short exact sequence. $P′′_{*}→ A′′$ be a projective resolution. (i.e. $ ··· P_{1}′′→ P_{0}′′ → A′′ → 0$ is exact ...
4
votes
0answers
98 views

Eilenberg-Moore Spectral Sequence for Homology with Coefficients in the Integers

I am trying to learn about the Eilenberg-Moore spectral sequence to compute homology and cohomology. I have been using Hatcher's book on spectral sequences and also McCleary's "A User's Guide to ...
4
votes
1answer
162 views

Universal coefficient theorem with ring coefficients

The universal coefficient theorem for cohomology reads: $$0 \to Ext(H_{n-1}(C), R) \to H^n(C;R) \to Hom(H_n(C), R) \to 0,$$ where $C$ is a chain complex of free abelian groups and $R$ is a ring. It ...
0
votes
0answers
24 views

free resolutions of $\mathbb Z$ in Mod(G)

Lang Algebra, XX.2,3 I'm asked to show that $E_\bullet \cong F_\bullet$ are isomorphic free resolutions of $\mathbb Z$, in Mod(G), where $E_\bullet$ is the standard complex: $E_i$ is the free ...
1
vote
1answer
69 views

Naturality condition for connecting homomorphisms?

I've been reading about the Mayer-Vietoris sequence, but I don't follow a certain naturality condition. Suppose two spaces can be written as $X=X_1^\circ\cup X_2^\circ$ and $Y=Y_1^\circ\cup ...
2
votes
1answer
77 views

Ring structure on $Ext$ and $Tor$

Wikipedia says that in certain situations, $Ext^\ast_A(R,R)$ becomes a ring, such as when $A$ is an augmented $R$-algebra, but the outline is too sketchy for me to understand. I can't find this in ...
2
votes
1answer
81 views

Conditions to ensure the chain homotopy category $K(\mathcal{A})$ is abelian?

It is known that the chain homotopy category $K(\mathcal{A})$ for an abelian category $\mathcal{A}$ need not be abelian. For example, $K(\mathrm{Ab})$ is not even abelian. Are there any known ...
0
votes
1answer
38 views

Examples of functors

Can anyone please give me examples of: 1.- An exact functor other than taking the Galois group from the category of fields. 2.- A half exact functor. 3.- A contravariant right exact functor. I ...
0
votes
0answers
20 views

Exact sequence of linear spaces

While reading Nigel Higson's book Analytic K-homology i found the result (which was known to me earlier, but I never saw the proof) that the index of the product of two Fredholms operators is the sum ...
2
votes
1answer
91 views

Global dimension of $\mathbb Q [x]$

I'm trying to show that the global dimension of $\mathbb Q [x]$ is $1$. I have shown that $D(\mathbb Q [x]) \leq 1$ as follows. One can reduce to the case of showing that ...
1
vote
1answer
62 views

The first Weyl algebra is Calabi-Yau

Why is the Weyl algebra $A_1(k)$ over a field $k$ Calabi-Yau? (My definition of Calabi-Yau is Ginzburg's)
0
votes
2answers
64 views

Show that Q, as a Z module, is a direct summand in a direct product of copies of Q/Z.

Prove:Q, as a Z module, is a direct summand in a direct product of copies of Q/Z. This is a problem from P.J.Hilton&Stammbach's Homological Algebra. If this is true, then there exists a ...
3
votes
1answer
84 views

Why we can consider both modules as modules over $R_{(p)}$? (Bruns and Herzog, Theorem 1.5.9)

I'm reading Bruns-Herzog's book Cohen Macaulay rings and have a probably elementary question. Why we may consider both modules as modules over $R_{(p)}$ in this theorem? ... i know that ...
0
votes
1answer
54 views

Injective dimension and depth

Here is Bruns and Herzog's book Cohen-Macaulay Rings, Theorem 3.1.17: Let $R$ be a Noetherian local ring, and $M$ a finite $R$-module of finite injective dimension. Then $\operatorname{inj\ ...
3
votes
1answer
95 views

Tor sheaves on schemes

I was trying to understand the definition of "Tor sheaves", but since it is defined in the derived category of sheaves of $\mathcal{O}_X$-modules and since I am not acquainted with derived categories ...
2
votes
1answer
96 views

Why is $\mathsf{HTAG}$ (Hausdorff, Topological, Abelian Groups) preabelian?

The category of Hausdorff topological abelian groups are commonly cited as an example of a category which is preabelian, but not abelian. I think one reason that is is not abelian comes from the ...
3
votes
1answer
63 views

S-modules and Schur functors

I am reading the book "Algebraic Operads" by Loday and Vallette. (I will refer to their version 0.999 here : http://math.unice.fr/~brunov/Operads.pdf) In Chapter 5, they define an $\mathbb{S}$-module ...
0
votes
1answer
66 views

Direct proof for the independence of $\operatorname{Tor}$

It is known that $\operatorname{Tor}$ is independent of the choice of the resolution. More specifically, I am trying to do the exercise 1 (c) of Vick's homology theory. The author gives the ...
0
votes
1answer
79 views

History of five lemma

I am interested in the history of five lemma. Who was first to prove it and What was the purpose of proving it ? http://en.wikipedia.org/wiki/Five_lemma
2
votes
1answer
52 views

A Sort of Exact Sequence

I have not given a lot of thought to this question: It may be very easy or very hard or somewhere in between. Suppose we have a sequence of modules and morphisms which looks like $ \ldots \to A_1 ...
3
votes
2answers
72 views

How can I compute $\operatorname{Tor}(\mathbb Z_{p},\mathbb Z_{q})$?

I am self-studying Vick's Homology Theory, and now it is on the topic of free resolutions. Since I am not familiar with it, I have little ideas about how to compute $$\operatorname{Tor}(\mathbb ...
0
votes
1answer
29 views

$[X,F] \to [X,E] \to [X,B] $ is exact sequence of pointed sets

how to show: if $F \to E \to B $ is a fibration then for any space $X$ the sequence $[X,F] \to [X,E] \to [X,B] $ is exact sequence of pointed sets. any hints, thanx.
1
vote
1answer
55 views

Example of excision in Hochschild homology

The excision theorem for Hochschild homology introduced by Wodzicki seems like a very powerful tool (as scision was hyper-useful in topology). However, I cannot actually seem to think of a result ...
1
vote
0answers
27 views

Homology of the fixed points of the singular complex of a G-space

Suppose $X$ is a topological space and $G$ a finite group acting on it. We can form the singular complex $C_\bullet(X),$ and then taking homology gives singular homology: $H_*(X) = h_* C_\bullet(X).$ ...
2
votes
1answer
69 views

The space $\Delta^n$ with all faces of the same dimension.

If the space $A$ is obtained from $\Delta^n$ by identifying all faces of the same dimension; What is a $\Delta$-complex structure on the space $A$? And how can you compute the Simplicial Homology ...
2
votes
1answer
76 views

Is any right exact sequence of modules induced by free modules?

Let $R$ be a ring and let $M \to N \to K \to 0$ be an exact sequence of $R$-modules. Is there an exact sequence of free modules $A \to B \to C \to 0$ and a commutative diagram $$\begin{array}{c} M ...
0
votes
1answer
39 views

Tor of submodule

Let $R$ be a $CRing$. If $i:A \rightarrow B$ is the inclusion of a $R$-subalgebra A into an $R$-algebra $B$, then what is ther relationship between: $Tor_{A^e}$ and $Tor_{B^e}$?
1
vote
0answers
32 views

Coproducts and Hochschild

I $\{X_i\}$ is a small family of associative $\mathbb{C}$-algebras and $X$ is their free product. Then I have two questions: 1) Why is $X$ their coproduct? 2) Is the Hochschild homology of X ...
1
vote
1answer
45 views

Natural map of extension groups

Let $\Lambda$ be a cocommutative Hopf algebra over a commutative ring $R$. For two left $\Lambda$-modules $M$ and $N$, interpret $\mathrm{Ext}_{\Lambda}^n(M,N)$ as the set of equivalence classes of ...
0
votes
1answer
62 views

Relative singular chains basis

If $(X,A)$ is a pair, then $S_k(X,A):=S_k(X)/S_k(A)$ is free on the singular simplicies of $X$ with image not contained in $A$. Why is this so? I tried to give a proof by checking the mapping property ...
0
votes
1answer
102 views

Book for advanced homological algebra

I already read the books: 1.- An introduction to homological algebra - Rotman (the two versions of it) 2.- An introduction to homological algebra - Weibel 3.- A course on homological algebra - ...
2
votes
1answer
74 views

Why is Hochschild cohomology just a group and mot a module?

This is probably a very basic question in Hochschild theory. Let $k$ be a field, and let $A$ be a $k$-algebra (which is not commutative). If $M$ is an $A$-bimodule, then the $n$-th Hochschild ...
2
votes
1answer
146 views

Definition/existence/uniqueness of a minimal projective resolution

I'm reading Dave Benson's book "Representations and Cohomology," Volume I, and I'm trying to understand the following discussion on page $32$ in which he introduces the notion of a minimal projective ...
1
vote
1answer
38 views

Hom($P$, $R$) $\neq 0 $ if $P$ is a nonzero projective left $R$-module (Rotman)

I've found this exercise, number $3.11$ from Introduction to homological algebra. Prove that $\operatorname{Hom}(P, R) \neq 0 $ if $P$ is a nonzero projective left $R$-module. Any hint?
1
vote
1answer
24 views

Global Dimension 1, right annihilator

Let $R$ be a ring with right global dimension 1. Then I am trying to show that for any $a\in R$ if we define the right annihlator $r(a)=\{x\in R|ax=0\}$ then we have that $\exists e\in R$ such that ...
0
votes
1answer
143 views

Is it true that $\operatorname{inj.dim}_R R= \operatorname{inj.dim}_R \widehat{R}?$ Is there a one-sided inequality?

$(R,m)$ is a local ring. Is it true that $\operatorname{inj.dim}_R R= \operatorname{inj.dim}_R \widehat{R}?$ Is there a one-sided inequality? (Here $\operatorname{inj.dim}$ denotes the injective ...
2
votes
1answer
94 views

Question about the definition of homology

$\quad$ The functor $H_n$ measures the number of “$n$-dimensional holes” in the space (or simplicial complex), in the sense that the $n$-sphere $S^n$ has exactly one $n$-dimensional hole and no ...
0
votes
2answers
48 views

Topological dimension and derham cohomological dimension

If G is a compact complex manifold then does the topological dimension bound the deRham cohomological dimension below? By derham cohomological dimension, I mean the largest extended natrual number ...
0
votes
0answers
13 views

Proof: The dual of the Homology $(H_{n-k})^{*}$= Homology $H_{n-k}$ over the reals?

Proof: The dual of the Homology $(H_{n-k})^{*}$= Homology $H_{n-k}$ over the reals ? So by dual, I mean the linear maps on $H_{k}$. I need this to understand the Poincare duality i.e. $H_{k}\cong ...
1
vote
0answers
18 views

Examples of d-extensions in realisation of $\operatorname{Ext}^d$

If $R$ is a commutative unital associative ring and $A$ is an $R$-algebra of dimension $d$, which is local as a ring, then from dimension theory we know that the global dimension of $A$ must be at ...
1
vote
1answer
67 views

Local Cohomology - Theorem 3.5.8 in Bruns and Herzog, Cohen-Macaulay Rings

This question arises in the context of Theorem 3.5.8 in Bruns and Herzog, Cohen-Macaulay Rings. Let $(R,m)$ be a local complete Cohen-Macaulay ring of dimension $d$. Denote by $H_m^d(-),\omega_R$ ...
9
votes
2answers
560 views

Surprising applications of cohomology

The concept of cohomology is one of the most subtle and powerful in modern mathematics. While its application to topology and integrability is immediate (it was probably how cohomology was born in the ...
1
vote
1answer
35 views

Question about relative singular homology groups

I know that the sphere $S^{\infty}$ is contractible, but why if $H$ is a Hilbert space then we have $$H_q(H,S^{\infty})=0, q\in \mathbb{N}?$$ Please help me Thank you
3
votes
1answer
63 views

Relating Ext groups of abelian groups and group cohomology

One can define $\mathrm{Ext}$-groups in the category of abelian groups (not $\mathbb{Z}[G]$-modules) and group cohomology in very similar ways. The second, group cohomology, can be computed in the ...