Yarıdoğrusal dönüşüm

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

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 ;

T\colon V \to Wfonksiyonu şu olur:

  • Ayrıca vektör ile ilgili olarak doğrusal: T(v+v') = T(v)+T(v')
  • Skalar çarpımına göre yarıdoğrusal: , K'nın skalar \lambda özyapısının altında T(\lambda v) = \lambda^\theta T(v), 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 \operatorname{\Gamma L}(V), 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.

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 q=p^i, yerine sonlu alan ise k \mathbf{Z}/p\mathbf{Z}. dır

Knın verilen bir özyapısı \theta , bir fonksiyon f\colon V \to W V ve W arasındaki K vektör uzayı \theta-yarıdoğrusaldır, veya basitçe yarıdoğrusal, eğer tüm V içindeki x,y için ve l in K içindeki aşağıdadır:

  1. f(x+y)=f(x)+f(y),
  2. f(lx)=l^\theta f(x),

burada \theta. altında l'nın görüntüsü l^\theta olarak adlandırılır

Unutmadan bir özyapı alanı f için \theta ya katkılı olmalı , örneğin, \theta sabit bir asal alan olmalı

n^\theta f(x)=f(nx)=f(x+\dots +x)=nf(x)

Ayrıca

(l_1+l_2)^\theta f(x)=f((l_1+l_2)x)=f(l_1 x)+f(l_2 x)=(l_1^\theta+l_2^\theta)f(x)

böylece (l_1+l_2)^\theta=l_1^\theta+l_2^\theta. sonuç olarak,

(l_1 l_2)^\theta f(x)=f(l_1 l_2 x)=l_1^\theta f(l_2x)=l_1^\theta l_2^\theta f(x)

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 \theta-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 K=\mathbf{C}, V=\mathbf{C}^n, ile standart tabanı e_1,\ldots, e_n. dır f\colon V \to V haritasının tanımı ile
f\left(\sum_{i=1}^n z_i e_i \right) = \sum_{i=1}^n \bar z_i e_i
f yarıdoğrusal (karmaşık bir birleştirme alanı ile ilgili olarak özyapı) ama doğrusal değildir.
  • Diyelimki K=GF(q)q=p^i, yerinin Galois alanı p karakteristiktir. Diyelimki l^\theta = l^p. Freshman'ın rüyası olarak bilinen bir özyapı alanıdır.f\colon V \to W her doğrusal haritaya K üzerinde V ve W vektör uzayı arasında bir \theta-yarıdoğrusal haritayı kurabiliriz
\widetilde{f} \left( \sum_{i=1}^n l_i e_i\right) := f \left( \sum_{i=1}^n l_i^\theta e_i \right)

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 \operatorname{\Gamma L}(V).

K, üzerinde verilen bir V, vektör uzayı ve K,nın asal altalanı k ise \operatorname{\Gamma L}(V) yarıdirekt çarpımına ayrışır

\operatorname{\Gamma L}(V) = \operatorname{GL}(V) \rtimes \operatorname{Gal}(K/k)

burada Gal(K/k) 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,. \operatorname{\Gamma L}(V) 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:

\sum_{b\in B} l_b b \mapsto \sum_{b \in B} l_b^\sigma b

Herhangi \sigma \in \operatorname{Gal}(K/k). için. Bize bu Gal(K/k)B alt grubunu ifade edecektir.Ayrıca gördüğümüz \operatorname{\Gamma L}(V) 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 \operatorname{GL}(V) \leq \operatorname{\Gamma L}(V). V.nin sabitlenmiş bir tabanı B dir.Şimdi herhangi yarıdoğrusal harita f verildi.sırasıyla \sigma \in \operatorname{Gal}(K/k), bir alan özyapısı ise g\colon V \to V ile tanımı

g \left(\sum_{b \in B} l_b b\right)
:= \sum_{b \in B}f \left(l_b^{\sigma^{-1}} b\right)
= \sum_{b \in B} l_b f (b)

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: g \in \operatorname{GL}(V).

h:=f g^{-1}. kümesi V, içindeki her v=\sum_{b \in B} l_b b için
hv=fg^{-1}v=\sum_{b \in B} l_b^\sigma b

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 \operatorname{\Gamma L}(V) = \operatorname{GL}(V) \rtimes \operatorname{Gal}(K/k).

Uygulamalar[değiştir | kaynağı değiştir]

İzdüşümsel geometri[değiştir | kaynağı değiştir]

\operatorname{\Gamma L}(V) 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 \operatorname{\Gamma L}(V) nın uyarılmış hareketi olarak ilişkili vektör uzayı P(V) nin Şablon:Visible anchorun verisi, \operatorname{P\Gamma L}(V), 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 f\colon V \to W yarıdoğrusal haritayı takip eder. bir sıra-korunarak f\colon PG(V) \to PG(W). 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]

Ana madde: Mathieu group

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 

Şablon:PlanetMath attribution