Similar to アルティン・リースの補題

Mitchell's embedding theorem

Modular representation theory

Finitely generated module

Bimodule