グループ(群)の要素のオーダーの定義
話題
About: グループ(群)
この記事の目次
開始コンテキスト
- 読者は、グループ(群)のサブセット(部分集合)によって生成されたサブグループ(部分群)の定義を知っている。
ターゲットコンテキスト
- 読者は、グループ(群)の要素のオーダーの定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
\( G'\): \(\in \{\text{ 全てのグループ(群)たち }\}\)
\( g\): \(\in G'\)
\(*\vert (\{g\}) \vert\): \(\in \mathbb{N} \setminus \{0\}\)
//
コンディションたち:
//
2: 自然言語記述
任意のグループ(群)\(G'\)、任意の要素\(g \in G'\)に対して、\(\vert (\{g\}) \vert \in \mathbb{N} \setminus \{0\}\)