The Stacks project

[Condition (I) on page 259, Serre_homotopie_classes]

Definition 12.10.1. Let $\mathcal{A}$ be an abelian category.

  1. A Serre subcategory of $\mathcal{A}$ is a nonempty full subcategory $\mathcal{C}$ of $\mathcal{A}$ such that given an exact sequence1

    \[ A \to B \to C \]

    with $A, C \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, then also $B \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$.

  2. A weak Serre subcategory of $\mathcal{A}$ is a nonempty full subcategory $\mathcal{C}$ of $\mathcal{A}$ such that given an exact sequence

    \[ A_0 \to A_1 \to A_2 \to A_3 \to A_4 \]

    with $A_0, A_1, A_3, A_4$ in $\mathcal{C}$, then also $A_2$ in $\mathcal{C}$.

[1] By Definition 12.5.7 this means $\mathop{\mathrm{Im}}(A \to B) = \mathop{\mathrm{Ker}}(B \to C)$.

Comments (6)

Comment #3951 by Shane on

Is it possible to put a warning in (1) that the sequence is not a short exact sequence? That trips me up every time I look at this.

Comment #3957 by on

Maybe your comment here can serve as a warning. The trouble with putting warnings is where does one stop? In every lemma or definition there is some absolutely essential thing that should not be overlooked (and in well written lemmas all the assumptions are necessary). If we try to emphasize certain of these conditions over others, then when are we going to stop?

Comment #6735 by Alejandro González Nevado on

The comment of Mohammed in the general Section 02MN refers to this definition. The condition between under the arrows is an "iff" condition not an "if". At least as long as I saw in other literature. Example: look at the definition in

Comment #6738 by on

@#6735 OK, I cannot speak about the correctness of the site you linked to, but I can say that we definitively do not want to say "if and only if" in the definition as given here. For example the category consisting just of the zero object is (or should be) a Serre subcategory but doesn't satisfy the if and only if condition. Note, note, note: exactness of means only that the image of is equal to the kernel of and does not imply that is injective and does not imply that is surjective.

Comment #6740 by on

Postscript: I guess I should have listend to Shane!

Comment #6924 by on

OK, I have added a bit of text on what an exact sequence really is! Then I have added a precise reference to Serre's paper (which uses the exact same defintiion) and I have added a footnote to the definition of exact sequences. Here are the changes.

There are also:

  • 20 comment(s) on Section 12.10: Serre subcategories

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 02MO. Beware of the difference between the letter 'O' and the digit '0'.