Projektivní objekt - Projective object
V teorii kategorií pojem projektivní objekt zobecňuje pojem projektivní modul . Projektivní objekty v abelianských kategoriích se používají v homologické algebře . Dvojí pojem projektivní objektu je to, že z injective objektu .
Objekt v kategorii je projektivní, pokud pro jakýkoli epimorfismus a morfismus existuje morfismus takový, že dojíždí následující diagram:
To znamená, že každý morfismus ovlivňuje každý epimorfismus .
V lokálně malé kategorii je ekvivalentní následující tvrzení: je projektivní, pokud je funktor hom
zachovává epimorfismus .
Pojďme být abelianskou kategorií. V této souvislosti se objekt nazývá projektivní objekt if
je přesná functor , kde je kategorie z abelovských skupin .
Vlastnosti
- Vedlejší produkt dvou projektivní objektů je projektivní.
- Vyjetí z projektivní objektu je projektivní.
Dost projektantů
Pojďme být abelianskou kategorií . se říká, že mají dostatek projectives , pokud pro každý objekt z , tam je projektivní předmět z a přesný sled
Jinými slovy, mapa je „epická“ nebo epimorfismus .
Příklady
Výrok, že všechny množiny jsou projektivní, je ekvivalentní s axiomem volby .
Projektivní objekty v kategorii abelianských skupin jsou volné abelianské skupiny .
Dovolit být prsten s 1. Zvažte ( abelianskou ) kategorii levých modulů . Projektivní objekty jsou přesně projektivní levé R-moduly . V důsledku toho je sám projektivní objekt v Dually, injektivní objekty v jsou přesně injektivní levé R-moduly .
Kategorie levého (vpravo) -modules také dostatek projectives. To je pravda, protože pro každý levý (pravý) modul můžeme považovat za volný (a tedy projektivní) modul generovaný generující sadou pro (můžeme ve skutečnosti být ). Potom je kanonická projekce požadovaným surjekcí .
Reference
- Mitchell, Barry (1965). Teorie kategorií . Čistá a aplikovaná matematika. 17 . Akademický tisk. ISBN 978-0-124-99250-4 . MR 0202787 .
Tento článek včlení materiál od Projective object na PlanetMath , který je licencován pod Creative Commons Attribution / Share-Alike License .
Tento článek včlení materiál od Enough projectives na PlanetMath , který je licencován pod Creative Commons Attribution / Share-Alike License .