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