En matemáticas , un grupo delgado es un grupo abeliano sin torsión que es "pequeño" en un sentido que se precisa en la definición siguiente.
Sea Z N el grupo de Baer-Specker , es decir, el grupo de todas las sucesiones enteras , con suma de términos. Para cada número natural n , sea e n la secuencia con n -ésimo término igual a 1 y todos los demás términos 0.
Se dice que un grupo abeliano G libre de torsión es delgado si cada homomorfismo de Z N en G mapea todos menos una parte finita de e n en el elemento de identidad .
Todos los grupos abelianos libres son escasos.
El grupo aditivo de los números racionales Q no delgado es: cualquier mapeo de la e n en Q se extiende a un homomorfismo de la libre subgrupo generado por el e n , y como Q es inyectiva este homomorfismo se extiende sobre la totalidad de Z N . Por lo tanto, se debe reducir un grupo delgado .
Cada grupo abeliano libre de torsión reducido contable es delgado, por lo que cada subgrupo apropiado de Q es delgado.