G是个群,H和K都是G的不变子群,且H∩K={e},那么对任意的x属于H,y属于K,恒有xy=yx.

问题描述:

G是个群,H和K都是G的不变子群,且H∩K={e},那么对任意的x属于H,y属于K,恒有xy=yx.

xyx^-1y^-1属于H和k,所以有xy=yx.