Это показывает, что подполугруппа, порожденная атомами, является коммутативной. Действительно, если это не так, то существует ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Кон П.М. Свободные кольца и их связи


Это показывает, что подполугруппа, порожденная атомами, является коммутативной. Действительно, если это не так, то существует элемент а, не являющийся произведением атомов и такой, что aS - максимальный правый идеал среди идеалов с этим свойством. Следовательно, элементы b и с являются произведениями атомов, поэтому таким же будет и а, что противоречит предположению.

(cкачать страницу)

Смотреть книгу на libgen

Это показывает, что подполугруппа, порожденная атомами, является коммутативной. Действительно, если это не так, то существует элемент а, не являющийся произведением атомов и такой, что aS - максимальный правый идеал среди идеалов с этим свойством. Следовательно, элементы b и с являются произведениями атомов, поэтому таким же будет и а, что противоречит предположению.