Группа моторсион - Cotorsion group
В абелевский теория групп, абелева группа как говорят моторсион если каждое его расширение группа без кручения раскалывается. Если группа , это говорит, что для всех групп без кручения . Достаточно проверить условие группа рациональное число.
В более общем смысле, модуль M над кольцом р считается моторный модуль если Ext1(F,M) = 0 для всех плоских модулей F. Это эквивалентно определению для абелевых групп (рассматриваемых как модули над кольцом Z целых чисел), потому что более Z плоские модули такие же, как модули без кручения.
Некоторые свойства моторсионных групп:
- Любой частное моторсионной группы - моторсион.
- А прямое произведение групп это моторсион если и только если каждый фактор есть.
- Каждый делимая группа или же инъективная группа это моторсион.
- В Теорема Бэра Фомина утверждает, что торсионная группа является котсионной тогда и только тогда, когда она является прямой суммой делимой группы и ограниченная группа, т. е. группа ограниченного показателя.
- Абелева группа без кручения является моторсионом тогда и только тогда, когда она алгебраически компактный.
- Ульмские подгруппы моторсионных групп - моторсионный и Факторы Ульма моторсионных групп алгебраически компактны.
внешняя ссылка
- Fuchs, L. (2001) [1994], «Катсион групп», Энциклопедия математики, EMS Press