Teori grup

Grup Abelian membentuk prorotip untuk konsep suatu kategori Abelian, yang diaplikasikan dalam ruang vektor.