Janko group J2, Hall–Janko group HJ

On this page, we provide links to verifications that the claimed presentations for the Janko group J₂ defines groups of the correct order. Two presentations are given for J₂:

• Presentation 1
• Presentation 2