* 交換子群のこと [#o9014ff3] -ページ: [[間違い報告]] -投稿者: H.K. -優先順位: -状態: 提案 -該当ページ: http://www12.plala.or.jp/ksp/algebra/CommunicatorSubgroup/ -担当者: [[Joh様]] -カテゴリー: その他 -投稿日: 2009-04-08 (水) 15:26:40 ** メッセージ [#hd68d220] 該当記事において、G の交換子群 D(G) が群になることを証明しておられますが、 ご自身でお書きのように D(G) の定義は「G の交換子全体で生成されるGの部分群」です。つまり、群であることはすでに定義自身に含まれてるのでわざわざ証明する必要はありません。 ** 返答 [#wa01a73c] #comment #br #topicpath