Выдержка из книги
Кон П.М.
Свободные кольца и их связи
В отличие от только что рассмотренного случая, проверка условий теоремы 6.4, особенно условия ( п), является обычно нелегким делом и поэтому представляют интерес различные достаточные условия существования универсального тела частных. Гомоморфизм /: R - S ( и кольцо S) будем называть вполне обращающим, если он является Ф - обращающим гомоморфизмом. Вполне обращающий гомоморфизм /: R - S кольца R в ненулевое кольцо S является инъективным; действительно, любой ненулевой элемент кольца R является, полной ( 1 х 1) - матрицей и поэтому отображается в обратимый элемент кольца S. Найдем условия, при которых Ф - рациональное замыкание кольца R относительно Ф - обращающего гомоморфизма f: R - S было бы телом. Следующая теорема дает два таких условия.
