4
$\begingroup$

I'm reading the Wiki article about the Grothendieck group.

What's the reason we define $[A] - [B] + [C] = 0 $ rather than $[A] + [B] - [C] = 0 $ (or something else) for every exact sequence $0 \to A \to B \to C \to 0$? What is the property we obtain if we define it this way? I suppose it has something to do with exactness at $B$ but what?

  • 2
    You can also read a short exact sequence $0 \to A \to B \to C \to 0$ as "$B$ is an extension of $C$ by $A$", which can help to justify the additivity requirement explained in Pete L. Clarks answer.2012-08-05
  • 1
    @Alexander: I didn't explain anything; I only hinted. :)2012-08-05
  • 0
    @PeteL.Clark: Which makes it an even better explanation. :D2012-08-05
  • 2
    Consider the short exact sequences $0 \to A \to A \oplus C \to C \to 0$...2012-08-05

1 Answers 1

10

To get a feel for this kind of relation, consider a short exact sequence

$0 \rightarrow V_1 \rightarrow V_2 \rightarrow V_3 \rightarrow 0$

of finite-dimensional vector spaces over a field. What is the relation between their dimensions?

  • 0
    $\mathrm{dim} V_1 \leq \mathrm{dim} V_2$ and $\mathrm{dim} V_2 \geq \mathrm{dim} V_3$?2012-08-05
  • 0
    Dimension is additive on short exact sequences.2012-08-05
  • 3
    @Clark Do you remember the rank and nullity theorem from linear algebra? That's the sort of relation between the dimensions that Pete is pointing out in his answer. You can take a look here at the [reformulations and generalizations](http://en.wikipedia.org/wiki/Rank%E2%80%93nullity_theorem#Reformulations_and_generalizations) section of the Wikipedia entry on the Rank and Nullity theorem.2012-08-05
  • 0
    @AdriánBarquero Thank you very much! I do remember the rank nullity theorem!2012-08-05
  • 0
    @Clark: I'm looking for an *equality* of the form $\pm \dim V_1 \pm \dim V_2 \pm \dim V_3 = 0$, with the precise signs to be found by you. I claim that understanding this is necessary and sufficient to answer your question!2012-08-05
  • 0
    @PeteL.Clark I didn't realise the maps were linear, I thought first we're talking about arbitrary maps on sets. Of course it makes more sense that it's morphisms. So then we have $\mathrm{dim}V_2 = \mathrm{dim}V_1 + \mathrm{dim}V_3$? And hence you have answered my question : ) (more or less, I'm not sure how to define dimension for an arbitrary (non-free) $R$-module.2012-08-06