right coset decomposition

基本解释右傍系分解