قضیه صفرهای هیلبرت

قضیه صفرهای هیلبرت  (در آلمانی Nullstellensatz به معنای قضیه-مکان-صفر است) قضیه ای است که رابطه بنیادینی بین هندسه و جبر برقرار می کند. این رابطه پایه ای برای هندسه جبری بنا می نهد. این قضیه مجموعه جبری را به ایده آل هایی در حلقه چند جمله ای های روی میدان های بسته جبری مرتبط می سازد. این رابطه توسط دیوید هیلبرت کشف شد و اولین کسی بود که آن را اثبات کرده و قضایای متعدد و مرتبط دیگری نیز به اسم او نام گذاری شده است (مثل قضیه پایه هیلبرت).

 فرمول‌بندی 
فرض کنید  یک میدان باشد (مثل اعداد گویا) و  یک توسیع بسته جبری از آن باشد (مثل اعداد مختلط). حلقه چندجمله‌ای  را در نظر گرفته و فرض کنید  ایده آلی از این حلقه باشد. مجموعه جبری  که توسط این ایده آل تعریف می شود شامل تمام n-تایی هایی چون  در  باشد چنان که برای تمام  در  داشته باشیم . حال، قضیه صفرهای هیلبرت بیان می دارد که اگر  چندجمله ای دلخواهی در  باشد که روی مجموعه جبری  ناپدید می شود، یعنی برای تمام  در  داریم ، آنگاه عدد طبیعی چون  وجود دارد به طوری که  در  است.

یک نتیجه مستقیم از این قضیه، نولستلنساتز ضعیف یا قضیه صفرهای ضعیف هیلبرت است: ایده آل  شامل 1 است اگر و تنها اگر چندجمله ای های درون  هیچ صفر مشترکی درون  نداشته باشند. می توان این قضیه ضعیف را به این صورت نیز فرموله کرد: اگر  ایده آل محضی در  باشد، آنگاه  نمی تواند تهی باشد، یعنی در هر توسیع جبری بسته ای از ، صفر مشترکی برای تمام چندجمله ای های درون این ایده آل وجود دارد. علت نامگذاری این قضیه به "ضعیف" این است که می توان آن را به سادگی با استفاده از حقه ی رابینوویچ  اثبات کرد. فرض در نظر گرفتن صفر های مشترک در یک میدان بسته جبری در اینجا ضروری است؛ به عنوان مثال، عناصر ایده آل محض  در ، صفر مشترکی در  ندارند. 

به کمک نمادگذاری رایج هندسه جبری، قضیه صفرهای هیلبرت را می توان برای هر ایده آل : به این صورت فرموله کرد:



دراینجا،  نشاندهنده رادیکال  بوده و  ایده آل تمام چندجمله ای هایی است که روی مجموعه  ناپدید می شوند (یعنی صفر می شوند).

بدین طریق، ما به تناظر حافظ-ترتیبی بین مجموعه های جبری در  و ایده آل های رادیکال درون  می رسیم. در حقیقت، به طور کلی تر می توان الصاق گالوا بین زیرمجموعه های فضا و زیرمجموعه های جبری را مشاهده نمود که در این ارتباط "بستار زاریسکی" و "رادیکال ایده آل تولید شده" عملگرهای بسته هستند (یعنی خروجی این عملیات در همان مجموعه قرار می گیرد). 

به عنوان مثالی خاص، نقطه  را فرض کنید. آنگاه . به طور کلی تر:



برعکس، هر ایده آل ماکسیمال از حلقه چندجمله ای  (توجه کنید که  بسته جبری است) برای اعضایی چون  به شکل  است.

به عنوان مثالی دیگر، یک زیرمجموعه جبری چون  در تحویل ناپذیر است (در توپولوژی زاریسکی) اگر و تنها اگر  ایده آلی اول باشد.

 منابع 

J. M. Almira,  Nullstellensatz revisited, Rend. Sem. Mat. Univ. Pol. Torino - Vol. 65 (3) (2007) 365-369 
M. Atiyah, I.G. Macdonald, Introduction to Commutative Algebra, Addison–Wesley, 1994. 

 David Eisenbud, Commutative Algebra With a View Toward Algebraic Geometry, New York : Springer-Verlag, 1999.
Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157



رده:چندجمله‌ای‌ها
رده:قضایای هندسه جبری