En matemáticas , en el ámbito de la teoría de grupos , se dice que un grupo es paralibre si sus cocientes por los términos de su serie central inferior son los mismos que los de un grupo libre y si es residualmente nilpotente (la intersección de los términos de su serie central inferior es trivial).
Los grupos parafree comparten muchas propiedades con los grupos free , por lo que es difícil distinguir entre estos dos tipos. Gilbert Baumslag se dirigió al estudio de los grupos paralibres en un intento de resolver la conjetura de que un grupo de dimensión cohomológica uno es libre. Uno de sus resultados fundamentales es que existen grupos paralibres que no son libres. Con Urs Stammbach, demostró que existe un grupo paralibre no libre en el que todos los subgrupos contables son libres.