离散数学6.3子群及其陪集.ppt

第六章 群 、环、域 ?6.3.1 子 群 的 定 义 设(G，·)是一个群，H是G的一个子集，如果按照G中的乘法运算·，H仍是一个群，则（H, ·）叫做（G, ·）的子群。如果G的一个子群H不等于G，即H?G，则（H，·）叫做（G, ·）的真子群。 ?6.3.1 子 群 的 定 义 注意：G的子群H不只是一个包含在G中的群，而且H的运算 必须与G的运算一样。 6.3.2 子群的判别条件 定理6.3.1 （判别条件一） 群G的一个子集H是G的一个子群的充分必要条件是 (1)??? 若a∈H，b ∈ H，则a·b ∈ H； (2)??? 若a ∈ H，则a-1 ∈ H； (3)??? H非空。 充分性 由(3)H非空。由(1)，H中的两个元素a，b可以在H内相乘（封闭）。设a,b,c是H的任意三个元素，在G中有(a·b) ·c = a· (b·c)，此式在H中自然也对,即结合律成立。 今证H中有单位元。取任意a∈H，由(2)a-1∈H，由(1)a·a-1∈H，即1∈H；1在G中适合1·a=a·1=a，故在H中亦有此性质。 最后证H中任意a有逆，因由(2)，a-1∈H，但是G中，a-1·a=a·a-1=1，此式在H中亦应成立，故a-1即a在H中之逆，故按照G中的乘法，H是一个群，它是G的一个子群。 证