Поскольку подобъект W l собствекнцй, без ограничения общности можно предположить, что нормальный мономорфизм к W ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Цаленко М.С.
Лекции по теории категорий
Поскольку подобъект W l собствекнцй, без ограничения общности можно предположить, что нормальный мономорфизм к W / r - А не является изоморфизмом. Поэтому идеал [ Wv Лсодержит оба подобъекта [ l / Jfu ] J M [ VJS ] I следовательно, идеал [ Wic Додержит идеалы [ ( JjU ] M [ V jS l, порожденные подобъектами [ U Г1 ] и [ у ] соответственно. Но это противоречит предположению о TOMJ, что [ рА ] и [ в ] - ГЛ 1д ] Лемма доказана.
![Поскольку подобъект W l собствекнцй, без ограничения общности можно предположить, что нормальный мономорфизм к W / r - А не является изоморфизмом. Поэтому идеал [ Wv Лсодержит оба подобъекта [ l / Jfu ] J M [ VJS ] I следовательно, идеал [ Wic Додержит идеалы [ ( JjU ] M [ V jS l, порожденные подобъектами [ U Г1 ] и [ у ] соответственно. Но это противоречит предположению о TOMJ, что [ рА ] и [ в ] - ГЛ 1д ] Лемма доказана.](/pic/2475743uBwjWeJ0015274687.png)