\[
f(\mathbb{Z})\subseteq\mathbb{Z}
\]
e definiti:
\[
f_{-1}=0,f_0=1,\\
\forall n\in\mathbb{N},\,f_n(x)=\frac{1}{n!}x(x-1)\cdot...\cdot(x-n+1)\in\mathbb{Q}[x],
\]
dimostrare che:
- \(\displaystyle\forall n\in\mathbb{N}_0,\,f_n\in R\);
- il sistema \(\displaystyle\{f_n\}_{n\in\mathbb{N}_0}\) è una \(\displaystyle\mathbb{Q}\)-base di \(\displaystyle\mathbb{Q}[x]\);
- \(\displaystyle\forall p\in\mathbb{P},\,f_p\not\in(f_1,...,f_{p-1})_R\) (ideale generato in \(\displaystyle R\));
- il sistema \(\displaystyle\{f_n\}_{n\in\mathbb{N}_0}\) è una base di \(\displaystyle R\) come \(\displaystyle\mathbb{Z}\)-modulo.
Esercizio tratto da Bosch - Algebraic Geometry and Commutative Algebra, capitolo 1, sezione 5, numero 10; il quale suggerisce di usare la seguente mappa \(\displaystyle\mathbb{Q}\)-lineare:
\[
\Delta:f(x)\in\mathbb{Q}[x]\to f(x+1)-f(x)\in\mathbb{Q}[x]
\]
la quale soddisfa l'identità \(\displaystyle\forall n\in\mathbb{N}_0,\,\Delta(f_n)=f_{n-1}\).
Edit: Ringrazio l'utente Frink, col quale discutendo in privato del problema, mi ha fatto rendere conto che avevo sbagliato un ragionamento.