Edit: I was able to make a 3D diagram of the happy family if anyone is interested!
I'm working on a twitter thread about the monster group, because I saw an interview with John Conway and he was very interested in the monster group.
Here is a link to the wikipedia article on the monster: https://en.wikipedia.org/wiki/Monster_group
I'm very interested in the diagram of the sporadic groups. (Also if anyone would like to provide some basic understanding of the sporadic groups that would be helpful.) I'm trying to make a 3D version of the diagram with wire...
I can understand that the sporadic groups that are maximal are the ones that are circled. And $M$ is the monster, with $B$ the baby monster. And it looks like $J_1$ is a subquotient of the maximal group $O'N$. I'm not very familiar with subquotients, so I am wondering if $J_1$ is a subquotient of $M$? That is, for my purposes, do I need to include $O'N$ and $J_1$ in the diagram of the monster?