Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2010-01-23 21:18:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Для связи.
Комменты скринятся

(Читать комментарии) - (Добавить комментарий)


[info]tiphareth
2009-07-14 10:55 (ссылка)
а такого понятия "конечномерный гомоморфизм"
тоже нет

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2009-07-14 12:15 (ссылка)
Этот "гомоморфизм" на самом деле линейный оператор из R в R над Q.
Термин "конечномерный оператор", вроде, существует.

Формулу не нашел, поэтому, с целью прояснения спрашиваю:

Каков явный изоморфизм между (R/Q\Pi)^*\otimes_Q \R и множеством всех Q-линейных операторов из R в R, отправляющих \Pi в ноль?

Скажем так, это именно то, что меня интересует.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2009-07-14 14:44 (ссылка)
Да, вы, похоже правы, спасибо, я чего-то напутал
(в комментариях выше тоже), надо обязательно поправить задачу.
Прошу прощения. Чем проще вопрос, тем сложнее на него ответить.

А для построения инварианта Дэна, возьмите любой гомоморфизм
из R в R, который Q-линеен и зануляется на \pi,
это весьма просто сделать, если найти базис в R над Q.

(Ответить) (Уровень выше)

(Читать комментарии) -