设S为集合，*为定义在S上的一个二元运算，如果代数系（S，*）存在单位元，则代数系（S，*）只能存在一个唯一的单位元。
A: 正确
B: 错误
A: 正确
B: 错误
举一反三
- 中国大学MOOC: 设S为集合，*为定义在S上的一个二元运算，如果代数系（S，*）存在单位元，则代数系（S，*）只能存在一个唯一的单位元。
- 设e为代数系（S，*）的单位元，[img=81x26]18031a679ba870d.png[/img]为从代数系（S,*)到代数系（S',*')的同构，则[img=34x25]18031a67a3743eb.png[/img]为代数系(S',*')的单位元。
- 设∘为S上的二元运算，如果存在eÎS，使得对任意x∈S都有e∘x=x，则称e为S上关于∘运算的单位元。
- 设∘为S上的二元运算，如果存在元素a∈S, 使得对任何x∈S都有x∘a=x，则称a为S中关于运算∘的一个（ ）。 A: 左幺元 B: 右幺元 C: 左零元 D: 右零元
- 设*是集合S上的二元运算，若*运算是封闭的，并且是可结合的，则称代数系统（S，*）为半群