Wednesday, 9:39 AM #1 Hill Messages 772 Reaction score 599 TL;DR In the proof below, I think the checking should refer to an original homomorphism Shouldn't the underlined equation refer to ##\varphi## rather than ##\varphi^*##?