فرض کنید‎ g ‎یک گروه متناهی،‎ p ‎عدد اول و‎ pin syl_{p}(g) ‎.گروه‎‎‎p ،g-پوچتوان ‎است اگر دارای‎-‎p‎متمم نرمال باشد. به عبارت دیگر g ‎دارای ‎-‎p‎زیرگروه نرمال‎ n‎باشد بطوریکه‎ g=pn‎.بنابر نتیجه ای کلاسیک از فروبنیوس‎گروه‎‎‎p ،g-پوچتوان است اگر و تنها اگر برای هر‎-‎p $‎زیرگروه‎ b ‎ از‎ g ،‎ n_{g}(b)/c_{g}(b) ‎یک‎-‎p ‎گروه باشد. در اصطلاح مدرن محک‎-‎p‎پوچتوانی فروبنیوس را می توان به صورت زیر ب...