近世代数第三节课笔记

定义11.3.3 幺半群中的逆元素和群

设（S,○,e）是一个幺半群,a∈S
称a有左逆元素，如果存在al∈S使得al○a=e，这时al称为a的左逆元素。
称a有右逆元素，如果存在ar∈S使得a○ar=e，这时ar称为a的右逆元素。
如果存在b∈S使得a○b=b○a=e，则称a有逆元素，b称为a的逆元素

定义11.3.4

每个元素都有逆元素的幺半群称为群

定理11.3.4

如果幺半群（S，○，e）中的元素a有左逆元素ai，又有右逆元素ar，则ai=ar。于是a有逆元素且逆元素唯一，记为a^-1

定理11.3.5

有限半群（S，○）是一个群当且仅当对于任意s∈S有sS=S并且存在t∈S使得St=S

定义11.4.1

设（S，○）是一个半群，B是S的一个非空子集，如果对于任意a，b∈B，则称代数系（B，○）是（S，○）的一个子半群。简称B是S的一个子半群

定义11.4.2

设（S，○，e）是一个幺半群，P是S的子集，如果e∈P，并且P是S的子半群，则称P是S的子幺半群

定理11.4.1

一个幺半群的任意多个子幺半群的交集仍是子幺半群

定理11.4.2

设（S，○）是半群，A是S的一个非空子集，则S的一切包含A的子半群的交集Q也是子半群

定义11.4.3

设（S，○）是半群，A是S的一个非空子集，则S的一切包含A的子半群的交集称为由A生成的子半群，记为{A}。设（M，○，额）是幺半群，A是M的一个非空子集，则M的一切包含A的子幺半群的交集称为由A生成的子幺半群，记为（A）

定义11.4.4

半群（S，○）的一个非空子集A称为S的一个左（右）理想。如果SA是A的子集（AS是A的子集）。
如果A即是S的左理想又是S的右理想，则称A是S的理想

定理11.4.3

设A是半群（S，○）的非空子集，则
由A生成的左理想为A∪SA
由A生成的左理想为A∪AS
由A生成的理想是A∪SA∪AS∪SAS

定义11.4.5 循环半群

一个半群（幺半群）称为循环半群（循环幺半群），如果这个半群（幺半群）是由其中的某个元素生成的半群（幺半群）。由元素a生成的循环半群记为（a）
例：自然数集合N对通常加法的半群（N，+）是由1生成的循环半群。

定理11.4.5

循环半群（幺半群）必定是可交换半群（幺半群）