Lattice of ideals of the polynomial ring over a commutative chain ring (Q496108)

Given a commutative chain ring \(R\) and an ideal \(I\subset R[x]\), the author develops algorithms for determining when the ring \(R[x]/I\) is Frobenius or, respectively, Frobenius and local. This work is motivated by applications to coding theory and combinatorics, where Frobenius rings often appear in the form \(R[x]/I\), \(R\) a commutative chain ring. A commutative chain ring \(R\) is a commutative ring whose Jacobson radical \(\text{rad}(R)\) is principally generated by a nilpotent element. A commutative ring \(R\) is Frobenius if its socle is isomorphic (as an \(R\)-module) to \(R/\text{rad}(R)\). To determine whether \(R[x]/I\) is Frobenius, the author develops algorithms to answer the following questions: {\parindent=6mm \begin{itemize} \item[1.] What are the maximal ideals of \(R[x]\) that contain \(I\)? \item [2.] What are the annihilators of the maximal ideals in \(R[x]/I\)? \item [3.] What are the ideals immediately above \(I\) in the ideal lattice of \(R[x]\)? \end{itemize}} The algorithms to answer these questions are based on a variation of Gröbner bases for \(R[x]\).