<p>In this article, the group algebra <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathscr {F}[\mathscr {H}_{{\mathcalligra{e}}_{\mathcalligra{p}}}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">F</mi> <mo stretchy="false">[</mo> <msub> <mi mathvariant="script">H</mi> <msub> <mi mathvariant="script">e</mi> <mi mathvariant="script">p</mi> </msub> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> of Heisenberg group of order <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcalligra{p}^{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="script">p</mi> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation> over its finite splitting field <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathscr {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">F</mi> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(char(\mathscr {F})\ne \mathcalligra{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mi>h</mi> <mi>a</mi> <mi>r</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">F</mi> <mo stretchy="false">)</mo> <mo>≠</mo> <mi mathvariant="script">p</mi> </mrow> </math></EquationSource> </InlineEquation> is considered. The unique idempotents (linear and non-linear) in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathscr {F}[\mathscr {H}_{{\mathcalligra{e}}_{\mathcalligra{p}}}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">F</mi> <mo stretchy="false">[</mo> <msub> <mi mathvariant="script">H</mi> <msub> <mi mathvariant="script">e</mi> <mi mathvariant="script">p</mi> </msub> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> corresponding to the characters of Heisenberg group are computed in order to generate various ideals in <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathscr {F}[\mathscr {H}_{{\mathcalligra{e}}_{\mathcalligra{p}}}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">F</mi> <mo stretchy="false">[</mo> <msub> <mi mathvariant="script">H</mi> <msub> <mi mathvariant="script">e</mi> <mi mathvariant="script">p</mi> </msub> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. Further, by utilizing the inter-relationship between ideals in a group algebra and their corresponding group algebra codes, the minimum weights along with dimensions of various families of group codes generated by combinations of both linear and non-linear idempotents in <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathscr {F}[\mathscr {H}_{{\mathcalligra{e}}_{\mathcalligra{p}}}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">F</mi> <mo stretchy="false">[</mo> <msub> <mi mathvariant="script">H</mi> <msub> <mi mathvariant="script">e</mi> <mi mathvariant="script">p</mi> </msub> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> are calculated to establish these group codes, for every odd prime <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcalligra{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">p</mi> </math></EquationSource> </InlineEquation> (however, in previous studies, the combinations of idempotents include either only linear or non-linear idempotents, but not both). In addition, the aforesaid results have also been illustrated for the group algebra of Heisenberg group <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathscr {F}[\mathscr {H}_{{\mathcalligra{e}}_{3}}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">F</mi> <mo stretchy="false">[</mo> <msub> <mi mathvariant="script">H</mi> <msub> <mi mathvariant="script">e</mi> <mn>3</mn> </msub> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> for smaller order, along with this, several new group codes have been explored for other different combinations of idempotent in this small order case.</p>

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

Group codes over algebra of heisenberg group

  • Madhu Dadhwal,
  • Pankaj

摘要

In this article, the group algebra \(\mathscr {F}[\mathscr {H}_{{\mathcalligra{e}}_{\mathcalligra{p}}}]\) F [ H e p ] of Heisenberg group of order \(\mathcalligra{p}^{3}\) p 3 over its finite splitting field \(\mathscr {F}\) F with \(char(\mathscr {F})\ne \mathcalligra{p}\) c h a r ( F ) p is considered. The unique idempotents (linear and non-linear) in \(\mathscr {F}[\mathscr {H}_{{\mathcalligra{e}}_{\mathcalligra{p}}}]\) F [ H e p ] corresponding to the characters of Heisenberg group are computed in order to generate various ideals in \(\mathscr {F}[\mathscr {H}_{{\mathcalligra{e}}_{\mathcalligra{p}}}]\) F [ H e p ] . Further, by utilizing the inter-relationship between ideals in a group algebra and their corresponding group algebra codes, the minimum weights along with dimensions of various families of group codes generated by combinations of both linear and non-linear idempotents in \(\mathscr {F}[\mathscr {H}_{{\mathcalligra{e}}_{\mathcalligra{p}}}]\) F [ H e p ] are calculated to establish these group codes, for every odd prime \(\mathcalligra{p}\) p (however, in previous studies, the combinations of idempotents include either only linear or non-linear idempotents, but not both). In addition, the aforesaid results have also been illustrated for the group algebra of Heisenberg group \(\mathscr {F}[\mathscr {H}_{{\mathcalligra{e}}_{3}}]\) F [ H e 3 ] for smaller order, along with this, several new group codes have been explored for other different combinations of idempotent in this small order case.