Cebirsel olarak kompakt modül - Algebraically compact module - Wikipedia

İçinde matematik, cebirsel olarak kompakt modüller, olarak da adlandırılır saf enjeksiyon modülleri, vardır modüller modüldeki sonsuz denklem sistemlerinin sonlu yollarla çözümüne izin veren belirli bir "güzel" özelliğe sahip olanlar. Bu sistemlere yönelik çözümler, belirli türdeki modül homomorfizmleri. Bu cebirsel olarak kompakt modüller şuna benzer: enjeksiyon modülleri, tüm modül homomorfizmlerinin genişletilebileceği yer. Tüm enjekte edici modüller cebirsel olarak kompakttır ve ikisi arasındaki analoji, bir kategori gömme ile oldukça hassas yapılır.

Tanımlar

İzin Vermek R olmak yüzük, ve M bir sol R-modül. Sonsuz sayıda doğrusal denklem sistemi düşünün

her iki sette ben ve J sonsuz olabilir, ve her biri için ben sıfır olmayanların sayısı sonludur.

Amaç, böyle bir sistemin sahip olup olmadığına karar vermektir. çözümyani unsurların olup olmadığıdır xj nın-nin M öyle ki sistemin tüm denklemleri aynı anda karşılanır. (Yalnızca sonlu sayıda olması gerekli değildir. xj sıfır değildir.)

Modül M dır-dir cebirsel olarak kompakt tüm bu tür sistemler için, sonlu sayıda denklemden oluşan her alt sistemin bir çözümü varsa, tüm sistemin bir çözümü vardır. (Çeşitli alt sistemlerin çözümleri farklı olabilir.)

Öte yandan, bir modül homomorfizmi MK dır-dir saf enjeksiyon arasında indüklenen homomorfizm varsa tensör ürünleri CMCK dır-dir enjekte edici her hak için R-modül C. Modül M dır-dir saf enjeksiyon herhangi bir saf enjeksiyon homomorfizmi varsa j : MK bölmeler (yani, var f : KM ile ).

Bir modülün cebirsel olarak kompakt olduğu ortaya çıkar, ancak ve ancak saf-enjektif ise.

Örnekler

Sonlu sayıda eleman içeren tüm modüller cebirsel olarak kompakttır.

Her vektör alanı cebirsel olarak kompakttır (saf enjekte olduğundan). Daha genel olarak her enjeksiyon modülü aynı nedenle cebirsel olarak kompakttır.

Eğer R bir ilişkisel cebir 1'den fazla alan ksonra her R-modül ile sonlu k-boyut cebirsel olarak kompakttır. Bu, tüm sonlu modüllerin cebirsel olarak kompakt olması gerçeğiyle birlikte, cebirsel olarak kompakt modüllerin "küçük" modüllerin hoş özelliklerini paylaşan (muhtemelen "büyük") modüller olduğu sezgisine yol açar.

Prüfer grupları cebirsel olarak kompakt değişmeli gruplar (yani Z-modüller). Yüzüğü p-adic tamsayılar her asal için p hem kendi üzerinde bir modül hem de bir modül olarak cebirsel olarak kompakttır Z. rasyonel sayılar cebirsel olarak kompakttır Z-modül. İle birlikte karıştırılamaz sonlu modüller bitti Z, bu, cebirsel olarak kompakt modüllerin tam listesi.

Birçok cebirsel olarak kompakt modül, enjekte edici kojeneratör Q/Z değişmeli grupların. Eğer H bir sağ halka üzerindeki modül R, biri (cebirsel) karakter modülünü oluşturur H* hepsinden oluşan grup homomorfizmleri itibaren H -e Q/Z. Bu o zaman bir sol R-modül ve * -işlemi bir sadık aykırı functor sağdan R-modüller sola R-modüller. Formun her modülü H* cebirsel olarak kompakttır. Dahası, saf enjekte edici homomorfizmler vardır HH**, doğal içinde H. Cebirsel olarak kompakt modüllerin üstesinden gelmek daha kolay olduğundan, bir problem genellikle önce * -functor'u uygulayarak basitleştirilebilir.

Gerçekler

Aşağıdaki koşul eşdeğerdir M cebirsel olarak kompakt olmak:

  • Her dizin seti için ben, toplama haritası M(BEN)M bir modül homomorfizmine genişletilebilir MbenM (İşte M(BEN) gösterir doğrudan toplam kopya sayısı M, her bir öğe için bir ben; Mben gösterir ürün kopya sayısı M, her bir öğe için bir ben).

Her karıştırılamaz cebirsel olarak kompakt modülde yerel endomorfizm halkası.

Cebirsel olarak kompakt modüller, aşağıdakilerden dolayı birçok diğer özelliği enjekte edici nesnelerle paylaşır: R-Mod bir Grothendieck kategorisi G altında cebirsel olarak kompakt R-modüller, içindeki enjekte edici nesnelere tam olarak karşılık gelir G.

Her R-modül temel eşdeğer cebirsel olarak kompakt R-modül ve doğrudan toplamı karıştırılamaz cebirsel olarak kompakt R-modüller.[1]

Referanslar

  1. ^ Perst, Mike (1988). Model teorisi ve modüller. London Mathematical Society Lecture Note Series: Cambridge University Press, Cambridge. ISBN  0-521-34833-1.
  • C.U. Jensen ve H. Lenzing: Model Teorik CebirGordon ve İhlal, 1989