定理 5.3.2給定諾特環上的有限生成模, 其子模是準素子模, 當且僅當存在唯一的關聯素理想
定義 1.3.3[有限展示模]稱-模具有有限展示(finite presentation), 若存在正合列這意味著能被個元素生成從而是有限生成的
定義 6.1.1設是域,是一個-線性空間, 在中定義了向量乘法使得是一個環(未必含么), 並且滿足對任意標量和向量都有則稱是域上的一個(結合)代數,稱為(作為代數)的維數