On Fundamental Theorems of Fuzzy Isomorphism of Fuzzy Subrings over a Certain Algebraic Product

oleh: Alaa Altassan, Muhammad Haris Mateen, Dragan Pamucar

Format: Article
Diterbitkan: MDPI AG 2021-06-01

Deskripsi

In this study, we define the concept of an <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy set <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy subring and show that the intersection of two <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy subrings is also an <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy subring of a given ring. Moreover, we give the notion of an <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy ideal and investigate different fundamental results of this phenomenon. We extend this ideology to propose the notion of an <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy coset and develop a quotient ring with respect to this particular fuzzy ideal analog into a classical quotient ring. Additionally, we found an <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy quotient subring. We also define the idea of a support set of an <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy set and prove various important characteristics of this phenomenon. Further, we describe <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy homomorphism and <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy isomorphism. We establish an <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy homomorphism between an <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy subring of the quotient ring and an <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy subring of this ring. We constitute a significant relationship between two <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy subrings of quotient rings under the given <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy surjective homomorphism and prove some more fundamental theorems of <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy homomorphism for these specific fuzzy subrings. Finally, we present three fundamental theorems of <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi>ω</mi></semantics></math></inline-formula>-fuzzy isomorphism.