G、Hを群とし、f:G→Hとg:H→Gを群準同型とする。fとgが単射のとき、GとHは同型といえるか？ べつに群と群準同型じゃなくてもいいんですが、まぁとにかく気になったので。同型でない例があるとしたら無限群になるわけですが、ぱっとは思い付きません。 線形空…

ある企画の打ち合わせをしました。面白くなりそうです。うまくいくと良いんだがなぁ。