john_chiang
幼苗
共回答了25个问题采纳率:92% 举报
设A={a,b},A上定义运算#,a#a=a,a#b=b,b#a=b,b#b=a,显然a是幺元,可以验证#满足结合性,a,b的逆元就是它本身.故(A,#)是个2元群,下面证明它与(B,*)同构.
设映射f:A→B,其中f(a)=x,f(b)=y,于是
f(a#a)=f(a)=x=x*x=f(a)*f(a)
f(a#b)=f(b)=y=x*y=f(a)*f(b)
f(b#a)=f(b)=y=y*x=f(b)*f(a)
f(b#b)=f(a)=x=y*y=f(b)*f(b)
即对任意属于A的c,d,f(c#d)=f(c)*f(d),f又是一一的双射,故f是同构映射,即得(A,#)和(B,*)同构,证毕.
1年前
9