2025年1月12日日曜日

944: シンメトリックグループ(対称群)上のサイクル(巡回置換)たちのいくつかのマルチプリケーション(積)たちに関するメモ

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

シンメトリックグループ(対称群)上のサイクル(巡回置換)たちのいくつかのマルチプリケーション(積)たちに関するメモの記述/証明

話題


About: グループ(群)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のシンメトリックグループ(対称群)上のサイクル(巡回置換)たちのいくつかのマルチプリケーション(積)たちに関するあるメモの記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義たちの一覧があります。

本サイトにてこれまで議論された命題たちの一覧があります。


本体


1: 構造化された記述


ここに'構造化された記述'のルールたちがある

エンティティ(実体)たち:
n: N{0}
Sn: = n -シンメトリックグループ(対称群) 
{a,b,c,d}: {1,...,n}
//

ステートメント(言明)たち:
(a,b)2=1

(a,b,c)2=(a,c,b)

(a,b,c)3=(a,c,b)(a,b,c)=(a,b,c)(a,c,b)=1

(a,b,c,d)2=(a,c)(b,d)

(a,b,c,d)3=(a,c)(b,d)(a,b,c,d)=(a,b,c,d)(a,c)(b,d)=(a,d,c,b)

(a,b,c,d)4=(a,d,c,b)(a,b,c,d)=(a,b,c,d)(a,d,c,b)=1

(a,b,c,d)(a,b,d,c)=(a,c,b)

(a,b,c,d)(a,c,b,d)=(a,d,b)

(a,b,c,d)(a,c,d,b)=(a,d,c)
//


2: 注


勿論、当該結果たちは、単に勤勉に行なうことによって得られる、しかし、毎回勤勉に行なうのは無駄が多い、したがって、将来の機会たちのための参照先としてここに記録しよう。


3: 証明


全体戦略: それらを勤勉に行なう。

(a,b)2=(a,b)(a,b)=aa,bb=1

(a,b,c)2=(a,b,c)(a,b,c)=ac,ba,cb=(a,c,b)

(a,b,c)3=(a,b,c)2(a,b,c)=(a,c,b)(a,b,c)=aa,bb,cc=1

(a,b,c)3=(a,b,c)(a,b,c)2=(a,b,c)(a,c,b)=aa,bb,cc=1

(a,b,c,d)2=(a,b,c,d)(a,b,c,d)=ac,bd,ca,db=(a,c)(b,d)

(a,b,c,d)3=(a,b,c,d)2(a,b,c,d)=(a,c)(b,d)(a,b,c,d)=ad,ba,cb,dc=(a,d,c,b)

(a,b,c,d)3=(a,b,c,d)(a,b,c,d)2=(a,b,c,d)(a,c)(b,d)=ad,ba,cb,dc=(a,d,c,b)

(a,b,c,d)4=(a,b,c,d)3(a,b,c,d)=(a,d,c,b)(a,b,c,d)=aa,bb,cc,dd=1

(a,b,c,d)4=(a,b,c,d)(a,b,c,d)3=(a,b,c,d)(a,d,c,b)=aa,bb,cc,dd=1

(a,b,c,d)(a,b,d,c)=ac,ba,cb,dd=(a,c,b)

(a,b,c,d)(a,c,b,d)=ad,ba,cc,db=(a,d,b)

(a,b,c,d)(a,c,d,b)=ad,bb,ca,dc=(a,d,c)


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>