例えばformula_8(formula_9の可算個のコピーの直積として構成される不可算群)は1937年にによって自由アーベル群でないことが証明された。