Lemma 5. Suppose R is an integral domain and M is a non zero faithful finitely generated Rmodule. Then R is a Prüfer domain if and only if every finitely generated submodule of M is join-quasi-cyclic.
Lemma 5. Suppose R is an integral domain and M is a non zero faithful finitely generated Rmodule.Then R is a Prüfer domain if and only if every finitely generated submodule of M isjoin-quasi-cyclic.
แทรก 5. สมมติ R คือโดเมนที่หนึ่งและ M เป็นศูนย์ที่ไม่ซื่อสัตย์สร้างขีด Rmodule. จากนั้น R คือโดเมนPrüferถ้าหากทุก submodule สร้างขีดของ M เป็นเข้าร่วมกึ่งวงกลม
พ 5 สมมติว่า R เป็นโดเมนหนึ่งและจะไม่ศูนย์ซื่อสัตย์สร้างการนำ rmodule . r เป็น Pr ü fer แล้วโดเมนถ้าและเพียงถ้าทุกหลังสร้าง submodule M เข้าร่วมเป็นกึ่งวงกลม .