グループ（群）のサブセット（部分集合）たちのファイナイト（有限）プロダクト（積）の定義
話題
About: グループ（群）
この記事の目次
開始コンテキスト
- 読者は、グループ（群）の定義を知っている。
ターゲットコンテキスト
- 読者は、グループ（群）のサブセット（部分集合）たちのファイナイト（有限）プロダクト（積）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( G\): \(\in \{\text{ 全てのグループ（群）たち }\}\)
\( J\): \(\in \{\text{ の全てのファイナイト（有限）インデックスセット（集合）たち }\}\), \(= \{j_1, ..., j_n\}\)
\( \{S_j \subseteq G \vert j \in J\}\):
\(*S_{j_1} ... S_{j_n}\): \(= \{s_{j_1} ... s_{j_n} \in G \vert s_{j_1} \in S_{j_1}, ..., s_{j_n} \in S_{j_n}\}\)
//
コンディションたち:
//
