两个群的自由积
량개군적자유적
Free Product of Two Groups