hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu en it en hu en hu hu hu hu hu hu hu hu hu hu hu hu hu hu hu fr hu hu hu hu hu hu hu hu hu hu
„Formális hatványsor” változatai közötti eltérés – Wikipédia
A lap 2012. április 6., 16:26-kori változata
1 736 bájt hozzáadva ,  10 évvel ezelőtt
Szalakóta (vitalap | szerkesztései)
A lap 2012. április 6., 16:26-kori változata (szerkesztés) (visszavonás)
Szalakóta (vitalap | szerkesztései)
A   K[[x]] := \left( R^{\mathbb{N}} , \oplus , \otimes \right)   algebrai struktúra szintén gyűrű. Ezt nevezzük az   R   feletti '''formális hatványsor'''ok gyűrűjének.
Ha egy   \left( s_{i} \right) \in R^{\mathbb{N}}   sorozatnak van olyan indexe (ti. olyan indexű tagja), melytől kezdve nulla (az összes nála nagyobb indexú tagja nulla), akkor az ilyen indexet (gyenge v. tágabb értelemben vett) ''eltűnési index''nek nevezünk. A sorozat eltűnési indexeinek halmazát   E \left( \left( s_{i} \right) \right) = \left\{ j \in \mathbb{N} \ | \forall k \in \mathbb{N} : j \le k \Rightarrow s_{k} =0 \right\} \subseteq \mathbb{N}   -vel jelöljük (definiálható a szigorú eltűnési index is, ha ≤ helyett   -t írunk a definícióban). Nincs minden sorozatnak eltűnési indexe; azaz e halmaz üres is lehet bizonyos sorozatokra; ha azonban nem üres, akkor a sorozatot '''polinom'''nak nevezzük.
Pontosan egyetlen olyan sorozat van, melynek minden indexe eltűnési index, mégpedig az a sorozat, melynek minden tagja 0. E sorozat a '''nullpolinom'''.
A [[formális hatványsor]]okat is végtelen összegként definiálják, de nem törődnek a konvergenciával, ami amúgy sem biztos, hogy értelmezve van, például [[véges test]]ek fölött.
*A véges testek fölötti egy határozatlanú formális hatványsorok [[gyűrű (matematika)|gyűrű]]t alkotnak, aminek részgyűrűje a polinomgyűrű
*Gyűrű feletti [[polinomgyűrű]], és az ugyanazon gyűrű fölött vett formális hatványsorok gyűrűje egyszerre [[kommutatív]], [[egységelem]]es vagy [[nullosztómentes]], ha az alapgyűrű is az
*Ha '''s''' egy egységelemes gyűrű fölötti hatványsor, és  k \in \N _0 , akkor  (x^k\mathbf s)_i=0 , ha ''i'' > k, és  (x^k\mathbf s)_i= \mathbf s_{i-k} , ha  k \leq i \in \N _0
*Az egy határozatlanú formális hatványsorok gyűrűje egyben [[modulus]] is az alapgyűrű fölött. Ez a modulus pontosan akkor [[unitér modulus|unitér]], ha az alapgyűrű egységelemes. Pontosan akkor [[vektortér]], ha az alapgyűrű ferdetest, és pontosan akkor [[algebra]], ha az alapgyűrű test. Ekkor rangja végtelen. Hasonlóak érvényesek a polinomgyűrűre is
*Hatványsor akkor és csak akkor egység, ha konstans tagja egység az alapgyűrűben. Speciálisan, [[ferdetest]] feletti formális hatványsor pontosan akkor egység, ha konstans tagja nem nulla
*Hatványsor akkor és csak akkor [[felbonthatatlan]], ha konstans tagja az alapgyűrűben felbonthatatlan
*Ha az alapgyűrű [[test]], akkor a formális hatványsorok gyűrűje euklideszi
*Test feletti hatványsorok gyűrűjének elemei  x^u \mathbf s  alakúak, ahol ''u'' egész. Ez a test az alaptest fölötti [[Laurent-sor]]ok testje
Gonda János: Véges testek [compalg.inf.elte.hu/material/DOWNLOAD/vt.pdf]
A lap eredeti címe: „https://hu.wikipedia.org/wiki/Speciális:MobileDiff/11503741”