【题文】设非空集合
,若对
中任意两个元素
,
,通过某个法则“
”,使
中有唯一确定的元素
与之对应,则称法则“
”为集合
上的一个代数运算。若
上的代数运算“
”还满足:(1)对
,都有
;(2)对
,
,使得
,
。称
关于法则“
”构成一个群。给出下列命题:
①实数的除法是实数集上的一个代数运算;
②自然数集关于自然数的加法不能构成一个群;
③非零有理数集关于有理数的乘法构成一个群;
④正整数集关于法则
构成一个群。
其中正确命题的序号是____________。(填上所有正确命题的序号)。