グロタンディーク群
可換モノイド M が与えられたとき、加法逆元を導入することによって M から生じる「最も一般的な」アーベル群 K を構成したい。そのようなアーベル群 K は常に存在し、M のグロタンディーク群と呼ばれる。それは以下の普遍性によって特徴づけられ、 M から具体的に構成することもできる。