En el área del álgebra moderna conocida como teoría de grupos, el grupo monstruo M (también conocido como el monstruo Fischer–Griess, o el Gigante Amistoso) es un grupo simple esporádico de orden
Los grupos simples finitos han sido completamente clasificados. Cada uno de estos grupos pertenece a una de 18 familias infinitas contables, más 26 grupos esporádicos que no siguen un patrón tan sistemático. El grupo de monstruo es el más grande de estos grupos esporádicos y contiene todos excepto seis de los otros grupos esporádicos como subcocientes.[2] Robert Griess ha llamado a estas seis excepciones «parias», y refiere a los otros 20 como la familia feliz.[3]