[Def]可约全纯函数
设 $f\in{}_n\mathcal{O}_0$, 称 $f$ 是可约的(reducible), 如果 $f$ 可以写成 $f=g_1 g_2$, 其中 $g_1$ 和 $g_2$ 都是非单位元(non unit of ${}_n\mathcal{O}_0$), 即 $g_1(0)=g_2(0)=0$.
特别的, 如果 $f\in{}_{n-1}\mathcal{O}_0[z_n]$, 称 $f$ 是可约的(reducible), 如果 $f$ 可以写成 $f=g_1 g_2$, 其中 $g_1$ 和 $g_2$ 都是非单位元(non unit of ${}_n\mathcal{O}_0[z_n]$), 即 $g_1(0)=g_2(0)=0$.