作业帮 > 数学 > 作业

设是一个具有消去律的有限独异点,证明是一个群.

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/16 01:38:54
设是一个具有消去律的有限独异点,证明是一个群.
只需证G中每个元都有逆元.
先证a*x=b必有
 ·由于G是有限的,故设其有n个元素a_1,a_2,...,a_n
 ·用a左乘之,得a*G:={a*a_1,a*a_2,...,a*a_n}
 ·由于乘法具有封闭性,得a*G⊆G
 ·又由于消去律,∀i∀j(a*a_i = a*a_j ⇒ a_i = a_j),于是a*G中元素两两不同,即a*G与G等势.但G是有限集,不能与其真子集具有相同的基数,因此a*G⫋G不成立(“⫋”为真子集记号),即只能是a*G=G
 ·于是b∈a*G,即∃i(b = a*a_i),也即∃x(b = a*x)
再证G中每个元都有逆元:
 ·任取G中一元a,则a*x=e(e是单位元)有解.这样,x就是a的逆元.