设S＝{1，2，...，10}，问下面定义的运算能否与S构成代数系统〈S，*〉？如果能构成代数系统则说明并运算是否满足交换律、结合律、并求*运算的单位元和零元。
（1）x*y=gcd（x，y），gcd（x，y）是x与y的最大公约数
（2）x*y=lcm（x，y），lcm（x，y）是x与y的最小公倍数
（3）x*y=大于等于x和y的最小整数
（4）x*y=质数p的个数，其中x≤p≤y。