Jan 7, 2026 #1 Hill Messages 826 Reaction score 640 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^*##?