>>867
バカ正直にいえば正しくない
あくまで 0_R*g = 0_R*e =: 0_Rg (R[G] の零元) != 0_R (Rの零元)、もう一方も同じ
ただ、自然な入射 R->R[G], G->R[G] で -> の根っこと像を同一視すれば正しい