Me gustaría saber si hay términos establecidos
- Un sub-anillo $S$ de un anillo de $R$ tal que $S \cap U(R) = U(S)$; en otras palabras, cada elemento de la $S$ que es invertible en a $R$ es invertible en a $S$.
- El más pequeño sub-anillo $S$ de un anillo de $R$ contiene algunos de $r_1, r_2, ...$ de los elementos de $R$ la satisfacción de la anterior propiedad.
Motivación: si $f : R \to T$ es un anillo homomorphism, a continuación, sabiendo $f(r_1), f(r_2), ...$ implica que conoce $f$ en el sub-anillo $S$ por encima. (El contraste de la correspondiente motivación para subrings: si $f : T \to R$ es un anillo homomorphism, a continuación, sabiendo que $r_1, r_2, ...$ están en la imagen de $f$ implica que el sub-anillo generado por $r_1, r_2, ...$ es en la imagen de $f$.)