Similar to 稠密部分加群

Mitchell's embedding theorem

Modular representation theory

Finitely generated module

Bimodule