Translated `isHomomorphism` from Python to C++
Implemented most of an alternating group class in C++
Implemented most of a semidirect product class in C++