Bourbaki

习题 2, § 3

标签 0588，永久不变。引用为 [Bourbaki, Tag 0588]。

代数, I, 130

Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

令 ⊥\perp 为 EE 上的内数律，其相对于结合内数律 ⊤\top 具有双重分配性；表明，如果x⊥x′x \perp x'和y⊥y′y \perp y'在律⊤\top下可取消，x⊥y′x \perp y'在律⊤\top下可与y⊥x′y \perp x'置换（计算合成(x⊤y)⊥(x′⊤y′)(x \top y) \perp (x' \top y')以两种不同的方式）。特别地，如果律⊥\perp有单位元素，律⊤\top下的两个可取消的元素在这个律下是可置换的；如果EE的所有元素在律⊤\top下都可以取消，则这个律是可交换的。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。