生成されるイデアルの表記
環Rにおいて
部分集合Sがあり、
Sが生成するイデアル RSを考える
特に部分集合Sが有限集合$ S = \{ x_1, x_2, ... x_n \}のとき
$ RS = \sum_{i=1}^n Rx_i = Rx_1 + Rx_2 + ... Rx_n
ともかき、
さらにRが可換のときは
$ RS = SR = RSRを$ (x_1, x_2, ..., x_n)とかくことも多い