ОТДЕЛИМОЕ ПОПОЛНЕНИЕ КОЛЬЦА

пополнение топологич. кольца , где А- топологич. кольцо, а - замыкание в Анулевого идеала о. О. п. к. снова является топологич. кольцом и обозначается обычно . Всякий непрерывный гомоморфизм кольца Ав полное отделимое кольцо В единственным образом продолжается до непрерывного гомоморфизма

В наиболее важном случае, когда топология кольца Алинейна и задается фундаментальной системой идеалов , отделимое пополнение канонически отождествляется с проективным пределом

дискретных колец . Аналогично устроено отделимое пополнение модулей. В. И. Данилов.