Un théorème d'addition dans \({\mathbb{F}}_ q[x]\). (An addition theorem in \({\mathbb{F}}_ q[x])\) (Q911640)

Sei \({\mathbb{F}}_ q[x]\) der Ring der Polynome einer Unbekannten über dem endlichen Körper mit q Elementen. Für jedes \(h\in {\mathbb{N}}\) und jede Teilmenge \(A\subseteq {\mathbb{F}}_ q[x]\) heißt A eine (additive) Basis höchstens h-ter Ordnung, wenn sich jedes Polynom als Summe von höchstens h Elementen von A schreiben läßt. Die Dichte von A ist definiert als \[ dA=\inf_{n\geq 0}q^{-n-1} Card\{a\in A | \quad \partial^ 0a\leq n\}, \] wobei \(\partial^ 0a\) den Grad des Polynoms a bedeutet. Dann wird folgendes Theorem gezeigt: Eine Teilmenge \(A\subseteq {\mathbb{F}}_ q[x]\) mit der Dichte \(dA>0\), die \({\mathbb{F}}_ q[x]\) erzeugt, ist eine Basis höchstens der Ordnung 4/dA.