19
2. TRANSPORT STRUKTUR ALGEBRAICZNYCH
Nierzadko narzucenie warunku zachowania niektórych elementów rozważanej struktury algebraicznej pociąga za sobą zachowanie tejże w całości. Przykładu dostarcza tutaj teoria homomorfizmów grup, którą omówimy w Rozdz. 5.1.
Warto na tym etapie wysłowić oczywistą acz ważną obserwację.
STWIERDZENIE 1. Każdy monomorfizm jest izomorfizmem dziedziny na jej obraz względem tego monomorfizmu.
Literatura uzupełniająca: Szczegółowe omówienie wprowadzonych tu (i wielu innych) struktur algebraicznych można znaleźć w opracowaniu Bourbakiego [Bou07b] oraz w klasycznym kursie Langa [Lan02] i doskonałej trzytomowej monografii Cohna [Coh82, Coh89, Coh91].