与平凡恒等式等价的恒等式的刻画

嘿，这个问题问得挺有意思的！先直接给结论：你的猜想是正确的——所有等价于平凡恒等式 $x=y$ 的单个恒等式，都必然是 $t=v$（或其反向 $v=t$）的形式，其中 $v$ 是一个不在项 $t$ 中出现的变量。

咱们来拆解一下为什么是这样：

首先，明确等价性的定义：两个恒等式等价，当且仅当所有满足其中一个的代数（带单个二元运算 $+$ 的集合），也必然满足另一个。而平凡恒等式 $x=y$ 的核心意义是，对应的代数只能是单元素集——毕竟所有元素都得相等嘛。

先验证你提到的符合猜想的例子，比如 $x+y=z$：

• 单元素集显然满足这个等式，因为不管怎么运算，结果都是那个唯一的元素，自然等于任意变量。
• 反过来，如果一个代数满足 $x+y=z$ 对所有变量 $x,y,z$ 成立，那我们可以取 $z=x$，得到 $x+y=x$；再取 $z=y$，得到 $x+y=y$。联立这两个式子，就有 $x=y$，所有元素必须相等，也就是代数是单元素集。完美符合等价性。

现在反过来证明：任何等价于 $x=y$ 的恒等式，都必须是你猜想的形式。假设我们有一个恒等式 $s \approx t$ 等价于 $x=y$，那它必须满足：只有单元素集能满足它，任何非平凡代数（至少两个元素）都不满足它。

我们分情况讨论：

1. 如果 $s$ 是单个变量 $v$，$t$ 是一个项：

   • 要是 $v$ 不在 $t$ 里，那就是你说的 $v=t$ 形式，没问题。
   • 要是 $v$ 在 $t$ 里，比如 $x=x+y$，那我们可以构造一个非平凡代数：比如集合 ${0,1}$，定义运算 $x+y=x$。这个代数满足 $x=x+y$，但它是非平凡的（$0≠1$），所以这个恒等式不等价于 $x=y$。这说明如果 $v$ 在 $t$ 里，这个恒等式就无法等价于平凡恒等式。

2. 如果 $s$ 和 $t$ 都不是单个变量：

   • 比如 $x+y=x+z$，我们可以构造非平凡代数：集合 ${a,b}$，定义所有运算结果都是 $a$。这个代数里 $x+y=a$，$x+z=a$，满足这个恒等式，但它是非平凡的，因此这个恒等式不等价于 $x=y$。
   • 再比如更复杂的项，比如 $(x+y)+z=(x+w)+y$，同样可以用上面的非平凡代数验证：左边和右边都是 $a$，满足等式，但代数不是单元素集，所以也不等价于 $x=y$。

3. 至于 $x=y$ 本身，其实也符合你的猜想：它可以写成 $y=x$，其中 $x$ 是变量，$y$ 是项（单个变量也是项），且 $x$ 不在 $y$ 中出现（$y$ 的变量只有它自己）。

总结一下：只有当恒等式是“一个不含某变量的项，等于这个变量”（或反向）时，它才能保证只有单元素集满足，也就是等价于平凡恒等式 $x=y$。你的猜想完全正确！

备注：内容来源于stack exchange，提问作者user107952