generated at
短完全列
short exact sequence
0\to M_1\to M_2\to M_3\to 0という形の完全列