- полугруппа с сокращением
- матем. cancellation semigroup
Большой англо-русский и русско-английский словарь. 2001.
полугруппа с сокращением
Смотреть что такое "полугруппа с сокращением" в других словарях:
АРХИМЕДОВА ПОЛУГРУППА — 1) Линейно упорядоченная полугруппа, все строго положительные (строго отрицательные) элементы к рой принадлежат одному архимедову классу. Всякая естественно упорядоченная А. п. S(см. Естественно упорядоченный группоид) изоморфна нек рой… … Математическая энциклопедия
УПОРЯДОЧЕННАЯ ПОЛУГРУППА — полугруппа, наделенная структурой (частичного, вообще говоря) порядка стабильного относительно полугрупповой операции, т. е. для любых элементов а, b, с из следует и Если отношение на У. н. Sесть линейный порядок, то S наз. линейно упорядоченной… … Математическая энциклопедия
ФИНИТНО АППРОКСИМИРУЕМАЯ ПОЛУГРУППА — резидуально конечная полугруппа, полугруппа, для любых двух различных элементов аи bк рой существует такой ее гомоморфизм j в конечную полугруппу S, что Свойство полугруппы Sбыть Ф. а. п. эквивалентно тому, что . подпрямое произведение конечных… … Математическая энциклопедия
ВЛОЖЕНИЕ ПОЛУГРУППЫ — в группу мономорфизм полугруппы в группу. Полугруппа Sвкладывается в группу G, если Sизоморфна подполугруппе группы G. Необходимые и достаточные условия В. п. в группу были найдены А. И. Мальцевым [1] (см. также [3], с. 286). Эти условия… … Математическая энциклопедия
ОБРАТИМЫЙ ЭЛЕМЕНТ — полугруппы с единицей элемент х, для к рого существует такой элемент у, что ху=1 (правая обратимость) или ух=1 (левая обратимость). Если элемент обратим и справа и слева, то он наз. двусторонне обратимым (часто просто обратимы м). Множество… … Математическая энциклопедия
РАСШИРЕНИЕ — п о л у г р у п п ы А полугруппа S, содержащая Ав качестве подполугруппы. Обычно речь идет о расширениях полугруппы А, связанных с Атеми или иными условиями. Наиболее развита теория идеальных Р. полугрупп (полугрупп, содержащих Ав качестве… … Математическая энциклопедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
Группа (математика) — Теория групп … Википедия
Группа (алгебра) — Группа в абстрактной алгебре непустое множество с определённой на нём бинарной операцией, удовлетворяющей указанным ниже аксиомам. Ветвь математики, занимающаяся группами, называется теорией групп. Всем знакомые вещественные числа наделены… … Википедия
