设集合 ,在 上定义运算 ``'':
满足关系 的 的个数为( )。
用元素的下标表示运算,所给关系就是一个模四的同余式。
设 。按定义, 的下标与 模 同余。要求它等于 ,即 ,所以 为奇数。在四个允许下标中只有 ,因此这样的 有 个,选 。
直接代入四种下标,输出下标依次为 ,恰有两次为零。
按下标定义的有限运算可先翻译成同余关系,再在允许的有限代表元中计数。
把按下标定义的运算翻译成模四同余,再在允许代表元中数解;运算括号与余数范围须按定义使用。
核心工具:剩余类、幂周期与局部排除
已记下,谢谢!