2、若<S,*>是可交换独异点,T 为 S 中所有等幂元的集合,则<T,* >是<S,* >的 子独异点
时间: 2024-01-24 12:19:09 浏览: 58
离散数学 半群和独异点PPT课件.pptx
首先需要明确几个概念:
- 可交换独异点指的是一个满足结合律、有单位元、每个元素都有唯一的逆元,并且满足交换律的代数系统。
- 等幂元指的是在可交换独异点中,任意两个元素的幂次相等。
根据题目描述,我们可以得到:
- S 是一个可交换独异点;
- T 是 S 中所有等幂元的集合。
那么我们需要证明的是,<T, *> 是 <S, *> 的子独异点。
首先,<T, *> 中的任意两个元素都是 S 中的等幂元,因此它们的幂次相等。因为 S 是可交换独异点,所以 <T, *> 中的任意两个元素的乘积在 S 中也是等幂元,因此它们的乘积在 <T, *> 中也是等幂元。
其次,<T, *> 中有单位元,这个单位元在 S 中也是存在且唯一的,因此 <T, *> 中也有单位元。
最后,<T, *> 中任意元素的逆元在 S 中也是存在且唯一的,因此 <T, *> 中任意元素的逆元在 <T, *> 中也是存在且唯一的。
综上所述,<T, *> 是 <S, *> 的子独异点。
阅读全文