定义:设 (R,+,∗) ( R , + , ∗ ) 是个环, S S 是 的一个非空子集。如果 + + 和 也是 S S 的运算,且 也是个环,则说 (S,+,∗) ( S , + , ∗ ) 是 (R,+,∗) ( R , + , ∗ ) 是的一个子环。在所指运算不混淆时,简称 S S 是 的一个子环。
在介绍环的时候,提到的偶数环是有理数环的子环。
(R,+,∗) ( R , + , ∗ ) 是一个环,判断 R R 的非空子集
是否是 R R 的子环,一般有下面几种方法:
方法一:
1. 对任意
,有 a+b∈S a + b ∈ S ;
2. 对任意 a∈