Борель тіркелген нүктелі теорема - Borel fixed-point theorem

Жылы математика, Борель тіркелген нүктелі теорема Бұл тұрақты нүкте теоремасы жылы алгебралық геометрия жалпылау Ли-Колчин теоремасы. Нәтиже дәлелдеді Арманд Борел  (1956 ).

Мәлімдеме

Егер G Бұл байланысты, шешілетін, сызықтық алгебралық топ үнемі әрекет ету үстінде бос емес, толық алгебралық әртүрлілік V астам алгебралық жабық өріс к, онда бар G тұрақты нүкте туралы V.

Теореманың жалпы нұсқасы өріске сәйкес келеді к бұл міндетті түрде алгебралық түрде жабық емес. Шешілетін алгебралық топ G болып табылады k-ден бөлінді немесе k-сплит егер G мойындайды а композиция сериясы оның құрамдық факторлары изоморфты (аяқталған) к) дейін қоспа тобы немесе мультипликативті топ . Егер G байланысты, к- әртүрлілік бойынша үнемі әрекет ететін бөлінетін алгебралық топ V бар к- ұтымды нүкте, онда бар G нүктесі V.[1]

Әдебиеттер тізімі

  1. ^ Борел (1991), ұсыныс 15.2
  • Борел, Арманд (1956). «Groupes linéaires algébriques». Энн. Математика. 2. Математика шежіресі. 64 (1): 20–82. дои:10.2307/1969949. JSTOR  1969949. МЫРЗА  0093006.

Сыртқы сілтемелер