§6.4离散数学子群及其陪集教程教案.pptVIP

§6.4 子 群 及 其 陪 集;6.4.1 子 群 的 定 义;子群的例;平凡子群;6.4.2 子群的判别条件;判别条件一;判别条件一;判别条件一;子群H与大群G的关系： H的单位元就是G的单位元， H中任一元素a在H中的逆元也就是a在G中的逆元。 ;应用判别条件一 例;用反证法，若x·y∈H1， 则由x∈H1 及由H1是G的子群知， x-1∈H1， 故， x-1·（x·y）∈H1， 即， y∈H1， 与y ? H1矛盾。 若x·y∈H2，则由y∈H2 及由H2是G的子群知， y-1∈H2， 故， （x·y）·y-1∈H2， 即， x∈H2， 与x ? H2矛盾。 因此，x·y?H1∪H2，而x·y∈G，所以H1∪H2≠G。;判别条件二; 设（*）成立，往证(1),(2)成立。 设a∈H，由（*）可推得， a∈H ，a∈H，故aa-1∈H,即1∈H。 若a∈H，又由（*）可推得， 1∈H，a∈H，则1a-1∈H，即a-1∈H， 因而（2）成立。 设a∈H，b∈H，因为（2）已证,故b-1∈H。 再由(*)推知, a∈H, b-1∈H, 则 a（b-1）-1∈H，即 ab∈H， 故（1）成立。 ;应用判别条件二 例;判别条件三;证明：必要性显然。 充分性。由判别条件一知，只需证明 若a∈H，则a-1∈H即可。 任取