因所给数域中的两数a、b完全可以相等，此时a-b=0， a b ＝1，所以①正确；对于②，取a=1，b=2，则 a b ＝ 1 2 ?G，所以②不正确；对于③，数集M中多加一个复数i，则1-i?M，所以③不正确；因数域中的数可以连续进行四种运算，所以数域必为无限集，所以④正确．故选B．
