如果一个群能够表示成两个子群的内直积 Theorem 9.27.Let G be the internal direct product of subgroups H and K.Then G is isomorphic to Hx K. 第一感觉上，这个定理证明的思路是什么？ Define a map:G→H×Kbyp(g)=(h,k). write any element gG as g=hk show that o is a well-defined map show that o preserves the group operation, o is one-to-one and onto如果一个群能够表示成两个子群的内直积 第一感觉上，这个定理证明的思路是什么？