Serre

二次型的范畴论定义 考虑这样一个范畴$S_n$，由一些free abelian group of rank $n$ $E$组成 Definition of free abelian group 一个有basis的abelian group. 这里basis就是那个基的意思，every element ......

考虑在交换环上的模$V$ Definition of module 相当于向量空间的扩展形式，不要求在域上面定义. module包含一个交换群$(M,+)$向量 以及$\cdot:R\times M\rightarrow M$标量乘法. 满足：结合律，分配律和$1_R\cdot x=x$ 定义一个函 ......