exact sequence 0 → M’ → M → M” → 0 があるとき、M”がfreeならsplitするというのを初めて知った。Haの議論でdualとってexactとかの行間を埋めようとしてて知れた。