子环

设(R,+,·)为,若S是R的一个非空子集,且(S,+,·)也是环,则称(S,+,·)为(R,+,·)的子环(subring)。

判定

设(R,+,·)为环,S是R的一个非空子集。(S,+,·)是(R,+,·)的子环,当且仅当:[1]

  1. R的零元素也在S里
  2. ∀a,b∈S, a+b∈S
  3. ∀a∈S, -a∈S
  4. ∀a,b∈S, ab∈S

或等价地:

  1. ∀a,b∈S, a-b∈S
  2. ∀a,b∈S, ab∈S

也就是说:

  1. S和+构成一个
  2. ∀a,b∈S, ab∈S

如果要求环还包含乘法单比特,那么就要在上述条件加上1∈S这一条。

参考数据

  1. Frederick Michael Hall. . CUP Archive. 1966: 77 [2014-12-28]. (原始内容存档于2019-05-02).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.