近世代数--内外直积--本质是一样的
博主是初学近世代数（群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：近世代数，方便检索。
-
如果群 G G G是 H 、 K H、K H、K的内直积，那么 G ≅ H G\cong H G≅H x K K K；（ G G G是内直积，则 G G G于外直积同构）
- 构造映射： φ : H \varphi:H φ:H x K → G ， ( h , k ) → h k , h ∈ H , k ∈ K , ∀ ( h , k ) ∈ H K\rightarrow G，(h,k)\rightarrow hk,h\in H,k\in K,\forall (h,k)\in H K→G，(h,k)→hk,h∈H,k∈K,∀(h,k)∈H x K K K
- 同态：要证 φ ( ( h 1 , k 1 ) ⋅ ( h 2 , k 2 ) ) = φ ( h 1 , k 1 ) ⋅ φ ( h 2 , k 2 ) \varphi((h_1,k_1)·(h_2,k_2))=\varphi(h_1,k_1)·\varphi(h_2,k_2) φ((h1,k1)⋅(h2,k2))=φ(h1,k1)⋅φ(h2,k2)
φ ( ( h 1 , k 1 ) ⋅ ( h 2 , k 2 ) ) = φ ( h 1 h 2 , k 1 k 2 ) = ( h 1 h 2 ) ( k 1 k 2 ) = h 1 ( h 2 k 1 ) k 2 = h 1 ( k 1 h 2 ) k 2 = ( h 1 k 1 ) ( h 2 k 2 ) = φ ( h 1 , k 1 ) ⋅ φ ( h 2 , k 2 ) \varphi((h_1,k_1)·(h_2,k_2))\\=\varphi(h_1h_2,k_1k_2)\\=(h_1h_2)(k_1k_2)\\=h_1(h_2k_1)k_2\\=h_1(k_1h_2)k_2\\=(h_1k_1)(h_2k_2)\\=\varphi(h_1,k_1)·\varphi(h_2,k_2) φ((h1,k1)⋅(h2,k2))=φ(h1h2,k1k2)=
最低0.47元/天 解锁文章
2331
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
