推 wrvuxci : 由Sylow定理，n_p(Sylow-p subgroup的個數)必整除q 03/14 22:33
→ wrvuxci : 且n_p被p除需餘1，已知p>q，同時滿足這些條件只有 03/14 22:35
→ wrvuxci : n_p=1，再由Sylow定理可知G的Sylow p-subgroup是 03/14 22:36
→ wrvuxci : normal subgroup，它的order為p^n 所以就是一個 03/14 22:37
→ wrvuxci : proper normal subgroup，以上是第一題 03/14 22:37
→ wrvuxci : 以上是(a)才對。(b)的部份：對任意一個x,都有 03/14 22:39
→ wrvuxci : |O_x|≦|X|=q，又由公式知|O_x|需為|G|的因數，所以 03/14 22:41
→ wrvuxci : |O_x|只能是1或q（這裡又用到p>q）。如果有一個 03/14 22:42
→ wrvuxci : |O_x|=q，那就是transitive（所以其實全部|O_x|=q） 03/14 22:42
→ wrvuxci : 否則就所有|O_x|=1，那就是trivial的情形 03/14 22:43