共轭整环

conjugate domains