polinomi, anello dei
polinomi, anello dei locuzione con cui si indica l’insieme A[x] dei polinomi in un’incognita a coefficienti in un dato anello A, dotato delle due operazioni di addizione e di moltiplicazione. Si possono così considerare, per esempio, l’anello dei polinomi a coefficienti interi Z[x], quello dei polinomi a coefficienti reali R[x] e quello dei polinomi a coefficienti complessi C[x]. Similmente, si può considerare il caso con un numero superiore di indeterminate: si indica con A[x1, …, xn] l’anello dei polinomi a coefficienti in A nelle n indeterminate x1, …, xn. L’anello dei polinomi A[x] eredita molte proprietà dall’anello A in cui sono definiti i suoi coefficienti: per esempio, se A è un dominio d’integrità, allora anche A[x] lo è; se A è un anello noetheriano, anche A[x] lo è (in base al teorema della base di Hilbert); se A è un dominio a fattorizzazione unica, anche A[x] lo è. Una situazione particolarmente importante si ha quando l’anello dei coefficienti è un campo K: in questo caso si può allora effettuare l’algoritmo della divisione con resto, che determina sull’anello K[x] la struttura di dominio euclideo.