Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!onodera-news!newsfeed.media.kyoto-u.ac.jp!newsfeed.mesh.ad.jp!giga-nspixp2!newsgate1.web.ad.jp!news501.nifty.com!not-for-mail
From: Ys <stysykN@netscape.net>
Newsgroups: fj.sci.math
Subject: Re: =?ISO-2022-JP?B?GyRCOHI0OTtSIVY3MiFXGyhC?=
Date: Sat, 18 Oct 2003 09:00:05 +0900
Organization: @nifty netnews service
Lines: 13
Message-ID: <3F908285.3060205@netscape.net>
References: <3F90372D.C3985B8D@d5.dion.ne.jp>
NNTP-Posting-Host: eatkyo092093.adsl.ppp.infoweb.ne.jp
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 7bit
X-Trace: news511.nifty.com 1066435206 22136 211.128.159.93 (18 Oct 2003 00:00:06 GMT)
X-Complaints-To: -
NNTP-Posting-Date: Sat, 18 Oct 2003 00:00:06 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; ja-JP; rv:1.0.2) Gecko/20030208 Netscape/7.02
X-Accept-Language: ja
Xref: ccsf.homeunix.org fj.sci.math:500

交換子全体で生成される群が交換子群です．
すなわち，有限個の交換子の積の全体です．

交換子の集合それ自体はありません．

柳楽盛男 wrote:
> こんにちは．
> 
> 群Gの元 a , b に対して[a, b] = a^(-1) b^(-1) a b を交換子と呼んで
> D(G) = { [a,b] | a, b ∈G }を交換子「群」というとどのテキストにも
> 記載されていますが、よく分からないので教えてください．