n次対称群Sₙと正二面体群Dₙの関係｜部分群としての証明

この問題では、n≧3のとき、n次対称群Sₙが正二面体群Dₙ（と同型な群）を部分群として含むことを示す必要があります。質問にあるような解答について、正しい証明のステップを解説します。

問題の理解と解法のアプローチ

まず、n次対称群Sₙとは、n個の要素を持つ集合の全ての置換を表す群です。また、正二面体群Dₙは、n辺の正多角形の対称性を持つ群であり、位数は2nです。この問題では、n≧3のときに、DₙがSₙの部分群であることを示す必要があります。

解答では、DₙがSₙに含まれるとしていますが、その根拠を詳しく説明するために、DₙからSₙへの単射な写像が存在することを示します。

Dₙは、位数が2nの群であり、Sₙは位数がn!の群です。このように、DₙとSₙの位数は異なりますが、DₙはSₙの部分群として含まれることを示さなければなりません。Dₙの群構造は、Sₙの中で実現できることを証明します。

まず、Dₙの元である置換をSₙ内で定義し、それが群の演算に関して閉じていることを確認します。Dₙの元は、Sₙ内の置換と一致する部分群を形成するため、Sₙの部分群として適切に存在します。

解答では、DₙからSₙへの単射な写像が存在すると述べています。この単射写像は、Dₙの元をSₙに対応させるものであり、群の演算が保たれることを示すために、群の演算に関する対応関係が保持されることを確認します。

任意にd₁, d₂∊Dₙを取ると、d₂⁻¹もDₙに含まれ、d₁d₂⁻¹もDₙに含まれるため、群の演算がDₙ内で閉じていることが確認できます。これにより、DₙがSₙの部分群であることが示されます。

質問の解答には「DₙからSₙへの単射な写像が存在する」という部分が重要です。この部分を正しく理解し、群の演算に関して閉じていることを確認することが解答の鍵となります。

証明においては、DₙとSₙの群構造を明確に理解し、演算の閉包性を確認することが最も重要です。DₙがSₙの部分群として存在する理由は、群の演算において閉じていることを確認することで理解できます。

この問題では、DₙがSₙの部分群であることを示すために、DₙからSₙへの単射な写像が存在し、群の演算が保たれることを証明しました。群の構造を理解し、演算に関する閉じている性質を確認することが、部分群であることを示すための重要なステップです。