Similar to マシュケの定理

Essential extension

Mitchell's embedding theorem

Finitely generated module

Bimodule