ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2000, ТОМ 6, ВЫПУСК 2, СТР. 627-632

Атомарные теории семейств полугрупп с делением

М. Р. Пентус

Аннотация

Посмотреть как HTML    Посмотреть как рисунок    Посмотреть в формате LaTeX

Полугруппой с делением называется частично упорядоченная полугруппа, снабженная такими бинарными операциями \ и /, что утверждения a £ c/b, a × b £ c и b £ a \ c равносильны. В статье формулируется необходимое и достаточное условие того, что произвольное множество атомарных формул в сигнатуре { £, ×, \, / } является атомарной теорией некоторого семейства полугрупп с делением. Также рассматриваются некоторые конкретные полугруппы с делением и семейства полугрупп с делением.

Полнотекстовая версия статьи в формате PostScript (38 Kb)



Главная страница Содержание журнала Новости Поиск

URL страницы: http://mech.math.msu.su/~fpm/rus/k00/k002/k00220h.htm
Изменения вносились 1 сентября 2000