Propiedad residual (matemáticas)
En el campo matemático de la teoría de grupos , un grupo es residualmente X (donde X es alguna propiedad de los grupos) si "puede recuperarse de los grupos con la propiedad X ".
Formalmente, un grupo G es residualmente X si para cada elemento no trivial g hay un homomorfismo h de G a un grupo con propiedad X tal que .
Más categóricamente , un grupo es residualmente X si se incrusta en su procompleción X (ver grupo profinito , grupo pro-p ), es decir, el límite inverso del sistema inverso que consiste en todos los morfismos de G a algún grupo H con propiedad X. _
