部分群の歌 作詞:檸檬 

 

ぶぶんぐん ぶぶんぐん ぶぶんぐん ぐん
(以下リピート)

 

 

写像のwell-definedness性について

 

同じものを異なる表現で選んだとき,違う計算結果になったらまずいよね,ということですね

 

二項演算*:X*Xー>Xのwell-definedness性を確かめるには,a_1~a_2,b_1~b_2 => a_1*b_1~a_2*b_2であることを調べればよい.あと,演算結果が閉じていることも.(どうして正規部分群なるものを考えるのかといえば)

 

 

自分SNS向いてない