スレチだと思うんですが、どうしても分からないので質問させてください。 英語のテキストで可換群について説明されている部分で、 「In a commutative group, the product of any finite (not necessarily ordered) family S of elements is well defined, for example, the empty product is e.」 という一文の意味がよく分かりません。お助けください。 ちなみにテキストは↓で、上記の文が載っているのはp9です。 www.jmilne.org/math/CourseNotes/GT.pdf