RIP писал(а):
http://dxdy.ru/topic21507.html
Да, ужасно. А я еще пытался доказывать и был настроен на то, что не существует этого изоморфизма.
Добавлено спустя 24 минуты 12 секунд:
Пытался рассуждать так.
Если изоморфизм существует, то т.к.

, то аналогичное представление
имеет и

, т.е. для всякого

имеем единственность представление

. Далее показал, что если

, то

для всякого рационального

. Тем самым оказалось, что подгруппы

должны быть всюду плотны. Используя всюду плотность и их континуальность, наивно пытался построить противоречие.