- полурешетка
.
полурешетка
Смотреть что такое "полурешетка" в других словарях:
полурешетка — полурешетка … Орфографический словарь-справочник
ПОЛУРЕШЕТКА — полуструктура, коммутативная идемпотентная полугруппа, т. е. полугруппа с тождествами х+у=у+х и х+х=х. Всякая полурешетка р=<р, +> может быть превращена в частично упорядоченное множество (частичный порядок вводится соотношением ), в к ром… … Математическая энциклопедия
РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… … Математическая энциклопедия
СВЯЗКА ПОЛУГРУПП — данного семейства {Sa} полугруппа S, обладающая разбиением на подполугруппы, классы к рого суть в точности полугруппы Sa, и для любых Sa,Sb существует Sg такая, что . В этом случае говорят также, что S разложима в связку полугрупп Sa.. Другими… … Математическая энциклопедия
ИНВЕРСНАЯ ПОЛУГРУППА — полугруппа, в к рой для любого элемента асуществует единственный инверсный к нему элемент а 1 (см. Регулярный элемент). Свойство полугруппы Sбыть инверсной эквивалентно каждому из следующих: S регулярная полугруппа и любые два ее идемпотента… … Математическая энциклопедия
ИДЕМПОТЕНТОВ ПОЛУГРУППА — идемпотентная полугруппа, полугруппа, каждый элемент к рой есть идемпотент. И. п. наз. также связкой (это согласуется с понятием связки полугрупп:И. п. есть связка одноэлементных полугрупп). Коммутативная И. п. наз. полуструктурой, или… … Математическая энциклопедия
НЕРАЗРЕШИМОСТИ СТЕПЕНЬ — класс эквивалентности , индуцированной отношением тьюринговой сводимости на подмножествах натурального ряда ( , если ). Иначе говоря, два множества принадлежат одной Н. с, если для каждого из них существует эффективная разрешающая процедура при… … Математическая энциклопедия
РЕШЕТКА ПОДАЛГЕБР — у н и в е р с а л ь н о й а л г е б р ы А частично упорядоченное (отношением теоретико множественного включения) множество Sub A всех подалгебр алгебры А. Для произвольных их супремумом будет подалгебра, порожденная Xи Y, а их инфинумом… … Математическая энциклопедия
УПОРЯДОЧЕННАЯ ПОЛУГРУППА — полугруппа, наделенная структурой (частичного, вообще говоря) порядка стабильного относительно полугрупповой операции, т. е. для любых элементов а, b, с из следует и Если отношение на У. н. Sесть линейный порядок, то S наз. линейно упорядоченной… … Математическая энциклопедия
ФИНИТНО АППРОКСИМИРУЕМАЯ ПОЛУГРУППА — резидуально конечная полугруппа, полугруппа, для любых двух различных элементов аи bк рой существует такой ее гомоморфизм j в конечную полугруппу S, что Свойство полугруппы Sбыть Ф. а. п. эквивалентно тому, что . подпрямое произведение конечных… … Математическая энциклопедия
