logo
АТЧ_Моисеев_С

§ 2. Существование поля частных целостного кольца

Теорема. Любое целостное кольцо имеет поле частных.

Этапы построения поля частных.

1. Алгебра пар áА´А*; +, ×ñ: коммутативность и ассоциативность операций; не дистрибутивность; наличие нейтральных элементов; необратимость каждой из операций.

2. Отношение сравнения ~ между парами: ~ – отношение эквивалентности, стабильное относительно операций.

3. Фактор-кольцо áА´А*/~; Å, Äñ: фактор-кольцо является полем.

4. Подкольцо фактор-кольца = { : aÎA}: @ A.

5. Фактор-кольцо áА´А*/~; Å, Äñ является полем частных кольца .

Приложение 2