Frobeniuksen hajoaminen

Pidämme K - vektoriavaruutta E, jolla on äärellinen ulottuvuus, ja tämän avaruuden endomorfismia u . Frobenius hajoaminen on hajoaminen E osaksi suoraa summa ns syklinen aliavaruudet, siten, että vastaavat minimaalinen (tai ominaisuus ) polynomeja ja rajoitukset u tekijöistä ovat invariantti tekijöitä ja u . Frobeniuksen hajoaminen voidaan suorittaa millä tahansa kentällä : emme tässä olekaan, että K on algebrallisesti suljettu .

Johtava polynomi

Olkoon x vektorin E , joukko

on K [ X ]: n ideaali , jota ei ole laskettu 0: ksi ( Cayley-Hamilton-lauseen mukaan tunnusomainen polynomi on nollasta poikkeava polynomi, joka kuuluu tähän ihanteeseen); se on siis syntyy ainutlaatuinen yhtenäinen polynomi , jota kutsutaan johtavan polynomi on u on x , tai joskus paikallinen minimaalinen polynomi, u on x .

Syklinen alatila

Olkoon x vektorin E , joukko

on vektori aliavaruus on E vakaa mukaan u kutsutaan u syklisen aliavaruuden syntyy x , tai u -stabiili sulkeminen on x .

Tai meillä on, jos ja vain, jos . Siksi johtava polynomi on endomorfismin minimaalinen polynomi , jonka u indusoi alitilassa S x .

S x: n ulottuvuus on yhtä suuri kuin polynomin aste .

U -tuen vektorit

Tahansa vektori x ja E , johtavan polynomi jakaa minimaalinen polynomi on u . Sanomme, että x on u- maksimi kun . Frobeniuksen hajoaminen perustuu kahteen seuraavaan tulokseen (osoitettu Wikikorkeakoulussa ):

Induktiolla etenemme sitten Frobeniuksen hajoamiseen .

Frobeniuksen hajoaminen

On olemassa vektorien sekvenssit on E siten, että

Polynomit eivät riipu valinnasta vektorit , ne ovat muuttumattomia tekijöitä ja u . Minimaalinen polynomi on ja tunnusomainen polynomi on .

Kaksi endomorfismia ovat samanlaisia vain ja vain, jos niillä on samat muuttumattomat tekijät.

Vaihtoehtoisesti voimme nähdä Frobenius-hajoamislauseen invarianttitekijälauseen välittömänä seurauksena tekemällä vastaavuus -vektori-avaruuden ja - -moduulin välillä, jolla on ulkoisen tuotteen määrittelemä . Muuttumattomien tekijöiden lause on kuitenkin paljon vaikeampi osoittaa yleisesti kuin tässä kuvattu todiste, jossa käytetään lineaarisia algebratekniikoita.

U: n aiheuttamat endomorfismit ovat syklisiä endomorfismeja, joiden jäljellä on vain erityisten ominaisuuksien tutkiminen.

Syklinen endomorfismi

Sanotaan, että u on syklinen endomorphism jos on osa x on E siten, että S x = E .

Voimme luonnehtia syklinen endomorphisms monella tavalla: an endomorphism U on E on syklinen, jos ja vain jos:

Sovellukset

Viite

J. Fresnel, matriisien algebra , Hermann, 1997, § A 4.1, s. 139-141

Katso myös