krˈomʲi tʌvˈo, jˈesɭʲɪ kˈɑʒdʌjɪ pʲirʲisʲitʃʲˈenʲijɪ ɭʲinʲˈejnʌ svʲˈɑznʌ, tˈo jadrˈo ɡʌmʌmˈorfʲizma  — ˈɛtʌ nʌimʲˈenʃʌja nʌrmˈɑɭnʌja pʌdɡrˈuppa , sʌdʲirʒˈɑɕʌja fsʲˈe ɛɭʲimʲˈenty vʲˈida ɡdʲˈe ɪndutsˈyrʌvʌn vɭʌʒˈɛnʲijim, ˈɑ pʌtʌmˈu ɪndutsˈyrujit ɪzʌmˈorfʲizm pʲˈervʌja tʲiʌrʲˈema ˈop ɪzʌmˈorfʲizmʲi.
Кроме того, если каждое пересечение  линейно связно, то ядро гомоморфизма  — это наименьшая нормальная подгруппа , содержащая все элементы вида  (где  индуцирован вложением ), а потому  индуцирует изоморфизм  (первая теорема об изоморфизме).