共用题干题设S={1，2，...，10}，问下面定义的运算能否与S构成代数系统？如果能构成代数系统则说明*运算是否满足交换律，结合律，并求出*运算的单位元和零元。 x*y=gcd（x，y），gcd（x，y）是x与y的最大公约数。

设G为群，a，b，c∈G，证明∣abc∣=∣bca∣=∣cab∣。

问答题设G为群，a，b，c∈G，证明∣abc∣=∣bca∣=∣cab∣。

对自然数p，何时p，p+10，p+20均是素数.

问答题对自然数p，何时p，p+10，p+20均是素数.

对公式P→Q，试仅用↓或↑表达之。

问答题对公式P→Q，试仅用↓或↑表达之。