高等代数群环域为什么这样叫?书上说也是简单给个定义,看定义看得晕儿吧唧的,感觉环的定义怪怪的,明明说有两个运算符,记为(R,+,×),又说(R,+)是交换机群,（R,×）是半群,即满足封闭性和谐结合性,可是只有一个运算呀（第一个疑问）,可以这样也不对呀,应该是满足群定义中的结合律和恒元,逆元才对呀,恒元为1,逆元a,1/a,不满足封闭性呀,√2为无理数,可√2×√2为有理数,群环域是说群是无限的,域可以有限吗?还有含幺环,“幺”是个什么东西,那书什么都没讲,
问题描述：
高等代数群环域为什么这样叫?书上说也是简单给个定义,看定义看得晕儿吧唧的,感觉环的定义怪怪的,明明说有两个运算符,记为(R,+,×),又说(R,+)是交换机群,（R,×）是半群,即满足封闭性和谐结合性,可是只有一个运算呀（第一个疑问）,可以这样也不对呀,应该是满足群定义中的结合律和恒元,逆元才对呀,恒元为1,逆元a,1/a,不满足封闭性呀,√2为无理数,可√2×√2为有理数,群环域是说群是无限的,域可以有限吗?还有含幺环,“幺”是个什么东西,那书什么都没讲,
答
(R,+,×)有+和×两种运算、其中单独看(R,+)是交换群,单独看（R,×）是半群、所谓半群、即是除了可以不满足“有逆元、有单位元”这两个条件外、满足其他所有群的条件.群环域都即可以是有限、也可以是无限的.有限的最...