added homomorphism assertion
fixed possiblePSylows(). takes an int (order) as parameter now