作用があるとき分解できる のバックアップ(No.1)


(定理) 作用があると分解できる

仮定

  • \( G \) は群
  • \( X \) は集合

主張

ある部分集合族 \( X' ~(\subset X) \) があって、G-軌道の非交和で

\[ G = \bigsqcup_{x \in X'} G_x \]

とできる??

証明