رحلة عميقة في عالم زمرة الوحش

في فرع نظرية الزمر من الرياضيات، زمرة الوحش ورمزها







M





{\displaystyle M}



أو









F



1









{\displaystyle F_{1}}



وتسمى أيضًا وحش فيشر-غريس أو الضخم الودود، هي زمرة من الرتبة المنتهية:



هي زمرة بسيطة، أي أنها لا تملك أي زمرة جزئية طبيعية غير الزمرة البديهية سوى







M





{\displaystyle M}



نفسها.

لقد صُنفت جميع الزمر المنتهية البسيطة بالكامل في تصنيف الزمر المنتهية البسيطة. وتحتوي قائمة الزمر المنتهية البسيطة على







18





{\displaystyle 18}



عائلة غير قابلة للعد، إلى جانب







26





{\displaystyle 26}



زمرة مشتتة لا تتبع مثل هذا النمط المنهجي. زمرة الوحش هي أكبر هذه الزمر المشتتة وتحتوي على جميع الزمر المشتتة الأخرى (عدا ست منها) في شكل حواصل جزئية. دعا روبرت غريس الزمر الست المُستثناة الزمر المنبوذة، ودعا الزمر الأخرى الأسرة السعيدة.