Table of Contents
Fetching ...

On Polycyclic Codes over $\frac{\mathbb{F}_{p^m}[u]}{\langle u^t \rangle}$ and their Cardinalities

Akanksha Tiwari, Pramod Kanwar, Ritumoni Sarma

Abstract

The purpose of this article is to study polycyclic codes over the ring $\frac{\mathbb{F}_{p^m}[u]}{\langle u^t \rangle}, \,t \geq 1$, and their associated torsion codes. It is shown that if $φ$ is a surjective ring homomorphism from a commutative ring $A$ to a Noetherian ring $B$ with $ ker(φ)=\langle π\rangle$ then for every ideal $I$ of $A$, there exists $a_1,a_2,\dots,a_n$ in $I$ such that $I=\langle a_1,a_2,\dots,a_n\rangle+π(I:π)$. Using this, we obtain generators of all ideals of the ring $\frac{\frac{\mathbb{F}_{p^m}[u]}{\langle u^t \rangle}[x]}{\langle ω(x)\rangle},$ where $ω(x)\in \frac{\mathbb{F}_{p^m}[u]}{\langle u^t \rangle}[x] $. For the case when $ω(x)=f(x)^{p^s}$, where $f(x)$ is an irreducible polynomial in $\mathbb{F}_{p^m}[x]$ and $s$ is a non-negative integer, we obtain several other results including computation of torsion ideals and their torsional degrees when $t=4$. We use the torsional degree to compute the cardinality of polycyclic codes over the ring $\frac{\mathbb{F}_{p^m}[u]}{\langle u^4 \rangle}$.

On Polycyclic Codes over $\frac{\mathbb{F}_{p^m}[u]}{\langle u^t \rangle}$ and their Cardinalities

Abstract

The purpose of this article is to study polycyclic codes over the ring , and their associated torsion codes. It is shown that if is a surjective ring homomorphism from a commutative ring to a Noetherian ring with then for every ideal of , there exists in such that . Using this, we obtain generators of all ideals of the ring where . For the case when , where is an irreducible polynomial in and is a non-negative integer, we obtain several other results including computation of torsion ideals and their torsional degrees when . We use the torsional degree to compute the cardinality of polycyclic codes over the ring .

Paper Structure

This paper contains 5 sections, 19 theorems, 42 equations.

Key Result

Proposition 2.1

Let $A$ and $B$ be commutative rings and let $\phi: A \rightarrow B$ be a surjective ring homomorphism with $\ker(\phi)=\langle \pi\rangle.$ If $I$ is an ideal of $A$ such that $\phi(I)$ is a finitely generated ideal then there exist $a_1,a_2,\dots,a_n$ in $I$ such that where $n$ is the number of generators of $\phi(I)$. In particular, if $B$ is Noetherian then for every ideal $I$ of $A$ there ex

Theorems & Definitions (30)

  • Proposition 2.1
  • proof
  • Corollary 2.2
  • Corollary 2.3
  • Corollary 2.4
  • Lemma 3.1
  • proof
  • Theorem 3.2
  • proof
  • Theorem 3.3
  • ...and 20 more