ction::::群中的柯西列.在一个群中，同样可以定义柯西列：命formula_59表示一列有限指标的递减的formula_60的正规子群，那么群formula_60中一个序列formula_38称为柯西列（对于上述formula_63而言），当且仅当对于任意的formula_64，存在正整数formula_3使得对于任意的formula_66，都有formula_67。如果用formula_68表示所有的这样定义的柯西列组成的集合，那么formula_68在序列点点相乘的意义下构成一个新的群。