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