只要证明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证毕。
e, a, b, ab
