Un concepto relacionado, aunque distinto, es el de grupo abeliano libre.