20/08/08 15:58:28.61 YlamIWN4.net
生成元が２つ（ａおよびｂ）の自由群も考えられる
単位元ｅ 生成元ａ、ｂ、逆元ａ’、ｂ’
ａ，ｂ，ａ・ａ，ａ・ｂ，ａ・ｂ’，ｂ・ａ，ｂ・ｂ，ｂ・ａ’，
ａ’・ｂ，ａ’・ａ’，ａ’・ｂ’，ｂ’・ａ，ｂ’・ａ’，ｂ’・ｂ’，・・・
要するに演算・を文字列の結合と考え、
生成元と逆元が隣り合う場合ｅとする
だけで出来上がる
生成元が２つ以上の場合は、演算・は可換でない
（ａ・ｂとｂ・ａは異なる）
20/08/08 15:58:28.61 YlamIWN4.net
生成元が２つ（ａおよびｂ）の自由群も考えられる
単位元ｅ 生成元ａ、ｂ、逆元ａ’、ｂ’
ａ，ｂ，ａ・ａ，ａ・ｂ，ａ・ｂ’，ｂ・ａ，ｂ・ｂ，ｂ・ａ’，
ａ’・ｂ，ａ’・ａ’，ａ’・ｂ’，ｂ’・ａ，ｂ’・ａ’，ｂ’・ｂ’，・・・
要するに演算・を文字列の結合と考え、
生成元と逆元が隣り合う場合ｅとする
だけで出来上がる
生成元が２つ以上の場合は、演算・は可換でない
（ａ・ｂとｂ・ａは異なる）