1.
Introduction
Uncertainty affects all aspects of human life. Zadeh [18] introduced the concept of a fuzzy set to overcome the limitations of classical set theory in dealing with such uncertainties. This approach defined a fuzzy set using a membership function with values ranging in a unit interval. However, further analysis showed that this definition fell short when addressing degrees of both membership and non-membership. To resolve this issue, Atanassov [3] developed intuitionistic fuzzy theory as an enhancement of the fuzzy set model. Although it provided a broader framework and found real-world applications [2,17], it faced challenges in practical use. In response, Smarandache [13] introduced the concept of a neutrosophic set to handle problems involving ambiguous and inconsistent data. Since then, research has explored neutrosophic sets in various areas, including the study of algebraic structures [5,6,10,15] and real-world applications, as seen in [7,8].
The definitions of intersection and union in neutrosophic sets have been examined from three distinct angles. The initial interpretations, proposed by Smarandache [13,15], are represented as ∩1 and ∪1. The second set of definitions, found in [16], are denoted as ∩2 and ∪2. The third approach, introduced in [19], is symbolized by ∩3 and ∪3. Additionally, Elrawy et al. [4] developed and explored an alternative neutrosophic sub-group and level sub-group concept, based on the first perspective.
Recently, Bal and Olgun [12] introduced neutrosophic modules using an indeterminate element, I. Also, Abed et al. [1] studied some results of the neutrosophic multiplication module. While Hameed et al.[9] introduced an approach of single-valued neutrosophic sub-modules based on the second perspective.
The investigation into the concepts of modules within the framework of neutrosophic sets is driven by three main objectives. The first is to define the neutrosophic sub-module as an algebraic structure without incorporating the indeterminate element I and based on the first perspective. The second is to examine how classical module theory can be extended to neutrosophic modules, where elements satisfy module conditions with varying levels of truth, indeterminacy, and falsity. The third objective is to establish a more adaptable framework through neutrosophic modules to address uncertain, incomplete, or conflicting information, which is crucial in fields such as artificial intelligence, economics, social sciences, and decision-making, where data often exhibit uncertainty.
Unlike classical modules, which require strict membership conditions, neutrosophic modules permit partial and uncertain membership. This flexibility results in more prosperous and versatile algebraic structures that better capture the complexity of real-world situations. Additionally, this paper introduces a novel approach to neutrosophic modules, altering the conventional perspective [12].
The study also includes the definition of neutrosophic modules over a ring and neutrosophic rings, along with an analysis of their properties. Furthermore, various properties of the direct product and homomorphism between neutrosophic modules are derived and explored.
The remainder of this article is organized as follows: Section 2 introduces essential definitions and preliminary results, laying the foundation for the paper's main contributions. Section 3 presents the concept of a neutrosophic R-sub-module along with its properties. We also derive various properties related to the direct product and homomorphism of neutrosophic modules. Finally, Section 4 summarizes the essential findings and conclusions of the study.
2.
Some basic concepts
Here, we give important concepts and outcomes as follows:
Definition 2.1. [14,16] An NS Ξ on a universe set D is defined as:
with μ,γ,ζ:D→[0,1].
Definition 2.2. [4] A neutrosophic subset M={<ω,μ(ω),γ(ω),ζ(ω)>:ω∈G} of a group G is said to be a neutrosophic subgroup of G if the next axioms are met:
(i) μ(ωb)⩾min(μ(ω),μ(b)),
(ii) μ(ω−1)⩾μ(ω),
(iii) γ(ωb)⩽max(γ(ω),γ(b)),
(iv) γ(ω−1)⩽γ(ω),
(v) ζ(ωb)⩽max(ζ(ω),ζ(b)),
(vi) ζ(ω−1)⩽ζ(ω),
where ω,b∈G.
Definition 2.3. [13] Consider N1 and N2 are two NSs on D. Then:
1. N1∩1N2={<ω,μ1(ω)∨μ2(ω),γ1(ω)∧γ2(ω),ζ1(ω)∧ζ2(ω)>:ω∈D},
2. N1∪1N2={<ω,μ1(ω)∧μ2(ω),γ1(ω)∨γ2(ω),ζ1(ω)∨ζ2(ω)>:ω∈D}.
Definition 2.4. [11] Presume G and H are a group and M1 and M2 define on G and H, respectively. Then
where ρ∈H. Also, Γ−1(μ2)(δ)=μ2(Γ(δ)), Γ−1(γ2)(δ)=γ2(Γ(δ)), and Γ−1(ζ2)(δ)=ζ2(Γ(δ)).
3.
Main results
3.1. Neutrosophic modules
Let us now present the notion of a neutrosophic module defined over a neutrosophic ring and module.
First, we define a neutrosophic module over a neutrosophic ring. Consider M is a module over a ring R, and M′ is a module over a neutrosophic sub-ring R.
Definition 3.1. An NS MM′={<ℓ,μM′(ℓ),γM′(ℓ),ζM′(ℓ)>:ℓ∈M′} over M′ is say a neutrosophic sub-module if the next axioms are met:
(i) {μM′(ℓ+u)≥min(μM′(ℓ),μM′(u)),γM′(ℓ+u)≤max(γM′(ℓ),γM′(u)),ζM′(ℓ+u)≤max(ζM′(ℓ),ζM′(u)).
(ii) {μM′(λℓ)≥min(μM′(λ),μM′(ℓ)),γM′(λℓ)≤max(γM′(λ),γM′(ℓ)),ζM′(λℓ)≤max(ζM′(λ),ζM′(ℓ)).
(iii) {μM′(0)=1,γM′(0)=0,ζM′(0)=0,
where u∈M′,μM′(ℓ),γM′(ℓ),ζM′(ℓ):M′→[0,1] and λ∈R.
Now, we introduce the neutrosophic module over module.
Definition 3.2. An NS MM={<ℓ,μM(ℓ),γM(ℓ),ζM(ℓ)>:ℓ∈M} over M is say a neutrosophic R-sub-module if the next axioms are met:
(i) {μM(ℓ+u)≥min(μM(ℓ),μM(u)),γM(ℓ+u)≤max(γM(ℓ),γM(u)),ζM(ℓ+u)≤max(ζM(ℓ),ζM(u)).
(ii) {μM(λℓ)≥min(μM(λ),μM(ℓ)),γM(λℓ)≤max(γM(λ),γM(ℓ)),ζM(λℓ)≤max(ζM(λ),ζM(ℓ)).
(iii) {μM(0)=1,γM(0)=0,ζM(0)=0,
where u∈M, μM(ℓ),γM(ℓ),ζM(ℓ):M→[0,1] and λ∈R.
Example 3.3. Presume R=Z is a ring and M=Z over itself. Then, define a neutrosophic subset MM={<ϱ,μ(ϱ),γ(ϱ),ζ(ϱ)>:ϱ∈Z} by:
Thus, MM is a neutrosophic module.
The following assertions describe the characteristics of the system of condition (i) and (ii) for different classes of rings.
Proposition 3.4. Let R be a ring with identity, then μM(λℓ)=μM(ℓ), γM(λℓ)=γM(ℓ), and ζM(λℓ)=ζM(ℓ).
Proof. Assume that MM is a neutrosophic sub-module; then we have
From the above and Definition 3.2, (ii) we obtain μM(λℓ)=μM(ℓ), γM(λℓ)=γM(ℓ), and ζM(λℓ)=ζM(ℓ). □
Proposition 3.5. Let R be a field and 0≠λ∈R, then μM(λℓ)=μM(ℓ), γM(λℓ)=γM(ℓ), and ζM(λℓ)=ζM(ℓ).
Proof. Assume that 0≠λ∈R and R is a field, then
From the above and Definition 3.2, (ii) we follow that μM(λℓ)=μM(ℓ), γM(λℓ)=γM(ℓ), and ζM(λℓ)=ζM(ℓ). □
3.2. Properties of neutrosophic modules
Proposition 3.6. A neutrosophic R-sub-module MM, then M1={ℷ:ℷ∈M,μM(ℷ)=1,γM(ℷ)=ζM(ℷ)=0} is an R-sub-module of the module M; also MM1 is a neutrosophic R-sub-module.
Proof. Suppose that ℷ,ℓ∈M1 and λ∈R, then
so μM(ℷ+ℓ)=1 and γM(ℷ+ℓ)=ζM(ℷ+ℓ)=0, thus ℷ+ℓ∈M1. Since
thus we obtain μM(λℷ)=1, and γM(λℷ)=ζM(λℷ)=0. This follows that λℷ∈M1. Finally, since μM(0)=1, γM(0)=0, and ζM(0)=0. Therefore 0∈M1. So M1 is an R-sub-module of the module M. The last part of the proposition's statement is self-evident. □
Proposition 3.7. Let R be a ring with unity and MM be a neutrosophic R-sub-module, then MM is a neutrosophic sub-group of M.
Proof. Suppose that ℷ∈M, then
and since MM is a neutrosophic R-sub-module, this leads to MM being a neutrosophic sub-group of M. □
Proposition 3.8. A neutrosophic R-sub-module MM, then Mϑ={ℷ:ℷ∈M,μM(ℷ)≥ϑ,γM(ℷ)≤ϑ,ζM(ℷ)≤ϑ} is an R-sub-module of the module M also MMϑ is a neutrosophic R-sub-module, where 0≤ϑ≤1.
Proof. Assume that ℷ,κ∈M and λ∈R, then
(i) {μM(ℷ+κ)≥min(μM(ℷ),μM(κ))=ϑ,γM(ℷ+κ)≤max(γM(ℷ),γM(κ))=ϑ,ζM(ℷ+κ)≤max(ζM(ℷ),ζM(κ))=ϑ,
(ii) {μM(λℷ)≥min(μM(λ),μM(ℷ))=μM(ℷ)≥ϑ,γM(λℷ)≤max(γM(λ),γM(ℷ))=γM(ℷ)≤ϑ,ζM(λℷ)≤max(ζM(λ),ζM(ℷ))=ζM(ℷ)≤ϑ,
(iii) {μM(0)=1≥ϑ,γM(0)=0≤ϑ,ζM(0)=0≤ϑ.
Therefore, ℷ+κ∈Mϑ, λℷ∈Mϑ and 0∈Mϑ. □
Here we suppose that N⊆M and M is an R-module; then we define a neutrosophic subset on N as follows: MN={<ℷ,μN(ℷ),γN(ℷ),ζN(ℷ)>:ℷ∈N} and μN,γN,ζN:N⟶[0,1].
Proposition 3.9. MM is a neutrosophic R-sub-module iff N is a sub-module of M.
Proof. Suppose that MM is a neutrosophic R-sub-module, then for any η,κ∈N and λ∈R, we obtain
(i) {μM(η+κ)≥min(μM(η),μM(κ))=1,γM(η+κ)≤max(γM(η),γM(κ))=0,ζM(η+κ)≤max(ζM(η),ζM(κ))=0,
(ii) {μM(λη)≥min(μM(λ),μM(η))=μM(η)=1,γM(λη)≤max(γM(λ),γM(η))=γM(η)=0,ζM(λη)≤max(ζM(λ),ζM(η))=ζM(η)=0,
(iii) {μM(0)=1,γM(0)=0,ζM(0)=0.
So η+κ∈N, λη∈N and 0∈N. Therefore, N is sub-module of M.
The other direction, assume that N is a sub-module of M. Now, we show some cases:
Case 1. For any 0,η,κ∈N and λ∈R, we obtain:
(i) {min(μM(η),μM(κ))=1≤1=μM(η+κ),max(γM(η),γM(κ))=0≥0=γM(η+κ),max(ζM(η),ζM(κ))=0≥0=ζM(η+κ),
(ii) {μM(λη)=1≥min(μM(λ),μM(η))=μM(η),γM(λη)=0≤max(γM(λ),γM(η))=γM(η),ζM(λη)=0≤max(ζM(λ),ζM(η))=ζM(η),
(iii) {μM(0)=1,γM(0)=0,ζM(0)=0.
Case 2. For any 0,η∈N,κ∉N and λ∈R, we obtain:
(i) {min(μM(η),μM(κ))=min(1,0)=0≤μM(η+κ),max(γM(η),γM(κ))=max(1,0)=1≥0=γM(η+κ),max(ζM(η),ζM(κ))=max(1,0)=1≥0=ζM(η+κ),
(ii) {μM(λη)=1≥min(μM(λ),μM(η))=μM(η),γM(λη)=0≤max(γM(λ),γM(η))=γM(η),ζM(λη)=0≤max(ζM(λ),ζM(η))=ζM(η),
(iii) {μM(0)=1,γM(0)=0,ζM(0)=0.
Case 3. For any 0,η∉N,κ∈N and λ∈R, we obtain:
(i) {min(μM(η),μM(κ))=min(0,1)=0≤μM(η+κ),max(γM(η),γM(κ))=max(0,1)=1≥0=γM(η+κ),max(ζM(η),ζM(κ))=max(0,1)=1≥0=ζM(η+κ),
(ii) {μM(η)=0≤μM(λη),γM(η)=1≥γM(λη),ζM(η)=1≥ζM(λη)
(iii) {μM(0)=1,γM(0)=0,ζM(0)=0.
Case 4. For any 0,η∉N,κ∉N and λ∈R, we obtain:
(i) {min(μM(η),μM(κ))=min(0,0)=0≤μM(η+κ),max(γM(η),γM(κ))=max(0,0)=0≥0=γM(η+κ),max(ζM(η),ζM(κ))=max(0,0)=0≥0=ζM(η+κ),
(ii) {μM(η)=0≤μM(λη),γM(η)=1≥γM(λη),ζM(η)=1≥ζM(λη)
(iii) {μM(0)=1,γM(0)=0,ζM(0)=0.
Thus, MM is a neutrosophic R-sub-module. □
In what follows, the set of all neutrosophic R-sub-modules of MM is denoted by NSM(R).
Proposition 3.10. Let MM,PM∈NSM(R), then MM∩1PM∈NSM(R).
Proof. Assume that ℷ,κ∈M and λ∈R, then
(i) {(μM∨μ′M)(ℷ+κ)=μM(ℷ+κ)∨μ′M(ℷ+κ)≥min(μM(ℷ),μM(κ))∨min(μ′M(ℷ),μ′M(κ))=min((μM∨μ′M)(ℷ),(μM∨μ′M)(κ)),(γM∧γ′M)(ℷ+κ)=γM(ℷ+κ)∧γ′M(ℷ+κ)≤max(γM(ℷ),γM(κ))∧max(γ′M(ℷ),γ′M(κ))=max((γM∧γ′M)(ℷ),(γM∧γ′M)(κ)),(ζM∧ζ′M)(ℷ+κ)=ζM(ℷ+κ)∧ζ′M(ℷ+κ)≤max(ζM(ℷ),ζM(κ))∧max(ζ′M(ℷ),ζ′M(κ))=max((ζM∧ζ′M)(ℷ),(ζM∧ζ′M)(κ)),
(ii) {(μM∨μ′M)(λℷ)=μM(λℷ)∨μ′M(λℷ)≥μM(ℷ)∨μ′M(ℷ)=(μM∨μ′M)(ℷ),(γM∧γ′M)(λℷ)=γM(λℷ)∧γ′M(λℷ)≤γM(ℷ)∧γ′M(ℷ)=(γM∧γ′M)(ℷ),(ζM∧ζ′M)(λℷ)=ζM(λℷ)∧ζ′M(λℷ)≤ζM(ℷ)∧ζ′M(ℷ)=(ζM∧ζ′M)(ℷ),
(iii) {(μM∨μ′M)(0)=1,(γM∧γ′M)(0)=0,(ζM∧ζ′M)(0)=0. □
Example 3.11. Let R=Z2 be a ring; then we have a module M=Z2. Define NS M={<0,1,0,0>,<1,0.3,0.4,0.5>} and B={<0,1,0,0>,<1,0.2,0.6,0.7>} over M. It is clear that M,B∈NSM(R). Also, M∩1B={<0,1,0,0>,<1,0.3,0.6,0.7>}∈NSM(R).
Now, we show the generalization of Proposition 3.10.
Corollary 3.12. Let MiM∈NSM(R) with i=1,2,…,n, then ∩i1MiM∈NSM(R).
Next, we introduce the definition of direct product of NSM(R).
Corollary 3.13. Let MiM∈NSM(R) with i=1,2,…,n, then the direct product of MiM is defined as MM=∏ni=1MiM with
The set of R-modules is denoted by M(R). Also, M=∏ni=1Mi is a direct product where Mi∈M(R).
Theorem 3.14. MM=∏ni=1MiM is a neutrosophic R-sub-module.
Proof. Suppose that ℷ,κ∈M and λ∈R, where ℷ=(ℷ1,ℷ2,…,ℷn) and κ=(κ1,κ2,…,κn). Then
(i) {μM(ℷ+κ)=μM(ℷ1+κ1,ℷ2+κ2,…,ℷn+κn)=min(μ1M(ℷ1+κ1),μ2M(ℷ2+κ2),…,μnM(ℷn+κn))≥min(min(μ1M(ℷ1),μ1M(κ1)),min(μ2M(ℷ2),μ2M(κ2)),…,min(μnM(ℷn),μnM(κn)))=min(min(μ1M(ℷ1),μ2M(ℷ2),…,μnM(ℷn)),min(μ1M(κ1),μ2M(κ2),…,μnM(κn)))=min(μM(ℷ),μM(κ)),γM(ℷ+κ)=γM(ℷ1+κ1,ℷ2+κ2,…,ℷn+κn)=max(γ1M(ℷ1+κ1),γ2M(ℷ2+κ2),…,γnM(ℷn+κn))≤max(max(γ1M(ℷ1),γ1M(κ1)),max(γ2M(ℷ2),γ2M(κ2)),…,max(γnM(ℷn),γnM(κn)))=max(max(γ1M(ℷ1),γ2M(ℷ2),…,γnM(ℷn)),max(μ1M(κ1),γ2M(κ2),…,γnM(κn)))=max(γM(ℷ),γM(κ)),ζM(ℷ+κ)=ζM(ℷ1+κ1,ℷ2+κ2,…,ℷn+κn)=max(ζ1M(ℷ1+κ1),ζ2M(ℷ2+κ2),…,ζnM(ℷn+κn))≤max(max(ζ1M(ℷ1),ζ1M(κ1)),max(ζ2M(ℷ2),ζ2M(κ2)),…,max(ζnM(ℷn),ζnM(κn)))=max(max(ζ1M(ℷ1),ζ2M(ℷ2),…,ζnM(ℷn)),max(μ1M(κ1),ζ2M(κ2),…,ζnM(κn)))=max(ζM(ℷ),ζM(κ)), □
Proof. (ii) {μM(λℷ)=μM(λℷ1,λℷ2,…,λℷn)=min(μ1M(λℷ1),μ2M(λℷ2),…,μnM(λℷn))≥min(μ1M(ℷ1),μ2M(ℷ2),…,μnM(ℷn))=μM(ℷ),γM(λℷ)=γM(λℷ1,λℷ2,…,λℷn)=max(γ1M(λℷ1),γ2M(λℷ2),…,γnM(λℷn))≤max(γ1M(ℷ1),γ2M(ℷ2),…,γnM(ℷn))=γM(ℷ),ζM(λℷ)=ζM(λℷ1,λℷ2,…,λℷn)=max(ζ1M(λℷ1),ζ2M(λℷ2),…,ζnM(λℷn))≤max(ζ1M(ℷ1),ζ2M(ℷ2),…,ζnM(ℷn))=ζM(ℷ),
(iii) {μM(0)=μM(0,0,…,0)=min(μ1M(0),μ2M(0),…,μnM(0))=min(1,1,…,1)=1,γM(0)=γM(0,0,…,0)=max(γ1M(0),γ2M(0),…,γnM(0))=max(0,0,…,0)=0,ζM(0)=ζM(0,0,…,0)=max(ζ1M(0),ζ2M(0),…,ζnM(0))=max(0,0,…,0)=0. □
3.3. Homomorphism between neutrosophic R-sub-modules
Proposition 3.15. Let Γ be an epimorphism from M into N R-modules. When MM∈NSM(R), then Γ(MM)∈ NSN(R).
Proof. Suppose that ρ1,ρ2∈N and λ∈R, then
(i) {Γ(μM)(ρ1+ρ2)=sup{μM(ϱ1+ϱ2):ϱ1,ϱ2∈M,Γ(ϱ1)=ρ1,Γ(ϱ2)=ρ2}≥sup{min(μM(ϱ1),μM(ϱ2)):ϱ1,ϱ2∈M,Γ(ϱ1)=ρ1,Γ(ϱ2)=ρ2}=min(sup{μM(ϱ1):Γ(ϱ1)=ρ1},sup{μM(ϱ2):Γ(ϱ2)=ρ2})=min(Γ(μM)(ρ1),Γ(μM)(ρ2)),Γ(γM)(ρ1+ρ2)=inf{γM(ϱ1+ϱ2):ϱ1,ϱ2∈M,Γ(ϱ1)=ρ1,Γ(ϱ2)=ρ2}≤inf{max(γM(ϱ1),γM(ϱ2)):ϱ1,ϱ2∈M,Γ(ϱ1)=ρ1,Γ(ϱ2)=ρ2}=max(inf{γM(ϱ1):Γ(ϱ1)=ρ1},inf{γM(ϱ2):Γ(ϱ2)=ρ2})=max(Γ(γM)(ρ1),Γ(γM)(ρ2))Γ(ζM)(ρ1+ρ2)=inf{ζM(ϱ1+ϱ2):ϱ1,ϱ2∈M,Γ(ϱ1)=ρ1,Γ(ϱ2)=ρ2}≤inf{max(ζM(ϱ1),ζM(ϱ2)):ϱ1,ϱ2∈M,Γ(ϱ1)=ρ1,Γ(ϱ2)=ρ2}=max(inf{ζM(ϱ1):Γ(ϱ1)=ρ1},inf{ζM(ϱ2):Γ(ϱ2)=ρ2})=max(Γ(ζM)(ρ1),Γ(ζM)(ρ2)), □
Proof. (ii) {Γ(μM)(λρ1)=sup{μM(λϱ1):λϱ1∈M,Γ(λϱ1)=λρ1}≥sup{μM(ϱ1):ϱ1∈M,Γ(ϱ1)=ρ1}=Γ(μM)(ρ1),Γ(γM)(λρ1)=inf{γM(λϱ1):λϱ1∈M,Γ(λϱ1)=λρ1}≤inf{γM(ϱ1):ϱ1∈M,Γ(ϱ1)=ρ1}=Γ(γM)(ρ1),Γ(ζM)(λρ1)=inf{ζM(λϱ1):λϱ1∈M,Γ(λϱ1)=λρ1}≤inf{ζM(ϱ1):ϱ1∈M,Γ(ϱ1)=ρ1}=Γ(ζM)(ρ1),
(iii) {Γ(μM)(0)=sup{μM(0):0∈M,Γ(0)=0}=1,Γ(γM)(0)=inf{γM(0):0∈M,Γ(0)=0}=0,Γ(ζM)(0)=inf{ζM(0):0∈M,Γ(0)=0}=0.
Therefore, Γ(MM)∈ NSN(R). □
Proposition 3.16. Let Γ be an epimorphism from M into N R-modules. When PN∈NSN(R), then Γ−1(PN)∈ NSM(R).
Proof. Suppose that ϱ1,ϱ2∈M and λ∈R, then
(i) {Γ−1(μ′N)(ϱ1+ϱ2)=μ′N(Γ(ϱ1+ϱ2))=μ′N(Γ(ϱ1)+Γ(ϱ2))≥min(μ′N(Γ−1(ϱ1)),μ′N(Γ−1(ϱ2))=min(Γ−1(μ′N)(ϱ1),Γ−1(μ′N)(ϱ2)),Γ−1(γ′N)(ϱ1+ϱ2)=γ′N(Γ(ϱ1+ϱ2))=γ′N(Γ(ϱ1)+Γ(ϱ2))≤max(γ′N(Γ−1(ϱ1)),γ′N(Γ−1(ϱ2))=max(Γ−1(γ′N)(ϱ1),Γ−1(γ′N)(ϱ2))Γ−1(ζ′N)(ϱ1+ϱ2)=ζ′N(Γ(ϱ1+ϱ2))=ζ′N(Γ(ϱ1)+Γ(ϱ2))≤max(ζ′N(Γ−1(ϱ1)),ζ′N(Γ−1(ϱ2))=max(Γ−1(ζ′N)(ϱ1),Γ−1(ζ′N)(ϱ2)), □
Proof. (ii) \left\lbrace \begin{array}{cc}\begin{aligned}\Gamma^{-1}(\mu^{\prime}_{N})(\lambda\varrho_1) & = \mu^{\prime}_{N}(\Gamma(\lambda\varrho_1))\\ & = \mu^{\prime}_{N}(\lambda\Gamma(\varrho_1))\\ & \geq\mu^{\prime}_{N}(\Gamma(\varrho_1))\\ & = \Gamma^{-1}(\mu^{\prime}_{N})(\varrho_1), \end{aligned}\\ \begin{aligned}\Gamma^{-1}(\gamma^{\prime}_{N})(\lambda\varrho_1) & = \gamma^{\prime}_{N}(\Gamma(\lambda\varrho_1))\\ & = \gamma^{\prime}_{N}(\lambda\Gamma(\varrho_1))\\ & \leq\gamma^{\prime}_{N}(\Gamma(\varrho_1))\\ & = \Gamma^{-1}(\gamma^{\prime}_{N})(\varrho_1), \end{aligned} \\ \begin{aligned}\Gamma^{-1}(\zeta^{\prime}_{N})(\lambda\varrho_1) & = \zeta^{\prime}_{N}(\Gamma(\lambda\varrho_1))\\ & = \zeta^{\prime}_{N}(\lambda\Gamma(\varrho_1))\\ & \leq\zeta^{\prime}_{N}(\Gamma(\varrho_1))\\ & = \Gamma^{-1}(\zeta^{\prime}_{N})(\varrho_1), \end{aligned}\end{array}\right.
(iii) \left\lbrace \begin{array}{cc}\Gamma^{-1}(\mu^{\prime}_{N})(0) = \mu^{\prime}_{N}(\Gamma(0)) = \mu^{\prime}_{N}(0) = 1, \\ \Gamma^{-1}(\gamma^{\prime}_{N})(0) = \gamma^{\prime}_{N}(\Gamma(0)) = \gamma^{\prime}_{N}(0) = 0, \\ \Gamma^{-1}(\zeta^{\prime}_{N})(0) = \zeta^{\prime}_{N}(\Gamma(0)) = \zeta^{\prime}_{N}(0) = 0.\end{array}\right.
Therefore \Gamma^{-1}(\mathfrak{P}_{N})\in NSM( R ).□
Remark 3.17. We have enhanced the definition of a neutrosophic sub-module by building on the foundation established in [9,12] and using the methodology applied by the researchers in [4,5,6]. This revised approach offers significant advantages as it is consistent with the qualitative properties of the components. In particular, the component \mu is treated as a measure of positive quality, while \gamma and \zeta are associated with negative qualities. This distinction justifies the consistent application of operations, with \gamma and \zeta being subjected to the same operations, such as max/max and \leqslant/ \leqslant. By refining the structure in this way, the new definition better reflects the underlying theoretical framework and provides a more coherent and practical perspective on the properties and behavior of neutrosophic sub-modules.
4.
Conclusions
This study has significantly extended the theoretical framework of neutrosophic algebra by exploring the structure and properties of neutrosophic modules over rings and their associated systems. By systematically analyzing the fundamental properties of neutrosophic modules, the research has shed light on their behavior in direct product operations and homomorphism and provided a deeper understanding of their algebraic nature.
The results provide a solid foundation for further study extensions and variations of neutrosophic modules. They could open new avenues of research in the field of algebraic structures dealing with uncertainty and indeterminacy, such as the neutrosophic Artinian multiplication module and the neutrosophic Jacobson radical. Moreover, these findings could have wider implications for applied mathematics, as they could improve decision-making methods, artificial intelligence, and system modeling, where dealing with uncertain and inconsistent data is crucial by opening up possibilities for practical applications.
Author contributions
Ali Yahya Hummdi: Writing-review and editing; Amr Elrawy: Conceptualization, formal analysis, investigation, methodology; Ayat A. Temraz: Visualisation, writing-original and editing, draft acquisition. All authors have read and approved the final version of the manuscript for publication.
Use of Generative-AI tools declaration
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
Acknowledgments
The authors extend their appreciation to the Deanship of Research and Graduate Studies at King Khalid University for funding this work through the Large Research Project under grant number RGP2/293/45.
Conflict of interest
This work does not have any conflict of interest.