Is there any standard notation for a free product of a family of groups?
For two groups, free product is usually written as $G_1*G_2$.
How about for a family of groups $G_i$ for some index set $I$?
Thanks.
Is there any standard notation for a free product of a family of groups?
For two groups, free product is usually written as $G_1*G_2$.
How about for a family of groups $G_i$ for some index set $I$?
Thanks.
Copyright © 2021 JogjaFile Inc.
The free product is the coproduct in the category of groups. Thus you could use either $\coprod_{i \in I} G_i$ or $*_{i \in I} G_i$