Monik polinom - Monic polynomial

Bu maqola uchun qo'shimcha iqtiboslar kerak tekshirish. Iltimos yordam bering ushbu maqolani yaxshilang tomonidan ishonchli manbalarga iqtiboslarni qo'shish. Ma'lumot manbasi bo'lmagan material shubha ostiga olinishi va olib tashlanishi mumkin. Manbalarni toping: "Monik polinom"  – Yangiliklar  · gazetalar  · kitoblar  · olim  · JSTOR (2013 yil yanvar) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Yilda algebra, a monik polinom bitta o'zgaruvchan polinom (ya'ni, a bir o‘zgaruvchan polinom ) unda etakchi koeffitsient (eng yuqori darajadagi nolga teng bo'lmagan koeffitsient) 1 ga teng. Shuning uchun monik polinom shaklga ega

${ displaystyle x ^ {n} + c_ {n-1} x ^ {n-1} + cdots + c_ {2} x ^ {2} + c_ {1} x + c_ {0}}$

Bitta o'zgaruvchan polinomlar

Agar a polinom faqat bittasi bor noaniq (bir o‘zgaruvchan polinom ), keyin atamalar odatda eng yuqori darajadan eng past darajaga ("kamayish kuchlari") yoki eng past darajadan yuqori darajaga ("ko'tarilish kuchlari") yoziladi. Bir o'zgaruvchili polinom x daraja n keyin yuqorida ko'rsatilgan umumiy shaklni oladi, qaerda

v_n ≠ 0, v_n−1, ..., v₂, v₁ va v₀

doimiylar, polinomning koeffitsientlari.

Mana bu atama v_nxⁿ deyiladi etakchi atamava uning koeffitsienti v_n The etakchi koeffitsient; agar etakchi koeffitsient bo'lsa 1 ga teng, bir o'zgaruvchili polinom deyiladi monik.

Misollar

• Murakkab kvadratik polinomlar

Xususiyatlari

Ko'p marta yopiq

Barcha monik polinomlar to'plami (ma'lum (birlik) bo'yicha uzuk A va ma'lum bir o'zgaruvchi uchun x) ko'paytirilganda yopiladi, chunki ikkita monik ko'pburchakning etakchi hadlarining ko'paytmasi ularning ko'paytmasining etakchi a'zosi hisoblanadi. Shunday qilib, monik polinomlar multiplikativni hosil qiladi yarim guruh ning polinom halqasi A[x]. Aslida, beri doimiy polinom 1 monik, bu yarim guruh hatto a monoid.

Qisman buyurtma qilingan

Ning cheklanishi bo'linish barcha monik polinomlar to'plamiga (berilgan halqa ustida) munosabat a qisman buyurtma va shu bilan bu to'plamni a ga o'rnatadi poset. Sababi shundaki p(x) ajratadi q(x) va q(x) ajratadi p(x) ikkita monik polinomlar uchun p va q, keyin p va q teng bo'lishi kerak. Tegishli xususiyat, agar uzuk tarkibida bo'lsa, umuman polinomlar uchun to'g'ri kelmaydi qaytariladigan elementlar 1dan tashqari.

Polinom tenglamasining echimlari

Boshqa jihatlarga ko'ra monik polinomlarning xususiyatlari va ularga mos keladigan moniklar polinom tenglamalari hal qiluvchi omil koeffitsient halqasiga bog'liq A. Agar A a maydon, keyin har bir nol bo'lmagan polinom p to'liq bitta bog'liq monik polinom q; aslida, q bu p etakchi koeffitsienti bilan bo'linadi. Shunday qilib, har qanday ahamiyatsiz polinom tenglamasi p(x) = 0 ekvivalent monik tenglama bilan almashtirilishi mumkin q(x) = 0. Masalan, umumiy haqiqiy ikkinchi darajali tenglama

${ displaystyle ax ^ {2} + bx + c = 0}$ (qayerda ${ displaystyle a neq 0}$)

bilan almashtirilishi mumkin

${ displaystyle x ^ {2} + px + q = 0}$,

qo'yish orqalip = b/a vaq = v/a. Shunday qilib, tenglama

${ displaystyle 2x ^ {2} + 3x + 1 = 0}$

monik tenglamaga tengdir

${ displaystyle x ^ {2} + { frac {3} {2}} x + { frac {1} {2}} = 0.}$

Umumiy kvadratik eritma formulasi quyidagicha soddalashtirilgan shaklda bo'ladi:

${ displaystyle x = { frac {1} {2}} chap (-p pm { sqrt {p ^ {2} -4q}} o'ng).}$

Butunlik

Boshqa tomondan, agar koeffitsient halqasi maydon bo'lmasa, ko'proq muhim farqlar mavjud. Masalan, bilan monik polinom tenglamasi tamsayı koeffitsientlar boshqasiga ega bo'lishi mumkin emas oqilona echimlar butun sonli echimlarga qaraganda. Shunday qilib, tenglama

${ displaystyle 2x ^ {2} + 3x + 1 = 0}$

ehtimol biron bir oqilona ildizga ega bo'lishi mumkin, bu butun son emas (va tasodifan uning ildizlaridan biri -1/2); tenglamalar esa

${ displaystyle x ^ {2} + 5x + 6 = 0}$

va

${ displaystyle x ^ {2} + 7x + 8 = 0}$

faqat butun sonli echimlarga ega bo'lishi mumkin yoki mantiqsiz echimlar.

Butun koeffitsientli monik polinomning ildizlari deyiladi algebraik butun sonlar.

An bo'yicha monik polinom tenglamalariga echimlar ajralmas domen nazariyasida muhim ahamiyatga ega ajralmas kengaytmalar va yaxlit yopiq domenlar va shuning uchun algebraik sonlar nazariyasi. Umuman olganda, taxmin qiling A ajralmas domen, shuningdek ajralmas domenning pastki qismi B. Ichki to'plamni ko'rib chiqing C ning B, ulardan iborat B monik polinom tenglamalarini qondiradigan elementlar A:

${ displaystyle C: = {b in B: mavjud , p (x) in A [x] ,, { hbox {da monik va shunga o'xshash}} p (b) = 0 } ,.}$

To'plam C o'z ichiga oladi A, chunki har qanday narsa a ∈ A tenglamani qondiradi x − a = 0. Bundan tashqari, buni isbotlash mumkin C qo'shish va ko'paytirish ostida yopiladi. Shunday qilib, C ning subringidir B. Uzuk C deyiladi ajralmas yopilish ning A yilda B; yoki faqat ajralmas yopilish A, agar B bo'ladi kasr maydoni ning A; va elementlari C deb aytilgan ajralmas ustida A. Agar bu erda bo'lsa ${ displaystyle A = mathbb {Z}}$ (uzuk butun sonlar ) va ${ displaystyle B = mathbb {C}}$ (maydoni murakkab sonlar ), keyin C ning halqasi algebraik butun sonlar.

Irreduciblity

Agar p a asosiy raqam, monik soni kamaytirilmaydigan polinomlar daraja n ustidan cheklangan maydon ${ displaystyle GF (p)}$ bilan p elementlari tengdir marjonlarni hisoblash funktsiyasi ${ displaystyle N_ {p} (n)}$.^{[iqtibos kerak ]}

Agar monik bo'lish cheklovi olib tashlansa, bu raqam bo'ladi ${ displaystyle (p-1) N_ {p} (n)}$.

Ushbu monik kamaytirilmaydigan polinomlarning ildizlarining umumiy soni ${ displaystyle nN_ {p} (n)}$. Bu maydon elementlarining soni ${ displaystyle GF (p ^ {n})}$ (bilan ${ displaystyle p ^ {n}}$ kichikroq maydonga tegishli bo'lmagan elementlar).

Uchun p = 2, bunday polinomlar odatda ishlab chiqarish uchun ishlatiladi pseudorandom ikkilik ketma-ketliklar.^{[iqtibos kerak ]}

Ko'p o'zgaruvchan polinomlar

Odatda, atama monik bir nechta o'zgaruvchiga ega bo'lgan polinomlar uchun ishlatilmaydi. Shu bilan birga, bir nechta o'zgaruvchilardagi polinomni faqat "oxirgi" o'zgaruvchida polinom deb hisoblash mumkin, ammo koeffitsientlar boshqalarda polinomlardir. O'zgaruvchilardan qaysi biri "oxirgi" sifatida tanlanganiga qarab, bu bir necha usul bilan amalga oshirilishi mumkin. Masalan, haqiqiy polinom

${ displaystyle p (x, y) = 2xy ^ {2} + x ^ {2} -y ^ {2} + 3x + 5y-8}$

monik bo'lib, undagi element sifatida qaraladi R[y][x], ya'ni o'zgaruvchida bir o'zgaruvchili polinom sifatida x, o'zlari o'zgarmas polinomlar bo'lgan koeffitsientlar bilan y:

${ displaystyle p (x, y) = 1 cdot x ^ {2} + (2y ^ {2} +3) cdot x + (- y ^ {2} + 5y-8)}$;

lekin p(x,y) element sifatida monik emas R[x][y], shundan beri eng yuqori darajadagi koeffitsient (ya'ni, y² koeffitsient) 2 ga tengx − 1.

Masalan, foydali bo'lishi mumkin bo'lgan muqobil konventsiya mavjud. yilda Gröbner asoslari kontekst: polinom monik deb ataladi, agar uning etakchi koeffitsienti (ko'p o'zgaruvchan polinom sifatida) 1. bo'lsa, boshqacha qilib aytganda p = p(x₁, ..., x_n) nolga teng bo'lmagan polinom n o'zgaruvchilar va u erda berilgan monomial tartib ushbu o'zgaruvchilardagi barcha ("monik") monomiallar to'plamida, ya'ni erkin komutativning umumiy tartibida monoid tomonidan yaratilgan x₁, ..., x_n, birlik eng past element sifatida va ko'paytirishni hurmat qilish. Bunday holda, ushbu buyruq yo'qolib ketmaydigan eng yuqori muddatni belgilaydi pva p monik deb atash mumkin, agar bu muddat koeffitsientga ega bo'lsa.

Ikkala ta'rifga ko'ra "monik ko'p o'zgaruvchan polinomlar" ba'zi xususiyatlarni "oddiy" (bir o'zgaruvchili) monik polinomlar bilan bo'lishadi. Ta'kidlash joizki, monik polinomlarning ko'paytmasi yana monikdir.

Adabiyotlar

• Pinter, Charlz C. (2010) [Asli 1982 yilda McGraw-Hill Publishing Company tomonidan nashr etilgan asarning 1990 yil ikkinchi nashrining jabrlanmagan respublikasi]. Abstrakt algebra kitobi. Dover. ISBN  978-0486474175.