Let $ f$ be an irreducible polynomial of degree $q$
over $\mathbb{F}\_p$.
Let ${\bf F}=\frac{\mathbb{F}\_p[x]}{f}$ be the finite field which contain $p^q$ elements.
Assume $k>1$ is an integer and suppose that
${\bf R}=\frac{\mathbb{F}\_p[x]}{f^k}$ is the quotient ring
such that the coefficients come from $\mathbb{F}\_p$ and the
multiplication of elements are reduced by $f^k$.


Let $\bf A$ be an $n \times m$ matrix such that the elements of $\bf A$ are
polynomials over $\mathbb{F}\_p[x]$. Suppose that
the minimum number of linearly dependent columns of the matrix
$\bf A$ over ${\bf F}$ and ${\bf R}$ are denoted with
${\operatorname{MD}}\_F$ and ${\operatorname{MD}}\_R$, respectively.


**My question:**


How to prove that if ${\operatorname{MD}}\_F=r$ for some positive integer $1\leq r \leq m$,
then ${\operatorname{MD}}\_R \geq r$.


Furthermore,
Is it possible to make some conditions over $\bf A$
such that we have ${\operatorname{MD}}\_F=r$ and
${\operatorname{MD}}\_R > r$.


In practical, I work with $p=2$.


*Thanks for any help.*



The relationship between a finite field and a quotient ring in $\mathbb{F}_p[x]$
We in fact have $MD\_R = MD\_F$.


Given a linear relation over $F$, to form the corresponding linear relation over $R$, simply multiply each coefficient with $f^{k-1}$, which is well defined because $F = \mathbb F\_q[T]/f$ and $R = \mathbb F\_q[T]/f^k$. For the same reason, because the linear relation over $F$ holds mod $f$, multiplying each coefficient by $f^{k-1}$ produces a linear relation that holds mod $f^k$. Furthermore all the nonzero coefficients remain nonzero when we do this, so this is a nontrivial relation.


Given a linear relation over $R$, to form the corresponding linear relation over $F$, find the minimum $j$ such that $f^j$ divides each coefficient. We may lift the coefficients from $\mathbb F\_q[T]/f^k$ to $\mathbb F\_q[T]$, then divide by $f^j$, and finally mod out by $f$. The relations will still hold because they hold mod $f^k$ and $k>j$ because the coefficients aren’t all zero.


Each of these processes preserves or reduces the number of variables appearing the in the relation, and keeps it nontrivial, so the minimum number of variables is the same over $R$ and $F$.


