information about Principal ideal theorem field