Microsoft Word - 109-117 Mathematics | 109 Ibn Al-Haitham Jour. for Pure & Appl. Sci. IHJPAS https://doi.org/10.30526/31.3.2000 Vol. 31 (3) 2018 WE-Prime Submodules and WE-Semi-Prime Submodules Saif A. Hussin Haibt K. Mohammadali Department of Mathematics, College of Computer Science and Mathematics, Tikrit University, Iraq, Tikrit Saif.a19881988@gmail.com Article history: Received 5 August 2018, Accepted 18 September 2018, Published December 2018"" Abstract " In this article, "we introduce the concept of a WE-Prime submodule", as a stronger form of a weakly prime submodule. And as a "generalization of WE-Prime submodule, we introduce the concept of WE-Semi-Prime submodule, which is also a stronger form of a weakly semi-prime submodule. Various basic properties of these two concepts are discussed. Furthermore, the relationships between "WE-Prime submodules and weakly prime submodules"and studied. On the other hand, the relation between WE-Prime submodules and WE- Semi - Prime submodules are consider."Also"the relation of "WE – Sime - Prime submodules and weakly semi-prime submodules" are explained. Behind that, some characterizations of these concepts are investigated". Keywords: "weakly prime submodules, weakly semi-prime submodules, "WE-Prime submodules, WE-Semi-Prime submodules. 1. Introduction ""Weakly prime submodule" "have been introduced and studied" by Hadi M. A in [1], where "a proper submodule K of an R-module X is called a weakly prime, if" wherever 0 π‘Ÿπ‘₯ ∈ 𝐾, where "π‘Ÿ ∈ 𝑅, π‘₯ ∈ 𝑋", implies that either π‘₯ ∈ 𝐾 or π‘Ÿ ∈ 𝐾: 𝑋 , where 𝐾: 𝑋 π‘Ž ∈ 𝑅 ∢ π‘Žπ‘‹ 𝐾 . "Weakly semi-prime submodule have been introduced and studied by Farzalipour F in [2], "where a proper submodule K of an R-module" X "is called a weakly semi-prime if" wherever 0 π‘Ÿ π‘₯ ∈ 𝐾, where π‘Ÿ ∈ 𝑅, π‘₯ ∈ 𝑋, implies that π‘Ÿπ‘₯ ∈ 𝐾. ""Throughout this note all rings will be commutative with identity, and all R-modules are left unitary"". "A proper submodule K of an R-module X is said to be fully invariant if 𝑓 𝐾 𝐾 for each 𝑓 ∈ 𝐸𝑛𝑑 𝑋 [3]. An R-module M is called X- Injective", if for "every R-homomorphism 𝑔: 𝑁 ⟢ 𝑀 ", and every R-homomorphism 𝑓: 𝑁 ⟢ 𝑋 , there exists an R-homomorphism β„Ž: 𝑋 ⟢ 𝑀, "where N is an R-module" such that β„Žπ‘œπ‘“ 𝑔 [5]". "An R-module P is called X- Projective if for every R-homomorphism 𝑓: 𝑃 ⟢ 𝑁 and every R-epimorphism 𝑔: 𝑀 ⟢ 𝑁 , there exists an R-homomorphism β„Ž: 𝑃 ⟢ 𝑀 such that π‘”π‘œβ„Ž 𝑓 [5]. An R-module X is called a scalar module" "if for each" 𝑓 ∈ 𝐸𝑛𝑑 𝑋 , "there exists π‘Ÿ ∈ 𝑅 such that 𝑓 π‘š π‘Ÿπ‘š for each π‘š ∈ 𝑋 [6]". 2. WE-Prime Submodules" In this section, we introduce the concept WE-Prime submodule as a stronger form of a weakly prime submodule, and established some of its basic properties, examples and characterizations. Mathematics | 110 Ibn Al-Haitham Jour. for Pure & Appl. Sci. IHJPAS https://doi.org/10.30526/31.3.2000 Vol. 31 (3) 2018 Definition (1) A proper submodule K of an R-module X is said to be a weakly endo-prime (for a short WE-Prime), where 𝐸 𝐸𝑛𝑑 𝑋 , if wherever, 0 πœ“ π‘₯ ∈ 𝐾 , where πœ“ ∈ 𝐸𝑛𝑑 𝑋 , π‘₯ ∈ 𝑋 , implies that either π‘₯ ∈ 𝐾 or πœ“ π‘₯ 𝐾. "And an ideal I of a ring R is said to be a weakly endo-prime ideal" (WE-Prime ideal), "if I is a WE-Prime as an R-submodule of an R-module R". ""The following" proposition gives relation of "WE-Prime submodules and weakly prime submodules". Proposition (2) "Every WE-Prime submodule of an R-module" X" is a weakly prime submodule of X". Proof" " Assume that K is a WE-Prime submodule of X, and" 0 π‘Ÿπ‘₯ ∈ 𝐾, where π‘Ÿ ∈ 𝑅, π‘₯ ∈ 𝑋, with π‘₯ βˆ‰ 𝐾". "Now, let πœ“: 𝑋 ⟢ 𝑋 be a mapping defined by πœ“ π‘₯ π‘Ÿπ‘₯ for all π‘₯ ∈ 𝑋. Clearly πœ“ ∈ 𝐸𝑛𝑑 𝑋 . In fact we have 0 π‘Ÿπ‘₯ πœ“ π‘₯ ∈ 𝐾". ""But K is a WE-Prime submodule of X, and π‘₯ βˆ‰ 𝐾", implies that πœ“ π‘₯ 𝐾, hence π‘Ÿπ‘₯ 𝐾, so π‘Ÿ ∈ 𝐾: 𝑋 . "Therefore K is a weakly prime submodule of X". The converse of Proposition (2)" "is not true in general, as the following example shows". Example (3)" " Let 𝑋 𝑍 ⨁ 𝑍" and R=Z, 𝐾 〈0βŒͺ⨁3𝑍. Clearly K "is a weakly prime submodule of X, but K is not WE-Prime submodule of X". Since we define πœ“: 𝑋 ⟢ 𝑋 "by πœ“ π‘Ž, 𝑏 0, 𝑏 for all π‘Ž, 𝑏 ∈ 𝑋 ". Clearly πœ“ ∈ 𝐸𝑛𝑑 𝑋 . Now 0, 0 πœ“ 1, 3 0, 3 ∈ 𝐾 , but 1, 3 βˆ‰ 𝐾 and πœ“ 𝑋 0 ⨁𝑍 β‰° 𝐾". ""The converse of Proposition (2)" "is true in the class of cyclic R-modules, as the following proposition shows". Proposition (4)" " Let X be a cyclic R-module, and" K is a "proper submodule of X such that K is a weakly prime submodule of X."Then K is a WE-Prime submodule of X". Proof" "Assume that K is a weakly prime submodule of cyclic R-module X", "where 𝑋 π‘…π‘š, π‘š ∈ 𝑋". "Suppose that 0 πœ“ π‘₯ ∈ 𝐾, where πœ“ ∈ 𝐸𝑛𝑑 𝑋 , π‘₯ ∈ 𝑋 and π‘₯ βˆ‰ 𝐾". "Now, let 𝑦 ∈ 𝑋, then 𝑦 π‘Ÿπ‘š and π‘₯ π‘Ÿ π‘š for some π‘Ÿ, π‘Ÿ ∈ 𝑅". "Thus, 0 πœ“ π‘₯ π‘Ÿ πœ“ π‘š ∈ 𝐾, but K is a weakly prime submodule of X, then either π‘Ÿ ∈ 𝐾: 𝑋 or πœ‘ π‘š ∈ 𝐾". "But π‘Ÿ βˆ‰ 𝐾: 𝑋 for π‘₯ π‘Ÿ π‘š βˆ‰ 𝐾. Hence πœ“ π‘š ∈ 𝐾, hence πœ“ 𝑦 π‘Ÿπœ“ π‘š ∈ 𝐾. Therefore πœ“ 𝑋 𝐾". Corollary (5) Let K be a proper submodule of a cyclic R-module X". "Then K is a WE-Prime if and only if K is a weakly prime submodule of X. Proposition (6) Let X be a faithful R-module", "and K is a WE-Prime submodule of X". "Then 𝐾: 𝑋 is a WE-Prime ideal of R. Mathematics | 111 Ibn Al-Haitham Jour. for Pure & Appl. Sci. IHJPAS https://doi.org/10.30526/31.3.2000 Vol. 31 (3) 2018 Proof" Since K is a WE-Prime submodule of X", "then by Proposition (2.2), K is a weakly prime submodule of X". "Hence by [1, Prop.2.4]", we get 𝐾: 𝑋 "is a weakly prime ideal of R. But R is a cyclic R-module", "then by Proposition (2.4), we get 𝐾: 𝑋 is a WE-Prime ideal of R". "We need to recall the following result before we introduce the next proposition". Lemma (7) [3] "Let N and K be" "two submodules of an R-module X, then 1. "If 𝑁 𝐾, then 𝑁: 𝑋 𝐾: 𝑋 ". 2. "If 𝑁 𝐾, then 𝑁: 𝑋 𝑁: 𝐾 ". ""The following proposition is a characterization of a WE-Prime submodules". Proposition (8)" Let K be a proper fully invariant submodule of an R-module X". "Then K is a WE-Prime submodule of X if and only if" 𝐾: πœ“ 𝑋 𝐾: πœ“ 𝐻 for all πœ“ ∈ 𝐸𝑛𝑑 𝑋 and "a non-zero submodule H of X with 𝐾 𝐻". Proof" ⟹ Assume that K is a WE-Prime submodule of X, and" H "is a non-zero submodule of X such that 𝐾 𝐻 ". "Let πœ“ ∈ 𝐸𝑛𝑑 𝑋 , then by Lemma (2.7)(2) we have 𝐾: πœ“ 𝑋 𝐾: πœ“ 𝐻 , since 𝐾 𝐻, "then there exists π‘₯ ∈ 𝐻 and π‘₯ βˆ‰ 𝐾". "Now, "suppose that b is a non-zero element in" 𝐾: πœ“ 𝐻 , then 0 π‘πœ“ 𝐻 𝐾, implies that 0 π‘πœ“ π‘₯ ∈ 𝐾, where π‘₯ ∈ 𝐻 𝑋". "Define πœ“: 𝑋 ⟢ 𝑋 by πœ“ 𝑦 π‘πœ“ 𝑦 for all 𝑦 ∈ 𝑋, clearly πœ“ ∈ 𝐸𝑛𝑑 𝑋 , also 0 π‘πœ“ π‘₯ πœ“ π‘₯ ∈ 𝐾. But K is a WE-Prime submodule of X, and π‘₯ βˆ‰ 𝐾, then πœ“ 𝑋 𝐾, implies that π‘πœ“ 𝑋 𝐾 and hence 𝑏 ∈ 𝐾: πœ“ 𝑋 . Thus 𝐾: πœ“ 𝐻 𝐾: πœ“ 𝑋 , and it follows that 𝐾: πœ“ 𝑋 𝐾: πœ“ 𝐻 ". " ⟸ Assume that 0 πœ“ π‘₯ ∈ 𝐾", "where π‘₯ ∈ 𝑋 and πœ“ ∈ 𝐸𝑛𝑑 𝑋 , and suppose that π‘₯ βˆ‰ 𝐾", we want to show that πœ“ 𝑋 𝐾. Since π‘₯ βˆ‰ 𝐾, then 𝐾 𝐾 𝑅π‘₯, where 𝐾 𝑅π‘₯ "is a non-zero submodule of X". Thus by our hypothesis, we get 𝐾: πœ“ 𝑋 𝐾: πœ“ 𝐾 𝑅π‘₯ . Since K is a fully invariant, then πœ“ 𝐾 𝐾 and "πœ“ 𝑅π‘₯ 𝐾, it follows that πœ“ 𝐾 𝑅π‘₯ 𝐾". Hence 𝐾: πœ“ 𝐾 𝑅π‘₯ 𝑅, therefore 1 ∈ 𝐾: πœ“ 𝐾 𝑅π‘₯ , implies that 1 ∈ 𝐾: πœ“ 𝑋 , hence πœ“ 𝑋 𝐾. Thus K is a WE-Prime submodule of X". Proposition (9) ""Let X be an R-module, and L", H are "submodules of X, with H is a fully invariant submodule of X and 𝐻 𝐿". "If is a WE-Prime submodule of , then L is a WE-Prime submodule of X". Proof "Assume that 0 πœ“ π‘₯ ∈ 𝐿, where π‘₯ ∈ 𝑋 and πœ“ ∈ 𝐸𝑛𝑑 𝑋 . If π‘₯ βˆ‰ 𝐿, then we must show that πœ“ 𝑋 𝐿. Define πœ“ : ⟢ by πœ“ π‘₯ 𝐻 πœ“ π‘₯ 𝐻 for all π‘₯ ∈ 𝑋. To prove that πœ‘ is well define, suppose that π‘₯ 𝐻 π‘₯ 𝐻 where π‘₯ , π‘₯ ∈ 𝑋 , then π‘₯ π‘₯ ∈ 𝐻 , hence πœ“ π‘₯ π‘₯ ∈ πœ“ 𝐻 𝐻 because H is a fully invariant. It follows that πœ“ π‘₯ πœ“ π‘₯ ∈ 𝐻. Hence πœ“ π‘₯ 𝐻 πœ“ π‘₯ 𝐻, implies that πœ“ π‘₯ 𝐻 πœ“ π‘₯ 𝐻. Since 0 πœ“ π‘₯ ∈ Mathematics | 112 Ibn Al-Haitham Jour. for Pure & Appl. Sci. IHJPAS https://doi.org/10.30526/31.3.2000 Vol. 31 (3) 2018 𝐿, implies that 0 πœ“ π‘₯ 𝐻 πœ“ π‘₯ 𝐻 ∈ 𝐿 𝐻 . But is a WE-Prime submodule of , and π‘₯ 𝐻 βˆ‰ 𝐿 𝐻 , implies that πœ“ 𝑋 𝐻 𝐿 𝐻 , thus, we have 𝐿 𝐻 , it follows that πœ“ 𝑋 𝐻 𝐿. Thus πœ“ 𝑋 𝐿". Hence "L is a WE-Prime submodule of X". Proposition (10)" "Let L and K are submodules of an R-module X", "with L is an X-injective, and K is a WE- Prime submodule of X". "Then either 𝐿 𝐾or 𝐾 ∩ 𝐿 is a WE-Prime submodule of L". Proof "Assume that 𝐿 β‰° 𝐾", "then 𝐾 ∩ 𝐿 is a proper submodule of L". Now, let 0 πœ“ π‘₯ ∈ 𝐾 ∩ 𝐿, where π‘₯ ∈ 𝐿 and πœ“ ∈ 𝐸𝑛𝑑 𝐿 . Suppose that π‘₯ βˆ‰ 𝐾 ∩ 𝐿 , then π‘₯ βˆ‰ 𝐾 . Now, consider the following diagram, "where 𝔦 is the inclusion map. Since L is an X-injective then there exists" πœ™: 𝑋 ⟢ 𝐿 such that πœ™π‘œπ”¦ πœ“. Clearly πœ™ ∈ 𝐸𝑛𝑑 𝑋 , but 0 πœ“ π‘₯ πœ™π‘œπ”¦ π‘₯ πœ™ π‘₯ ∈ 𝐾, implies that 0 πœ™ π‘₯ ∈ 𝐾. But K is a WE-Prime submodule of X and π‘₯ βˆ‰ 𝐾, then πœ™ 𝑋 𝐾. "Also, we have πœ“ 𝐿 πœ™π‘œπ”¦ 𝐿 πœ™ 𝐿 𝐿 and πœ“πœ“ 𝐿 πœ™ 𝐿 πœ™ 𝑋 𝐾. Hence πœ“ 𝐿 𝐾 ∩ 𝐿, it follows that 𝐾 ∩ 𝐿 is a WE-Prime submodule of L". Proposition (11)" "Let X be an R-module"and K, L are non-trivial submodules of X such that L is a WE-Prime submodule of X"and IK is a non-zero submodule of L for some ideal I of R. If 𝐼 𝐿: 𝑋 then 𝐾 𝐿". Proof "Suppose that 𝑦 ∈ 𝐾 , since 𝐼 β‰° 𝐿: 𝑋 , then there exists 𝑖 ∈ 𝐼 and 𝑖 βˆ‰ 𝐿: 𝑋 ". "Now, let πœ“: 𝑋 ⟢ 𝑋 define by πœ“ π‘₯ 𝑖π‘₯ for all submodule π‘₯ ∈ 𝑋, clearly πœ“ ∈ 𝐸𝑛𝑑 𝑋 ". "Since IK "is a non-zero submodule of L", "then iy is a non-zero element in K". That is 0 πœ“ 𝑦 𝑖𝑦 ∈ 𝐼𝐾 𝐿 , implies that 0 𝑖𝑦 ∈ 𝐿 , but "L is a WE-Prime submodule of X, and 𝑖𝑋 πœ“ 𝑋 β‰° 𝐿, implies that 𝑦 ∈ 𝐿. Thus 𝐾 𝐿". Proposition (12) "Let X be an R-module and πœ“: 𝑋 ⟢ 𝑋 be an R-homomorphism", "and K be a proper fully invariant WE-Prime submodule of X with πœ“ 𝑋 β‰° 𝐾. Then πœ“ 𝐾 is a WE-Prime submodule of X". Proof "Clearly πœ“ 𝐾 is a proper submodule of" X. Now, assume that 0 πœ™ π‘₯ ∈ πœ“ 𝐾 where π‘₯ ∈ 𝑋, πœ™ ∈ 𝐸𝑛𝑑 𝑋 . If π‘₯ βˆ‰ πœ“ 𝐾 , then πœ“ π‘₯ βˆ‰ 𝐾, "it follows that" π‘₯ βˆ‰ 𝐾 "because K is a fully invariant submodule of X". "We must prove that πœ™ 𝑋 πœ“ 𝐾 . Since 0 πœ“π‘œπœ™ π‘₯ πœ“ πœ™ π‘₯ ∈ 𝐾. "That is 0 πœ“ πœ™ π‘₯ ∈ 𝐾". "But K is a WE-Prime submodule of X, and π‘₯ βˆ‰ 𝐾", "it follows that πœ“π‘œπœ™ 𝑋 𝐾, implies that πœ™ 𝑋 πœ“ 𝐾 . Hence πœ“ 𝐾 is a WE-Prime submodule of X". 3. WE-Semi-Prime Submodules" "In this section, we introduce the" concept "of WE-Semi-Prime submodule as a generalization of" a WE-Prime "submodule and" stronger form of a weakly semi-prime "submodule and give some basic properties", "examples and characterizations of this concept". Mathematics | 113 Ibn Al-Haitham Jour. for Pure & Appl. Sci. IHJPAS https://doi.org/10.30526/31.3.2000 Vol. 31 (3) 2018 Definition (13)" "A proper submodule K of an R-module" X "is said to be a weakly endo semi-prime submodule of X (for a short WE-Semi-Prime)", where 𝐸 𝐸𝑛𝑑 𝑋 , if, wherever 0 ψ π‘₯ ∈ 𝐾, where π‘₯ ∈ 𝑋 and ψ ∈ 𝐸𝑛𝑑 𝑋 ", "implies that ψ π‘š ∈ 𝐾. "And an ideal I of a ring R is said to be a" weakly endo semi-"prime ideal of R, if I is a" weakly endo semi-"prime as an R-submodule of R-module R". Proposition (14) "Every WE-Prime submodule of an R-module X" "is a WE-Semi-Prime submodule of X". Proof "Let K be a WE-Prime submodule of X", "and 0 ψ π‘₯ ∈ 𝐾", where π‘₯ ∈ 𝑋, ψ ∈ 𝐸𝑛𝑑 𝑋 . Since "K is a WE-Prime submodule, and 0 ψ ψ π‘₯ ∈ 𝐾 ", then "either ψ π‘₯ ∈ 𝐾 or ψ 𝑋 𝐾". "Thus in any case ψ π‘₯ ∈ 𝐾". "Hence K is a WE-Semi-Prime submodule of X". ""The converse of Proposition (3.2) is not true in general", "as the following example shows that". Example (15)" "Let X=Z and R=Z, K=10Z as a" Z-module of X. "Then K is a WE-Semi-Prime but not WE- Prime submodule of X, since if we defined ψ: 𝑍 ⟢ 𝑍 by ψ π‘₯ π‘₯, ψ ∈ 𝐸𝑛𝑑 𝑋 and 0 2ψ 5 10 ∈ 𝐾 , but 5 βˆ‰ 𝐾 and ψ 𝑍 𝑍 β‰° 𝐾 10𝑍 , hence K is not WE-Prime submodule of X. But K is a WE-Semi-Prime, since 0 ψ 10 ψ ψ 10 10 ∈ 𝐾 , implies that ψ 10 10 ∈ 𝐾". Proposition (16) "Every WE-Semi-Prime submodule of an R-module X" "is a weakly semi-prime submodule of X". Proof "Let K be a WE-Semi-Prime submodule of" X, "and" 0 π‘Ÿ π‘₯ ∈ 𝐾 , where π‘Ÿ ∈ 𝑅, π‘₯ ∈ 𝐾 . Now, let ψ: 𝑋 ⟢ 𝑋 defined by ψ π‘₯ π‘Ÿπ‘₯ for all π‘₯ ∈ 𝑋, clearly ψ ∈ 𝐸𝑛𝑑 𝑋 ". "Now, 0 π‘Ÿ π‘₯ ψ π‘₯ ∈ 𝐾, but "K is a WE-Semi-Prime submodule of" X, "implies that ψ π‘₯ π‘Ÿπ‘₯ ∈ 𝐾". "Thus K is a weakly semi-prime submodule of X". ""The converse of Proposition" "(3.4) is not true in general, as the following example shows". Example (17)" "Let 𝑋 𝑍⨁𝑍, R"=Z, 𝐾 𝑍⨁10𝑍, K "is a weakly semi-prime submodule of X" but not WE-Semi-Prime : Let π‘Ÿ 2 ∈ 𝑍 and π‘₯ 3,5 ∈ 𝑋 , then 0 2 3,5 12,20 ∈ 𝐾 , implies that 2 3,5 6,10 ∈ 𝐾. To show that K is not WE-Semi-Prime : Let ψ: 𝑋 ⟢ 𝑋 "defined by ψ π‘₯, 𝑦 𝑦, π‘₯ for all π‘₯, 𝑦 ∈ 𝑍 ". Clearly ψ ∈ 𝐸𝑛𝑑 𝑋 . Now, take ψ 0,5 5,0 βˆ‰ 𝐾 but ψ 0,5 ψ ψ 0,5 ψ 5,0 0,5 ∈ 𝐾 . Hence K is not WE-Semi- Prime submodule of X". Proposition (18)" "Let K be a submodule of an R-module" X with 𝐾 ∩∝∈∧ 𝐿∝, where each 𝐿∝ "is a WE-Prime submodule of X. "Then K is a WE-Semi-Prime submodule of X. Proof" "Suppose that" 0 ψ π‘₯ ∈ 𝐾, where π‘₯ ∈ 𝑋, ψ ∈ 𝐸𝑛𝑑 𝑋 , then 0 ψ π‘₯ ∈ 𝐿∝ for each ∝ ∈∧. But 𝐿∝ "is a WE-Prime submodule of X, hence by Proposition (3.2)" 𝐿∝ is a WE-Semi- Mathematics | 114 Ibn Al-Haitham Jour. for Pure & Appl. Sci. IHJPAS https://doi.org/10.30526/31.3.2000 Vol. 31 (3) 2018 Prime. "Thus ψ π‘₯ ∈ 𝐿∝ for each ∝∈∧. Therefore ψ π‘₯ ∈ ∩∝∈∧ 𝐿∝. Hence K is a WE-Semi- Prime submodule of X. "The following proposition shows that in the class of scalar modules, weakly semi-prime submodule and WE-Semi-Prime submodules are coinciding. Proposition (19)" "Let X be a scalar module, and L is a proper submodule of X. Then L is a WE-Semi-Prime submodule of X, if and only if L is a weakly semi-prime submodule of X. Proof " ⟹ "Follows from Proposition (3.4). " ⟸ Suppose that L is a weakly semi-prime submodule of X", and 0 πœ™ π‘₯ ∈ 𝐿, where π‘₯ ∈ 𝑋 and πœ™ ∈ 𝐸𝑛𝑑 𝑋 . Since X is a scalar module, "then there exists π‘Ÿ ∈ 𝑅 such that πœ™ π‘₯ π‘Ÿπ‘₯ for each π‘₯ ∈ 𝑋". "Now", 0 πœ™ π‘₯ πœ™ πœ™ π‘₯ πœ™ π‘Ÿπ‘₯ π‘Ÿ π‘₯ ∈ 𝐿. But L "is a weakly semi-prime submodule of X", implies that π‘Ÿπ‘₯ ∈ 𝐿. "Hence πœ™ π‘₯ ∈ 𝐿". "Thus L is a WE-Semi-Prime submodule of X". ""The following propositions are characterizations of WE-Semi-Prime submodules". Proposition (20)" "Let X be an R-module, and" L is "a proper submodule of X". Then L is a WE-Semi-Prime submodule" if and only "if 0 πœ™ 𝐾 𝐿, where K is a submodule of X and πœ™ ∈ 𝐸𝑛𝑑 𝑋 , implies that πœ™ 𝐾 𝐿". Proof " ⟹ Assume that 0 πœ™ 𝐾 𝐿", where "K is a submodule of" X, πœ™ ∈ 𝐸𝑛𝑑 𝑋 , implies "that 0 πœ™ π‘₯ ∈ 𝐿 for all π‘₯ ∈ 𝐾 𝑋". "Since L is a WE-Semi-Prime submodule of X, then πœ™ π‘₯ ∈ 𝐿 for all π‘₯ ∈ 𝑋. Thus πœ™ 𝐾 𝐿. " ⟸ Suppose that 0 πœ™ π‘₯ ∈ 𝐿, where π‘₯ ∈ 𝑋, and πœ™ ∈ 𝐸𝑛𝑑 𝑋 , then by hypothesis, we have 𝐾 π‘₯ is a submodule of X, and 0 πœ™ 𝐾 ∈ 𝐿, implies that πœ™ 𝐾 𝐿, "it follows that πœ™ π‘₯ ∈ 𝐿. "Hence L is a WE-Semi-Prime submodule of X. Proposition (21)" "Let X be an R-module, and" L is "a proper submodule of X". "Then L is a WE-Semi-Prime submodule of X, if and only if", "wherever 0 πœ™ π‘₯ ∈ 𝐿, π‘₯ ∈ 𝑋, πœ™ ∈ 𝐸𝑛𝑑 𝑋 , and for 𝑛 2, implies that πœ™ π‘₯ ∈ 𝐿". Proof " ⟹ Follows by inducation on 𝑛 ∈ 𝑍 ". " ⟸ Direct from definition of WE-Semi-Prime submodule". "In the class of scalar module, we get the following characterizations of WE-Semi-Prime submodules. Proposition (22) ""Let X be a scalar R-module, and L be a proper submodule of X. Then the following statements are equivalent:" 1. "L is a WE-Semi-Prime submodule of X". 2. " 𝐿: π‘Ÿ 0 : π‘Ÿ βˆͺ 𝐿: π‘Ÿ for non-zero r in R". 3. 𝐿: π‘Ÿ 0 : π‘Ÿ or 0 : π‘Ÿ 𝐿: π‘Ÿ for non-zero r in R". Mathematics | 115 Ibn Al-Haitham Jour. for Pure & Appl. Sci. IHJPAS https://doi.org/10.30526/31.3.2000 Vol. 31 (3) 2018 Proof " 1 ⟹ 2 Since L is a WE-Semi-Prime submodule of X, "then by Proposition (3.4) L is a weakly semi-prime submodule of X. Now, let π‘₯ ∈ 𝐿: π‘Ÿ , implies that π‘Ÿ π‘₯ ∈ 𝐿, either 0 π‘Ÿ π‘₯ ∈ 𝐿 or π‘Ÿ π‘₯ 0 . If 0 π‘Ÿ π‘₯ ∈ 𝐿 , implies that π‘Ÿπ‘₯ ∈ 𝐿 , hence π‘₯ ∈ 𝐿: π‘Ÿ . If π‘Ÿ π‘₯ 0 , implies that π‘₯ ∈ 0 : π‘Ÿ , hence, we get 𝐿: π‘Ÿ 𝐿: π‘Ÿ βˆͺ 0 : π‘Ÿ . Clearly we have by Lemma (2.7), 𝐿: π‘Ÿ 𝐿: π‘Ÿ , and 0 : π‘Ÿ 𝐿: π‘Ÿ , hence 𝐿: π‘Ÿ βˆͺ 0 : π‘Ÿ 𝐿: π‘Ÿ . Thus the equality holds". " 2 ⟹ 3 Direct". " 3 ⟹ 1 To prove first L is a weakly semi-prime submodule of X". "Suppose that" 0 π‘Ÿ π‘₯ ∈ 𝐿, where π‘₯ ∈ 𝑋, π‘Ÿ ∈ 𝑅, implies that π‘₯ ∈ 𝐿: π‘Ÿ and π‘₯ βˆ‰ 0 : π‘Ÿ . Thus by hypothesis, we get π‘₯ ∈ 𝐿: π‘Ÿ , implies that π‘Ÿπ‘₯ ∈ 𝐿, hence L "is a weakly semi-prime submodule of X". "Thus by Proposition (3.7), we have L is a WE-Semi-Prime submodule of X". Recall that "an element x in R-module X is called" torsion if 0 π‘Žπ‘›π‘› π‘₯ π‘Ÿ ∈ 𝑅 ∢ π‘Ÿπ‘₯ 0 . The set of all torsion elements denoted by T(X), which is a submodule of X. If T(X)=(0), then X is called torsion free [3]. Proposition (23) "Let X is a torsion free scalar R-module, and L be a proper submodule of X, such that L is a WE-Semi-Prime submodule of X. Then 𝐿: 𝐼 is a WE-Semi-"Prime submodule of X for any non-zero ideal I of R". Proof "Since L is a WE-Semi-Prime submodule of X", "then by Proposition (3.4) L is a weakly semi-prime submodule of X". "Thus by [2, Prop.27] we get 𝐿: 𝐼 is a weakly semi-prime submodule of X. "But X is a scalar module, hence by Proposition (3.7), we have 𝐿: 𝐼 is a WE-Semi-Prime submodule of X". Proposition (24) Let πœ™: 𝑋 ⟢ 𝑋′ be an R-epimorphism, and" L is a WE-Semi-Prime submodule of X with πΎπ‘’π‘Ÿπœ™ 𝐿. "Then πœ™ 𝐿 is a WE-Semi-Prime submodule of X', where X' is an X-projective R- module. Proof Clearly πœ™ 𝐿 is a proper submodule of X'. Assume that 0 𝑓 π‘₯β€² ∈ πœ™ 𝐿 where π‘₯β€² ∈ 𝑋′, and 𝑓 ∈ 𝐸𝑛𝑑 𝑋′ , we prove that 𝑓 π‘₯β€² ∈ πœ™ 𝐿 , since πœ™ is an epimorphism, and π‘₯β€² ∈ 𝑋′, then there exists π‘₯ ∈ 𝑋 such that πœ™ π‘₯ π‘₯β€² . "Consider the following diagram since X' is X- projective", then there exists a homomorphism h such that πœ™oh f . Now, 0 𝑓 π‘₯β€² 𝑓 𝑓 π‘₯β€² ∈ πœ™ 𝐿 , "implies that 0 πœ™ ∘ h ∘ πœ™ ∘ h π‘₯β€² ∈ πœ™ 𝐿 , and hence 0 πœ™ h ∘ πœ™ π‘₯ ∈ πœ™ 𝐿 . But πΎπ‘’π‘Ÿπœ™ 𝐿," "then 0 h ∘ πœ™ π‘₯ ∈ 𝐿. Since L is a WE-Semi-Prime submodule of X, then πœ™ ∘ h π‘₯ , implies that πœ™ h ∘ πœ™ π‘₯ ∈ πœ™ 𝐿 hence πœ™ ∘ h πœ™ π‘₯ ∈ πœ™ 𝐿 implies that 𝑓 π‘₯β€² ∈ πœ™ 𝐿 . Therefore πœ™ 𝐿 is a WE-Semi-Prime submodule of X'. "As a direct consequence of Proposition (3.12) we get the following corollary. Corollary (25)" "Let L and K be a submodule of an R-module X with 𝐾 𝐿, "and L is a WE-Semi-Prime submodule of X. "Then is a WE-Semi-Prime submodule of , where is an X-projective R- module. Mathematics | 116 Ibn Al-Haitham Jour. for Pure & Appl. Sci. IHJPAS https://doi.org/10.30526/31.3.2000 Vol. 31 (3) 2018 "Recall that an R-module X is multiplication if every submodule K of X is of the form K=IX for some ideal I of R [7]. Proposition (26)" "Let X be a multiplication R-module and L is a weakly semi-prime submodule of X"," then L is a WE-Semi-Prime submodule of X". Proof" "Suppose that 0 𝑓 π‘₯ ∈ 𝐿, where π‘₯ ∈ 𝑋, 𝑓 ∈ 𝐸𝑛𝑑 𝑋 ."Since X is a multiplication, then by [8, Coro.1.2] there exists 𝑠 ∈ 𝑅 such that 𝑓 π‘₯ 𝑠π‘₯ for all π‘₯ ∈ 𝑋". "Hence 0 𝑓 𝑓 π‘₯ 𝑠 π‘₯ ∈ 𝐿. But L is a weakly semi-prime, implies that 𝑠π‘₯ ∈ 𝐿. Thus 𝑓 π‘₯ ∈ 𝐿, so L is a WE- Semi-Prime submodule of X. "It is well-known every cyclic R-module is a multiplication [7], we get the following result. Corollary (27)" "Let X be a cyclic R-module, and L is a proper submodule of X. "Then L is a WE-Semi- Prime submodule if and only if L is a weakly semi-prime. We end this section by the following result. Proposition (28)" "Let X be a faithful multiplication R-module, and L is a proper submodule of X. "Then L is a WE-Semi-Prime submodule of X if and only if 𝐿: 𝑋 is a WE-Semi-Prime ideal of R". Proof " ⟹ Since L is a WE-Semi-Prime submodule of X, "then by Proposition (3.4) L is a weakly semi-prime submodule of X". "Hence by [2, Prop.29], we have 𝐿: 𝑋 is a weakly semi-prime ideal of R. "Therefore 𝐿: 𝑋 is a weakly semi-prime as R-submodule of R-module R". "But R is cyclic R-module, implies that by Corollary (27) 𝐿: 𝑋 is a WE-Semi-Prime R-submodule of R-module R. Hence 𝐿: 𝑋 is a WE-Semi-Prime ideal of R. " ⟸ Since 𝐿: 𝑋 is a WE-Semi-Prime ideal of R, "implies that 𝐿: 𝑋 is a weakly semi- prime ideal of R". "Hence by [2, Theo.30] we have L is a weakly semi-prime submodule of X. But X is a multiplication, then by Proposition (26) L is a WE-Semi-Prime submodule of X. ""As a direct consequence of Proposition (27), we get the following result". Corollary (3.17)" "Let X be a faithful cyclic R-module", "and L is a proper submodule of X. "Then L is a WE- Semi-Prime submodule of X if and only if 𝐿: 𝑋 is a WE-Semi-Prime ideal of R. References 1. Hadi, A.M. On Weakly Prime Submodules. Ibn al-Haitham J. For Pure and Appl. Sci. 2009, 22, 3, 62-69. 2. Farzalipour, F. On Almost Semi-Prime Submodules. Hindowi Publishing Corporation Algebra. 2014, 3, 231-237. 3. Kash, F. modules And Rings. Academic Press Inc. London. 1982. 4. Ozcan. C. A.; Haranc A.; F. Smith. P. Duo Modules. Clasgow Math. Journal Trust. 2006, 48, 533-545. 5. Azum, G. F.; Mbuntum; Varadarajan, K. On M-Projective and M-Injective Modules. Pacific Journal of Math. 1967, 59, 1, 9-16. Mathematics | 117 Ibn Al-Haitham Jour. for Pure & Appl. Sci. IHJPAS https://doi.org/10.30526/31.3.2000 Vol. 31 (3) 2018 6. Shihap, N.B. Scalar Reflexine Modules. Ph.D. Thesis, University of Baghdad. 2004 7. Barnard, A. Multiplication Modules, J. of Algebra, 1981, 71, 174-178. 8. Naoum, G. A. On The Ring of Endomorphisms of a Multiplication Modules. Mathematics Hungarica. 1994, 29 ,3, 277-284.