prʲˈɪ ˈɛtʌm pʌɭˈutʃʲitsʌ ɭʌkˈɑɭnʌ trʲivʲiˈɑɭnʌjɪ rʌssɭʌjˈenʲijɪ, ˈi jˈesɭʲɪ  — nʌrmˈɑɭnʌja pʌdɡrˈuppa, tˈo faktˈorɡruppa bˌudʲit ɡrˈuppʌj ɭʲˈɪ.
При этом получится локально тривиальное расслоение, и если  — нормальная подгруппа, то факторгруппа будет группой Ли.