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