نظریه گروه‌های ریاضی و روابط هم‌ارزی در سیستم‌های پویا