Алгебра и логика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Алгебра и логика, 2018, том 57, номер 1, страницы 43–56
DOI: https://doi.org/10.17377/alglog.2018.57.103
(Mi al834)
 

Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)

Делимые жёсткие группы. II. Стабильность, насыщенность и элементарные подмодели

А. Г. Мясниковa, Н. С. Романовскийbc

a Schaefer School Eng. Sci., Dep. of Math. Sci., Stevens Inst. Technology, Castle Point on Hudson, Hoboken NJ 07030-5991, USA
b Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
c Новосибирский гос. ун-т, ул. Пирогова, 1, г. Новосибирск, 630090, РОССИЯ
Список литературы:
Аннотация: Группа $G$ называется жёсткой, если в ней существует нормальный ряд
$$ G=G_1>G_2>\dots>G_m>G_{m+1}=1, $$
факторы которого $G_i/G_{i+1}$ абелевы и, рассматриваемые как правые $\mathbb Z[G/G_i]$-модули, не имеют модульного кручения. Жёсткая группа $G$ называется делимой, если элементы фактора $G_i/G_{i+1}$ делятся на ненулевые элементы кольца $\mathbb Z[G/G_i]$. Всякая жёсткая группа вкладывается в делимую.
Ранее было установлено, что теория делимых $m$-жёстких групп $\mathfrak T_m$ полна. Здесь доказывается, что эта теория является $\omega$-стабильной, описываются насыщенные модели, изучаются элементарные подмодели произвольной модели, находится представление счётной насыщенной модели в виде предельной группы системы Фрессе всех конечно порождённых $m$-жёстких групп, доказывается, что в теории $\mathfrak T_m$ имеет место элиминация кванторов до булевой комбинации $\forall\exists$-формул.
Ключевые слова: делимая жёсткая группа, теория, модель, стабильность, насыщенность, $\forall\exists$-формула.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 15-01-01485.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект № 15-01-01485.
Поступило: 10.08.2017
Окончательный вариант: 19.12.2017
Англоязычная версия:
Algebra and Logic, 2018, Volume 57, Issue 1, Pages 29–38
DOI: https://doi.org/10.1007/s10469-018-9476-7
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.5+510.6
Образец цитирования: А. Г. Мясников, Н. С. Романовский, “Делимые жёсткие группы. II. Стабильность, насыщенность и элементарные подмодели”, Алгебра и логика, 57:1 (2018), 43–56; Algebra and Logic, 57:1 (2018), 29–38
Цитирование в формате AMSBIB
\RBibitem{MyaRom18}
\by А.~Г.~Мясников, Н.~С.~Романовский
\paper Делимые жёсткие группы.~II. Стабильность, насыщенность и элементарные подмодели
\jour Алгебра и логика
\yr 2018
\vol 57
\issue 1
\pages 43--56
\mathnet{http://mi.mathnet.ru/al834}
\crossref{https://doi.org/10.17377/alglog.2018.57.103}
\transl
\jour Algebra and Logic
\yr 2018
\vol 57
\issue 1
\pages 29--38
\crossref{https://doi.org/10.1007/s10469-018-9476-7}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000433237600003}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85047136866}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al834
  • https://www.mathnet.ru/rus/al/v57/i1/p43
    Цикл статей
    Эта публикация цитируется в следующих 12 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:250
    PDF полного текста:41
    Список литературы:32
    Первая страница:2
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024