群概形
定义
在代数几何中,一个概形上的群概形是范畴中的群对象。借由米田信夫引理,我们可以给出两种刻划:
- 以乘法、单比特与逆元定义:存在中的态射
- 乘法:
- 单比特:
- 逆元:
并满足结合律等等群的性质。
- 以函子性定义:点函子通过遗忘函子分解。。
换言之:对于任意的-概形,构成一个群;而且对任意-态射,诱导映射都是群同态。
- 代数群:设为域,上的连通、光滑群概形称作上的代数群。
- 李代数:群概形自然地作用在它的全体矢量场上。的全体左不变矢量场称作的李代数,记为;它是上的层。
例子
文献
- A. Borel, Linear Algebraic Groups 2nd enlarged edition (1991), Graduate Texts in Mathematics 126, Springer.
- M. Demazure et P. Gabriel, Groupes algébriques: Tome I(1970), PA Masson
- D. Mumford, Abelian Varieties(1970), Oxford Univ. Press
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.