Вспоминай формулы по каждой теме
Решай новые задачи каждый день
Вдумчиво разбирай решения
ШКОЛКОВО.
Готовиться с нами - ЛЕГКО!
Подтемы раздела линал и алгебра.
Решаем задачу:

Ошибка.
Попробуйте повторить позже

Задача 1#77154

Доказать, что любая нормальная подгруппа является ядром некоторого гомоморфизма. То есть если G  - группа, H  ◃ G  , то существует такая группа K  и такой гомоморфизм φ : G → K  , что H  = kerφ

Показать доказательство

Пусть H ◃ G  . Но тогда корректно говорить о фактор-группе G/ H  .

А в фактор-группу у нас есть каноническая проекция

π : G → G/ H,  g ↦→ gH

То что π  - гомоморфизм - это мы уже знаем. А каким будет его ядро? Его ядро это в точности такие x ∈ G  , что

π(x) = eH

Но π(x) = xH  . То есть его ядро это в точности такие x ∈ G  , что

xH = eH

Но ясно, что последнее равенство возможно тогда и только тогда, когда x ∈ H  . Следовательно, kerπ = H  . И мы все доказали.

Специальные программы

Все специальные программы

Программа
лояльности v2.0

Приглашай друзей в Школково и получай вознаграждение до 10%!

Крути рулетку
и выигрывай призы!

Крути рулетку и покупай курсы со скидкой, которая привязывается к вашему аккаунту.

Бесплатное онлайн-обучение

Для школьников из приграничных территорий России, проживающих в ДНР, ЛНР, Херсонской, Запорожской, Белгородской, Курской, Брянской областях и Крыму.

Налоговые вычеты

Узнай, как получить налоговый вычет при оплате обучения в «Школково».

Специальное предложение
для учителей

Бесплатный доступ к любому курсу подготовки к ЕГЭ, ОГЭ и олимпиадам от «Школково». Мы с вами делаем общее и важное дело, а потому для нас очень значимо быть чем-то полезными для учителей по всей России!

Вернём деньги за курс
за твою сотку на ЕГЭ

Сдать экзамен на сотку и получить обратно деньги за подготовку теперь вполне реально!

cyberpunkMouse
cyberpunkMouse
Рулетка
Вы можете получить скидку в рулетке!