21/10/14 19:33:01.30 oLv14f6y.net
Bを可換環、Aをその部分環（乗法の単位元1を共有する）とする。
BはA加群として有限生成であるとし、PをAの素イデアルとする。このとき、Aの元aが、
a = Σ[i=1, n] b_i p_i （b_i∈B, p_i∈P）
と表されるならば、a∈Pであることを示せ。
21/10/14 19:33:01.30 oLv14f6y.net
Bを可換環、Aをその部分環（乗法の単位元1を共有する）とする。
BはA加群として有限生成であるとし、PをAの素イデアルとする。このとき、Aの元aが、
a = Σ[i=1, n] b_i p_i （b_i∈B, p_i∈P）
と表されるならば、a∈Pであることを示せ。