# Grothendieck group

Jump to: navigation, search

2010 Mathematics Subject Classification: Primary: 18-XX Secondary: 55N15 [MSN][ZBL]

The Grothendieck group of an additive category is an Abelian group that is assigned to an additive category by a universal additive mapping property. More exactly, let $C$ be a small additive category with set of objects $\mathrm{Ob}(C)$ and let $G$ be an Abelian group. A mapping $\phi: \mathrm{Ob}(C) \to G$ is said to be additive if for any exact sequence $0 \to L \to M \to N \to 0$ in $C$, the relation $\phi(M)=\phi(L)+\phi(N)$ is valid. There exists a group $K(C)$, called the Grothendieck group of $C$, and an additive mapping $k:\mathrm{Ob}(C)\to K(C)$, known as the universal mapping, such that for any additive mapping $\mathrm{Ob}(C) \to G$, there exists a unique homomorphism $\xi: K(C) \to G$ that satisfies the condition $\phi=\xi \circ k$.

This construction was first studied by A. Grothendieck for the categories of coherent and locally free sheaves on schemes in proving the Riemann–Roch theorem. See -functor in algebraic geometry. The group $K(C)$ is uniquely defined (up to isomorphism) and can be given by generators — to each object $L \in C$, there corresponds a generator $[L]$ — and by the relations $[L]-[N]-[M]=0$ for each exact sequence $0 \to L \to M \to N \to 0$.

If $X$ is a topological space, then the Grothendieck group of the additive category of vector bundles over $X$ is an invariant of the space, studied in (topological) K-theory. If $C$ is the category of non-degenerate symmetric bilinear forms on linear spaces over a field $k$, then $K(C)$ is the Witt–Grothendieck group of $k$ (cf. Witt ring).

#### Comments

One also associates a Grothendieck group $K(M)$ to any commutative monoid as the solution of the universal problem posed by additive mappings of $M$ into Abelian groups. It is the Abelian group with generators $m \in M$ and relations $m-m_1-m_2$, for all $m,m_1,m_2 \in M$ such that $m=m_1+m_2$ in $M$. Taking, for instance, the monoid of isomorphism classes of vector bundles over a topological space $X$ (with the monoid addition induced by the direct sum) one again obtains the topological K-group $K(X)$.

When considering an additive category $C$ in which not every short exact sequence splits, there are two possible natural associated Grothendieck groups. Both are Abelian groups generated by the isomorphism classes of objects of $C$. For the first there is a relation $[M]-[M_1]-[M_2]$ whenever $M$ is isomorphic to $M_1 \oplus M_2$, and for the second there is a relation $[M]-[M_1]-[M_2]$ whenever there is a short exact sequence $0 \to M_1 \to M \to M_2 \to 0$. Both notions occur in the literature.

The Grothendieck group $K_0(A)$ defined by the additive category of finitely-generated projective modules over a ring $A$ (in which every short exact sequence splits of course) is sometimes called the Grothendieck group of the ring $A$. Cf. also Algebraic K-theory. Another important example of a Grothendieck group is the Picard group $\mathrm{Pic}(A)$ of a ring (or of a scheme). It is the Grothendieck group associated to the commutative monoid of isomorphism classes of rank 1 projective modules over $A$ with the addition induced by the tensor product over $A$.

How to Cite This Entry:
Grothendieck group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Grothendieck_group&oldid=24633
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article