Cebirsel uzantı - Algebraic extension

Bu makale için ek alıntılara ihtiyaç var doğrulama. Lütfen yardım et bu makaleyi geliştir tarafından güvenilir kaynaklara alıntılar eklemek. Kaynaksız materyale itiraz edilebilir ve kaldırılabilir. Kaynakları bulun: "Cebirsel uzantı"  – Haberler  · gazeteler  · kitabın  · akademisyen  · JSTOR (Şubat 2013) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

İçinde soyut cebir, bir alan uzantısı L/K denir cebirsel eğer her unsur L dır-dir cebirsel bitmiş K, yani eğer her unsur L bir kök bazı sıfır olmayan polinom katsayılarla K. Cebirsel olmayan, yani içeren alan uzantıları aşkın unsurlar, arandı transandantal.

Örneğin, alan uzantısı R/Q, bu alanı gerçek sayılar alanının bir uzantısı olarak rasyonel sayılar, alan uzantıları ise aşkın C/R ve Q(√2)/Q cebirseldir, nerede C alanı Karışık sayılar.

Tüm aşkın uzantılar sonsuz derece. Bu da tüm sonlu uzantıların cebirsel olduğunu ima eder.^[1] Tersi doğru değildir, ancak cebirsel olan sonsuz uzantılar vardır. Örneğin, her şeyin alanı cebirsel sayılar rasyonel sayıların sonsuz cebirsel uzantısıdır.

Eğer a cebirsel bitti K, sonra K[a], içindeki tüm polinomların kümesi a katsayılarla K, sadece bir halka değil, bir alandır: bir cebirsel uzantısı K üzerinde sonlu derecesi olan K. Tersi de doğrudur, eğer K[a] bir alandır, o zaman a cebirsel bitti K. Özel durumda K = Q ... rasyonel sayılar alanı, Q[a] bir örnektir cebirsel sayı alanı.

Uygun cebirsel uzantıları olmayan bir alan denir cebirsel olarak kapalı. Bir örnek alanıdır Karışık sayılar. Her alanın cebirsel olarak kapalı bir cebirsel uzantısı vardır (buna cebirsel kapanış ), ancak bunu genel olarak kanıtlamak için bir tür seçim aksiyomu.

Bir uzantı L/K cebirseldir ancak ve ancak her alt Kcebiri L bir alan.

Özellikleri

Cebirsel uzantıların sınıfı bir alan uzantılarının ayırt edici sınıfı yani, aşağıdaki üç özellik geçerlidir:^[2]

1. Eğer E cebirsel bir uzantısıdır F ve F cebirsel bir uzantısıdır K sonra E cebirsel bir uzantısıdır K.
2. Eğer E ve F cebirsel uzantılarıdır K ortak bir sahada C, sonra bileşim EF cebirsel bir uzantısıdır K.
3. Eğer E cebirsel bir uzantısıdır F ve E>K>F sonra E cebirsel bir uzantısıdır K.

Bu sonlu sonuçlar, transfinite indüksiyon kullanılarak genelleştirilebilir:

Bu gerçek, birlikte Zorn lemması (uygun şekilde seçilmiş bir pozet için uygulanır), varlığını kurar cebirsel kapanışlar.

Genellemeler

Model teorisi cebirsel uzantı kavramını keyfi teorilere genelleştirir: gömme nın-nin M içine N denir cebirsel uzantı her biri için x içinde N var formül p içindeki parametrelerle M, öyle ki p(x) doğrudur ve set

${displaystyle sol {yin Nmid p (y) ight}}$

sonludur. Bu tanımın alanlar teorisine uygulanmasının, cebirsel genişlemenin genel tanımını verdiği ortaya çıktı. Galois grubu nın-nin N bitmiş M yine şu şekilde tanımlanabilir: grup nın-nin otomorfizmler ve Galois gruplarının teorisinin çoğunun genel durum için geliştirilebileceği ortaya çıktı.

Ayrıca bakınız

• İntegral eleman
• Lüroth teoremi
• Galois uzantısı
• Ayrılabilir uzantı
• Normal uzatma

Notlar

Referanslar

• Hazewinkel, Michiel; Gubareni, Nadiya; Gubareni, Nadezhda Mikhaĭlovna; Kirichenko, Vladimir V. (2004), Cebirler, halkalar ve modüller, 1Springer, ISBN  1-4020-2690-0
• Lang, Serge (1993), "V.1: Cebirsel Uzantılar", Cebir (Üçüncü baskı), Reading, Mass .: Addison-Wesley, s. 223ff, ISBN  978-0-201-55540-0, Zbl  0848.13001
• McCarthy, Paul J. (1991) [2. baskının düzeltilmiş yeniden baskısı, 1976], Alanların cebirsel uzantıları, New York: Dover Yayınları, ISBN  0-486-66651-4, Zbl  0768.12001
• Roman Steven (1995), Alan Teorisi, GTM 158, Springer-Verlag, ISBN  9780387944081
• Rotman Joseph J. (2002), İleri Modern CebirPrentice Hall, ISBN  9780130878687