group of isotropy ; isotropy group