Hill Messages 867 Reaction score 658 Thread starter Jan 7, 2026 #1 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^*##?