ماندۀ پوچ‌توان

اشتراک همۀ زیرگروه‌های نرمال یک گروه که گروه خارج‌قسمتی متناظر با آنها پوچ‌توان است