completamento di un anello

In matematica, il completamento di un anello è un'operazione che permette di ottenere, a partire da un anello A, un altro anello con proprietà in generale "migliori", allo stesso modo con cui uno spazio metrico può essere completato; lo stesso nome "completamento" deriva dal fatto che tale operazione può essere vista come completamento di A rispetto alla topologia definita dalle potenze di un suo ideale I, detta topologia I-adica. Un anello che coincide col suo completamento rispetto ad I è detto I-completo, o semplicemente completo se A è locale e I=M è il suo ideale massimale. Il completamento di un anello è generalmente utilizzato quando A è un anello noetheriano locale (con ideale massimale M), e in cui la topologia è quella M-adica. Esempi di anelli completi sono l'insieme dei numeri p-adici (completamento di rispetto all'ideale ) e l'anello delle serie formali su un campo K (completamento dell'anello dei polinomi rispetto all'ideale generato da x).