Privacy Policy Cookie Policy Terms and Conditions Hilbertscher Nullstellensatz - Wikipedia

Hilbertscher Nullstellensatz

aus Wikipedia, der freien Enzyklopädie

Der Hilbertsche Nullstellensatz stellt in der Mathematik in der klassischen algebraischen Geometrie die zentrale Verbindung zwischen Idealen und affinen algebraischen Varietäten her. Er wurde von David Hilbert bewiesen. Es gibt verschiedene äquivalente Varianten, den Nullstellensatz zu formulieren:

f(x_1,\ldots,x_n)=0 für alle f\in\mathfrak a.
x ist also eine gemeinsame Nullstelle aller Elemente von \mathfrak a.
  • Ist K ein algebraisch abgeschlossener Körper und \mathfrak{a} ein Ideal in K[X_1, \dots, X_n], dann gilt:
\sqrt{\mathfrak{a}} = I(V(\mathfrak{a}))
Hierbei bedeutet
  • \sqrt{\mathfrak{a}} das Radikal von \mathfrak{a},
  • V(\mathfrak a)\subseteq K^n die Menge aller gemeinsamen Nullstellen von \mathfrak{a} (wie oben), und
  • I(X) das Ideal aller Polynome, die auf X\subseteq K^n verschwinden.
Die Inklusion \sqrt{\mathfrak{a}} \subset I(V(\mathfrak{a})) ist dabei trivial, denn jede Nullstelle von f(T)r ist auch Nullstelle von f(T).
Der Hilbertsche Nullstellensatz liefert also eine bijektive Beziehung (Bijektion) zwischen affinen algebraischen Mengen und Radikalidealen. Dass dies nur für Radikalideale gelten kann, ergibt sich aus V(\sqrt{\mathfrak a})=V(\mathfrak a).
  • Es sei K ein Körper und L / K eine Körpererweiterung, die als K-Algebra endlich erzeugt ist. Dann ist [L:K] endlich; insbesondere ist die Erweiterung algebraisch.

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -