只要证明H={e,a,b,ab=ba}为一个4阶子群
显然ab≠a,ab≠b,否则与a和b为2阶元矛盾.
因为a^2=b^2=2,所以a^-1=a,b^-1=b
所以(ab)^-1=b^-1*a^-1=ba=ab
证毕.