<p>In this article, we study twisted derivations of cyclic group rings. Let <i>R</i> be a commutative ring with unity, <i>G</i> be a finite cyclic group, and (<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2339_Article_IEq1.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma , \tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>,</mo> <mi>τ</mi> </mrow> </math></EquationSource> </InlineEquation>) be a pair of <i>R</i>-algebra endomorphisms of the group algebra <i>RG</i>, which are <i>R</i>-linear extensions of the group endomorphisms of <i>G</i>. In this article, we give two characterizations concerning <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2339_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\((\sigma , \tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>σ</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-derivations of the group ring <i>RG</i>. First, we develop a necessary and sufficient condition for a <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2339_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\((\sigma , \tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>σ</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-derivation of <i>RG</i> to be inner. Second, we provide a necessary and sufficient condition for an <i>R</i>-linear map <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2339_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="112" /> </InlineMediaObject> <EquationSource Format="TEX">\(D: RG \rightarrow RG\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mo>:</mo> <mi>R</mi> <mi>G</mi> <mo stretchy="false">→</mo> <mi>R</mi> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2339_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(D(1) = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> to be a <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2339_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\((\sigma , \tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>σ</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-derivation. We also illustrate our theorems with the help of examples. As a consequence of these two characterizations, we answer the well-known twisted derivation problem for <i>RG</i>: Under what conditions are all <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2339_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\((\sigma , \tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>σ</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-derivations of <i>RG</i> inner? Or is the space of outer <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2339_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\((\sigma , \tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>σ</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-derivations trivial? More precisely, we give a sufficient condition under which all <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2339_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\((\sigma , \tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>σ</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-derivations of <i>RG</i> are inner and a sufficient condition under which <i>RG</i> has non-trivial outer <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2339_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\((\sigma , \tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>σ</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-derivations. Our result helps in generating several examples of non-trivial outer <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2339_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\((\sigma , \tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>σ</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-derivations.</p>

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

Inner and Outer Twisted Derivations of Cyclic Group Rings

  • Praveen Manju,
  • Rajendra Kumar Sharma

摘要

In this article, we study twisted derivations of cyclic group rings. Let R be a commutative ring with unity, G be a finite cyclic group, and ( \(\sigma , \tau \) σ , τ ) be a pair of R-algebra endomorphisms of the group algebra RG, which are R-linear extensions of the group endomorphisms of G. In this article, we give two characterizations concerning \((\sigma , \tau )\) ( σ , τ ) -derivations of the group ring RG. First, we develop a necessary and sufficient condition for a \((\sigma , \tau )\) ( σ , τ ) -derivation of RG to be inner. Second, we provide a necessary and sufficient condition for an R-linear map \(D: RG \rightarrow RG\) D : R G R G with \(D(1) = 0\) D ( 1 ) = 0 to be a \((\sigma , \tau )\) ( σ , τ ) -derivation. We also illustrate our theorems with the help of examples. As a consequence of these two characterizations, we answer the well-known twisted derivation problem for RG: Under what conditions are all \((\sigma , \tau )\) ( σ , τ ) -derivations of RG inner? Or is the space of outer \((\sigma , \tau )\) ( σ , τ ) -derivations trivial? More precisely, we give a sufficient condition under which all \((\sigma , \tau )\) ( σ , τ ) -derivations of RG are inner and a sufficient condition under which RG has non-trivial outer \((\sigma , \tau )\) ( σ , τ ) -derivations. Our result helps in generating several examples of non-trivial outer \((\sigma , \tau )\) ( σ , τ ) -derivations.