# Answer to Question #23480 in Abstract Algebra for sanches

Question #23480

Let H be a normal subgroup of G. If rad kH is nilpotent, show that I is also nilpotent.

Expert's answer

Any

*σ**∈**G*defines a conjugation automorphism on thesubring*kH**⊆**kG*, and this automorphism must takerad*kH*to rad*kH*. Therefore, (rad*kH*)*σ**⊆**σ**·*rad*kH**⊆**I,*which shows that*I*is anideal of*kG*. This method also shows that*I*=^{n}*kG ·*(rad*kH*)*for any*^{n }*n ≥*1, so if rad*kH*isnilpotent, then*I*is also nilpotent.
## Comments

## Leave a comment