sottoanello

sottoanello

sottoanello di un anello A, è un anello S che sia contenuto in A, in modo che le operazioni definite in S coincidano con la restrizione di quelle definite in A (→ anello). Da un punto di vista più astratto, sottoanello di A è un qualsiasi anello S dotato di un omomorfismo di anelli iniettivo φ: S → A. Se l’anello A è unitario, si richiede anche che S contenga l’unità: si richiede, vale a dire, che sia conservata la struttura di anello unitario.