Category of modules

rdf:langString Categorie van vectorruimten

rdf:langString In de lineaire algebra en de categorietheorie, een deelgebied van de wiskunde, heeft de categorie K-Vect (sommige auteurs schrijven VectK) alle vectorruimten over een vast lichaam (Ned) / veld (Be) als objecten en -lineaire transformaties als morfismen. Als het lichaam van de reële getallen is, dan staat de categorie ook bekend als Vec. Aangezien vectorruimten over (als een lichaam/veld) hetzelfde zijn als modulen over de ring is K-Vect een speciaal geval van , de categorie van linker -modulen. K-Vect is een belangrijk voorbeeld van een abelse categorie. Een groot deel van de lineaire algebra heeft betrekking op de beschrijving van K-Vect. De dimensiestelling voor vectorruimten zegt bijvoorbeeld dat de in K-Vect exact overeenkomen met de kardinaalgetallen, en dat K-Vect is met de deelcategorie van K-Vect, als objecten dus de vrije vectorruimten heeft, waarin een willekeurig kardinaalgetal is. Er is een vergeetachtige functor van K-Vect naar Ab, de categorie van abelse groepen, die elke vectorruimte naar zijn additieve groep neemt. Dit kan worden samengesteld met de vergeetachtige functors uit Ab met als realutaat andere vergeetachtige functors, met als belangrijkste een naar de categorie van verzamelingen. K-Vect is een monoïdale categorie met (als een een-dimensionale vectorruimte over ) als de identiteit en het tensorproduct als het monoïdale product.