Lemma 2. Suppose M is a non zero faithful finitely generated weak-join-quasi-cyclic R-module. Suppose R is an integral domain and B is a finitely generated ideal of R. If BM is weak-joinquasi- cyclic, then B is quasi-principal.
จับมือ 2 สมมติว่า M คือ ไม่ ซื่อสัตย์ศูนย์สร้างโมดูล R ที่อ่อนแอรวมเกือบทุกรอบ finitelyสมมติว่า R เป็นโดเมนอินทิกรัลจำกัดเขต และ B เหมาะสร้าง finitely ของอาร์ ถ้า BM อ่อนแอ-joinquasi -วัฏจักร แล้ว B เป็นกึ่งหลัก
บทแทรก 2. สมมติว่า M เป็นศูนย์ที่ไม่ซื่อสัตย์สร้างขีดอ่อนแอเข้าร่วมกึ่งวงกลม R-โมดูล. สมมติว่า R คือโดเมนที่หนึ่งและ B เป็นที่ที่เหมาะสร้างขีดของอาร์หาก BM-อ่อนแอ joinquasi- วงจรแล้ว B เป็นเสมือนหลัก