题目内容
(请给出正确答案)
[主观题]
设f和g都是群(G1,★)到群(G2,*)的同态映射,证明:(C,★)是(G1,★)的一个子群,其中,C={x|x∈G1,且f(x)=g(x)}.
设f和g都是群(G1,★)到群(G2,*)的同态映射,证明:(C,★)是(G1,★)的一个子群,其中,C={x|x∈G1,且f(x)=g(x)}.
答案
任取x,y∈C,则有f(x)=g(x)以及f(y)=g(y),而
f(x★y-1)=f(x)*f(y-1)=f(x)*f(y)-1=g(x)*g(y)-1
=g(x)*g(y-1)=g(x★y-1),
即x★y-1∈C,表明(C,★)是(G1,★)的子群.