اگرpعضو اسپکRباشدوl1...ln ایده آل هایی ازRباشند،عبارات زیرهم ارزند:۱.وجودداردjبین۱وnبطوری کjشاملljاست.۲.p شامل اشتراکljهاستi از ۱تا nاست.

Question

$Let p \epsilon spec \big(R\big) ,l1...ln \unlhd R,then the following statements are equivalent: 1. \exists 1 \leq j \prec n s.t p \supseteq lj 2.P \supseteq \bigcap li s.t i=1...n 3.I1....In \subseteq p