临床护理专业-四川大学-计算机学院--石兵-第十五讲-代数系统v1.pptVIP

4、如果? G， ? ? 是半群,并且对任何a,b ?G,都存在x,y ?G，使x ? a=b, a ? y=b,则? G， ? ? 是群。 证明：1）有左右幺元 2）说明有逆元 四、子群 1、定义：设 ? G， ? ? 是群，非空子集H ? G， 如果? H， ? ? 也是群，则称之为G的子群。 定理 群和子群有共同的幺元。 证明 设群? G， ? ? 的幺元为e， ? H， ? ? 的幺元为 t，则对任何x ? H， e ? x = x = t ? x， 由消去律，t = e 。 2、要证明 ? H， ? ? 是? G， ? ?的子群，可以 采用如下方式： ① 按定义证明 “?”在 H上封闭、有幺元、 每元有逆元。 ② 定理 ? H， ? ? 是 ? G， ? ? 的子群当且 仅当对任何a、b ?H，a ? b–1 ?H。 下面举一个采用第二种方式的例子。 例：设? G，? ? 是群，令 H={x | x ?G ? (?y?G) [x ? y=y ? x]}， 证明?