たとえば "z" を "g" の中心に属する任意の離散群としてやると、 "g" と "g"/"z" は同じリー環をもつ。