Twierdzenie Jacobsona-Bourbakiego

W algebrze twierdzenie Jacobsona-Bourbakiego jest twierdzeniem używanym do rozszerzenia teorii Galois na rozszerzenia pól , które nie muszą być rozdzielne. Został wprowadzony przez Nathana Jacobsona ( 1944 ) dla pól przemiennych i rozszerzony na pola nieprzemienne przez Jacobsona (1947) i Henri Cartana ( 1947 ), którzy przypisali wynik niepublikowanej pracy Nicolasa Bourbakiego . Rozszerzenie teorii Galois na rozszerzenia normalne nazywa się Korespondencja Jacobsona-Bourbakiego , która zastępuje zgodność między niektórymi podobszarami pola a niektórymi podgrupami grupy Galois zgodnością między niektórymi pierścieniami podrzędnymi pierścienia podziału a niektórymi algebrami podrzędnymi algebry asocjacyjnej.

Twierdzenie Jacobsona-Bourbakiego implikuje zarówno zwykłą zgodność Galois dla podpól rozszerzenia Galois, jak i zgodność Jacobsona z Galois dla podpól czysto nierozłącznego rozszerzenia wykładnika co najwyżej 1.

Oświadczenie

Załóżmy, że L jest pierścieniem podziału . Twierdzenie Jacobsona-Bourbakiego stwierdza, że ​​istnieje naturalna zgodność 1: 1 między:

  • Pierścienie podziału K w L o skończonym indeksie n (innymi słowy L jest skończoną wymiarową lewą przestrzenią wektorową nad K ).
  • K -algebry jednostkowe o skończonym wymiarze n (jako K - przestrzenie wektorowe) zawarte w pierścieniu endomorfizmów grupy addytywnej K .

Podrzędny pierścień podziału i odpowiadająca mu podalgebra są swoimi komutantami.

Jacobson (1956 , rozdział 7.2) podał rozszerzenie pierścieni podziału, które mogą mieć nieskończony indeks, co odpowiada zamkniętym podalgebrom w topologii skończonej.