میدان شکافنده

در جبر مجرد، میدان شکافنده الگو:به انگلیسی برای یک چندجمله‌ای با ضرایب موجود در میدان، کوچکترین توسیع میدانی برای آن میدان است که در آن چندجمله‌ای به عوامل خطی جدا یا تجزیه می‌شود.

میدان شکافنده برای یک چندجمله‌ای الگو:به انگلیسیدر میدان F میدان توسیع یافته الگو:به انگلیسی از F است که شامل ریشه‌هایالگو:به انگلیسی چندجمله‌ای نیز هست، درحقیقت کوچک‌ترین میدانی است که شامل میدان F و تمام ریشه‌های چندجمله‌ای مورد نظر می‌باشد. به عبارت دیگر چندجمله‌ای موردنظر در این میدان به عبارت‌های درجه یک تجزیه می‌شود.

تعریف

یک میدان شکافنده برای یک چندجمله‌ای p(X) روی یک میدان K برابر توسیع میدان L برای K است که در آن p به عوامل خطی عامل‌بندی می‌شود

$p(X)=c\prod _{i=1}^{\mathrm{deg}(p)}(X-a_i)$

که در آن $c\in K$ است و برای هر $i$ داریم $(X-a_i)\in L[X]$ که a_iها الزاماً متمایز نیستند به این حالت که ریشه‌های a_i، میدان L را روی K تولید می‌کند. توسیع L یک گسترش با درجه کمینه روی K است که در آن p قابل تجزیه است. می‌توان نشان داد که میدان‌های شکافنده وجود دارد و نیز این میدان به دلیل یکریختی یکتا است. میزان آزادی در آن یکریختی را گروه گالوا برای p می‌نامیم (اگر فرض کنیم که قابل‌تجزیه است).

ویژگی‌ها

یک گسترش L که یک میدان شکافنده برای یک مجموعه از چندجمله‌ای‌های p(X) روی K است یک توسیع نرمال برای K نامیده می‌شود.

اگر به ما یک میدان بسته جبری A داده شود که شامل K باشد، یک میدان شکافنده یکتا L از p بین K و A موجود است، که توسط ریشه‌های p تولید شده‌است. اگر K یک زیرمیدان از اعداد مختلط باشد، وجود این میدان شکافنده بدهی است. از جهت دیگر، وجود بستارهای جبری توسط «انتقال به حد»، از میدان شکافنده اثبات می‌شود، که نیاز به یک اثبات مستقل دارد تا از استدلال دوری جلوگیری شود.

اگر به ما یک توسیع قابل‌تفکیک K′ از K داده شود، بستار گالوا L از K′ نوعی میدان شکافنده است، و بنابراین یک توسیع گالوا از K است که شامل K′ بوده که به صورت بدیهی کمینه است. چنین بستار گلویسی باید شامل یک میدان شکافنده برای همه چندجمله‌ای‌های p روی K باشد که چندجمله‌ای‌های کمینه روی K از عناصر a از K′ است.

ساخت میدان‌های شکافنده

انگیزه

از زمان یونان باستان، یافتن ریشه‌های چندجمله‌ای‌ها یک مسئله مهم بوده‌است. با این حال، بعضی از چندجمله‌ای‌ها (مثل الگو:Math روی الگو:Math، یعنی اعداد حقیقی)، هیچ ریشه‌ای ندارد. با ساخت میدان شکافنده برای چنین چندجمله‌ای می‌توان ریشه‌های چندجمله‌ای را در میدان جدید یافت.

ساخت

فرض کنید F یک میدان باشد، و p(X) یک چندجمله‌ای در حلقه چندجمله‌ای F[X] از درجه n باشد. فرایند کلی برای ساخت K، یعنی میدان شکافنده p(X) روی F، آن است که یک زنجیره از میدان‌ها را به صورت $F=K_0\subset K_1\subset \cdots \subset K_{r-1}\subset K_r=K$ بسازیم، به این صورت که K_i یک گسترش برای K_i−1 باشد که شامل یک ریشه جدید از p(X) است. به دلیل آنکه p(X) حداکثر n ریشه دارد، این ساخت حداکثر نیاز به n گسترش دارد. گام‌های ساخت K_i به این صورت است:

• p(X) را روی 'K_i به عوامل غیرقابل‌تجزیه $f_1(X)f_2(X)\cdots f_k(X)$ عامل‌بندی کنید.
• یک عامل غیرقابل‌تجزیه غیرخطی f(X) = f_i(X) را انتخاب کنید.
• توسیع میدانی K_i+1 از K_i را به صورت حلقه خارج‌قسمتی K_i+1 = K_i[X] / (f(X)) بسازید که در آن (f(X)) به ایده‌آلی در K_i[X] اشاره دارد که توسط f(X) تولید شده‌است.
• این فرایند را برای K_i+1 تکرار کنید تا زمانیکه p(X) کاملاً عامل‌بندی شود.

عامل غیرقابل‌تجزیه f_i(X) که در ساخت خارج‌قسمت استفاده شده‌است، می‌تواند به صورت اختیاری انتخاب شود. اگرچه انتخاب‌های متفاوت از عوامل ممکن است منجر به ترتیب‌های زیرمیدان متفاوتی شود، اما میدان‌های شکافنده نتیجه شده یکریخت هستند.

به این دلیل که f(X) غیرقابل‌تجزیه است، (f(X)) یک ایده‌آل بیشینه برای K_i[X] است و K_i[X]/(f(X)) در واقع یک میدان است. بعلاوه، اگر فرض کنیم که $\pi :K_i[X]\to K_i[X]/(f(X))$ یک تصویر طبیعی از حلقه به خارج‌قسمت آن باشد، آنوقت

$f(\pi (X))=\pi (f(X))=f(X)modf(X)=0$

از این‌رو π(X) یک ریشه برای f(X) و p(X) است.

درجه یک گسترش منفرد $[K_{i+1}:K_i]$ برابر درجه عامل غیرقابل‌تجزیه f(X) است. درجه گسترش [K : F] توسط رابطه $[K_r:K_{r-1}]\cdots [K_2:K_1][K_1:F]$ داده می‌شود و حداکثر برابر n! است.

میدان K_i[X]/(f(X))

همان‌طور که در بالا ذکر شد، حلقه خارج‌قسمت K_i+1 = K_i[X]/(f(X)) موقعی یک میدان است که f(X) غیرقابل‌تجزیه باشد. عناصر آن به این حالت است

$c_{n-1}{\alpha }^{n-1}+c_{n-2}{\alpha }^{n-2}+\cdots +c_1\alpha +c_0$

که در آن c_j در K_i هستند و α = π(X) است. (اگر K_i+1 را به صورت یک فضای برداری روی K_i درنظر بگیریم، آنوقت توان‌های α^j برای الگو:Nowrap یک پایه می‌سازد.)

عناصر K_i+1 را می‌توان چندجمله‌ای‌هایی در α از درجه کمتر از n درنظر گرفت. جمع در K_i+1 توسط قواعدی برای جمع چندجمله‌ای و ضرب توسط ضرب چندجمله‌ای در پیمانه f(X) به دست می‌آید؛ یعنی، برای g(α) و h(α) در K_i+1 حاصلصرب برابر g(α)h(α) = r(α) است که در آن r(X) برابر باقیمانده g(X)h(X) تقسیم بر f(X) در K_i[X] است.

باقیمانده r(X) توسط تقسیم طولانی چندجمله‌ای‌ها قابل محاسبه است، با این حال، یک قاعده کاهشی مستقیم وجود دارد که می‌توان از آن برای محاسبه r(α) = g(α)h(α) به صورت مستقیم استفاده کرد. اول فرض کنید

$f(X)=X^n+b_{n-1}{X}^{n-1}+\cdots +b_{1}X+b_0.$

این چندجمله‌ای روی یک میدان است از این رو می‌توان بدون فقدان عمومیت، f(X) را تکین درنظر گرفت. اکنون α یک ریشه برای f(X) است، بنابراین

${\alpha }^n=-(b_{n-1}{\alpha }^{n-1}+\cdots +b_1\alpha +b_0).$

اگر حاصلضرب g(α)h(α) یک جمله α^m با الگو:Nowrap داشته باشد، آن را به صورت زیر می‌توان کاهش داد:

${\alpha }^n{\alpha }^{m-n}=-(b_{n-1}{\alpha }^{n-1}+\cdots +b_1\alpha +b_0){\alpha }^{m-n}=-(b_{n-1}{\alpha }^{m-1}+\cdots +b_1{\alpha }^{m-n+1}+b_0{\alpha }^{m-n})$.

به عنوان یک مثال از قاعده کاهشی، فرض کنید K_i = Q[X] برابر حلقه چندجمله‌ای‌ها با ضرایب گویا باشد، و فرض کنید f(X) = X⁷ − ۲ باشد. فرض کنید $g(\alpha )={\alpha }^5+{\alpha }^2$ و h(α) = α³ +1 دو عنصر Q[X]/(X⁷ − ۲) باشد. قاعده کاهشی که توسط f(X) داده می‌شود برابر است با α⁷ = ۲ بنابراین

$g(\alpha )h(\alpha )=({\alpha }^5+{\alpha }^2)({\alpha }^3+1)={\alpha }^8+2{\alpha }^5+{\alpha }^2=\left({\alpha }^7\right)\alpha +2{\alpha }^5+{\alpha }^2=2{\alpha }^5+{\alpha }^2+2\alpha .$

مثال‌ها

اعداد مختلط

حلقه چندجمله‌ای R[x] و چندجمله‌ای غیرقابل‌کاهش الگو:Nowrap را درنظر بگیرید. حلقه خارج‌قسمتی الگو:Nowrap توسط هم‌نهشتی الگو:Nowrap داده می‌شود. درنتیجه، عناصر کلاس‌های هم‌ارزی الگو:Nowrap دارای حالت الگو:Nowrap هستند، که در آن a و b به R تعلق دارند. برای فهم مطلب، توجه کنید که به این دلیل که الگو:Nowrap در نتیجه الگو:Nowrap, الگو:Nowrap، الگو:Nowrap، و غیره. و از این رو، برای مثال الگو:Nowrap است.

عملیات‌های جمع و ضرب به این شیوه به دست می‌آید که اول از جمع و ضرب معمولی استفاده می‌کنیم، و سپس توسط هم‌نهشتی به پیمانه الگو:Nowrap آن را کاهش می‌دهیم، یعنی به کمک این واقعیت که الگو:Nowrap، الگو:Nowrap, الگو:Nowrap، الگو:Nowrap و غیره؛ بنابراین:

$(a_1+b_{1}x)+(a_2+b_{2}x)=(a_1+a_2)+(b_1+b_2)x,$

$(a_1+b_{1}x)(a_2+b_{2}x)=a_1{a}_2+(a_1{b}_2+b_1{a}_2)x+(b_1{b}_2)x^2\equiv (a_1{a}_2-b_1{b}_2)+(a_1{b}_2+b_1{a}_2)x.$

اگر ما الگو:Nowrap را با (a,b) تعیین نماییم، آنوقت می‌توان فهمید که جمع و ضرب توسط این روابط به دست می‌آید

$(a_1,b_1)+(a_2,b_2)=(a_1+a_2,b_1+b_2),$

$(a_1,b_1)\cdot (a_2,b_2)=(a_1{a}_2-b_1{b}_2,a_1{b}_2+b_1{a}_2).$

می‌توان ادعا کرد که، به عنوان یک میدان، خارج‌قسمت الگو:Nowrap با اعداد مختلط C یکریخت است. یک عدد مختلط معمول، حالت الگو:Nowrap را دارد که در آن a و b اعداد حقیقی هستند و الگو:Nowrap است. جمع و ضرب توسط زیر به دست می‌آید

$(a_1+b_{1}i)+(a_2+b_{2}i)=(a_1+a_2)+i(b_1+b_2),$

$(a_1+b_{1}i)\cdot (a_2+b_{2}i)=(a_1{a}_2-b_1{b}_2)+i(a_1{b}_2+a_2{b}_1).$

اگر الگو:Nowrap را با (a,b) تعیین کنیم، آنوقت می‌توان فهمید که جمع و ضرب به صورت زیر به دست می‌آید

$(a_1,b_1)+(a_2,b_2)=(a_1+a_2,b_1+b_2),$

$(a_1,b_1)\cdot (a_2,b_2)=(a_1{a}_2-b_1{b}_2,a_1{b}_2+b_1{a}_2).$

محاسبات قبل نشان می‌دهد که جمع و ضرب در الگو:Nowrap و C به یک روش رفتار می‌کنند. در واقع، می‌توان دید که تناظر بین الگو:Nowrap و C که توسط الگو:Nowrap داده می‌شود، یک همریختی در رابطه با جمع و ضرب است. بدیهی است که تناظر الگو:Nowrap هم یک‌به‌یک و هم پوشا است؛ یعنی الگو:Nowrap یک همریختی دو سویه است، که یعنی یک یکریختی است. این منجر به این می‌شود که، همان‌طور که ادعا کردیم: الگو:Nowrap

در ۱۸۴۷ کوشی از این دیدگاه برای تعریف اعداد مختلط استفاده کرد.

مثال مکعبی

فرض کنید الگو:Mvar میدان اعداد گویا الگو:Math و الگو:Math باشد. هر ریشه الگو:Mvar برابر الگو:Math ضربدر یک ریشه مکعبی واحد است؛ بنابراین، اگر ریشه مکعبی واحد را توسط این نشان دهیم

${\omega }_1=1,$

${\omega }_2=-\frac{1}{2}+\frac{\sqrt{3}}{2}i,$

${\omega }_3=-\frac{1}{2}-\frac{\sqrt{3}}{2}i.$

هر میدان شامل دو ریشه متمایز از الگو:Mvar، شامل خارج‌قسمت بین دو ریشه مکعبی متمایز از واحد هم خواهد بود. این خارج‌قسمت یک «ریشه مکعبی اساسی واحد» (یا ω₂ یا ${\omega }_3=1/{\omega }_2$) است. این منجر به آن می‌شود که میدان شکافنده الگو:Mvar از الگو:Mvar شامل ω₂ شود، همچنین شامل ریشه مکعبی حقیقی از ۲ باشد؛ به صورت برعکس، هر توسیع از الگو:Math که شامل این عناصر باشد، شامل همه ریشه‌های الگو:Mvar خواهد بود؛ بنابراین

$L=𝐐(\sqrt[3]{2},{\omega }_2)=\{a+b\sqrt[3]{2}+c{\sqrt[3]{2}}^2+d{\omega }_2+e\sqrt[3]{2}{\omega }_2+f{\sqrt[3]{2}}^2{\omega }_2|a,b,c,d,e,f\in 𝐐\}$

توجه کنید که برای اعمال طرح «فرایند ساخت» بخش قبل، به این مثال، باید با $K_0=𝐐$ شروع کنیم و میدان $K_1=𝐐[X]/(X^3-2)$ را بسازیم. این میدان، یک میدان شکافنده نیست، بلکه شامل یک ریشه است. با این حال، چندجمله‌ای $Y^3-2$ روی $K_1$ قابل کاهش نیست، و در واقع:

$Y^3-2=(Y-X)(Y^2+XY+X^2).$

توجه کنید که $X$ یک نامعین نیست، و در واقع یک عنصر از $K_1$ است. اکنون، با ادامه فرایند، به $K_2=K_1[Y]/(Y^2+XY+X^2)$ می‌رسیم، که در واقع یک میدان شکافنده است و توسط $𝐐$-مبنا $\{1,X,X^2,Y,XY,X^{2}Y\}$ پوشش داده می‌شود. توجه کنید که اگر این را با فرمول $L$ بالا مقایسه کنیم، می‌توان یافت که $X=\sqrt[3]{2}$ و $Y={\omega }_2$ است.