22/03/10 22:04:31.63 dx5fHmpW.net
森田康夫著『代数概論』
G を群とする。
S を G の部分集合とする。
F(S) を S で生成される自由群とする。
W(S) を S 上の語の集合とする。
W(S) ∋ (s_1, s_2, …, s_n) → s_1 * s_2 * … * s_n ∈ G
は、 (s_1, s_2, …, s_n) の同値類のとり方によらずに定まり、
i : F(S) → G
なる群の準同型を与える。
特に R ⊂ F(S) とするとき、 R の類を含む最小の F(S) の正規部分群が Ker(i) となるなら、 R の元を = 1 とおいたものの集合を、 G の生成元 S に
関する基本関係とよぶ。
「R の類」って何ですか？