阿贝尔变种/定义

一个完整的非奇异射影簇，也是一个代数群，必然是交换群；复杂的圆环。