
$p\Z_K=\prod_{1\le i\le g}\p_i^{e_i}$
