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