Skip to main content
8 of 8
`\tag`+`\label`+`\eqref`; deleted "thanks"
LSpice
  • 12.9k
  • 4
  • 45
  • 69

A generalisation of Moore-Ore criterion?

Let $K$ be a field of characteristic $p>0$ and $q=p^f$. One supposes that $\mathbb F_q$ is embedded in $K$. One considers elements of $K$: $w_1,\dotsc,w_s$. Assume there exists $b_1,\dotsc,b_s$ in $K$ not all zero such that for every $n\in\mathbb N$, one has $$\sum_{i=1}^sb_iw^{q^n}_i=0.\tag{**}\label{starstar}$$ A result from Moore asserts that the $w_1,\dotsc,w_s$ are $\mathbb F_q$-linearly dependent. Now, assume that $\overline{\mathbb F_q}$ is embedded in $K$ and \eqref{starstar} holds only for an infinite increasing sequence $(n_k)_k$ of natural integers. My question: can one assert that the $w_i$'s are $\mathbb F_{q^r}$-linearly dependent for a certain natural integer $r$? I checked the case $s=2$, and it is true.

joaopa
  • 4k
  • 1
  • 16
  • 21