2024年9月29日日曜日

791: グループ（群）、要素に対して、もしも、ポジティブ（正）ナチュラルナンバー（自然数）があって、要素のそれ累乗が1であり、より小さなそうしたものがない場合、要素によって生成されたサブグループ（部分群）は、要素の、ナンバー（数）より小さな非負累乗たちで構成される

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
グループ（群）、要素に対して、もしも、ポジティブ（正）ナチュラルナンバー（自然数）があって、要素のそれ累乗が1であり、より小さなそうしたものがない場合、要素によって生成されたサブグループ（部分群）は、要素の、ナンバー（数）より小さな非負累乗たちで構成されることの記述/証明

話題


About: グループ（群）

この記事の目次

開始コンテキスト

ターゲットコンテキスト



  • 読者は、任意のグループ（群）、任意の要素に対して、もしも、あるポジティブ（正）ナチュラルナンバー（自然数）があって、当該要素のそれ累乗が1であり、より小さなそうしたものがない場合、当該要素によって生成されたサブグループ（部分群）は、当該要素の、当該ナンバー（数）より小さな非負累乗たちで構成されるという命題の記述および証明を得る。

オリエンテーション


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

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

本体

1: 構造化された記述


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

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

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

2: 自然言語記述


任意のグループ（群）G、任意の要素g∈Gに対して、もしも、以下を満たすあるn∈N∖{0}、つまり、gn=1で、以下を満たすn′∈N∖{0}、つまり、n′<n∧gn′=1、がない、場合、(g)={1,g,...,gn−1}。

3: 証明


全体戦略: ステップ1: (g)={1,g,g−1,g2,g−2,...}であることを見る; ステップ2: {1,g,...,gn−1}は互いに異なることを見る; ステップ3: (g)={1,g,...,gn−1}であることを見る。

ステップ1:

∃n∈N∖{0}(gn=1∧¬∃n′∈N∖{0}(n′<n∧gn′=1))であると仮定しよう。

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

ステップ2:

{1,g,...,gn−1}は互いに異なることを見よう。

{1,g,...,gn−1}は互いに異なっていなかったと仮定しよう、それが意味するのは、以下を満たす何らかのk,l∈N、つまり、0≤k<l≤n−1およびgk=gl.、があったということ。

1=gkg−k=glg−k=gl−k、ここで、0<l−k≤n−1、矛盾。

したがって、{1,g,...,gn−1}は互いに異なる。

ステップ3:

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

g−1=gn−1、なぜなら、ggn−1=gn−1g=gn=1. g−n=1、なぜなら、g−n=(gn)−1=1−1=1。

各k∈N∖{0}に対して、k=nl+j、ここで、l∈Nは0≤lを満たしj∈Nは0≤j<nを満たす。したがって、g−k=g−nl−j=(g−n)lg−j=(g−n)l1g−j=(g−n)lgng−j=1lgn−j=1gn−j=gn−j。したがって、0<n−j≤n。n−j=nである時、g−k=gn=1。したがって、g−k∈{1,g,...,gn−1}。

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

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