Tagged Questions

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

If $\Gamma$ is $\Lambda$-projective and $C$ is $\Gamma$-injective, then $C$ is $\Lambda$-injective.

This is a problem I ran into while reading Cartan Eilenberg's Homological algebra pg 30. Given a unital ring homomorphism $\varphi:\Lambda\to\Gamma$, I want to prove the underlined statement. I ...
0
votes
0answers
6 views

dual hopf algebras

Let $X$ be an H-space with product $\mu$. Let diagonal map $\Delta: x\mapsto (x,x)$. Let $F$ be a field. (1). Then by Kunneth formula, $H_*(X\times X;F)=H_*(X;F)\otimes H_*(X;F)$. (2). Hence $$ ...
4
votes
2answers
40 views

Rank-nullity theorem for free $\mathbb Z$-modules

From linear algebra we know that given vector spaces $V$, $W$ over a field $k$ and a linear map $f\colon V\to W$ we have $$\dim V = \dim \operatorname{im} f + \dim \ker f.$$ Is this still true when ...
9
votes
2answers
76 views

Contents of Tor modules

I'm interested in knowing a concrete description of what elements of Tor modules $\mathrm{Tor}^i_R(M,N)$ "are". As it stands I have no real intuition for, say, maps between Tor modules induced by ...
1
vote
1answer
21 views

making an injective resolution for $A$.

suppose $A^{'}$ is sub module of $A$ and $$0\rightarrow A^{'}\overset{(d^{-1})^{'}}{\rightarrow}(I^{0})^{'} \overset{(d^{0})^{'}}{\rightarrow} (I^{1})^{'}\rightarrow \ldots $$ is injective resolution ...
1
vote
1answer
29 views

Dependence of Euler characteristic on the coefficients

My question is similar to this one but I think it is different. Suppose we are given an infinitely generated free abelian group, which forms a $\mathbb{Z}_{2}$-graded chain complex, such that its ...
3
votes
1answer
26 views

Does exactness in each variable coincide with exactness of the product?

Let us restrict to the category of modules. I'm thinking about the definition of exactness of a functor on two variables. The usual definition is that it is exact in each of the two variable, whereas ...
2
votes
2answers
36 views

Reference request for equality of torsion of H1 and H2

I have heard that for a surface $X$ (algebraic? smooth? compact?) the torsion part of $H_1(X,\mathbb{Z})$ is the same as that of $H_2(X,\mathbb{Z})$. Please could you give me a correct statement? I ...
1
vote
0answers
31 views

What is the trivial module functor?

In Weibel's book on homological algebra, he mentions the trivial G-Module on page 160. By this, does he mean the the functor $\mathcal{F}: \text{G-Mod} \to \text{G-Mod}$ by making $G$ act trivially on ...
1
vote
1answer
51 views

Pullback and Kernel

We consider everything in the category of groups. It is known that monomorphisms are stable under pullback; that is, if $$\begin{array} AA_1 & \stackrel{f_1}{\longrightarrow} & A_2 \\ ...
1
vote
0answers
33 views

Total complex homology exact sequence

I'm been trying to do this problem (Problem 5.1.1) from Weibel's Introduction to Homological Algebra but I can't really see how to finish it. The statement of the problem is summarized as follows: ...
0
votes
0answers
14 views

Quasi-isomorphisms are localizing in the homotopy category of cochain complexes

I'm having trouble grokking the proof of the above fact in Gelfand-Manin, Theorem 4 of III.4, page 161-162. I don't think it makes sense to copy out everything here, I'll just assume you have a copy. ...
2
votes
1answer
66 views

Analogue in algebra for characteristic classes?

By Swan's Theorem, we know that projective modules over a ring are an algebraic analogue of vector bundles over a base space. Is there some sort of cohomology theory of rings (or modules? or schemes, ...
1
vote
0answers
49 views

Can a chain subcomplex be a direct summand but it's 'origin' is not? (group homology)

Let $H\!\leq\!G$ be finite groups and $C_\ast(H)\!\leq\!C_\ast(G)$ their bar complexes (each $C_k(G)$ is a free $R$-module with basis $(G\!\setminus\!\{1\})^k$). Is it possible that $H$ is not a ...
1
vote
0answers
42 views

Prove that $M$ is a complex.

Let $f:(A,d) \rightarrow (A^{'},d^{'})$ be a chain map. For each $n$ define $$M_{n}=A_{n-1} \oplus A^{'}_n$$ and $\Delta_{n} :M_{n} \rightarrow M_{n-1}$ by $$\Delta_{n}:(a_{n-1},a_{n}^{'}) ...
5
votes
0answers
54 views

duality for (co)homology of Lie algebras

Let $R$ be a commutative ring and $\mathfrak{g}$ a Lie $R$-algebra that has an $R$-module basis with $n$ elements. What is the relationship between $H_k(\mathfrak{g};R)$, $H_{n-k}(\mathfrak{g};R)$, ...
0
votes
0answers
26 views

a question about covariant and countravariant exact functor .

Let $T:‎_{R}‎\mathfrak{M}‎‎ \rightarrow ‎_{R}\mathfrak{M}‎$ be an exact (covariant) functor. For each $n \in \mathbb{Z}$ and every complex $A$ of R-modules, prove that $H_{n}(TA) \cong TH_{n}(A) $. ...
0
votes
0answers
21 views

Koszul complex and locally free resolution

Let $V$ be an $n$-dimenational vector space. We consider the tautological sequence on the Grassmannain $Gr_{k}(V)$ $$ 0 \to \Gamma \to V \times Gr_k(V) \to Q \to 0,$$ and the projection $p:V \times ...
3
votes
1answer
169 views

Forgetful functor from R-modules to abelian groups?

I am trying to see, if the forgetful functor from $\mathbb{Z}[X]$-modules to abelian groups is exact and in case it is not exact, is it left or right exact. In general, i understand the definition of ...
0
votes
0answers
69 views

exercise 6.15 from joseph rotman's introduction to homological algebra .

(i) If $f:A \rightarrow A^{'}$ is a chain map, there is an exact sequence $$0 \rightarrow A^{'} \overset{i}{\rightarrow} M(F) \overset{p}{\rightarrow} A^{+} \rightarrow 0$$ where $i_{n}:A_{n}^{'} ...
1
vote
1answer
41 views

The Verdier Quotient

In A.Neeman's book and D.Murfet's notes I have been reading about the construction of the Verdier quotient of a triangulated category, $\mathscr{T}$, by some triangulated subcategory $\mathscr{C}$. In ...
0
votes
0answers
23 views

Show that C is a split exact chain complex if and only if the identity map on C is null homotopic.

Show that C is a split exact chain complex if and only if the identity map on C is null homotopic. any hint or reference or idea will be great,thank you very much.
2
votes
1answer
44 views

Let $f$ be a morphism of chain complexes. Show that if $ker(f)$ and $coker(f)$ are acyclic, then $f$ is a quasi-isomorphism.

Let $f$ be a morphism of chain complexes. Show that if $ker(f)$ and $coker(f)$ are acyclic, then $f$ is a quasi-isomorphism. Is the converse true? I am self reader of homology algebra and I stuck in ...
2
votes
3answers
110 views

Undergrad level presentation on homological algebra and some related topics

I'm a TA of an introductory course about modules, category theory and homological algebra and the students have to do a 2 hour long presentation as a final exam. There's one student who really likes ...
1
vote
1answer
51 views

Showing regularity by the Auslander-Buchsbaum formula

Let $R$ be a Noetherian local ring with maximal ideal $\mathfrak{m}$ and residue field $k$ with $\operatorname{gl.dim}(R) < \infty$. According to this Wikipedia article it follows from the ...
1
vote
1answer
66 views

Koszul Homology vs Koszul Cohomology

Let $R$ be a ring and $x \in R$. The Koszul complex $K_\bullet(x)$ is then $0 \rightarrow R \stackrel{x}{\rightarrow} R \rightarrow 0$. Given $x_1,\dots,x_n \in R$ the Koszul complex ...
0
votes
0answers
13 views

Reference request for Homology Gysin sequence.

I am trying to study the Homology Gysin sequence (not cohomology). I am interested in finding references that either use, or explain the Homology Gysin sequence, especially if it gives descriptions ...
0
votes
0answers
17 views

which condition is for testing whether is invariant functor

Assume F is functor Tor(Hom(X,Y), Hom(F(X), F(Y))) = 0 is F injective (faithful) or surjective (full) or bijective (fully faithful) ? if question 1 is not bijective, which condition such as function ...
0
votes
0answers
16 views

Injective resolution of complexes equivalent to regular definition

Let A be an abelian category and let $A \in $ A. Denote by InjA the category of injective objects of A. We denote by $A\langle0\rangle$ the complex concentrated in degree zero. I define an injective ...
0
votes
0answers
53 views

Tensoring an exact sequence of $R$-modules with $R/x$

Let $R$ be a commutative ring with an $R$-module $M$, and let $x \in R$ be an $M$-regular element. Then tensoring any short exact sequence $0 \to B \to A \to M \to 0$ with $R/x$ yields a short exact ...
1
vote
1answer
31 views

Misunderstanding in Cartan-Eilenberg?

In Cartan Eilenberg's Homological algebra, page 13 it says: If $\Gamma$ is a principal ideal ring, then each ideal $I$ of $\Gamma$ is isomorphic with $\Gamma$, thus $I$ is free and $\Gamma$ is ...
0
votes
1answer
33 views

$\operatorname{left.fin.dim}(A)=0$ if and only if $\operatorname{soc}(A_A)$ contains an isomorphic copy of every simple right $A$-module

I've been trying to find an (easy) example to show that there exists an Artin algebra $A$ such that $\operatorname{right.fin.dim}(A)\neq\operatorname{left.fin.dim}(A)$, where ...
2
votes
1answer
95 views

Elementary motivations for free resolutions

Let $M$ be a finitely generated module over a Noetherian ring $R$ which admits a finite free resolution $0 \to F_n \to \dots \to F_0 \to M \to 0$. There is no doubt that knowing such a resolution is ...
1
vote
1answer
42 views

vanishing of an Ext-Functor for a finite graded module of positive grade over a polynomial ring

Let $k$ be a field and $S=k[x_1,\dots,x_r]$ the polynomial ring in $r$ indeterminates. Let $M$ be a finitely-generated, graded $S$-module, such that there exists a homogeneous $M$-regular element $\xi ...
0
votes
1answer
40 views

If $F$ is a left exact functor is $A$ acyclic iff $F$ preserves exactness of every SES $0\to A\to B\to C\to 0$?

If $F:\mathscr{A}\to\mathscr{B}$ is a left exact functor between abelian categories where $\mathscr{A}$ has enough injectives, is it true that $A$ is an acyclic object iff $F$ preserves exactness of ...
1
vote
0answers
46 views

Covering Spaces in Representation Theory.

I'm reading the paper "Covering Spaces in Representation Theory" of K. Bogartz and P. Gabriel. Now I'm in section 2, proposition 2.3, on the first three lines concludes that the functor $l \mapsto ...
4
votes
1answer
38 views

examples of additive categories which have morphism that has no kernel and morphism has no cokernels.

can you tell me examples of additive categories which have morphism that has no kernel and morphism has no cokernels. if you tell me reference which provide this kind of examples it will be ...
0
votes
1answer
21 views

the category of divisible abelian groups, $\pi:\mathbb{Q} \rightarrow \frac{\mathbb{Q}}{\mathbb{Z}}$ is monic but not one to one.

show that in the category of divisible abelian groups, natural mapping $\pi:\mathbb{Q} \rightarrow \frac{\mathbb{Q}}{\mathbb{Z}}$ is monic but not one to one. if you give me hint,Idea or reference ...
0
votes
0answers
38 views

To check d^2= 0 in the standard complex of Lie superalgebras.

For a Lie superalgebra $\mathfrak{g}$ and a $\mathfrak{g}$-module $V$ we can define the cohomology $H^i(\mathfrak{g}, V)$ with coeffiecient in $V$ to be the cohomology space of the following complex: ...
0
votes
1answer
28 views

In general Morita context, does P and Q being progenerators imply that it is an isomorphism?

Let $(A,B,P,Q,f,g)$ be a general Morita context (that is $A$,$B$ rings, ${}_AP_B$ and ${}_BQ_A$ and $f:Q\otimes_AP\rightarrow B$, $g:P\otimes_BQ \rightarrow A$ bimodule morphisms that satisfy the ...
0
votes
1answer
33 views

Is there any way to show that an equation of this form splits?

If I have this exact sequence $\mathbb{Z}^2 \rightarrow B \rightarrow \mathbb{Z}^n\rightarrow \mathbb{Z}$, does it split? If so how do I know.
0
votes
1answer
27 views

Proving that some property on a chain complex of groups implies isomorphism between direct sums of these groups.

Let $C_*$ be a chain complex such that every $C_i$ is a torsion-free finitely generated abelian group, with $C_i=0$ for every $i<0$ and every $i>N$ for some sufficiently large integer $N$. If ...
2
votes
2answers
108 views

Elementary way to show the exact sequence $0 \to M \to \mathbf Z^2 \to \mathbf Z \to 0$ implies $M = \mathbf Z$

I am computing the singular homology of spheres by induction. In the process, I have come across the following short exact sequence $$0 \to H_1(S^1) \to \mathbf Z^2 \to \mathbf Z \to 0.$$ I wonder ...
1
vote
1answer
33 views

Quasi-isomorphism from “almost acyclic” complex to its homology

The following is an exercise in the book Representation Theory of Finite Reductive Groups by Cabanes and Enguehard. Let $\mathcal{A}$ be an abelian category. Let $X$ be a complex of objects of ...
2
votes
1answer
43 views

Ext groups for fraction field and a module annihilated by an element

Suppose $Q$ is the field of fractions for a domain $R$ and $A$ is an $R$-module such that $rA = 0$ for some $0 \ne r \in R$. Why is it the case that $\text{Ext}_R^n(Q,A) = 0$ for all $n \ge 0$? I ...
1
vote
1answer
19 views

On the relations between rank and torsion of homology and cohomology of a CW pair.

I am reading Massey's book on algebraic topology and on the chapter of universal coefficient theorem of cohomology, there is this exercise 4.1 that I don't know how to solve. Let (X,A)be a pair such ...
3
votes
2answers
67 views

Free objects in the category of dg modules

Suppose that $A$ is a dg algebra, does the category of dg modules over $A$ where morphisms are degree zero maps that commute with differential have a free object ( in general)? I have been reading a ...
3
votes
0answers
45 views

A variant of projective objects?

Let $\mathcal{C}$ be an additive category. Is there a common name for objects $P \in \mathcal{C}$ with the property that $\hom(P,-) : \mathcal{C} \to \mathsf{Ab}$ is right exact, i.e. preserves all ...
2
votes
0answers
116 views

Learning roadmap in Algebra

I am a senior undergraduate student in mathematics, I have a sound knowledge in the following areas: a) Commutative Algebra b) Field Theory and Galois Theory c) Homological Algebra My question is ...
0
votes
1answer
25 views

Basic idea for finding critical point via Morse theory

Please what is the basic idea for finding critical point via Morse theory and critical groups? Thank you