Reductions of the structure group do not always exist.
構造群の縮小は、常に存在するとは限らない。