Jądro (teoria kategorii)

Pojęcie, którego szczególnymi przypadkami są: jądro homomorfizmu grup, jądro homomorfizmu pierścieni, modułów itp.

Jądro morfizmu

Niech ${\mathfrak {K}}$ będzie kategorią z morfizmami zerowymi.

Morfizm $\mu \colon K\to A$ nazywamy jądrem morfizmu^[1] $\alpha \colon A\to B,$ jeśli:

$\alpha \mu =0$
dla każdego morfizmu $\varphi \colon H\to A,$ takiego że $\alpha \varphi =0$ istnieje taki, jednoznacznie wyznaczony, morfizm $\psi \colon H\to K,$ że $\varphi =\mu \psi .$

Jądro morfizmu $\alpha$ oznaczane jest przez $\ker \alpha .$

Jeśli $\mu =\ker \alpha$ i $\mu '=\ker \alpha ,$ to istnieje taki, jednoznacznie wyznaczony izomorfizm $\xi ,$ że $\mu '=\mu \xi .$ Na odwrót, jeśli $\mu =\ker \alpha$ i $\xi$ jest izomorfizmem, to morfizm $\mu '=\mu \xi$ jest jądrem $\alpha .$ Zatem wszystkie jądra morfizmu $\alpha$ tworzą podobiekt obiektu $A,$ który oznaczany jest przez $\mathrm {Ker} \,\alpha .$

Własności jądra morfizmu

Jeśli $\mu =\ker \alpha ,$ to $\mu$ jest monomorfizmem normalnym. Twierdzenie przeciwne nie jest prawdziwe.
Jądrem morfizmu zerowego $0\colon A\to B$ jest morfizm jednostkowy $1_{A}.$
Jądro morfizmu jednostkowego istnieje wtedy i tylko wtedy, gdy w ${\mathfrak {K}}$ istnieje obiekt zerowy.
Nie w każdej kategorii z morfizmami zerowymi każdy morfizm ma jądro.
W kategorii ${\mathfrak {K}}$ z obiektem zerowym morfizm $\alpha \colon A\to B$ posiada jądro wtedy i tylko wtedy, gdy w ${\mathfrak {K}}$ istnieje kwadrat uniwersalny względem morfizmów $\alpha$ i $0\colon 0\to B.$ Warunek ten jest spełniony w szczególności dla dowolnego morfizmu lokalnie małej lewostronnie kategorii z obiektem zerowym i koiloczynem.

Kojądro morfizmu

Niech ${\mathfrak {K}}$ będzie kategorią z morfizmami zerowymi. Morfizm $\nu \colon B\to C$ nazywa się kojądrem morfizmu^[2] $\alpha \colon A\to B,$ jeśli:

$\alpha \nu =0$
dla każdego morfizmu $\varphi \colon B\to D,$ takiego że $\varphi \alpha =0$ istnieje taki, jednoznacznie wyznaczony, morfizm $\psi \colon C\to D,$ że $\varphi =\psi \nu .$

Kojądro morfizmu $\alpha$ oznacza się $\mathrm {coker} \,\alpha .$

Jeśli $\nu =\mathrm {coker} \,\alpha$ i $\nu '=\mathrm {coker} \,\alpha ,$ to istnieje jednoznacznie określony izomorfizm $\xi ,$ że $\nu '=\xi \nu .$

Na odwrót, jeśli $\nu =\mathrm {coker} \,\alpha$ i $\xi$ jest izomorfizmem, to $\nu '=\xi \nu$ jest kojądrem morfizmu $\alpha .$ Zatem wszystkie kojądra morfizmu $\alpha$ tworzą obiekt ilorazowy obiektu $B,$ który oznacza się $\mathrm {Coker} \,\alpha .$

Pojęcie to jest dualne do pojęcia jądra morfizmu. W kategoriach przestrzeni wektorowych, grup, pierścieni i innych struktur algebraicznych opisuje największy obiekt ilorazowy obiektu $B$ zerujący obraz homomorfizmu $\alpha \colon A\to B.$

Własności kojądra morfizmu

Jeśli $\nu =\mathrm {coker} \,\alpha ,$ to $\nu$ jest epimorfizmem konormalnym. Twierdzenie odwrotne nie jest na ogół prawdziwe.
Kojądro morfizmu zerowego $0\colon A\to B$ jest równe $1_{B}.$
Kojądro morfizmu $1_{A}$ istnieje wtedy i tylko wtedy, gdy w ${\mathfrak {K}}$ jest obiekt zerowy.

Przypisy

↑ Математическая энциклопедия, t. 5, op. cit., s. 1044.
↑ Математическая энциклопедия, t. 3, op. cit., s. 74.

Bibliografia

Математическая энциклопедия. Виноградов И.М. (red.). T. 5. Москва: Советская энциклопедия, 1985.
Математическая энциклопедия. Виноградов И.М. (red.). T. 3. Москва: Советская энциклопедия, 1982.

Literatura dodatkowa

Bucur I., Deleanu A.: Introduction to the Theory of Categories and Functors (tłum. ros.). Москва: Мир, 1972.
Gabriel P., Zisman M.: Calculus of Fractions and Homotopy Theory (tłum. ros.). Москва: Мир, 1971.
Zbigniew Semadeni, Antoni Wiweger: Wstęp do teorii kategorii i funktorów. Wyd. 2. Warszawa: Państwowe Wydawnictwo Naukowe, 1978, seria: Biblioteka Matematyczna. Tom 45.

[1] Математическая энциклопедия, t. 5, op. cit., s. 1044.

[2] Математическая энциклопедия, t. 3, op. cit., s. 74.

[1]

[2]

Podstawowe pojęcia	Kategoria Funktor Transformacja naturalna Funktory sprzężone Monada Lemat Yonedy
Granice i kogranice	Obiekty początkowy i końcowy Produkt Koprodukt Jądro Ekwalizator Pullbak Pushout Granica odwrotna
Konstrukcje na kategoriach	Produkt kategorii Kategoria dualna Podkategoria Płat kategorii Kategoria funktorów

Fahrer / Team für die Suche eingeben: