迷向群

isotropy group, group of isotropy