素数を有利性数館Zの素イデアルの生成元と定義するなら
それでいいと思われ。ふつうは既約元が素数の定義だが。