"Класс F всех конечных групп является, очевидно, наследственным, и исходное определение финитной аппроксимируемости позволяет избежать ненужной проверки сюръективности гомоморфизмов." Почему можно избежать проверки сюръективности гомоморфизмов, объясните, пожалуйста, я не могу понять

задан 22 Май '17 23:38

Для любого гомоморфизма f:G->H можно рассмотреть сюръективный гомоморфизм G на f(G), то есть на образ. При этом f(G) -- подгруппа в H. Если Н из наследственного класса, то f(G) тоже. Поэтому изначально можно было считать, что гомоморфизм был сюръективен, так как нам всё равно, в какую группу из класса брать этот гомоморфизм.

(22 Май '17 23:41) falcao

спасибо большое!!!

(22 Май '17 23:43) vk2017

Да, из четырёх строчек знакомых слов набралось очень мало

(23 Май '17 0:03) epimkin
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,019

задан
22 Май '17 23:38

показан
204 раза

обновлен
23 Май '17 0:03

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru