ボレルの不動点定理
G が代数的閉体 k 上の空でない完備(英語版)代数多様体 V について正則に作用する連結可解代数群であるなら、V の G 不動点が存在する。