The group operation is multiplication modulo p