Тег

Отношение порядка

Отношение порядка
Найденo 10 статей
Термины
Линейно упорядоченная группа
Лине́йно упоря́доченная гру́ппа, алгебраическая система , являющаяся группой относительно операции умножения, линейно упорядоченным множеством относительно бинарного отношения порядка и удовлетворяющая аксиоме: для любых элементов из следует и . Имеется большое число признаков упорядочиваемости группы. Упорядочиваемые группы являются группами без кручения с однозначным извлечением корня. Упорядочиваемыми являются все абелевы группы без кручения, нильпотентные группы без кручения, свободные группы и свободные разрешимые группы.
Математика
Термины
Линейно упорядоченное множество
Лине́йно упоря́доченное мно́жество, частично упорядоченное множество, в котором для любых двух элементов и имеет место или . Подмножество линейно упорядоченного множества само является линейно упорядоченным множеством. Всякий максимальный (минимальный) элемент линейно упорядоченного множества оказывается наибольшим (наименьшим). Важнейший частный случай линейно упорядоченных множеств – вполне упорядоченные множества.
Математика
Термины
Полная решётка
По́лная решётка, частично упорядоченное множество, в котором всякое непустое подмножество имеет точную верхнюю и точную нижнюю грань, называемые обычно объединением и пересечением элементов подмножества и обозначаемые и (или просто и ) соответственно. Если частично упорядоченное множество имеет наибольший элемент и каждое его непустое подмножество обладает точной нижней гранью, то оно является полной решёткой.
Математика