右剰余類
right coset
$ yx^{-1}\in Hであるとき、$ x\sim yと定義すると
これを$ Hxと表記する
ざっくりいうと
群$ Gと、その部分群$ Hについて、
$ x\in Gを適当に選んで、$ Hの全ての元に$ xを右から作用したものの集合$ xH
部分群の同値$ xy^{-1}\in Hの書き方を変えただけ $ xy^{-1}\in H\Leftrightarrow x\in yH
この同値関係による商集合を$ H\backslash Gと書く つまり右剰余類の集合のこと