域是整环。