<p>The notion of a pure subhypermodule and so pure subhypermodule relative to subhypermodule are introducing. Some properties of these concepts have been studied. In this work the notion of a <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-pure subact and so <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-pure subact relative to subact have been introduced. Some properties of these concepts are studing. Prove that <i>X</i> is pure subhypermodule if and only if foreach finite sets <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="157" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{mi\} \in M, \{ni\} \in X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mi>m</mi> <mi>i</mi> <mo stretchy="false">}</mo> <mo>∈</mo> <mi>M</mi> <mo>,</mo> <mo stretchy="false">{</mo> <mi>n</mi> <mi>i</mi> <mo stretchy="false">}</mo> <mo>∈</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{r_{ij}\} \in R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msub> <mi>r</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mo stretchy="false">}</mo> <mo>∈</mo> <mi>R</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq5.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="228" /> </InlineMediaObject> <EquationSource Format="TEX">\(nj = \sum _{i=1}^{k}{r_{ij}m_i}, j = 1, 2,\ldots , l,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mi>j</mi> <mo>=</mo> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>k</mi> </msubsup> <mrow> <msub> <mi>r</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <msub> <mi>m</mi> <mi>i</mi> </msub> </mrow> <mo>,</mo> <mi>j</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>l</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> there is a <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{ x_i \} \in X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msub> <mi>x</mi> <mi>i</mi> </msub> <mo stretchy="false">}</mo> <mo>∈</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> which is finite set, when <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq7.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="186" /> </InlineMediaObject> <EquationSource Format="TEX">\(nj -\sum _{i=1}^{k}{r_{ij}x_i} \in X \cap K\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mi>j</mi> <mo>-</mo> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>k</mi> </msubsup> <mrow> <msub> <mi>r</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <msub> <mi>x</mi> <mi>i</mi> </msub> </mrow> <mo>∈</mo> <mi>X</mi> <mo>∩</mo> <mi>K</mi> </mrow> </math></EquationSource> </InlineEquation> for each subhypermodule <i>K</i>, and <i>A</i> hypermodule M owns the pure intersection property if and only if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="182" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left( zN \cap zK\right) =z\left( \ N\cap K \right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfenced close=")" open="("> <mi>z</mi> <mi>N</mi> <mo>∩</mo> <mi>z</mi> <mi>K</mi> </mfenced> <mo>=</mo> <mi>z</mi> <mfenced close=")" open="("> <mspace width="4pt" /> <mi>N</mi> <mo>∩</mo> <mi>K</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> for each <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(z \in R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>∈</mo> <mi>R</mi> </mrow> </math></EquationSource> </InlineEquation> and for all pure subhypermodules <i>N</i>, <i>K</i> in <i>M</i>. Also, prove that for act, If <i>M</i> owns the <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-pure subact intersection property, then each <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-pure subact in <i>M</i> has the <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-pure subact intersection property, and Put <i>X</i> is <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-pure subact in <i>M</i>. <i>M</i> has <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-pure sub-act intersection property, if and only if, <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq15.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{M}{X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mi>M</mi> <mi>X</mi> </mfrac> </math></EquationSource> </InlineEquation> has <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11565_2025_602_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-pure subact intersection property.</p>

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

On some classes of pure subhypermodules and some classes of pure subacts over monoid

  • Muna Jasim Mohammed Ali,
  • Samira Naji Kadhim

摘要

The notion of a pure subhypermodule and so pure subhypermodule relative to subhypermodule are introducing. Some properties of these concepts have been studied. In this work the notion of a \(E_n\) E n -pure subact and so \(E_n\) E n -pure subact relative to subact have been introduced. Some properties of these concepts are studing. Prove that X is pure subhypermodule if and only if foreach finite sets \(\{mi\} \in M, \{ni\} \in X\) { m i } M , { n i } X with \(\{r_{ij}\} \in R\) { r ij } R and \(nj = \sum _{i=1}^{k}{r_{ij}m_i}, j = 1, 2,\ldots , l,\) n j = i = 1 k r ij m i , j = 1 , 2 , , l , there is a \(\{ x_i \} \in X\) { x i } X which is finite set, when \(nj -\sum _{i=1}^{k}{r_{ij}x_i} \in X \cap K\) n j - i = 1 k r ij x i X K for each subhypermodule K, and A hypermodule M owns the pure intersection property if and only if \(\left( zN \cap zK\right) =z\left( \ N\cap K \right) \) z N z K = z N K for each \(z \in R\) z R and for all pure subhypermodules N, K in M. Also, prove that for act, If M owns the \(E_n\) E n -pure subact intersection property, then each \(E_n\) E n -pure subact in M has the \(E_n\) E n -pure subact intersection property, and Put X is \(E_n\) E n -pure subact in M. M has \(E_n\) E n -pure sub-act intersection property, if and only if, \(\frac{M}{X}\) M X has \(E_n\) E n -pure subact intersection property.