<p>In this paper, we discuss the structure of intuitionistic fuzzy (<i>IF</i>) homomorphisms, exact sequences and some other concepts in category of <i>IF</i> modules. We study on IF exact sequences and <i>IF Hom</i> functors in <i>IFR – Mod</i> and obtain some results about them. If <i>R</i> is a commutative ring and <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\bar{0}\rightarrow A\mathop \to \limits^{\tilde f}B\mathop \to \limits^{\tilde g}C\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mover> <mn>0</mn> <mo stretchy="false">¯</mo> </mover> </mrow> <mo stretchy="false">→</mo> <mi>A</mi> <mover> <mrow> <mo stretchy="false">→</mo> </mrow> <mrow> <mrow> <mover> <mi>f</mi> <mo stretchy="false">~</mo> </mover> </mrow> </mrow> </mover> <mi>B</mi> <mover> <mrow> <mo stretchy="false">→</mo> </mrow> <mrow> <mrow> <mover> <mi>g</mi> <mo stretchy="false">~</mo> </mover> </mrow> </mrow> </mover> <mi>C</mi> </math></EquationSource> </InlineEquation> is an exact sequence in <i>IFR – Mod</i>, where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\tilde f}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mover> <mi>f</mi> <mo stretchy="false">~</mo> </mover> </mrow> </mrow> </math></EquationSource> </InlineEquation> is <i>IF</i> split homomorphism, then we show that <i>Hom</i><sub><i>IF</i> – <i>R</i></sub> (<i>D</i>,–) preserves the sequence for every <i>D</i> ∈ IFR – Mod. Also <i>IF</i> projective modules will be introduced and investigated in this paper. Finally we define product and coproduct of <i>IF</i> modules and show that if <i>M</i> is an <i>R</i>-module, <i>A</i> = (<i>μ</i><sub><i>A</i></sub>, <i>ν</i><sub><i>A</i></sub>) ≤<sub><i>IF</i></sub><i>M</i> and <i>e</i><sub><i>i</i></sub> ∈ <i>E</i>(<i>R</i>) for any <i>i</i> ∈ <i>I</i>, then</p><p><Equation ID="Equa"> <EquationSource Format="TEX">\(Hom({\mathop \coprod \limits_{i \in I} 0_{{{{\mathop{Re}\nolimits}}_i}}^{IF},A}) \cong \mathop \prod \limits_{i \in I} Hom({0_{{{{\mathop{Re}\nolimits}}_{i}}}^{IF},A}).\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>H</mi> <mi>o</mi> <mi>m</mi> <mo stretchy="false">(</mo> <mrow> <munder> <mrow> <mo movablelimits="false">∐</mo> </mrow> <mrow> <mi>i</mi> <mo>∈</mo> <mi>I</mi> </mrow> </munder> <msubsup> <mn>0</mn> <mrow> <mrow> <msub> <mrow> <mrow> <mrow> <mi>R</mi> <mi>e</mi> </mrow> </mrow> </mrow> <mi>i</mi> </msub> </mrow> </mrow> <mrow> <mi>I</mi> <mi>F</mi> </mrow> </msubsup> <mo>,</mo> <mi>A</mi> </mrow> <mo stretchy="false">)</mo> <mo>≅</mo> <munder> <mrow> <mo movablelimits="false">∏</mo> </mrow> <mrow> <mi>i</mi> <mo>∈</mo> <mi>I</mi> </mrow> </munder> <mi>H</mi> <mi>o</mi> <mi>m</mi> <mo stretchy="false">(</mo> <mrow> <msubsup> <mn>0</mn> <mrow> <mrow> <msub> <mrow> <mrow> <mrow> <mi>R</mi> <mi>e</mi> </mrow> </mrow> </mrow> <mrow> <mi>i</mi> </mrow> </msub> </mrow> </mrow> <mrow> <mi>I</mi> <mi>F</mi> </mrow> </msubsup> <mo>,</mo> <mi>A</mi> </mrow> <mo stretchy="false">)</mo> <mo>.</mo> </math></EquationSource> </Equation></p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Intuitionistic fuzzy projective modules and intuitionistic fuzzy homomorphisms

  • Behnam Talaee,
  • Mehrnoosh Sobhani Oskooie

摘要

In this paper, we discuss the structure of intuitionistic fuzzy (IF) homomorphisms, exact sequences and some other concepts in category of IF modules. We study on IF exact sequences and IF Hom functors in IFR – Mod and obtain some results about them. If R is a commutative ring and \(\bar{0}\rightarrow A\mathop \to \limits^{\tilde f}B\mathop \to \limits^{\tilde g}C\) 0 ¯ A f ~ B g ~ C is an exact sequence in IFR – Mod, where \({\tilde f}\) f ~ is IF split homomorphism, then we show that HomIFR (D,–) preserves the sequence for every D ∈ IFR – Mod. Also IF projective modules will be introduced and investigated in this paper. Finally we define product and coproduct of IF modules and show that if M is an R-module, A = (μA, νA) ≤IFM and eiE(R) for any iI, then

\(Hom({\mathop \coprod \limits_{i \in I} 0_{{{{\mathop{Re}\nolimits}}_i}}^{IF},A}) \cong \mathop \prod \limits_{i \in I} Hom({0_{{{{\mathop{Re}\nolimits}}_{i}}}^{IF},A}).\) H o m ( i I 0 R e i I F , A ) i I H o m ( 0 R e i I F , A ) .