فرض کنید Qو A دو –P گروه باشند که A یک Q- مدول باشد. اگر برای همه ی مقادیر صحیح آنگاه A یک Q- مدول بطور کوهمولوژیکی بدیهی نامیده می شود. پیتر اشمید حدس زده است که حدس: در هر –P گروه ناآبلی متناهی G، بر بطور کوهمولوژیکی بدیهی نمی باشد. اشمید نشان دادکه –P گروه های منظم در حدس فوق صدق می کنند. در این پایان نامه نشان می دهیم 1-هر-P گروه نیم ابلی یک گروه اشمید است. 2-هر-P گروه ناآبلی متناهی از کلاس حداکثر3، -P گروه اشمید است. 3-اگر ، انگاه هر –P گروه ناآبلی متناهی g که در شرط صدق کند یک گروه اشمید است.
