A Certain Structure of Bipolar Fuzzy Subrings

: The role of symmetry in ring theory is universally recognized. The most directly deﬁnable universal relation in a symmetric set theory is isomorphism. This article develops a certain structure of bipolar fuzzy subrings, including bipolar fuzzy quotient ring, bipolar fuzzy ring homomorphism, and bipolar fuzzy ring isomorphism. We deﬁne ( α , β ) -cut of bipolar fuzzy set and investigate the algebraic attributions of this phenomenon. We also deﬁne the support set of bipolar fuzzy set and prove various important properties relating to this concept. Additionally, we deﬁne bipolar fuzzy homomorphism by using the notion of natural ring homomorphism. We also establish a bipolar fuzzy homomorphism between bipolar fuzzy subring of the quotient ring and bipolar fuzzy subring of this ring. We constituted a signiﬁcant relationship between two bipolar fuzzy subrings of quotient rings under a given bipolar fuzzy surjective homomorphism. We present the construction of an induced bipolar fuzzy isomorphism between two related bipolar fuzzy subrings. Moreover, to discuss the symmetry between two bipolar fuzzy subrings, we present three fundamental theorems of bipolar fuzzy isomorphism.


Introduction
The theory of fuzzy sets and their initiatory results were proposed by Zadeh [1] in 1965. This theory has become a blooming area of research in almost all fields of science. The fuzzy logic provides appropriate solutions in several bio-informatics and computational biological based problems such as medical image processing, cellular reconstruction, protein structure analysis, gene expression analysis, and medical data classification. The idea of the fuzzy subgroup was commenced by Rosenfeld [2] in 1971. In 1983, Liu [3] presented the opinion of fuzzy subrings and fuzzy ideals. A fuzzy subset A of ring R is a fuzzy subring if A(x − y) ≥ min{A(x), A(y)} and A(xy) ≥ min{A(x), A(y)}. A fuzzy subset A of ring R is fuzzy ideal if A(x − y) ≥ min{A(x), A(y)} and A(xy) ≥ max{A(x), A(y)}. Atanassov [4] initiated the generalized form of the fuzzy set by including a new component called the intuitionistic fuzzy set. A new abstraction of bipolar fuzzy sets was initiated by Zhang [5]. The enlargement of the fuzzy set to the bipolar fuzzy set is commensurate to the generalization of positive real numbers to negative real numbers. The bipolar fuzzy set was treated as a new appliance to deal with ambiguity in decision science. More developments relative to bipolar fuzzy sets may be viewed in [6][7][8]. The theory of bipolar fuzzy sets is that it is an effective tool to study the case of vagueness as compared to Zadeh's fuzzy sets because it deals with positive membership grade and negative membership grade. Although intuitionistic fuzzy sets and bipolar fuzzy sets have similar appearances, according to Lee [9], they are fundamentally distinct concepts. In the intuitionistic fuzzy set, both membership and non-membership belongs to [0, 1], and their sum is not more than one, but in the bipolar fuzzy set one, the membership value belongs to [0, 1] and one membership value belongs to [−1, 0]. The bipolar fuzzy sets have extensive implementations in real life problems [10]. Many researchers [11][12][13][14][15] made remarkable achievement to generalize the concept of bipolar fuzzy sets to decision making and modern mathematics. In 2009, Fotea and Davvaz [16] proposed the new idea of fuzzy hyperrings. The convictions of self centered bipolar fuzzy graph and distance, diameter, eccentricity, and length of bipolar fuzzy graph were studied in [17]. The idea of fuzzy hyperideal with fuzzy hypercongruences was examined in [18]. Baik [19] developed a link between bipolar fuzzy sets and the ideals of near ring theory in 2012. This link is obviously a core point of classical fuzzy subring as it provides fresh ideas for various challenges in near ring theory. Sardar et al. [20] illustrated the abstraction of bipolar fuzzy translation of sub-semigroup and bipolar fuzzy equivalence relation. Mahmood and Munir [21] proposed the conception of bipolar fuzzy subgroups and investigated their algebraic features. Ameri et al. [22] introduced the concept of Engel fuzzy subgroups and investigated the fundamental results of the left and right fuzzy Engel elements.. Motameni et al. [23] studied a special kinds of fuzzy hyperideals and extended this concept to fuzzy hperring homomorphism for maximal fuzzy hyperideal and prim fuzzy hyperideal. The idea of bipolar fuzzy subring was presented in [24]. The bipolar fuzzy subring is more a generalized form of fuzzy subring. A bipolar fuzzy subset θ = {x, (θ P (x), θ N (x)), ∀ x ∈ R} of ring R is a bipolar fuzzy subring if it satisfied the two axioms for positive membership and two axioms for negative membership [25]. Moreover, Mohamadzahed et al. [26] invented the definition of nilpotent fuzzy subgroup and discussed many algebraic properties of nilpotent fuzzy subgroups. A fuzzy subgroup A of group G is called a good nilpotent fuzzy subgroup of G if there exists a non negative integer n such that Z n (A) = G; the smallest such integer is called the class of A, where Z n (A) is normal subgroup of G. Subbian and Kamaraj [27] commenced the notion of bipolar fuzzy ideals and explored the extension of bipolar fuzzy ideals. A bipolar fuzzy subset θ = {x, (θ P (x), θ N (x)), ∀ x ∈ R} of ring R is bipolar fuzzy ideal if it satisfied the following axioms θ P (x − y) ≥ min{θ P (x), θ P (y)}, θ P (xy) ≥ max{θ P (x), θ P (y)}, and θ N (x − y) ≤ max{θ N (x), θ N (y)}, θ N (xy) ≤ min{θ N (x), θ N (y)}. Yamin and Sharma [28] studied the intuitionistic fuzzy ring, intuitionistic fuzzy ideal, and intuitionistic fuzzy quotient ring with operators in 2018. The algebraic structure between fuzzy set and normed rings was presented in [29]. Jun et al. [30] depicted the opinion of bipolar fuzzy subalgebra and k-fold bipolar fuzzy ideals.Trevijano et al. [31] invented a annihilator for the fuzzy subgroup of the Abelian group. They also discussed the behavior of annihilator with respect to intersection and union. The different approximation about fuzzy ring homomorphism was studied in [32].
Liu and Shi [33] presented a novel framework with respect to the fuzzification of lattice, which is know as M-hazy lattice. In Demirci's approach [34,35], the characteristic of the degree between the fuzzy binary operation is not used and the inverse element and the identity element may number more than one. In order to remove this drawback, Liu and Shi [36] introduced M-hazy groups by using a M-hazy binary operation. Mehmood et al. [37] initiated a new algebraic structure of M-hazy ring and studied the various algebraic characteristics of this newly defined ring. Alhaleem and Ahmad [38] proposed the idea of intuitionistic fuzzy normed ring in 2020. Mehmood et al. [39] developed a new algebraic structure of M-hazy ring homomorphism. The mapping φ from M-hazy ring (R 1 , +, •) to M-hazy ring (R 2 , , •) is called an M-hazy ring homomorphism if the following conditions hold φ M (k + l) = φ(k) φ(l) and φ M (k • l) = φ(k) • φ(l), ∀, k, l ∈ R 1 . Nakkasen [40] studied the properties of Artnians and Noetherian ternary near-rings under intuitionistic fuzzy ideals. A novel class of t-intuitionistic fuzzy subgroups was investigated in [41]. Gulzar et al. [42] introduced the notion of complex intuitionistic fuzzy group theory. The fuzzy homomorphism theorems of fuzzy rings were depicted in [43]. The notion of complex fuzzy subfields was analyzed in [44]. The new development about Q-complex fuzzy subrings were explored in [45]. The recent development of bipolar fuzzy sets in BCK/BCI-algebras and semigroup theory may be viewed in [46,47]. The competency of the bipolar fuzzy sets plays a key role in solving many physical difficulties. Additionally, the study of bipolar fuzzy subrings is significant in terms of its algebraic structure. This motivates us to describe the concept of bipolar fuzzy sets where one can have multiple options to discuss a particular problem of ring theory in a much more efficient manner. Firstly, we shall prove that the (α, β)-cut of bipolar fuzzy subring forms a subring of a given ring and discuss various algebraic properties of this phenomenon. Secondly, we shall define bipolar fuzzy left cosets and determine the bipolar fuzzy subring of quotient ring. We shall also define the support set of bipolar fuzzy set. Thirdly, we shall describe bipolar fuzzy homomorphism and weak bipolar fuzzy homomorphism and show that bipolar fuzzy homomorphism preserves the ring operation. Additionally, we prove the bipolar fuzzy homomorphism and isomorphism theorems of bipolar fuzzy subrings parallel to natural theorems of ring homomorphism and ring isomorphism.
A sketch of this study is as follows. The bipolar fuzzy sets, bipolar fuzzy subring, and related results are defined in Section 2. In Section 3, we studied the concepts of (α, β)-cut of bipolar fuzzy sets and discuss many important algebraic characteristics of bipolar fuzzy subrings (BFSRs). We prove that the direct product of two bipolar fuzzy subrings (BFSRs) are bipolar fuzzy subrings (BFSR) by using the notion of (α, β) of bipolar fuzzy set (BFS). Furthermore, we define support of bipolar fuzzy subset (BFS) and show that support of bipolar fuzzy ideal (BFI) of ring form a natural ideal of ring. In Section 4, we describe bipolar fuzzy homomorphism (BFH) of bipolar fuzzy subring (BFSR) under a natural ring homomorphism and prove that the bipolar fuzzy homomorphism (BFH) preserves the sum and product operation defined on bipolar fuzzy subring (BFSR). We also develop a significant relationship between two bipolar fuzzy subrings (BFSRs) of the quotient rings under given surjective homomorphism and prove more fundamental theorems of bipolar fuzzy homomorphism (BFH) for these specific fuzzy subrings. Finally, we discuss three fundamental theorems of bipolar fuzzy isomorphism of bipolar fuzzy subrings (BFSRs).

Preliminaries
This section recalls some basic ideas of BFS, BFSR, and BFI that are interconnected to the analysis of this article.

Definition 1 ([5])
. A BFS θ of universe of discourse P is described as an object of the form θ = {(k, θ P (k), θ N (k)) : k ∈ P}, where θ P : P → [0, 1] and θ N : P → [−1, 0]. The grades of positive membership θ P (k) represents the degree of belief of an element k to the property corresponding to a degree of BFS θ and the grades of negative membership θ N (k) represents the degree of disbelief of an element k to some implicit counter-property corresponding to a BFS θ. If θ P (k) = 0 and θ N (k) = 0, this means that k has only a degree of belief for θ and if θ P (k) = 0 and θ N (k) = 0, this means that k does not possess belief on the property of θ, but somewhat satisfies the counter property of θ. It is possible for an element k to be such that θ P (k) = 0 and θ N (k) = 0 when the membership function of the attribution overlaps that of its counter attribution over some part of the nonempty set P.

Definition 7.
Let θ = {(k, θ P (k), θ N (k)) : k ∈ P} be a BFS of a set P, then a (α, β)-cut of θ is a crisp subset of P and is defined as

Theorem 8.
If θ is a BFS of a ring R, then C α,β (θ) is a subring of R if and only if θ is a BFSR of R.
Moreover, as C α,β (θ) is a subring of R. This implies that kt ∈ C α,β (θ). Thus, the following is the case.
Hence, θ is a BFSR of R.
Conversely, from Theorem 8, we have the following.
is an ideal of R. In this case, rt, tr ∈ C α,β (θ). Thus, the following is the case.
Hence, θ is bipolar fuzzy ideal. This establishes the proof.
Theorem 13. If θ and η are BFSRs of a ring R, then C α,

Proposition 14.
If θ and η be two BFSs of R 1 and R 2 , respectively.
Theorem 15. Let θ and η be BFSRs of ring R 1 and R 2 , respectively. Then θ × η is also the BFSR of ring R 1 × R 2 .
Definition 16. Let R be a ring and θ be the BFSR of a ring R. Let k ∈ R be a fixed element. Then, , for all t ∈ R is said to be bipolar fuzzy left coset of R purposed by θ and k.
Theorem 17. Let θ be a BFI of R and k be an arbitrary fixed element of R.

Definition 18.
Let θ and η be BFSs of universal set P. Then, the bipolar fuzzy sum of θ and η is denoted by where the following is the case.
The support set θ * of θ is defined as the following.
The next theorem shows that how a support set of bipolar fuzzy ideal is a ideal of R.
Our next theorem provides the significant importance of support of intersection of any two BFSR of a ring R.
This concludes the proof.

Definition 24.
Let θ and η be the BFS and BFSR of R, respectively, with θ ⊆ η. Then θ is called a BFI of η if the following axiom holds: Theorem 25. Let θ and η be the BFSR of a ring R and θ is a BFI of η. Then θ * is ideal of ring η * .
Theorem 26. Let θ be a BFI and η be a BFSR of R, then θ ∩ η is BFI of η.
Proof. Consider an elements k, t ∈ R. We have the following.
Moreover, we also have the following.
In addition, we have the following.
This concludes the proof.

Remark 27.
Let θ, η and ψ be BFSR of R such that θ and η are BFI of ψ, then θ ∩ η is BFI of ψ.
Proof. First we shall show thatθ P : R/L → [0, 1] andθ N : R/L → [0, 1] are well defined. Let k + L = t + L, then t = k + a for some a ∈ L. Consider the following: and the following.θ Therefore,θ P andθ N are well defined. Now we shall prove thatθ is BFSR of R/L. We since v and w vary independently.

In addition, we haveθ
since v and w vary independently.

Fundamental Theorems of Bipolar Fuzzy Homomorphism and Bipolar Fuzzy Isomorphism of Bipolar Fuzzy Subrings
In this section, we investigate the concept of BFH of BFSR and prove that this homomorphism preserves the operation of fuzzy sum and fuzzy product of BFSR of ring R. We clarify bipolar fuzzy homomorphism for these fuzzy subrings and investigate the idea of BFH relation between any two BFSRs. We also presented the bipolar fuzzy isomorphism theorem of BFSRs.
Definition 29. Let f : R → R be the ring homomorphism from R to R . Let θ and η be BFSRs of rings R and R , respectively. The image and inverse image of θ and η, respectively, are described as , k ∈ R} where we have the following: and the following is the case.
The homomorphism ω is called a BFH from θ onto η if ω(θ) = η and is denoted by θ ≈ η. A homomorphism ω from bipolar fuzzy subring θ to η is said to be a bipolar fuzzy isomorphism from θ to η if ω(θ) = η. In this situation, θ is bipolar fuzzy isomorphic to η and is represented by θ ∼ = η. The homomorphism ω is called weak BFH from θ to η if ω(θ) ⊆ η.
In the next theorem,we illustrate the fuzzy homomorphism relation between bipolar fuzzy subring of ring and any of its factor ring.

Theorem 30.
Let ω be a homomorphism from ring R to ring S. Let θ and η be two BFSs of ring R.
Then, the following is the case.
Moreover, we have the following.
(ii) For t ∈ S, we have the following.
Theorem 31. Let π : R → R/L be ring homomorphism from R onto R/L, where L is an ideal of ring R. Let θ and θ ρ be a BFSRs of R and R/L, respectively. Then, π is a BFH from θ onto θ ρ .
Example 32. Consider the factor ring Z/2Z = {2Z, 1 + 2Z}, where R = Z is a ring of integer and S = 2Z = {2k|k ∈ Z} is an ideal of ring Z. Then BFS of Z is defined as follows: if k ∈ 1 + 2Z. and the following.
Define BFSR θ ρ of Z/2Z as follows: and the following.

Proof.
Since ω(θ) = η. In addition, we have ϕ is homomorphism from R/L onto R defined by the rule ϕ(k + L) = ω(k) = t, ∀ k ∈ R. The image of θ ρ under the function ϕ may be described as the following.
Now, we have the following.
The BFS η of Z 4 is given as follows: and also given as follows.
Consider the following case.
From the above information, we have the following.

Remark 35.
Let θ and η are BFSRs of rings R and R , respectively, and f be a BFH from θ onto η with S = {k ∈ R, ω(k) = 0 R } as a kernel of f . Then the mapping ϕ from R/S to R is a BFH from θ S onto η, where θ S is a BFSR of R/S.
In following result, we develop an important link between BFSRs of a ring R and any of its factor ring. Theorem 36. Let θ and η be BFSRs of rings R and R , respectively. Let ω be a BFH from θ onto η and the natural homomorphism π from R onto R /L be a BFH from η onto θ ρ , where θ ρ is a BFSR of R /L . Then φ = π • ω is a BFH from θ onto θ ρ , where L is a ideal of R with ω(L) = L .
Consider the following.
Moreover, the following is also the case.
Hence, we have proved our claim. Theorem 37. Let θ and η are BFSR of R and R , respectively, and ω be a BFH from θ onto η. Let π : R → R /ω be a natural homomorphism and L = {k ∈ R : ω(k) ∈ L }. Then, a mapping σ : R/L → R /L is a BFH from θ ρ onto θ ρ where θ ρ and θ ρ are BFSR of R/L and R /L , respectively.
θ P ρ (k + L) = max{θ P (u) : u ∈ k + L} and the following is also the case.
Consider the following.

Remark 38.
There are possible applications of bipolar fuzzy homomorphism. For example, a bipolar fuzzy homomorphism is used in the positioning of the image. A photograph of a person is in fact his homomorphic image that explains his many real qualities such as being tall or short, male or female, and thin or heavy. Sometimes, the homomorphic image become destroyed due to many distortions in the lenses such as scale and pincushion distortion. A distortion in which magnification increases with distances from the axis is called a pincushion distortion. We can apply a bipolar fuzzy homomorphism on a destroyed photograph to remove scale and pincushion distortion in order to obtain its original form.

Lemma 39.
Let θ and η be any two BFSRs of bipolar rings R and R , respectively, and ω be a epimorphism from R to R such that ω(θ) = η, where θ and η are BFSRs of R and R , respectively.
Proof. From Remark 27, and the fact that θ and η are BFI of ψ with θ ⊆ η and one can obtain the quotient rings (ψ * /θ * )/(η * /θ * ) and (ψ * /η * ). Therefore, by applying the third fundamental theorem of classical ring isomorphism on these specific factor rings, we obtain the following.

Conclusions
The concept of BFS is a convenient extrapolation of conventional fuzzy sets which evaluates the uncertainty and ambiguity of a fuzzy fact in a more effective manner. In this paper, we have explained (α, β)-cut of a BFS and have demonstrated that (α, β)-cut of a BFSR works as a subring of a given ring. We have developed the BFSR of quotient ring and have proved that product of two BFSRs is a subring. We have developed the BFH between any two bipolar fuzzy subrings, which is actually an important generalization of the natural ring homomorphism. The fundamental theorems of BFI of BFSRs have been developed. Potential future research will be the applications of these algebraic structures to solve certain decision-making problems in order to provide a significant addition to current existing theories for handling uncertainties, especially in the area of bioinformatics, medical imaging, and decision making [48][49][50][51][52].

Data Availability Statement:
No real data were used to support this study. The data used in this study are hypothetical and anyone can use them by citing this article.

Conflicts of Interest:
The authors declare no conflict of interest.