جبر, رياضيات, مجموعات لانهائية, نظرية الزمرالمجموعة ثنائية الوجوه اللانهائية (Infinite Dihedral Group)