prncipal idal domin n. 【数学】 主[単項]イデアル整域《すべてのイデアルが単項イデアルであるような単位元をもつ可換整域》.