则生成元集{ f, f0 }, { f, f1}, e为单位元, < e > ={ e }, < f > ={ e, f }, < f0 > ={ f0}, < f1 > ={ f1}, < e, f > ={ e, f }, < e, f0 > ={ e, f0}, < e, f1 > ={ e, f1}, < f, f0 > ={ e, f, f0, f1}, < f, f1 > ={ e, f, f0, f1}, < f0, f1 > ={ f0, f1}
例7.1.2 设( S,◦)为半群,其中S ={a, b, c, d},二元 运算◦由下面的运算表给出:试求该半群的生成 元集。
单位元是d, < a >={a, d}, < b >={ b }, < c >={ c }, < d >={ d }; <a, b>={a, b, c, d}, <a, c>={a, b, c, d}, <a, d>={a, d}, <b, c>={b, c},<c, d>={c, d} 故{a, b}, {a, c}都是S的生成元集。
• T 能构成含幺半群( S,◦,e )的含幺子半群的充分必 要条件是T 对于二元运算是封闭的,且 e ∊T 。 例. 设S ={a, b},二元运算◦由运算表给 出,则( S,◦, a )是含幺半群,并且有 含幺半群( {a},◦, a )是 S 的含幺子半群, 含幺半群( {b},◦, b )是 S 的子半群,但 不是 S 的含幺子半群。
设 | S | n, 取 x S , 则 x i S , i 1, 2, 3, m l 于是有x x , 1 m l n 1。 记 p l m 1, 则必有kp m , 且 x m x p m x p x m ,故 kp kp m m kp m p m ( k 1) p m m x x x x (x x ) x x ( k 1) p m p m ( k 2) p m m x (x x ) x x x ( k k ) p m x m x ( k k ) p x kp x kp, x kp是幂等元。 即