Polynomring

En polynomring är inom matematik en ring konstruerad från en annan ring som kan ses som mängden av alla polynom i ett fixt antal variabler med koefficienter i den ursprungliga ringen.

Polynomringar i en variabel

Ett polynom i en variabel x med koefficienter i en ring R är ett uttryck på formen:

$p=a_n{x}^n+a_{n-1}{x}^{n-1}+...+a_2{x}^2+a_{1}x+a_0=\sum _{k=0}^n{a}_k{x}^k$

där $a_n,a_{n-1},...,a_1,a_0$ är element i R. Med graden av p avses det största k sådant att $x^k$ har en nollskild koefficient.

Polynomringen över R, betecknad $R[x]$ mängden av alla polynom med koefficienter i R. $R[x]$ är då en ring med operatorerna addition och multiplikation definierade enligt:

$\left(\sum _{k=0}^n{a}_k{x}^k\right)+\left(\sum _{k=0}^n{b}_k{x}^k\right)=\sum _{k=0}^n(a_k+b_k)x^k$

$\left(\sum _{i=0}^n{a}_i{x}^i\right)\left(\sum _{j=0}^m{b}_j{x}^j\right)=\sum _{k=0}^{m+n}\left(\sum _{i+j=k}{a}_i{b}_j\right)x^k$

Egenskaper

• Om R är en kommutativ ring är $R[x]$ en kommutativ ring.
• Om R är ett integritetsområde är $R[x]$ ett integritetsområde.
• Om K är en kropp är $K[x]$ en principalidealdomän.

Polynomdivision

Om d är ett element i $R[x]$ vars ledande koefficient är en enhet i R (ett inverterbart element) så finns för alla p i $R[x]$ unika element k och r i $R[x]$ sådana att k:s grad är strikt mindre än r:s grad och

$p=kd+r.$

Speciellt, om K är en kropp gäller ovan för alla element d i $K[x]$.

Polynomringar i flera variabler

Ett polynom i flera variabler $x_1,...,x_n$ med koefficienter i en ring R definieras analogt med polynom i en variabel, men notationen är omständligare. Vanligtvis definieras ett multiindex $\alpha =({\alpha }_1,...,{\alpha }_n)$ som är en n-tippel av heltal ${\alpha }_i$ och man skriver:

$x^{\alpha }=\prod _{k=1}^n{x}_k^{{\alpha }_k}=x_1^{{\alpha }_1}\dots x_n^{{\alpha }_n}$

och produkten $x^{\alpha }$ kallas för ett monom av multigrad $\alpha$. Ett polynom över R definieras då som en linjärkombination av monom med koefficienter i R:

$p=\sum _{\alpha }{a}_{\alpha }{x}^{\alpha }.$

Med graden av ett monom $x^{\alpha }$ avses:

$|\alpha |=\sum _{k=1}^n{\alpha }_k.$

En polynomring i n variabler över R, $R[x_1,...,x_n$ är alla polynom med n variabler, dessa kan konstrueras genom att skapa polynomringar av polynomringar, exempelvis är $R[x_1,x_2]$ isomorf med $R[R[x]]$.

Egenskaper

Låt $S=R[x_1,...,x_n]$ där R är en ring. Då gäller:

• Om R är kommutativ är S kommutativ.
• Om R är ett integritetsområde är S ett integritetsområde.
• Om R är en kropp är alla ideal i S ändligt genererade (Hilberts bassats).

Generaliseringar

Polynomringar kan generaliseras på flera olika sätt.

Generaliserade exponenter

I en polynomring är exponenterna på variablerna heltal, men den avgörande egenskapen för att strukturen ska bli en ring är sambandet

$x^m{x}^n=x^{m+n}.$

Dvs, att man kan lägga ihop exponenter, en operation som är associativ. En struktur med en binär operator som är associativ kallas för en monoid. Mängden av funktioner med nollskilda värden för endast ändligt många element från en monoid M till en ring R bildar en så kallad monoidring, $R[N]$. En polynomring i n variabler över R är en monoidring $R[{\mathbb{N}}^n]$, där ${\mathbb{N}}^n$ är monoiden n-tipplar av naturliga tal med addition som binär operator. Man kan utgå från definitionen av en monoidring och konstruera begreppet polynomring som ett specialfall. Andra val av monoider än ${\mathbb{N}}^n$ ger andra typer av monoidringar.

Formella potensserier

Istället för polynom kan man använda formella potensserier som sina ringelement, då man kan ha oändligt många nollskilda koefficienter. Addition sker komponentvis och multiplikation genom Cauchyprodukten.

Källor

• Mall:Bokref
• Mall:Bokref