Module structure of doubly periodic arrays over finite fields (Q1387487)

Let \(F\) be a finite field. An array \(A\) of dimension \(2\) is an infinite matrix \(A=(A_{k})_{k\in \mathbb{Z}^{2}}\) over \(F\). Let \(t\in \mathbb{Z}^{2}\). The \(t\)-translate of \(A\), written as \(_{t}A\) is defined by \((_{t}A)_{i}=A_{i+t} \text{for all} i\in \mathbb{Z}^{2}\). If \(_{t}A=A\), then \(t\) is called a period of \(A\). The set \(P\) of periods of \(A\) is an abelian subgroup of \(\mathbb{Z}^{2}\). If \(P\) has a basis with two elements, then \(A\) is called a doubly periodic array. Let \(f(z)=\sum_{i}f_{i}z^{i}\in R=F[x,y]\), \(z=(x,y)\), \(i=(i_{1},i_{2})\), \(z^{i}= x^{i_{1}}y^{i_{2}}\). Define the action of \(f(z)\) on an array \(A\) by \(f(z)A=\sum_{k}f_{k} \times _{k}A.\) If \(f(z)A=0\), then \(A\) is called a linear recurring array. In this paper, the authors only study linear recurring arrays which are doubly periodic arrays. Let \(W(F)\) be the set of all doubly periodic arrays over \(F\) which is a linear space. For any ideal \(I\) of \(R\), let \(G(I)=\{A\in W(F) \mid f(z)A=0 \text{ for all} f\in I\}\). Then \(G(I)\) is a linear subspace of \(W(F)\). The necessary and sufficient conditions for \(G(I)\) as an \(R/I\)-module to be cyclic are studied in this paper.