در خصوص مقاله مشهورPORC گراهام هیگمن

مقاله با عنوان Enumerating p-groups, II از گراهام هیگمن که در آن حدس مشهور PORC وی مطرح شده است را مورد بررسی قرار می دهیم. قادر شدیم، نظریه داده شده در این مقاله را ساده کنیم. بویژه، این مقاله هیگمن شامل پنج صفحه جبر همولوژی است که وی در اثباتش بکار می برد تا نشان دهد، تعداد جواب های یک مجموعه متناهی از معادلات تک جمله ای در یک میدان متناهی، PORC است. نتیجه می شود که جبر همولوژی بکاربرده شده صرفا ظاهری بوده است و تمام آن می تواند با این نگاه که اگر معادلات را به عنوان سطر های یک ماتریس بنویسیدآنگاه تعداد جواب ها برابر حاصلضرب مقسوم علیه های مقدماتی فرم نرمال اسمیت ماتریس معادلات است، جایگزین شود. فرمول PORC را برای تعداد گروه های r-مولده از p-رده دو برای وقتی که r≤6 را بدست آورده ایم. علاوه بر این، فرمول PORC را برای تعداد گروه های از p-رده دو و مرتبه p^8 بدست آورده ایم.