群论讲义资料.pdfVIP

第一章 抽象群基础 §1.1 群 【定义1.1】 G 是一个非空集合，G = ｛…，g，…｝，“· ” 为定义在任意两个元素之间 的二元代数运算(乘法运算) ，若 G 及其运算满足以下四个条件： ∀ ∈ ∈ （1）封闭性： f, g G, f ·g=h, 则 h G; （2 ）结合律：∀f, g, h ∈G，（f ·g ）·h ＝f ·(g ·h); （3 ）有单位元： ∈ ∀ ∈ ∃e G, f G, f ·e ＝e ·f ＝f; （4 ）有逆元素：∀ ∈ -1 ∈ -1 -1 f G，∃f G, 使f ·f = f ·f = e; 则称 G 为一个群，e 为群 G 的单位元，f --1 为f 的逆元。 ·系1. e 是唯一的。 若 e、e ´ 皆为 G 的单位元，则 e ·e ´= e´，e ·e ´= e