#群論の知識

(#群論 で) #自由積 (free product)
https://ja.wikipedia.org/wiki/...

2つの #群 G, H から
新しい群 G∗H を構成する操作.

自由積 G∗H は
G と H をともに #部分群 として含む.

自由積において
元は G, H の縮約された #語.
#二項演算 は，語を連結して縮約すること.