整数环的定义