আদর্শ উৎপাদক (গণিত)