1.4 子群和陪集
§4 子群和陪集 为了讨论群的问题,下面我们引入子群和陪集的概念: 定义1.4.1 (子群) 若群 G G G 的非空子集合 H H H 对于 G G G 的运算也成一个群,则称 H H H 为 G G G 的子群。 定义1.4.2 (平凡/非平凡子群) 在群 G G G 中仅由单位元素 e e e 组成的子集合 { e } \{ e\} { e } 和群 G G G 本身被称为 G G G 的 平凡子群 。其余的子群被称为 非平凡子群 。 H H H 是 G G G 的子群可记为 “ H < G ” “H<G\ ” “ H < G ” 。 定理1.4.1 群 G G G 的非空子集合 H H H 是一子群的充要条件是:由 a , b ∈ H a,b\in H a , b ∈ H 推得 a b − 1 ∈ H ab^{-1} \in H a b − 1 ∈ H 。 证明 必要性显然,下证充分性: 因为 H H H 为非空集合,故至少含有一个元素,记为 a a a 。由 a , a ∈ H a,a \in H a , a ∈ H : a a − 1 = e ∈ H . aa^{-1}=e \in H. a a − 1 = e ∈ H . 由 e , a ∈ H e,a \in H e , a ∈ H 得: e a − 1 = a − 1 ∈ H ea^{-1}=a^{-1} \in