definition of finite product of subsets of group
Topics
About: group
The table of contents of this article
Starting Context
- The reader knows a definition of group.
Target Context
- The reader will have a definition of finite product of subsets of group.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\( G\): \(\in \{\text{ the groups }\}\)
\( J\): \(\in \{\text{ the finite index sets }\}\), \(= \{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}\}\)
//
Conditions:
//
