The Generating Principle of the Symplectic Group on the Local Zing

• 局部环上辛群生成定理