习题 13, § 2
标签 057O,永久不变。引用为 [Bourbaki, Tag 057O]。
代数, I, 128
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
假设对于所有 , 是满射的。证明如果对于元素 , 是双射映射, 对于所有 是双射映射(使用习题 12(b));如果存在的两个元素使得(使用习题12(a)),则尤其如此;则是一个左半群,其剩余类为空;此外,对于每个幂等,的每个元素在中都是可逆的。
解答
尚未写出解答。