2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Ленг и нормальность ядра гомоморфизма
Сообщение09.10.2012, 20:22 
Аватара пользователя
Прошу прощения за совсем простой вопрос. Читаю "Алгебру" Ленга, так как без алгебры в современном мире никуда...

В самом начале книги встречаю
Ленг в Алгебре писал(а):
Пусть $f:G\to G'$ — гомоморфизм групп и $H$ — его ядро. Для всякого элемента $x$ из $G$ выполняется равенство $xH=Hx$, что проверяется непосредственно исходя из определений. Мы можем также переписать это соотношение в виде $xHx^{-1}=H$.

Как это проверить из определений в таком порядке? У меня получается (для $h\in H$):
$f(xh)=f(x)\Rightarrow xhx^{-1}\in H\Rightarrow xHx^{-1}=H\Rightarrow xH=Hx$
А как наоборот?

 
 
 
 Re: Ленг и нормальность ядра гомоморфизма
Сообщение09.10.2012, 20:38 
Аватара пользователя
$H=\mathrm{Ker}(f)$, $x$- произвольное. $y\in xH\Leftrightarrow x^{-1}y\in H\Leftrightarrow f(x^{-1}y)=e'\Leftrightarrow f(x^{-1}y)=f(x^{-1}x)\Leftrightarrow f(yx^{-1})=e'$

 
 
 
 Re: Ленг и нормальность ядра гомоморфизма
Сообщение09.10.2012, 20:42 
Аватара пользователя
Ха-ха, точно. Спасибо!

 
 
 
 Re: Ленг и нормальность ядра гомоморфизма
Сообщение09.10.2012, 20:43 
Аватара пользователя
Или Вы хотите найти для нормальной гомоморфизм? Тогда это фактор-группа.

 
 
 
 Re: Ленг и нормальность ядра гомоморфизма
Сообщение09.10.2012, 20:51 
Аватара пользователя
Нет-нет, я хотел именно то, что Вы написали.

 
 
 [ Сообщений: 5 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group