意外と盲点部分群の歌 作詞:檸檬 ぶぶんぐん ぶぶんぐん ぶぶんぐん ぐん (以下リピート) 写像のwell-definedness性について 同じものを異なる表現で選んだとき,違う計算結果になったらまずいよね,ということですね 二項演算*:X*Xー>Xのwell-definedness性を確かめるには,a_1~a_2,b_1~b_2 => a_1*b_1~a_2*b_2であることを調べればよい.あと,演算結果が閉じていることも.(どうして正規部分群なるものを考えるのかといえば) 自分SNS向いてない