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

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

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

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

Сообщества

Настроить S2

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



Пишет ПК ([info]p_k) в [info]ljr_math
@ 2010-08-18 17:23:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Морфизмы тензорного произведения
Есть два F-модуля, правый модуль A и левый B, и эндоморфизм \phi абелевой группы A \otimes_F B. Так случилось, что он факторизуется на A и B, но обе половинки не F-линейны. Хотелось бы его записать как \phi=\eta \otimes_F \zeta, но смущает нелинейность. Инвариантность по отношению к проносу скаляра есть, так как \phi(a f) = \phi(a) \beta(f), и \zeta(f b) = \beta(f) \zeta(b), то есть нелинейность описывается одним и тем же автоморфизмом кольца f \to \beta(f).

Вопрос - разрешается ли в этой ситуации писать \eta \otimes_F \zeta , чтобы выразить факт факторизации?