finitely generated module

In algebra, a module that has a finite generating set

카테고리: