In the area of modern algebra known as group theory, the Janko group J1 is a sporadic simple group of order