Miền ideal chính