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]