Теория компаньонов
Full Name of the work head: Нуртазин Абыз Темиргалиевич
Исполнители проекта:
: РГП на ПХВ "Институт информационных и вычислительных технологий" МОН РК
Inventory number: 0222РК00525
Registration number: 0120РК00428
Keywords: индуктивная теория,классы Фрэсе,компаньон-структура,компаньон-теория,компаньоны,модельная полнота,форсинг-модель,Экзистенциальная замкнутость
) Выполнена классификация экзистенциально абелевых групп. Класс экзистенциально замкнутых групп без кручения состоит из таких полных групп. В классе абелевых групп конечного периода экзистенциально замкнутыми являются все абелевы группы любого простого периода, конечные суммы таких групп и группы, получающиеся добавлениям прибавлением любых конечных. Указана структура р-примарной экзистенциально замкнутой группы бесконечного периода. Периодическая группа является экзистенциально замкнутой если и только если экзистенциально замкнутой является каждое слагаемое в разложении этой группы в сумму примарных компонент. Смешанная экзистенциально замкнутая группа является прямой суммой своей периодической и полной абелевой группы и каждое слагаемое экзистенциально замкнуто. Любое пополнение теории абелевых групп имеет полный модельный компаньон. 2) Найден критерий экзистенциально замкнутости сильно минимальной структуры и доказано, что экзистенциально замкнуты компаньон любой сильно минимальной структуры сам сильно минимален. Из полученного описания также следует, что все экзистенциально замкнутые компаньоны данной сильно минимальной структуры образуют аксиоматизируемый класс, элементарная теория которого полна и модельно полна и, следовательно, совпадает с ее индуктивным и форсинг–компаньонами.