Выдержка из книги
Мальцев А.И.
Избранные труды Математическая логика и общая теория алгебраических систем Том2
Ауслендер и Линдон [2] доказали, что если фактор-группа FIA свободной группы F по какому-либо ее нормальному делителю А бесконечна, то центр фактор-группы F / [ A, А ] тривиален.