初等辛群结构定理的Quillen-Suslin理论

描述了一组新的初等辛元素，并证明它们也生成初等辛群{\rm ESp}$_{2n}(R)$。这些生成元比通常的生成元更具对称性，并且有助于研究初等辛群在幺模行上的作用。此外，利用D. Quillen的局部整体原理，针对这组新生成元给出了{\rm ESp}$_{2n}(R)$是{\rm Sp}$_{2n}(R)$的正规子群的另一种证明。