设S是至少含有两个元素的集合，在S上定义了一个二元运算“*”（即对任意的a，b∈S，对于有序元素对（a，b），在S中有唯一确定的元素a*b与之对应）．已知对任意的a，b∈S，有a*（b*a）=b；则对任意的a，b∈S，给出下面四个等式：
（1）（a*b）*a=a  （2）[a*（b*a）]*（a*b）=a   （3）b*（a*b）=a  （4）（a*b）*[b*（a*b）]=b  
上面等式中恒成立的有（　　）

16、设S是至少含有两个元素的集合，在S上定义了一个二元运算“*”（即对任意a，b∈S，对于有序元素对（a，b），在S中有唯一确定的元素a*b与之对应）．若对任意的a，b∈S，有a*（b*a）=b，则对任意a，b∈S，给出下列关系式：①（a*b）*a=a； ②[a*（b*a）]*（a*b）=a；③b*（b*b）=b； ④（a*b）*[b*（a*b）]=b，其中正确命题的序号是（写出所有正确命题的序号）．

（2008•虹口区二模）设S是至少含有两个元素的集合．在S上定义了一个二元运算“*”（即对任意的a，b∈S，对于有序元素对（a，b），在S中有唯一确定的元素a*b与之对应）．若对任意的a，b∈S，有a*（b*a）=b，则对任意的a，b∈S，下列等式：①b*（b*b）=b   ②（a*b）*[b*（a*b）]=b   ③（a*b）*a=a中，恒成立的是（写出序号）

对于给定的正整数n（n≥2），记集合Mn={2，2²，2³，…，2ⁿ}．现将集合M_n的所含有两个元素的子集依次记为A_k（k=1，2，3，…），并将集合A_k中两个元素的积记为a_k，所有可能的a_k的和记为S．则
（1）若a_k的最大值为128，则n=；
（2）求S=（用n表示）．

设S是至少含有两个元素的集合．在S上定义了一个二元运算“*”（即对任意的a，b∈S，对于有序元素对（a，b），在S中有唯一确定的元素a*b与之对应）．若对于任意的a，b∈S，有a*（b*a）=b，则对任意的a，b∈S，下列等式中不能成立的是（　　）