グループ(群)に対する要素によるコンジュゲーションの定義
話題
About: グループ(群)
この記事の目次
開始コンテキスト
- 読者は、グループ(群)の定義を知っている。
ターゲットコンテキスト
- 読者は、グループ(群)に対する要素によるコンジュゲーションの定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
\( G\): \(\in \{\text{ 全てのグループ(群)たち }\}\)
\( p\): \(\in G\)
\(*f_p\): \(: G \to G, p' \mapsto p p' p^{-1}\)
//
コンディションたち:
//
2: 自然言語記述
任意のグループ(群)\(G\)、任意の要素\(p \in G\)に対して、マップ(写像)\(f_p: G \to G, p' \mapsto p p' p^{-1}\)