- 11 名前：Kummer ◆SgHZJkrsn08e [2012/02/23(木) 18:48:34.21 ]
- 定義
G を群とする。
G の単位群を e とする。
H = {e} とおく。
G は G の H による左剰余類全体の集合 G/H と同一視される。
よって、過去スレpart5の108より G は推移的（過去スレpart5の107）な G-集合となる。
このとき G は忠実（過去スレpart5の843）な G-集合である。
よって、忠実な表現（過去スレpart5の843）G → Sym(G)（>>6）が得られる。
この表現を G の正則表現と呼ぶ。
このとき G は G 上の置換群（>>7）と見なされる。
