Noun
principal ideal domain (plural principal ideal domains) (algebra) An integral domain in which every ideal is a principal ideal.