2014-02-02
451
Рассмотрим соответствие 
по правилу 
для всех 
.
Очевидно, что 
- всюдуопределено и однозначно, а, следовательно, - отображение.
- инъективное отображение.
Покажем, что - гомоморфизм.
Таким образом, - инъективный гомоморфизм, а, значит, 
изоморфно вкладывается в 
.
что и требовалось доказать.
