2024年9月29日日曜日

790: グループ（群）、ファイナイト（有限）オーダー要素に対して、要素のオーダー累乗は1であり、要素によって生成されたサブグループ（部分群）は、要素の、要素オーダーより小さい非負累乗たちで構成される

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
グループ（群）、ファイナイト（有限）オーダー要素に対して、要素のオーダー累乗は1であり、要素によって生成されたサブグループ（部分群）は、要素の、要素オーダーより小さい非負累乗たちで構成されることの記述/証明

話題


About: グループ（群）

この記事の目次

開始コンテキスト

ターゲットコンテキスト



  • 読者は、任意のグループ（群）、その任意のファイナイト（有限）オーダー要素に対して、当該要素のオーダー累乗は1であり、当該要素によって生成されたサブグループ（部分群）は、当該要素の、当該要素オーダーより小さい非負累乗たちで構成されるという命題の記述および証明を得る。

オリエンテーション


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

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

本体

1: 構造化された記述


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

エンティティ（実体）たち:
G: ∈{ 全てのグループ（群）たち }
g: ∈G
//

ステートメント（言明）たち:
|(g)|=n∈N∖{0}
⟹
gn=1∧(g)={1,...,gn−1}
//

2: 自然言語記述


任意のグループ（群）G、任意の要素g∈Gに対して、もしも、gのオーダー|(g)|があるファイナイト（有限）n∈N∖{0}である場合、gn=1∧(g)={1,...,gn−1}。

3: 証明


全体戦略: ステップ1: (g)={1,g,g−1,g2,g−2,...}であることを見る; ステップ2: (g,g2,...)のことを考え、当該シーケンスはgへ戻ることを見る; ステップ3: (g)={1,g,...,gn−1}であることを見る。

ステップ1:

|(g)|=n∈N∖{0}であると仮定しよう。

(g)は、'グループ（群）のサブセット（部分集合）によって生成されたサブグループ（部分群）'の定義によって、gおよびg−1の全てのファイナイト（有限）マルチプリケーション（積）たちから構成されるので、(g)={1,g,g−1,g2,g−2,...}: kj∈Zがポジティブ（正）、0、ネガティブ（負）のいずれであっても、gk1...gkl=gk1+...+kl。

|(g)|=nが意味するのは、{1,g,g−1,g2,g−2,...}は重複たちを持ち、n個の互いに異なる要素たちを持つということ。

ステップ2:

(g,g2,...)のことを考えよう。

以下を満たすあるm∈N∖{0}がある、つまり、{g,...,gm}は互いに異なり、gm+1∈{g,...,gm}、なぜなら、そうでなければ、{g,g2...}は互いに異なることになる、それが意味するのは、|(g)|はファイナイト（有限）ではなかったということ。

実のところ、gm+1=g、任意のグループ（群）に対して、任意の要素の累乗たちシーケンス（列）で前に戻るものは当該要素に戻るという命題によって。

それが意味するのは、gm=1、なぜなら、gm=gm+1g−1=gg−1=1。

{1=g0=gm,g=g1,...,gm−1}、それは互いに異なる、のことを考えよう。

Step 3: ステップ3:

以下を満たす各k∈N∖{0}、つまり、m<k、に対して、k=ml+j、ここで、l∈Nは0≤lを満たしj∈Nは0≤j<mを満たす。したがって、gk=gml+j=gmlgj=(gm)lgj=1lgj=1gj=gj。したがって、gk∈{1,g,...,gm−1}。

g−1=gm−1、なぜなら、ggm−1=gm−1g=gm=1。g−m=1、なぜなら、g−m=(gm)−1=1−1=1。

以下を満たす各k∈N∖{0}、つまり、0<k、に対して、k=ml+j、ここで、l∈Nは0≤lを満たしj∈Nは0≤j<mを満たす。したがって、g−k=g−ml−j=(g−m)lg−j=(g−m)l1g−j=(g−m)lgmg−j=1lgm−j=1gm−j=gm−j。しかし、0<m−j≤m。m−j=mである時、g−k=gm=1。したがって、g−k∈{1,g,...,gm−1}。

したがって、(g)={1,g,g−1,g2,g−2,...}={1,g,...,gm−1}。

|(g)|=nであるから、実のところ、m=n。

したがって、(g)={1,g,...,gn−1}。

参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
投稿者 時刻:
ラベル: