Let R=kH⊆S=kGR = kH \subseteq S = kGR=kH⊆S=kG, and fix a coset decomposition G=⋃i∈IHσiG = \bigcup_{i \in I} H \sigma_iG=⋃i∈IHσi. Then we have S=⊕iRσiS = \oplus_{i} R \sigma_{i}S=⊕iRσi. We may assume that some σi0=1\sigma_{i0} = 1σi0=1. Therefore, RR=Rσi0{}_{R}R = R \sigma_{i0}RR=Rσi0 is a direct summand of RS{}_{R}SRS. Similarly, RRR_{R}RR is a direct summand of SRS_{R}SR. So, we get the two desired conclusions.
Need a fast expert's response?
and get a quick answer at the best price
for any assignment or question with DETAILED EXPLANATIONS!
Comments