東大数理の院試(1995年度専門問4)の解答です.自分が作った解答は ここ に置いてあります.
有限群Gの体K上の群環K[G]について次の問に答えよ.
(2)K[G]=A⊕BなるK[G]の左イデアルBを全て求めよ.
(1)任意のa,b∈Aに対しa+b=∑g∈Gagg+∑g∈Gbgg=∑g∈G(ag+bg)g,∑g∈G(ag+bg)=0よりa+b∈A.また任意のx∈Gに対しxa=∑g∈Gagxg=∑x−1h∈Gax−1hh,∑x−1h∈Gax−1h=∑g∈Gag=0だからxa∈A.よって任意のx′∈K[G]に対しx′a∈Aとなるから,AはK[G]の左イデアルである.右イデアルであることも同様.(2)Bの生成元∑g∈Gaggを任意に取ると,B∋(∑h∈Gh)(∑g∈Gagg)=∑g∈Gag(∑h∈Ghg)=∑g∈Gag(∑h∈Gh)である.ただし最後の等号は,g∈Gを固定した時写像G→G,h↦hgが全単射であることによる.A⊕B=K[G]より∑g∈Gag≠0だから∑h∈Gh∈B.よってI:=(∑g∈Gg)⊂Bである.一方,任意にx∈K[G]を取るとx=∑g∈Gxgg=∑g∈G(xg−1|G|∑h∈Gxh)g+∑g∈G(1|G|∑h∈Gxh)g∈A⊕IだからK[G]⊂A⊕I.従ってA⊕I⊂A⊕B=K[G]⊂A⊕Iなので,答えはB=I=(∑g∈Gg)のみ.
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。