<s>[INST]Hangi teori, homomorfizm fenomenini ne enjekte edici ne de varsayımcı olarak ele alır?[/INST]Alt ve bölüm grupları şu şekilde ilişkilidir: G'nin bir H alt kümesi, bir enjeksiyon haritası H olarak görülebilir, yani hedefin herhangi bir öğesi, kendisine eşlenen en fazla bir öğeye sahiptir. Enjektif haritaların karşıt tarafı, kanonik harita G → G / Ny [›] gibi hedef haritasının her bir noktasının eşleştirildiği sıyırıcı haritalardır ([]] Bu homomorfizmalar ışığında alt grubu ve bölümleri yorumlama, bu tanımlara özgü yapısal kavramı vurgulamaktadır. giriş için. Genel olarak, homomorfizmalar ne enjekte edici ne de küçültücü değildir. Grup homomorfizmlerinin çekirdeği ve görüntüsü ve ilk izomorfizm teoremi bu olguyu ele alır.</s>