，formula_3，其中formula_8是formula_1上的点。型如formula_8的除子被称为素除子。一般的除子都是素除子的线性组合。formula_1上的全部除子构成一个交换群，记作formula_12。对于formula_1上的非零亚纯函数formula_14，我们可以定义formula_14的除子formula_16，其中formula_17是formula_14在formula_8点零点的阶（非零点的阶为零，极点的阶按负值计）。型如formula_20的除子叫做主除子。主除子