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

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