توپولوژی جبری و نظریه همولوژی در گروه‌های نامتناهی