引入完备化函子的定义,讨论其与有限直和、矩阵环的关系及单性.
Introduces the concept of completion functor and discusses its relations with finite direct sum and matrix rings and its simplicity.