هندسه غیراقلیدسی و نظریه گروه‌ها