R birimli ve değişmeli bir halka ve M bir R - modül olsun. P , M nin bir asal alt modülü olmak üzere, M nin herhangi alt modüller ailesinin her elemanı ile P aralarında asal iken, bu ailenin kesişimi P tarafından ...