Академический Документы
Профессиональный Документы
Культура Документы
Abelevy Gruppy Kak Artinovy Ili Neterovy Moduli Nad Koltsami Endomorfizmov CH 2
Abelevy Gruppy Kak Artinovy Ili Neterovy Moduli Nad Koltsami Endomorfizmov CH 2
УДК 512.541
6
Естественные науки
тинов E(A)модуль, то след S является прямой сум новости (нётеровости) некоторых подмодулей мо
мой делимой группы конечного ранга и конечной дуля Hom(A,B). Так, доказательство нётеровости
группы. Пример модуля Hom(Z,Z(p∞)) показывает, E(A)модуля Hom(D,Q), где D – делимая часть
что при этом в следе действительно может присут группы A, свелось в конечном счёте к доказатель
ствовать группа Z(p∞). ству нётеровости E(A)модуля Hom(A,Q), где
Что касается строения коследа группы B в груп A=Ση ⊕Q из примера 1 (предложение 19). Доказатель
пе A для артинова E(A)модуля Hom(A,B), то оно ство артиновости E(A)модуля Hom(Tp,Z(pk)), где Tp
получено в предложениях 6 и 7. – ограниченная pкомпонента группы A, также
свелось к доказательству артиновости E(A)модуля
Предложение 6. Если Dp≠0 и группа B содержит
Hom(A,Z(p)), где A=Ση ⊕Z(p) из примера 1 (предло
подгруппу Z(p∞), то E(A)модуль Hom(A,B) не явля
жение 8). Это обстоятельство приобретает тем
ется артиновым.
большее значение, что доказательство предложе
Предложение 7. Если Hom(A,B) – артинов ния 8 основано на построении индуцированных
E(A)модуль, то редуцированная pкомпонента последовательностей E(A)модулей и обосновании
группы A ограничена для любого p, относящегося к неприводимости последних. Поэтому оно предста
группе B, и таких pкомпонент конечное число. вляет собой доказательство и нётеровости указан
Эти предложения вместе с выводом о строении ного модуля. Эти примеры используются и в дока
следа группы A в группе B представляют собой до зательстве теоремы 4.
казательство необходимости теоремы 4, которая В связи с доказательством теоремы 4 необходи
относится к основным результатам исследования мо сделать следующие замечания.
группы Hom(A,B) как артинова модуля над коль
1. Доказательство артиновости модуля Hom(A,Q)
цом E(A).
показывает, что в теореме 4 вместо артиновости
Обозначим буквами T и D соответственно пе модуля Hom(A/(T+D),Q) можно требовать ар
риодическую и делимую части группы A. тиновость модуля Hom(A/D,Q) или модуля
Теорема 4. Пусть A и B – некоторые группы. Hom(A/Т,Q).
E(A)модуль Hom(A,B) артинов тогда и только тог 2. Представим группу A в виде A=R⊕D, где R – ре
да, когда след S равен прямой сумме конечной дуцированная, D – делимая группы. Тогда
группы и делимой группы конечного ранга; для T+D=t(R)⊕D (здесь t(R) – периодическая часть
каждого p, относящегося к группе B, редуцирован группы R). Имеет место изоморфизм
ная pкомпонента группы A ограничена, группы A A/(T+D)R/t(R), где на группе без кручения
и B не содержат одновременно групп Z(p∞); R/t(R) определённым способом может быть за
E(A)модуль Hom(A/T,Z(p)) артинов, если p отно дана структура левого E(A)модуля.
сится к следу S, E(A)модуль Hom(A/T,Z(p∞)) арти
3. Теорема 4 в некотором смысле сводит решение
нов, если в следе S содержится группа Z(p∞) и, на
проблемы артиновости E(A)модуля Hom(A,B)
конец, E(A)модуль Hom(A/(T+D),Q) артинов,
к исследованию артиновости модулей
если в следе S содержится группа Q.
Hom(A,Z(p)), Hom(A,Z(p∞)), Hom(A,Q), где
Доказательство достаточности теоремы 4 опи группа A является группой без кручения и по су
рается на использование индуцированных точных ществу рассматривается как модуль над некото
последовательностей E(A)модулей, теорему 1 и рым подкольцом кольца E(A). Действительно,
предложение 8. если A – произвольная группа, то в силу теоре
Предложение 8. Допустим, что редуцированная мы 4 возможно придётся исследовать артино
pкомпонента группы A ограничена. Тогда вость E(A)модуля Hom(A/T,Z(p)). Существует
E(A)модуль Hom(Tp,Z(pk)) артинов для всякого канонический кольцевой гомоморфизм
k∈N, где Tp – pкомпонента группы A. E(A)→E(A/T). Если он является сюръективным,
В [2. С. 194–195] рассмотрены примеры. На то подмодули E(A)модуля и E(A/T)модуля
помним, что η – некоторый кардинал. совпадают. Однако, вообще, это не так. Так же
обстоит дело и с E(A)модулями Hom(A/T,Z(p∞))
Примеры 1. 1) Пусть A=Ση ⊕Z(p) или A=Ση ⊕Z. Тогда и Hom(A/(T+D),Q).
E(A)модуль Hom(A,Z(p)) неприводим.
Рассмотрим подробнее строение следа S и ко
2. Если A=Ση ⊕Q, то E(A)модуль Hom(A,Q) не –
следа A , а также самих групп A и B, если Hom(A,B)
приводим. – артинов E(A)модуль. Для этого будут нужны
Эти примеры интересны сами по себе. E(A)мо следующие три леммы.
дули, рассматриваемые в них, неприводимы, а зна Лемма 3. Допустим, что делимая группа D со
чит, артиновы и нётеровы. Неприводимость держит одну из групп Z(p∞) или Q. Тогда E(D)мо
E(A)модуля Hom(A,Z(p)), где A=Ση ⊕Z, означает, что дуль Hom(D,Z(p∞)) не является артиновым.
кослед группы B в группе A может содержать реду
цированную группу без кручения бесконечного Лемма 4. Предположим, что делимая часть D
ранга, однако E(A)модуль Hom(A,B) будет артино группы A содержит либо группу Z(p∞), либо группу
вым, нётеровым (даже неприводимым). Эти при Q. Тогда E(A)модуль Hom(A,Z(p∞)) не является ар
меры играют важную роль в доказательстве арти тиновым.
8
Естественные науки
Лемма 5. Если смешанная группа A является Отметим, что теорема 2 в части эндоартиново
pделимой, то есть A=pA, то E(A)модуль сти соответствует случаю E(B)модуля Hom(Z,B) в
Hom(A,Z(p∞)) не является артиновым. теореме 3. Теорема 4 а также результаты заметки [4]
Пусть теперь группы A и B обладают тем свой вызывают такой вопрос. Для каких групп без кру
ством, что правый E(A)модуль Hom(A,B) артинов. чения A E(A)модули Hom(A,Q), Hom(A,Z(p)) и
На основании предложений 6 и 7 можно написать Hom(A,Z(p∞))являются: неприводимыми, артино
A=Rp ⊕…⊕Rp ⊕D0⊕V, выми, нётеровыми?
1 k