Yarıdoğrusal dönüşüm
Doğrusal cebir'in, özellikle izdüşümsel geometrinin, K alanı üzerinde V ve W vektör uzayı arasında bir yarıdoğrusal dönüşüm "Bir büküm kadar" bir doğrusal dönüşümün bir fonksiyonudur,dolayısıyla yarı-doğrusal ,burada "büklüm" K'nın özyapı alanı anlamına gelir. Açıkça, bu ;
fonksiyonu şu olur:
- Ayrıca vektör ile ilgili olarak doğrusal:
- Skalar çarpımına göre yarıdoğrusal: , K'nın skalar özyapısının altında görüntüsü anlamına gelir.
Burada T durumu içinde T, için tek özyapı θ olmalıdır ve θ-yarıdoğrusal denir.
Verilen vektör uzayı V bölgesinin tersine çevrilebilir yarıdoğrusal dönüşümleri (alan özyapısı tüm seçenekleri için) bir grup oluşturur,bu genel yarıdoğrusal grup olarak adlandırılır ve ile ifade edilir, benzer şekilde ve genel doğrusal grup olarak uzanmaktadır.
Benzer gösterim (Latin karakterler yerine yunanca ) daha kısıtlı doğrusal dönüşümlerinin yarıdoğrusal analogları için kullanılır; resmi olarak,özyapı alanının Galois grubu ile bir lineer grubunun yarıdirekt çarpımıdır. Örneğin, izdüşümsel özel üniter grubu PSU'nun yarıdoğrusal analogları için PΣU kullanılır.Ancak unutmadan;son zamanlarda bu genelleştirilmiş yarıdoğrusal grupların iyi tanımlanmış olmadığı dikkati çekmiştir, Bray, Holt & Roney-Dougal 2009 belirttiği gibi - izomorfik klasik gruplarG ve H (SL alt grupları) izomorfik olmayan yarıdoğrusal uzantıları olabilir. yarıdirekt çarpım düzeyinde, bu belirli bir soyut grup, iki grup ve bir eylem bağlı bir yarıdirekt çarpım üzerinde Galois grubunun farklı eylemlerine karşılık gelir. İki yarıdoğrusal uzantıları tam olarak vardır, örneğin, simplektik grupların eşsiz bir yarıdoğrusal uzantısı vardır, n çift ve q tek ise SU ( n, q) iki uzantıya sahiptir iken garip, ve aynı durum PSU içindir.
İçindekiler
Tanım[değiştir | kaynağı değiştir]
Diyelimki K bir alan olsun ve k onun asal altalanıdır. Örneğin, Eğer K C ise k Qdur, ve eğer K yerine sonlu alan ise k dır
Knın verilen bir özyapısı , bir fonksiyon V ve W arasındaki K vektör uzayı -yarıdoğrusaldır, veya basitçe yarıdoğrusal, eğer tüm V içindeki için ve in K içindeki aşağıdadır:
burada altında 'nın görüntüsü olarak adlandırılır
Unutmadan bir özyapı alanı f için ya katkılı olmalı , örneğin, sabit bir asal alan olmalı
Ayrıca
böylece sonuç olarak,
Her doğrusal dönüşüm yarıdoğrusaldır, ancak tersi genelde doğru değildir. Eğer küzerinde V ve W vektör uzayı olarak davranırsak (k ilk üzerindeki K tarafından vektör uzayı olarak düşünürsek ) her -yarıdoğrusal grubu bir k-doğrusal haritadır, burada k ifadesi Knın asal altalanıdır
Örnekler[değiştir | kaynağı değiştir]
- Diyelimki ile standart tabanı dır haritasının tanımı ile
- f yarıdoğrusal (karmaşık bir birleştirme alanı ile ilgili olarak özyapı) ama doğrusal değildir.
- Diyelimki – yerinin Galois alanı p karakteristiktir. Diyelimki Freshman'ın rüyası olarak bilinen bir özyapı alanıdır. her doğrusal haritaya K üzerinde V ve W vektör uzayı arasında bir -yarıdoğrusal haritayı kurabiliriz
Gerçekten de, her doğrusal harita bir şekilde bir yarıdoğrusal harita haline dönüştürülebilir. Bu, aşağıdaki sonuç toplanmış genel gözlemin bir parçasıdır.
Genel yarıdoğrusal grup[değiştir | kaynağı değiştir]
Verilen bir V, vektör uzayı tüm tersinebilir yarıdoğrusal haritanın kümesi (Tüm alan özyapısı üzerinde) gruptur
K, üzerinde verilen bir V, vektör uzayı ve K,nın asal altalanı k ise yarıdirekt çarpımına ayrışır
burada Gal(K/k) nın Galois grubudur Benzer şekilde, diğer doğrusal grupların yarıdoğrusal dönüşümü Galois grubu ile yarıdirek çarpımı olarak veya daha özünde bazı özelliklerini koruyarak bir vektör alanının yarıdoğrusal haritaların grubu olarak tanımlanabilir,. nın bir altgrubu ile eş Gal(K/k) by V için B tabanına sabitlenmiş bir yarıdoğrusal haritaları tanımlanıyor:
Herhangi için. Bize bu Gal(K/k)B alt grubunu ifade edecektir.Ayrıca gördüğümüz içinde GL(V)'ye tamamlayıcı harekettir ve bu GL(V) tarafından düzenlenmiş bu tabanın bir değişimine karşılık gelir.
Kanıt[değiştir | kaynağı değiştir]
Her doğrusal harita yarıdoğrusaldır, böylece V.nin sabitlenmiş bir tabanı B dir.Şimdi herhangi yarıdoğrusal harita f verildi.sırasıyla bir alan özyapısı ise ile tanımı
f(B) ayrıca V,nin bir tabanıdır g aşağıdadır ve V nin basit bir taban değişikliği ve böylece doğrusal ve tersinirdir:
- kümesi V, içindeki her için
Böylece h Gal(K/k) altgrubu içindedir B tabanına göre sabitlenmiştir. Bu bölümleme B tabanına sabitlenmiş benzersizliktir.Ayrıca, GL(V) Gal(K/k)B nin hareketi tarafından normalizedir,böylece
Uygulamalar[değiştir | kaynağı değiştir]
İzdüşümsel geometri[değiştir | kaynağı değiştir]
gruplar GL(V) içinde tipik klasik grupların uzantısıdır.izdüşümsel geometrinin dikkate alındığında aşağıdaki haritalar türü haritalar dikkate alınarak önemi şöyledir. Theof nın uyarılmış hareketi olarak ilişkili vektör uzayı P(V) nin Şablon:Visible anchorun verisi, izdüşümsel doğrusal grup uzantısı, PGL(V) ile ifade edilir.
Bir V, vektor uzayının izdüşümsel geometrisi PG(V), ifadesi Vnin tüm altuzayının kafesidir.Tipik yarıdoğrusal harita doğrusal bir harita olmamasına rağmen, bu her yarıdoğrusal haritayı takip eder. bir sıra-korunarak haritası uyarılır.Böylece, her yarıdoğrusal harita bir izdüşümsellikiği uyarır. Bu gözlemin tersi(izdüşümsel hattı hariç) is the izdüşümsel geometrinin temel teoremidir. Bunlar bir vektör alanının izdüşümsel geometri özyapılarını tanımlar olduğundan böylece yarıdoğrusal haritalar kullanışlıdır
Mathieu grubu[değiştir | kaynağı değiştir]
Mathieu grubu M24 yapısı için PΓL(3,4) grubu kullanılabilir,sporadik basit grupların tekidir; PΓL(3,4) M24 nin bir maksimal altgrubudur, ve burada tam Mathieu grubuna uzanan birçok vardır.
Kaynakça[değiştir | kaynağı değiştir]
- Gruenberg, K. W. and Weir, A.J. Linear Geometry 2nd Ed. (English) Graduate Texts in Mathematics. 49. New York – Heidelberg – Berlin: Springer-Verlag. X, 198 pp. (1977).
- Bray, John N.; Holt, Derek F.; Roney-Dougal, Colva M. (2009), "Certain classical groups are not well-defined", Journal of Group Theory 12 (2): 171–180, ISSN 1433-5883, Şablon:MathSciNet