نظریه گروه‌های آزاد و تقارن‌های ساختاری