群 の部分群 に対して商集合 を考える。 の任意の元 の間で「積」を考えたい。このとき と定めたいのだけど、この積が well-defined になるための必要十分条件が なんだ。

こんなツイートをみかけたので。こうですか pic.twitter.com/u9LmEuq9WZ— ╭( ･ㅂ･)وउन्माद भाल्ल (@ryokubu2718) 2016年3月12日分母は von-Staudt & Clausen の定理があるので簡単に求まります。分子は、イデアル類群と関係があったりで、まったくもって自明…

「存在性の証明」と「一意性の証明」が大事だという感覚がなんとなくわかってきました。この２つを保証すれば、一意に定まる数（や関数など）を考えることができるんですね。一意に定まると言うことは、これに「名前」をつけることができるのです。たとえば…