Zariskis lemma - Zariskis lemma - Wikipedia

İçinde cebir, Zariski'nin lemmasıtarafından kanıtlandı Oscar Zariski  (1947 ), eğer bir alan K dır-dir sonlu oluşturulmuş olarak ilişkisel cebir başka bir alanın üzerinde k, sonra K bir sonlu alan uzantısı nın-nin k (yani, aynı zamanda sonlu olarak bir vektör alanı ).

Lemmanın önemli bir uygulaması, zayıf formunun bir kanıtıdır. Hilbert nullstellensatz:[1] Eğer ben uygun ideal nın-nin (k cebirsel olarak kapalı alan ), sonra ben sıfıra sahiptir; yani bir nokta var x içinde öyle ki hepsi için f içinde ben. (Kanıt: değiştirme ben tarafından maksimum ideal , farzedebiliriz maksimaldir. İzin Vermek ve doğal bir sürpriz olun. Dan beri k lemma tarafından cebirsel olarak kapatılır, ve sonra herhangi biri için ,

;

demek ki, sıfırdır .)

Lemma aşağıdaki perspektiften de anlaşılabilir. Genel olarak bir yüzük R bir Jacobson yüzük ancak ve ancak her sonlu oluşturulmuşsa R-bir alan olan cebir bitti R.[2] Böylece, lemma, bir alanın bir Jacobson halkası olduğu gerçeğinden hareket eder.

Kanıt

Biri Zariski'ye ait olan iki doğrudan ispat Atiyah-MacDonald'da verilmektedir.[3][4] Zariski'nin orijinal kanıtı için orijinal makaleye bakın.[5] Dilinde başka bir doğrudan kanıt Jacobson yüzükleri aşağıda verilmiştir. Lemma aynı zamanda Noether normalleştirme lemma. Nitekim normalleşme lemması ile, K bir sonlu modül polinom halkası üzerinde nerede unsurları K cebirsel olarak bağımsız olan k. Ama o zamandan beri K Krull boyutu sıfırdır ve bir entegre halka uzantısı (örneğin, sonlu bir halka uzantısı) Krull boyutlarını korur, polinom halka sıfır boyuta sahip olmalıdır; yani .

Bir Jacobson yüzüğünün aşağıdaki karakterizasyonu, Zariski'nin lemmasını özel bir durum olarak içerir. Her asal ideal, maksimum ideallerin kesişim noktası ise, bir yüzüğün bir Jacobson yüzüğü olduğunu hatırlayın. (Ne zaman Bir bir alan Bir bir Jacobson halkasıdır ve aşağıdaki teorem tam olarak Zariski'nin lemmasıdır.)

Teoremi — [2] İzin Vermek Bir rulman. O halde aşağıdakiler eşdeğerdir.

  1. Bir bir Jacobson yüzüğüdür.
  2. Sonlu üretilen her Bir-cebir B bu bir alan sonludur Bir.

Kanıt: 2. 1 .: Let ideal olmak Bir ve ayarla . Göstermemiz gerek Jacobson radikal nın-nin B sıfırdır. Bunun için izin ver f sıfırdan farklı bir öğe olmak B. İzin Vermek yerelleştirmenin maksimal ideali olmak . Sonra sonlu olarak oluşturulmuş bir alandır Bir-algebra ve böylece sonlu bitti Bir varsayımla; bu yüzden bitti ve böylece alt halka üzerinde sonludur nerede . İntegral olarak, içermeyen maksimal ideal f.

1. 2 .: Jacobson yüzüğünün faktör halkası Jacobson olduğundan, varsayabiliriz B içerir Bir subring olarak. O halde iddia, bir sonraki cebirsel gerçeğin bir sonucudur:

(*) İzin Vermek ayrılmaz alanlar olacak şekilde B olarak sonlu olarak üretilir Bir-cebir. Sonra sıfır olmayan bir var a içinde Bir öyle ki her halka homomorfizmi , K cebirsel olarak kapalı bir alan genişler .

Gerçekten de, maksimal bir ideal seçin nın-nin Bir içermiyor a. yazı K bazı cebirsel kapanış için kanonik harita genişler . Dan beri B bir alan enjekte edici ve bu yüzden B cebirseldir (dolayısıyla sonlu cebirseldir) . Şimdi kanıtlıyoruz (*). Eğer B aşkın bir öğe içerir Bir, sonra bir polinom halkası içerir Bir neye φ genişler (gerek kalmadan a) ve böylece varsayabiliriz B cebirsel bitti Bir (Zorn'un lemması ile diyelim). İzin Vermek jeneratörü olmak B gibi Bir-cebir. Sonra her biri ilişkiyi tatmin eder

nerede n bağlıdır ben ve . Ayarlamak . Sonra integral bitti . Şimdi verildi önce uzatıyoruz ayarlayarak . Sonra izin ver . İntegral olarak, bazı maksimum idealler için nın-nin . Sonra genişler . Son haritayı sınırla B İspatı bitirmek için.

Notlar

  1. ^ Milne Teorem 2.12
  2. ^ a b Atiyah-MacDonald 1969, Bölüm 5. Egzersiz 25
  3. ^ Atiyah-MacDonald 1969, Bölüm 5. Alıştırma 18
  4. ^ Atiyah-MacDonald 1969, Önerme 7.9
  5. ^ http://projecteuclid.org/euclid.bams/1183510605

Referanslar

  • M. Atiyah, I.G. Macdonald, Değişmeli Cebire Giriş, Addison – Wesley, 1994. ISBN  0-201-40751-5
  • James Milne, Cebirsel Geometri
  • Oscar Zariski (1947), "Hilbert'in Nullstellensatz'ının yeni bir kanıtı", Boğa. Amer. Matematik. Soc., 53: 362–368, doi:10.1090 / s0002-9904-1947-08801-7, BAY  0020075