環が乗法単位元を持つとき(群の単位元はと書くことにする)、群環はに環同型な部分環を持ち、またその単元群はに群同型な部分群を含む。