Principal ideal domain