Состояние восходящей цепочки
- Условие восходящей цепочки (ACC) и условие нисходящей цепочки (DCC) используются в абстрактной алгебраической теории размерностей.
- Частично упорядоченное множество (poset) удовлетворяет условию восходящей цепочки, если нет бесконечной строго восходящей последовательности элементов.
- Эквивалентно, каждая слабо восходящая последовательность количество элементов P в конечном счете стабилизируется.
- Аналогично, говорят, что P удовлетворяет условию нисходящей цепочки, если не существует бесконечной нисходящей цепочки элементов P.
- Эквивалентно, каждая слабо нисходящая последовательность количество элементов P в конечном счете стабилизируется.
- Идеалы кольца из целых чисел удовлетворяют условию восходящей цепочки, что делает кольцо нетеровым.
Полный текст статьи: