Abelian categories are categories that possess most of properties of categories of modules over a ring, e.g. abelian group structure on morphisms, existence of kernels and cokernels of morphisms, existence of direct products and directs sums, etc.

learn more… | top users | synonyms

2
votes
0answers
8 views

Noetherian objects are stable by extension

Let $\mathcal{A}$ be an abelian category. An object $M$ in $\mathcal{A}$ is noetherian if any ascending chain of subobjects of $M$ is stationary. (In analogy with modules.) I am trying to prove that ...
0
votes
0answers
24 views

How to show the homotopy category is not abelian [duplicate]

Suppose $K^+(M)$ is the category, whose objects are bounded below complex of abelian groups, morphisms are chain maps modulo homotopy equivalence. How to show the category is not abelian? Exercise ...
4
votes
1answer
59 views

Is $\coprod \subseteq \prod$ true in any (complete cocomplete) Abelian category?

Consider $A_i, \; i \in I$ a collection of objects in an Abelian category with arbitrary products and coproducts $\mathcal{C}$. Is there always a functorial monomorphism $\coprod_{i}A_i ...
3
votes
1answer
81 views

The homotopy category of complexes

I have some trouble in proving Exercise A3.51 of Eisenbud's book "Commutative Algebra with a view toward Algebraic Geometry", pag. 688. The solution is sketched at pag. 754 at the end of the book. The ...
3
votes
1answer
49 views

Abelian subcategory generated by a full subcategory.

If $\mathcal{C}$ is a full subcategory of an abelian category $\mathcal{C}'$ to what extent does the abelian subcategory generated by $\mathcal{C}$ depend on the ambient category $\mathcal{C}'$? ...
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 ...
0
votes
1answer
32 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$$ ...
3
votes
0answers
41 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 ...
4
votes
1answer
35 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. ...
1
vote
1answer
53 views

Example of Abelian Group of order 2014 [closed]

What are some examples of Abelian Groups of order $2014$ ?
0
votes
1answer
40 views

Is every monomorphism a homonomorphism?

Let $\mathcal T$ be a pre-triangulated category, $u:X\to Y$ a morphism. Then $u$ is a homonomorphism if its homotopy kernel is $0,$ i.e. there exists a distinguished triangle of the form ...
3
votes
1answer
68 views

Why are functors exact if they preserve all short exact sequences?

If a functor $F\colon \mathcal C → \mathcal D$ of abelian categories preserves short exact sequences, why is it exact? I know the argument is supposed to be that you can split up long exact sequences ...
2
votes
1answer
52 views

Reference request: Derived category of category with sufficiently many injectives

I'm studying derived categories and have encountered problem with references I have. Namely, proof of the following theorem: Theorem: Let $\mathcal A$ be Abelian category and $\mathcal I$ full ...
1
vote
0answers
27 views

Filtered colimits are exact in abelian categories

It is well known that filtered colimits commute with finite limits in $\mathsf{Set}$, and hence in every algebraic category - $R\mathsf{Mod}$ in particular. Unless I'm wrong, from the Mitchell ...
0
votes
1answer
40 views

Examples of thick subcategory

I'd like to know several examples of thick/Serre subcategory of an abelian category, I have no one in mind now. Help me please!
1
vote
2answers
19 views

Kernel of biproduct projection is the other biproduct injection

For some reason I'm unable to figure out what should be a trivial step in a proof.. Let $A\oplus B$ be a biproduct with injections $i_1,i_2$ and projections $p_1,p_2$. I aim to prove $i_1=\ker p_2$. ...
1
vote
1answer
26 views

A morphism to the mapping cone?

In the second part of the proof for the Proposition 2. in Derived Categories by Daniel Mufet, one finds the following: A collection of morphisms $f^n:Q^n\to X^n\oplus Y^{n-1}$ with components ...
2
votes
1answer
48 views

When is an object in a linear or abelian category simple? Or: How should I define fusion categories?

I'm confused about the notion of simple objects. Now ncatlab says that an object is simple in an abelian category if it only has itself and 0 as subobjects. On another page, it says that the simple ...
4
votes
0answers
76 views

Spectral sequence $\bigoplus_{k-j=q}\mathrm{Ext}^p(\mathcal{H}^j,\mathcal{H}^k)\Rightarrow \mathrm{Hom}^{p+q}(P,P)$

Reading the proof in Bondal-Orlov reconstruction theorem (http://arxiv.org/pdf/alg-geom/9712029v1.pdf), I found the spectral sequence in the title ...
3
votes
2answers
34 views

Why is the additive category of Hilbert spaces not abelian

As an answer to this post Additive category that is not abelian it was said that the additive category of Hilbert spaces is not abelian. Why is that? Also what category of Hilbert spaces is this? ...
1
vote
0answers
66 views

A quasi-isomorphism between the total complex of a Cartan-Eilenberg resolution and the complex per se.

Problem (Weibel's Introduction to Homological Algebra, Exercise 5.7.1) Suppose $A$ is a (not necessarily bounded below) chain complex over an abelian category $\mathcal A$ where axiom (AB4) holds, ...
1
vote
1answer
16 views

Does “modular category” make sense without saying “abelian” or “linear”?

I know the term "modular category" only from representations of quantum groups, TQFTs and fusion (finitely semisimple linear) categories. There, a modular category is a ribbon fusion category where a ...
1
vote
1answer
31 views

Injective Resolution in Abelian Categories

Let $\mathcal{C}$ be an Abelian category. There is a fact that if $\mathcal{C}$ has enough injective objects, then any object in $\mathcal{C}$ has an injective resolution. By the definition of ...
1
vote
0answers
53 views

Are split exact sequences exact in the opposite direction?

In an abelian category, let $$0\longrightarrow A \overset{f}{\longrightarrow}B\overset{g}{\longrightarrow}C\longrightarrow0$$ be a split short exact sequence with $\ell f=1_A,gr=1_C$. Is the sequence ...
-1
votes
1answer
36 views

Isomorphisms in exact sequence imply an object is zero

In any abelian category, let $$\cdots \longrightarrow A\overset{\cong}{\longrightarrow} B\overset{\pi}{\longrightarrow} C \overset{s}{\longrightarrow} D \overset{\cong}{\longrightarrow} E ...
2
votes
1answer
74 views

Is tilting theory extended also to arbitrary derived categories?

I was reading papers by Rickard ("Morita theory for derived categories") and Keller ("Derived categories and tilting") on tilting theory in derived categories, they seem to focus mostly on module ...
2
votes
1answer
67 views

Example of a compact module which is not finitely generated

Let $R$ be a ring and $M$ be an $R$-module. Definition: $M$ is called compact if $\text{Hom}_R(M,-)$ commutes with direct sums, that is, if for any set $I$ and any $I$-indexed family of ...
2
votes
0answers
75 views

Does zero-kernel imply monic in Abelian categories?

I'm trying to learn how to perform diagram-chasing in abstract Abelian categories. Instead of an approach with some elements one have to use universal properties somehow in the proof. But I reckon the ...
2
votes
0answers
34 views

Derived Category in terms of Torsion Theory?

It is known that there's a bijection between hereditary torsion theories on, and localizations of, a fixed abelian category. Is this bijection natural? How/why not? How can I think of the derived ...
2
votes
0answers
43 views

Intuition for chain homotopy via tensor products

An approach to chain homotopies, alternative to the usual boundary relation, uses the monoidal (closed) structure of $\mathsf{Ch}_\bullet(R\mathsf{Mod})$ with $R$ a commutative ring. In particular, a ...
3
votes
1answer
57 views

Homotopy category of chain complexes as a localization

For an abelian category $\mathcal{A}$, define the homotopy category of chain complexes $\mathcal{K}(\mathcal{A})=\mathcal{C}(\mathcal{A})/\mathcal{I},$ where $\mathcal{C}(\mathcal{A})$ denotes the ...
3
votes
1answer
57 views

The internal hom in $\mathsf{Ch}_\bullet(\mathsf{Ab})$ as a coproduct?

The internal hom in $\mathsf{Ch}_\bullet(\mathsf{Ab})$ is defined grading-wise by $$(A\Rightarrow B)_n=\prod_{i\in \mathbb Z} \text{Hom}_R(A_i, B_{i+n})$$ Intuitively, I would have defined the ...
2
votes
0answers
74 views

Connecting morphism in an abelian category

I'm trying to understand how one gets the long exact sequence in homology from a short exact sequence of chain complexes in an arbitrary abelian category. So far I have the commutative diagram ...
1
vote
1answer
58 views

A necessary and sufficient condition for contravariant auto-equivalence on module categories

I have a problem about the condition of contravariant auto-equivalence on module categories. Let $R$ be a algebra over a field. Let $\mathcal{C}$ be a abelian subcategory of $R$-modules, and assume ...
2
votes
1answer
25 views

Common kernel for compositions of epis?

The following proposition is an excerpt from Osborne's *Basic Homological Algebra: Regarding the proof: Why does there exist an arrow $j$ which is simultaneously the kernel of both $\pi$ and ...
2
votes
1answer
77 views

Abelian categories with tensor product

Is there a standard notion in the literature of abelian category with tensor product? The definition ought to be wide enough to encompass all the usual examples of abelian categories with standard ...
0
votes
1answer
58 views

$\operatorname{Im}f\cong A/\operatorname{Ker}f$ in abelian categories

Let $f:A \rightarrow B$ be an arrow in some abelian category. There is the usual epi-mono factorization of any such arrow, but can we go further and prove isomorphism of the objects: ...
1
vote
2answers
60 views

Projection between quotients by related subobjects

For a subobject $A\overset{a}{\rightarrowtail} B$ we define the quotient object $B\twoheadrightarrow B/A$ as the cokernel of any monic representing the subobject. Suppose we have another subobject ...
4
votes
1answer
103 views

Long exact sequence into short exact sequences

This question is the categorical version of this question about splitting up long exact sequences of modules into short exact sequence of modules. I want to understand the general mechanism for ...
2
votes
1answer
34 views

Borceux - Snake Lemma Question

Below is the statement of the snake lemma from Borceux. My question is which squares are (1) and (2) referring to?
1
vote
1answer
62 views

Quotient objects as constructions from subobjects?

A quotient object of an object $A$ is usually denoted $A/B$ (we're talking about equivalence classes of epis). It seems that in categories like $\mathsf {Grp}$ and $\mathsf {Ab}$ one can associate ...
0
votes
1answer
61 views

Example of a non-splitting exact sequence $0 → M → M\oplus N → N → 0$

Recently, someone stated that every short exact sequence (of, say, modules) of the form $$0 → M → M \oplus N → N → 0$$ splits. I think this is false in general because the arrow $M → M \oplus N$ might ...
1
vote
1answer
52 views

Finding suitable basis for a free abelian finitely generated group.

I am stuck with this exercise forever... I was barely taught about it, English is not my mother language and in any other phrasing it is not coherent with my material.I'd really appreciate your help. ...
0
votes
1answer
92 views

Query in the definion of abelian category

I am studying the definition of abelian category..Definition says it is a additive category with a)every morphism in category has kernel and co-kernel. b)every monomorphism in the category is the ...
0
votes
0answers
35 views

What is the pullback of a central extension?

Suppose we have three objects $A,B,C$ of an (abelian) category $\mathbf{C}$ and a short exact sequence $ 0\to A \to B \to C \to 0 $ such that $B$ is a central extension of $C$ by $A$ ($im(A\to ...
10
votes
1answer
102 views

Motivation for Definition of Derived Category

On the $n$Lab entry about derived categories, I read the derived category of an abelian category $\mathsf A$ is the localization of $\mathsf{Ch}_\bullet (\mathsf A)$ at the quasi-isomorphisms. My ...
3
votes
1answer
35 views

Extension of nonisomorphic simple objects

Let $X$ and $Y$ be two nonisomorphic simple objects in an abelian category. Are all extensions of $X$ by $Y$ trivial? ( $\mathrm{Ext}^1(X,Y)=0$ ?)
3
votes
1answer
43 views

A Lemma from Freyd

This is a lemma from Freyd's Abelian Categories stated without proof. In an abelian category, $$A\rightarrow S \rightarrowtail B = A \rightarrow B$$ if and only if $$A\rightarrow B \twoheadrightarrow ...
7
votes
2answers
196 views

Freyd: “is a subobject of” is not transitive

On page 20 of Abelian Categories, Freyd writes Note that the relation "is a subobject of" is not transitive. On page 91 of Awodey's Category Theory (there are several typos in this page; the ...
3
votes
1answer
58 views

Why is the coproduct in $\mathsf{Grp}$ so different from the coproduct in $\mathsf{Ab}$?

Why is the coproduct in $\mathsf{Grp}$ so different from the coproduct in $\mathsf{Ab}$? What about $\mathsf{Grp}$ makes for a seemingly far-more-complicated coproduct? If your answer revolves around ...