Mepụta nsụgharị dị mgbagwoju anya nke ahịrịokwu a Ugbu a were ya na mpaghara integral '' A 'bụ algebra graded finitely mepụtara n'elu ubi' k ''.
N'ezie, ụdị okwu dị mgbagwoju anya nke ahịrịokwu ahụ bụ "Ugbu a were ya na mpaghara integral '' A 'bụ algebra graded finitely mepụtara n'elu ubi '' k'mepụtara site na ihe ndị na-agbanwe agbanwe degrees d_i dị otú ahụ na '' A 'bụ modul na-emepụta nke ọma n'elu'B '".