#群論の知識

#自由群 (free group)
https://ja.wikipedia.org/wiki/...

#公理 から来る自明なもの以外に，
元の間の等式がない #群 のこと.

#群論の知識

#群 の #表示 (presentation of group)
https://ja.wikipedia.org/wiki/...

群を
①#生成元 と
②生成元の間に成り立つ関係
によって特定すること.

一般に群は必ず表示を持つが
一意的ではない.

①の生成元のみがあり
②の関係が定義されない場合は，
#自由群 という.

#Lie群
「うそつきの集団」

#ロード・オブ・ザ・リング
「環論の王」

#自由群 を学べる参考書
「群論の無料の教科書」

#正規部分群
「平凡な部分群！」 #normal　#NormalSubGroup