Kategorie:Theorie der direkten Summen/Definitionen