Fil:Circle as Lie group.svg