The dihedral group `DihedralGroup n` (of order `2n`) is a Leinster group if and only if `n` is
an odd perfect number. This gives a one-to-one correspondence between dihedral Leinster groups
and odd perfect numbers.
In particular, the existence of odd perfect numbers is equivalent to the existence of
dihedral Leinster groups.
Reference: Leinster, Tom (2001). "Perfect numbers and groups".
Actions
Submit a Proof
Have a proof attempt? Submit it for zero-trust verification.
