Отделимое пополнение кольца

пополнение топологич. кольца [img: http://localhost:8080/file/041614-20.jpg], где А- топологич. кольцо, а [img: http://localhost:8080/file/041614-21.jpg] - замыкание в Анулевого идеала о. О. п. к. снова является топологич. кольцом и обозначается обычно [img: http://localhost:8080/file/041614-22.jpg]. Всякий непрерывный гомоморфизм кольца Ав полное отделимое кольцо В единственным образом продолжается до непрерывного гомоморфизма [img: http://localhost:8080/file/041614-23.jpg] В наиболее важном случае, когда топология кольца Алинейна и задается фундаментальной системой идеалов [img: http://localhost:8080/file/041614-24.jpg], отделимое пополнение [img: http://localhost:8080/file/041614-25.jpg] канонически отождествляется с проективным пределом [img: http://localhost:8080/file/041614-26.jpg] дискретных колец [img: http://localhost:8080/file/041614-27.jpg]. Аналогично устроено отделимое пополнение модулей. В. И. Данилов.