from 剰余類

同値関係を以下のように定義する

群Gの部分群H,K

g_1,g_2\in Gに対し、h\in H,\;k\in Kが存在し、

g_1=hg_2kとなるとき、

g_1\sim g_2

この同値関係による商集合G/\simをH\backslash G/Kとかく

H\backslash G/Kの元を「H,Kによる両側剰余類」という

リー群を調べる時に使うらしい

『代数学 1 群論入門』 pp.54-55