\begin{definition}[Definition:Monster Group]
A group $G$ is a '''Monster group''' and the largest sporadic simple group {{iff}} it has the order:
 
:$808017424794512875886459904961710757005754368000000000 = 2^{46}.3^{20}.5^9.7^6.11^2.13.17.19.23.29.31.41.47.59.71$ 
{{questionable|The {{iff}} seems wrong. For example, the cyclic group of order $808017424794512875886459904961710757005754368000000000$ is not the Monster group.}}
\end{definition}