本質拡大
M を加群とし、K, N, H を M の部分加群で K ⊂ N とする。