குறைக்கவியலாப் பல்லுறுப்புக்கோவை
[[கணிதம்|கணிதத்தில்]] '''குறைக்கவியலாப் பல்லுறுப்புக்கோவை''' (''irreducible polynomial'') என்பது மாறிலி உறுப்புகளை மட்டும் கொண்டிராத இரு [[பல்லுறுப்புக்கோவை]]களின் பெருக்கற்பலனாக [[காரணிப்படுத்துதல்|காரணிப்படுத்த]] முடியாத [[பல்லுறுப்புக்கோவை]]யைக் குறிக்கும். ஒரு பல்லுறுப்புக்கோவையின் குறைக்கவியலாத்தன்மையானது, அதன் [[கெழு]]க்களும் அது பிரிக்கப்படக்கூடிய காரணிகளும் அமையும் [[களம் (கணிதம்)|களத்தைப்]] பொறுத்திருக்கும்.
 
 எடுத்துக்காட்டாக,  {{math|''x''&lt;sup&gt;2&lt;/sup&gt; − 2}} பல்லுறுப்புக்கோவையின் கெழுக்களை [[முழு எண்]]களாகவும் [[மெய்யெண்]]களாகவும் எடுத்துக்கொள்ளலாம். இப்பல்லுறுப்புக்கோவையின் காரணிவடிவம்: &lt;math&gt;\left(x - \sqrt{2}\right)\left(x + \sqrt{2}\right)&lt;/math&gt; இக்காரணிகளில் உள்ள மாறிலி உறுப்பான &lt;math&gt;\sqrt{2}&lt;/math&gt; முழுஎண் அல்ல; அது ஒரு மெய்யெண் ஆகும். எனவே பல்லுறுப்புக்கோவை {{math|''x''&lt;sup&gt;2&lt;/sup&gt; − 2}} ஆனது முழுஎண்களைப் பொறுத்து குறைக்கவியலாது; ஆனால் மெய்யெண்களில் குறைக்கவியலும் பல்லுறுப்புக்கோவையாகும்.
 
 அதன் கெழுக்கள் அமைந்துள்ள களங்கள் அனைத்திலும் குறைக்கவியலாததாகவுள்ள பல்லுறுப்புக்கோவையானது. [[முற்றிலும் குறைக்கவியலாமை|முற்றாகக் குறைக்கவியலாப் பல்லுறுப்புக்கோவை]] எனப்படும். [[இயற்கணித அடிப்படைத் தேற்றம்|இயற்கணிதத்தின் அடிப்படைத் தேற்றத்தின்படி]], ஒருமாறியிலமைந்த பல்லுறுப்புக்கோவையின் [[பல்லுறுப்புக்கோவை#பல்லுறுப்புக்கோவையின் படி|அடுக்கெண்]] '1' ஆக 'இருந்தால், இருந்தால் மட்டுமே' அது 'முற்றாக குறைக்கவியலாப் பல்லுறுப்புக்கோவை'யாக இருக்கும். மாறாக, பன்மாறிகளிலமைந்த பல்லுறுப்புக்கோவைகளின் அடுக்கெண்கள் '1' ஆக மட்டுமில்லாமல் வேறாக இருந்தாலும் அப்பல்லுறுப்புக்கோவைகள் முற்றாகக் குறைக்கவியலாப் பல்லுறுப்புக்கோவைகளாக இருக்க முடியும். எடுத்துக்காட்டாக, &lt;math&gt;x^2 + y^n - 1,&lt;/math&gt; ({{math|''n''}}, ஏதேனுமொரு நேர்ம முழுஎண்) என்ற பல்லுறுப்புக்கோவையைச் முழுஎண்கள் முதல் சிக்கலெண்கள் வரையிலான எண்களில் குறைக்கவியலாது. எனவே இது ஒரு முற்றாகக் குறைக்கவியலாப் பல்லுறுப்புக்கோவையாகும்.
 
 குறைக்கவியலாத பல்லுறுப்புக்கோவைகள் சில இடங்களில் &quot;குறைக்கவியலும் பல்லுறுப்புக்கோவை]]கள் எனக் குறிப்பிடப்படுகின்றன.&lt;ref&gt;{{harvnb|Gallian|2012|p=311}}&lt;/ref&gt;&lt;ref&gt;{{harvnb|Mac Lane|Birkhoff|1999}} do not explicitly define &quot;reducible&quot;, but they use it in several places. For example: &quot;For the present, we note only that any reducible quadratic or cubic polynomial must have a linear factor.&quot; (p. 268).&lt;/ref&gt;
 
 குறைக்கவியலாப் பல்லுறுப்புக்கோவைகளை [[பகா எண்]]களுடன் ஒப்பிடலாம்: பகாஎண்களின் வரையறைப்படி, அவை குறைக்கவியலா முழுஎண்களாகும். பல்லுறுப்புக்கோவையின் குறைக்கவியலாத்தன்மையின் பல பொதுவான பண்புகளை பகாஎண்களும் கொண்டுள்ளன. ஒரு குறைக்கவியலாப் பல்லுறுப்புக்கோவையின் கெழுக்களின் வளையமானது [[களம் (கணிதம்)|களமாகவோ]] அல்லது பிற [[தனித்த காரணிப்படுத்தல் ஆட்களம்|தனித்த காரணிப்படுத்தல் ஆட்களமாகவோ]] இருக்கும்பொழுது, அந்தக் குறைக்கவியலாப் பல்லுறுப்புக்கோவையானது [[பகாச் சீர்மம்|பகாச் சீர்மத்தைப்]] பிறப்பிக்கும். எனவே அது பகாப் '''பல்லுறுப்புக்கோவை''' (''prime polynomial'') எனவும் அழைக்கப்படும்.
 
 == எடுத்துக்காட்டுகள் ==
 
 கீழுள்ள ஆறு பல்லுறுப்புக்கோவைகளும் குறைக்கவியலும்/குறைக்கவியலாப் பல்லுறுப்புக்கோவைகளின் சில அடிப்படைப் பண்புகளைக் காட்டுகின்றன:
 
 :&lt;math&gt;\begin{align}
   p_1(x) &amp;= x^2 + 4x + 4\, = {(x + 2)^2}\\
   p_2(x) &amp;= x^2 - 4\, = {(x - 2)(x + 2)}\\
   p_3(x) &amp;= 9x^2 - 3\, = 3\left(3x^2 - 1\right)\, = 3\left(x\sqrt{3} - 1\right)\left(x\sqrt{3} + 1\right)\\
   p_4(x) &amp;= x^2 - \frac{4}{9}\, = \left(x - \frac{2}{3}\right)\left(x + \frac{2}{3}\right)\\
   p_5(x) &amp;= x^2 - 2\, = \left(x - \sqrt{2}\right)\left(x + \sqrt{2}\right)\\
   p_6(x) &amp;= x^2 + 1\, = {(x - i)(x + i)}
 \end{align}&lt;/math&gt;
 
 *முதல் மூன்று பல்லுறுப்புக்கோவைகளும் [[முழு எண்]]களில் குறைக்கக்கூடியவை; கடைசி இரு பல்லுறுப்புக்கோவைகளும் முழுஎண்களில் குறைக்கவியலாதவை; நான்காவது முழுஎண்கள் மீதமையாத பல்லுறுப்புக்கோவை.
 * முதல் இரண்டும், நான்காவதும் [[விகிதமுறு எண்]]களைப் பொறுத்து குறைக்கவியல்பவை; பிற மூன்றும் விகிதமுறு எண்களைப் பொறுத்துக் குறைக்கவியலாதவை. (விகிதமுறு எண்களின் மீதான பல்லுறுப்புக்கோவைக்கு,  3 ஆனது [[அலகு (வளையக் கோட்பாடு)|வளைய அலகாக]] இருப்பதால், அது ஒரு காரணியாகாது).
 *முதல் ஐந்து பல்லுறுப்புக்கோவைகளும் [[மெய்யெண்]]களைப் பொறுத்து குறைக்கவியல்பவை; ஆனால் ஆறாவதான &lt;math&gt;p_6(x)&lt;/math&gt; குறைக்கவியலாதப் பல்லுற்றுப்புக்கோவை.
 * ஆறு பல்லுறுப்புக்கோவைகளுமே [[சிக்கலெண்]]களைப் பொறுத்து குறைக்கக் கூடியவை.
 
 ==வரையறை==
 ''F'' ஒரு [[களம் (கணிதம்)|களம்]] எனக் கொள்ள, மாறிலிஉறுப்பு மட்டுமே கொண்டிராத பல்லுறுப்புக்கோவை ஒன்று,  ''''F'' இன் மீது குறைக்கவியலாப் பல்லுறுப்புக்கோவை'''யாக இருக்கவேண்டுமெனில்:
 :அப்பல்லுறுப்புக்கோவையின் கெழுக்கள் ''F'' இல் இருப்பதோடு, ''F'' இல் கெழுக்களைக் கொண்ட மாறிலியுறுப்புகளை மட்டுமே கொண்டிராத இரு பல்லுறுப்புக்கோவைகளின் பெருக்கற்பலனாகக் காரணிப்படுத்தமுடியாததாகவும் இருக்கவேண்டும்..
 
 முழுஎண் கெழுக்களைக் கொண்ட அல்லது மேலும் பொதுவாக ''R'' என்ற தனித்த காரணிப்படுத்தல் ஆட்களத்தில் கெழுக்களைக் கொண்ட பல்லுறுப்புக்கோவையானது,
 :நேர்மாற்றத்தகாததாக அல்லது பூச்சியமற்றதாக அல்லது ''R'' இல் கெழுக்களையுடைய நேர்மாற்றத்தகாத இரு பல்லுறுப்புக்கோவைகளின் பெருக்கற்பலனாக இல்லாமலிருந்தால், &quot;குறைக்கவியலாப் பல்லுறுப்புக்கோவை&quot; அல்லது ''R இன் மீது குறைக்கவியலாப் பல்லுறுப்புக்கோவை'' எனப்படும்.
 
 ==சிக்கலெண்களின் மீது==
 
 சிக்கலெண்களின் மீது, ஒருமாறியிலமைந்த பல்லுறுப்புக்கோவையின் [[பல்லுறுப்புக்கோவையின் படி|படி]] '1' ஆக 'இருந்தால், இருந்தால் மட்டுமே' அது குறைக்கவியலாப் பல்லுறுப்புக்கோவையாக இருக்கும். இக்கூற்றுதான் சிக்கலெண்களுக்கான இயற்கணித அடிப்படைத் தேற்றமாகும்.
 
 :&lt;math&gt;a\left(x - z_1\right) \cdots \left(x - z_n\right)&lt;/math&gt;
 
 &lt;math&gt;n&lt;/math&gt; = படி; &lt;math&gt;a&lt;/math&gt; = தலையுறுப்பின் கெழு; &lt;math&gt;z_1, \dots, z_n&lt;/math&gt; = பல்லுறுப்புக்கோவையின் மூலங்கள்.
 
 [[சிக்கலெண்]]களின் மீதான குறைக்கவியலாப் பல்லுறுப்புக்கோவைகள் அனைத்து படிகளிலும் உள்ளன.
 
 எடுத்துக்காட்டு: 
 :&lt;math&gt;x^n + y^n - 1,&lt;/math&gt; என்ற பல்லுறுப்புக்கோவையானது  ''n'' இன் அனைத்து நேர்ம முழுஎண்மதிப்புகளுக்கும் சிக்கலெண்களின் மீதான குறைக்கவியலாப் பல்லுறுப்புக்கோவையாகும்.
 
 == மெய்யெண்களின் மீது ==
 [[மெய்யெண்]]கள் களத்தின் மீதான குறைக்கவியலாப் [[பல்லுறுப்புக்கோவையின் படி]] '1' அல்லது '2' ஆக இருக்கும். இருபடி பல்லுறுப்புக்கோவை &lt;math&gt;ax^2 + bx + c&lt;/math&gt; ஆனது மெய்யெண்களின் மீது குறைக்கவியலாததாக இருந்தால், அதன் தன்மைகாட்டி &lt;math&gt;b^2 - 4ac.&lt;/math&gt; எதிர்மமாக இருக்கும். இதிலிருந்து ஒருமாறியிலமைந்த மற்றும் மாறிலியுறுப்புமட்டுமே கொண்டிராத ஒவ்வொரு பல்லுறுப்புக்கோவையையும் இருபடி வரையிலான பல்லுறுப்புக்கோவைகளின் பெருக்கற்பலனாகத்தான் எழுதமுடியும் என்பதை அறியலாம். எடுத்துக்காட்டாக: 
 :&lt;math&gt;x^4 + 1 = \left(x^2 + \sqrt{2}x + 1\right)\left(x^2 - \sqrt{2}x + 1\right),&lt;/math&gt; 
 இதனை மேலும் காரணிப்படுத்த முடியாது. ஏனெனில் இதன் தன்மைகாட்டி:
 :&lt;math&gt;\left(\pm\sqrt{2}\right)^2 - 4 = -2 &lt; 0.&lt;/math&gt;
 
 == குறிப்புகள் ==
 {{Reflist}}
 
 == மேற்கோள்கள் ==
 * Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556. This classical book covers most of the content of this article
 * {{Citation |last=Gallian |first=Joseph |author-link=Joseph Gallian |year=2012 |title=Contemporary Abstract Algebra |edition=8th |publisher=Cengage Learning |isbn=978-1285402734 |url=https://books.google.com/books?id=Ef4KAAAAQBAJ&amp;q=%22reducible+polynomial%22&amp;pg=PA311 }}
 * {{citation | first1 = Rudolf | last1 = Lidl | first2 = Harald | last2 = Niederreiter | author2-link = Harald Niederreiter | title = Finite fields | edition = 2nd | publisher = [[கேம்பிறிட்ஜ் பல்கலைக்கழகப் பதிப்பகம்]] | year = 1997 | isbn = 978-0-521-39231-0 | url-access = registration | url = https://archive.org/details/finitefields0000lidl_a8r3 }}, [https://books.google.com/books?id=xqMqxQTFUkMC&amp;pg=PA91 pp. 91].
 * {{Citation |last1=Mac Lane |first1=Saunders | author-link=Saunders Mac Lane |last2=Birkhoff |first2=Garrett |author-link2=Garrett Birkhoff |year=1999 |title=Algebra |edition=3rd |publisher=American Mathematical Society |isbn=9780821816462 |url=https://books.google.com/books?id=L6FENd8GHIUC&amp;q=reducible&amp;pg=PA268 }}
 * {{citation | first1 = Alfred J. | last1 = Menezes | author-link1 = Alfred Menezes | first2 = Paul C. | last2 = Van Oorschot | author-link2 = Paul van Oorschot | first3 = Scott A. | last3 = Vanstone | author-link3 = Scott Vanstone | title = Handbook of applied cryptography | publisher = [[CRC Press]] | year = 1997 | isbn = 978-0-8493-8523-0 | url-access = registration | url = https://archive.org/details/handbookofapplie0000mene }}, [https://books.google.com/books?id=nSzoG72E93MC&amp;pg=PA154 pp. 154].
 
 == வெளியிணைப்புகள் ==
 * {{MathWorld | title = Irreducible Polynomial | urlname = IrreduciblePolynomial}}
 * {{PlanetMath | urlname = irreduciblepolynomial | title = irreducible polynomial}}
 * [https://archive.today/20130101095630/http://theory.cs.uvic.ca/inf/neck/PolyInfo.html Information on Primitive and Irreducible Polynomials], The (Combinatorial) Object Server.
 
 [[பகுப்பு:பல்லுறுப்புக் கோவைகள்]]
 [[பகுப்பு:நுண்புல இயற்கணிதம்]]