در این پایان نامه زیر گروه S از G را اشتراک نرمالسازهای پوچ توان همه زیرگروه های گروه متناهی G تعریف می کنیم و قرار میدهیم S_0=1. برای i>1 یک سری نرمال با ویژگی ( S_i+1/S_i=S(G/S_i تعریف میکنیم و نشان خواهیم داد G=S اگر و تنها اگر باقیمانده پوچ توان G پوچ توان باشد. علاوه بر این اگر همه عناصر مرتبه ی اول G عضو S باشند انگاه G حل پذیر است و L_p(G) <1 l می باشد که (L_p(G همان p-طول G برای p اول است که در مجموعه اعداد اول |G| می باشد. کار این پایان نامه از [1] است.