问答题
令S={a，b}，S上有4个二元运算：*，o，●和□，分别由表确定。
设p，q是两个不同的素数，证明：pq-1+qp-1≡1（modpq）
问答题设p，q是两个不同的素数，证明：pq-1+qp-1≡1（modpq）
设G为群，若有x2=e，证明G为交换群。
证明：对于任意的整数a，若gcd（a，561）=1，则有a560≡1（mod 561）
问答题证明：对于任意的整数a，若gcd（a，561）=1，则有a560≡1（mod 561）
有x2=e，证明G为交换群。