title: Teorema della base di Hilbert
text: # Teorema della base di Hilbert
  
  In matematica, il teorema della base di Hilbert è un risultato dell'algebra commutativa, fondamentale nello studio degli anelli noetheriani. Esso afferma che, se $A$ è noetheriano, allora l'anello dei polinomi $A[x]$ è ancora noetheriano; ricorsivamente, questo dimostra che $A[x_{1},\ldots ,x_{n}]$, così come ogni $A$-algebra finitamente generata, è un anello noetheriano.
  
  Il teorema è stato dimostrato per la prima volta da David Hilbert nel 1888 nel caso in cui $A$ è un campo, e poi generalizzato nella forma attuale da Emmy Noether. Una dimostrazione costruttiva (a differenza di quella di Hilbert) fu data da Paul Gordan nel 1900.
  
  Il risultato è anche importante in geometria algebrica, in quanto dimostra che ogni insieme algebrico può essere definito da un numero finito di equazioni polinomiali.
  
  ## Dimostrazione
  
  Supponiamo per assurdo che $A[x]$ non sia noetheriano; allora, esiste un ideale $I\subseteq A[x]$ non finitamente generato. Costruiamo una successione $p_{0},p_{1},\ldots ,p_{n},\ldots$ di polinomi nel modo seguente:
  
  * $p_{0}$ è un elemento di $I$ di grado minimo (tra gli elementi di $I$);
  * $p_{n}$ è un elemento di $I\setminus (p_{0},\ldots ,p_{n-1})$ di grado minimo tra gli elementi di $I\setminus (p_{0},\ldots ,p_{n-1})$.
  
  Sia $a_{i}$ il coefficiente direttore di $p_{i}$, e sia $d_{i}$ il grado di $p_{i}$.
  
  Sia $J$ l'ideale di $A$ generato dagli $a_{i}$; poiché $A$ è noetheriano, $J$ è finitamente generato. In particolare, $J$ è generato da $a_{0},\ldots ,a_{N-1}$ per un certo intero $N$.
  
  In particolare, si può scrivere $a_{N}=\sum _{i=0}^{N-1}e_{i}a_{i},\ e_{i}\in A$; consideriamo il polinomio
  
      $q(x):=\sum _{i=0}^{N-1}e_{i}x^{d_{N}-d_{i}}p_{i}(x)$.
  
  Per definizione, $q(x)$ appartiene a $(p_{0},\ldots ,p_{N-1})$; inoltre, $q(x)$ è un polinomio di grado $d_{N}$ il cui coefficiente direttore è $\sum _{i=0}^{N-1}e_{i}a_{i}=a_{N}$. In particolare, il polinomio
  
      $q(x)-p_{N}(x)$
  
  è un polinomio di grado $d_{N}-1$ che appartiene a $I$ (perché vi appartengono sia $q(x)$ che $p_{N}(x)$) ma non a $(p_{0},\ldots ,p_{N-1})$ (perché vi appartiene $q(x)$ ma non $p_{N}(x)$). Questo tuttavia contrasta con la scelta di $p_{N}$ come polinomio di grado minimo in $I\setminus (p_{0},\ldots ,p_{N-1})$: di conseguenza, $I$ deve essere un ideale finitamente generato, e $A[x]$ è un anello noetheriano.
  
  