[理学]11---13 群的定义.pdf

第一章 抽象群 §1 群的定义 { } 例 1．整数集合 , 2, 1, 0, Z1, 2−, , − 规定“＋”运算.则 1） m n Z m对任何,∈n Z . + ∈ 封闭性 2） ( ) ( ) m n p Z m n p m对任何, , n p , ∈ + + + + 结合律 3） Z 0m 有Z, ∈m 对任何 ∈ 0 +0 m +m 单位元 4） ( ) ( ) m Z m Z m m ∈对任何m, −m ∈ , 有 使 − + + − 0 逆元 1 例 2．全体n n × 非异实矩阵集合 M A [a ] a ∈R , i , j 1,2,,n ;det A =≠0 , n { ij ij } 规定矩阵乘法 ⋅ ，则有 1） 对任二矩阵 A,B ∈M n , 则有 A ⋅B ∈M n .这是因为A ⋅B 仍为n n × 实 矩阵，且det A ⋅B det A =⋅det B ≠0 . ( ) 2）对任何A,B ,C ∈M , A ⋅B ⋅C A =⋅ B ⋅C n ( ) ( ) n 3）有 阶单位矩阵 ⎡1 ⎤ ⎢ ⎥ E ⎢ ⎥ =∈ M n ; 对 任 何 A ∈ M n , A ⋅E E =⋅ A A ⎢⎣ 1⎥⎦ A A M A detA ≠AA0, E ∈ 有 −1 , 使 −1 −1 4）对任何A M∈ ，由于 n n 2 例 3．设有正三角形纸片， A B, C, 开始时，三个顶点 位于空间三个固定点 1，2，3 上 空