Algebrinė atmaina

Šablonas:Šaltiniai Algebrinėje geometrijoje algebrinė atmaina – aibė taškų, kurios koordinatės tenkina tam tikrą polinomų lygčių sistemą.

Apibrėžimai

Afiniosios atmainos

Tegu $K$ būna algebriškai uždaras kūnas ir ${𝐀}^n$ – n-dimensinė afinioji erdvė virš $K$. Polinomus $F\in K[x_1,...,x_n]$ galime laikyti funkcijomis iš ${𝐀}^n$ su vertėmis iš $K$. Kiekvienam $S\subset K[x_1,...,x_n]$ galime apibrėžti ${𝐀}^n$ poaibį, kur visų polinomų vertės aibėje $S$ yra nulis:

$Z(S)=\{x\in {𝐀}^n\mid f(x)=0\mathrm{\forall }f\in S\}$

Toks aibės ${𝐀}^n$ poaibis $V$ yra vadinamas afiniąja algebrine aibe, jei $V=Z(S)$ kuriam nors $S$. Netuščia afinioji algebrinė aibė vadinama neredukuojama, jei ji negali būti išreikšta dviejų algebrinių poaibių sąjunga. Neredukuojamos algebrinės aibės yra vadinamos afiniosiomis algebrinėmis atmainomis arba tiesiog algebrinėmis atmainomis.

Afiniąjai atmainai galime apibrėžti naturalią topologiją, kurioje visos uždaros aibės yra algebrinės. Ši topologija vadinama Zariskio topologija.

Tegu $V\subset {𝐀}^n$ ir $I(V)$ būna polinomų nulių aibėje $V$ idealas:

$I(V)=\{f\in K[x_1,...,x_n]\mid f(x)=0\mathrm{\forall }x\in V\}$

Kiekvienai algebrinei aibei $V$ šio idealo polinomų faktoržiedas vadinamas koordinačių žiedu arba struktūriniu žiedu.

Projekcinės atmainos

Tegu ${𝐏}^n$ būna n-dimensinė projekcinė erdvė virš kūno $K$. Homogeninis polinomas $K[x_0,...,x_n]$ gali būti laikomas funkcija ${𝐏}^n$ su vertėmis iš $K$. Kiekvienam $S\subset {𝐏}^n$ analogiškai apibrėžiame:

$Z(S)=\{x\in {𝐏}^n\mid f(x)=0\mathrm{\forall }f\in S\}$

Aibės ${𝐏}^n$ poaibis $V$ vadinamas projekcine algebrine aibe, jei $V=Z(S)$ kuriam nors $S$.

Literatūra

• David Dummit; Richard Foote (2003). Abstract Algebra, third edition, Wiley. ISBN 0-471-43334-9.