捩れ部分群とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 捩れ部分群の意味・解説 

捩れ部分群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/24 09:04 UTC 版)

アーベル群の理論において、アーベル群の捩れ部分群(ねじれぶぶんぐん、: torsion subgroup)とは有限の位数をもつすべての元からなる部分群である。アーベル群が捩れ (torsion) 群あるいは周期 (periodic) 群であるとは、そのすべての元の位数が有限であることで、torsion-free であるとは、単位元を除くすべての元の位数が無限であることである[1]

実際に有限位数の元が加法で閉じていることの証明は加法の可換性によっている(例の節を見よ)。

アーベル群 A の捩れ部分群 T(A) は Afully characteristic subgroup であり、剰余群 F(A) = A/T(A) は torsion-free である。これらの対応は関手的である:アーベル群をその捩れ部分群に送り準同型をその捩れ部分群への制限に送る、アーベル群の圏から捩れ群の圏への共変関手 T が存在する[2]。アーベル群をその捩れ部分群による商に送り準同型を標準的な誘導写像(well-defined であることは容易に確かめられる)に送る、アーベル群の圏から torsion-free 群の圏への共変関手 F も存在する[3]

アーベル群 A が有限生成であれば、その捩れ部分群 T と torsion-free 部分群の直和として書くことができる(しかしこれはすべての非有限生成アーベル群に対して正しくない)。A の捩れ部分群 S と torsion-free 部分群の直和としての任意の分解において、ST と等しくなければならない(しかし torsion-free 部分群は一意的には定まらない)。これは有限生成アーベル群の分類において重要なステップである。

p-冪捩れ部分群

任意のアーベル群

格子の加法の下での複素数の商群の 4-捩れ部分群。
  • 非アーベル群の捩れ部分集合は一般には部分群ではない。例えば 無限二面体群英語版表示
x, y | x2 = y2 = 1 ⟩
をもち、元 xy は2つの捩れ元の積であるが、位数は無限である。
  • 明らかに、すべての有限アーベル群は捩れ群である。しかしすべての捩れ群が有限であるわけではない。巡回群 C2可算個のコピーの直和を考えよ。すべての元の位数は 2 なのでこれは捩れ群である。有限生成でなければ商群 Q/Z の例が示しているように捩れ群の元の位数に上界がある必要もない。
  • A が有限生成でないときでさえも捩れなし部分 (torsion-free part) のサイズは、アーベル群のランクの記事においてより詳しく説明されているように、一意的に定まる。
  • アーベル群 A が torsion-free であることと Z-加群として平坦であること、つまり C があるアーベル群 B の部分群であるときにはいつでもテンソル積 CA から BA への自然な写像が単射であることは同値である。
  • アーベル群 AQ (あるいは任意の divisible group)でテンソルすると捩れが消える。つまり、T が捩れ群であれば TQ = 0 である。捩れ部分群 T をもった一般のアーベル群 A に対しては AQA/TQ である。

関連項目

脚注

  1. ^ Fuchs 1970, p. 4.
  2. ^ Fuchs 1970, p. 25.
  3. ^ Fuchs 1970, p. 26.
  4. ^ See Epstein & Cannon (1992) p. 167

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「捩れ部分群」の関連用語

捩れ部分群のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



捩れ部分群のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの捩れ部分群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS