Theorem 2. Suppose M is a non zero faithful multiplication R-module. Then M is a Dedekind module if and only if R is an integral domain and every submodule of M is a finitely generated join-quasi-cyclic submodule of M.
ทฤษฎีบทที่ 2 สมมติว่า M ไม่เป็นศูนย์คูณซื่อสัตย์ R-โมดูล แล้ว M จะเป็น Dedekindโมดูลถ้าและเดียว R เป็นโดเมนอินทิกรัลจำกัดเขตและทุก submodule M ว่าสร้าง finitelysubmodule รวมเกือบวัฏจักรของ M