சமானம், மாடுலோ n
[[படிமம்:Disqvisitiones-800.jpg|thumb|right|200px|மாடுலோ கணித ஆய்வுகளைப் பற்றி [[காஸ்]] வெளியிட்ட நூலின் முதல் பதிப்பு. புத்தகத்தின் தலைப்பு ''டிஸ்க்விசிசனே அரித்மெட்டிக்கே'' என்பதாகும்.]]
 [[கணிதம்|கணிதத்தில்]], [[எண்]] [[எண் கோட்பாடு|கோட்பாட்டில்]], '''சமானம், மாடுலோ n''' (Congruence modulo n) என்பது சுழற்சி அடிப்படையில் எண்களைக் கொண்டு கணக்கிடும் ஒரு அடிப்படைக் கருத்து. 1801 இல் [[காஸ்]] என்னும் [[ஜெர்மனி|ஜெர்மானியக்]] கணிதப் பேரறிஞரால் அறிமுகப்படுத்தப்பட்டது.
 
 == சமான எண்கணிதம் பயன்படும் ஓர் அன்றாட வழக்கு ==
 [[File:Clock group.svg|thumb|250px|right|காலம் கணக்கிட உதவும் இக்கடிகாரம் மாடுலோ 12 இன் அடிப்படையில் அமைந்துள்ளது.]]
 
 இன்றைய நேரம் இப்பொழுது காலை 9 மணியென்றால், இன்னும் 8 மணிநேரம் கழித்து மணி 17 ஆக இருக்கும் என்று சொல்வதில் தவறொன்றுமில்லை. ஆனாலும் மக்கள் அதை மணி மாலை 5 ஆக இருக்கும் என்று சொல்வார்கள், அப்படிப் புரிந்தும் கொள்வார்கள். இங்கு நாம் நம்மை அறியாமலே ஒரு சமான எண்கணிதம் கணிக்கிறோம். அதாவது, 9 + 8 =17 ஆக இருந்தாலும் 17 -12 = 5, என்று 12 மணி ஆனவுடன் அதைத் 'தள்ளிவிட்டு', மறுபடியும் 1 இலிருந்து தொடங்கி 1,2,3, என்று எண்ணுகிறோம். இதுதான் ''சமான எண்கணிதம்'' (Congruence arithmetic).
 
 ==வரலாறு==
 சமான எண்கணிதத்தின் அடிப்படைக் கருத்துகள் [[யூக்ளிட்|யூக்ளிடால்]] அவரது படைப்பான, [[யூக்ளிட்டின் எலிமென்ட்ஸ்|''எலிமென்ட்சின்'']] ஏழாவது பாகத்தில் அறிமுகப்படுத்தப்பட்டுள்ளன.
 
 == கணிதத்தில் வரையறை ==
 
 &lt;math&gt;a, b, n&lt;/math&gt; முழு எண்களானால் &lt;math&gt;a&lt;/math&gt; யும் &lt;math&gt;b&lt;/math&gt; யும் &lt;math&gt;n&lt;/math&gt; மாடுலோ சமானம் பெற்றிருக்கின்றன என்பதற்கு இலக்கணம்:
 ::* &lt;math&gt;a - b,&lt;/math&gt; எண் &lt;math&gt;n&lt;/math&gt; இன் முழு எண் பெருக்காக இருக்கும்.(அ-து, n ஆல் சரியாக வகுபடும்)
 
 இதற்குக்குறியீடு:
 : &lt;math&gt;a \equiv b&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;) 
 இதன் உச்சரிப்பு:
 : &lt;math&gt;a&lt;/math&gt; சமானம் &lt;math&gt;b&lt;/math&gt;, மாடுலோ &lt;math&gt;n&lt;/math&gt;
 
 இங்கு 'mod' என்ற ஆங்கிலச்சொற்குறி, 'modulus' (மட்டு) என்ற சொல்லுக்காக நிற்கிறது. 'மாடுலோ' என்ற பயன்பாடும் அச்சொல்லிலிருந்து உருவானது. இச்சொல் உலகில் எல்லா மொழிகளிலும் இப்படியே பயன்படுத்தப்பட்டு வருவதாகத் தெரிகிறது.
 
 == உடன்விளைவு ==
 
 'சமானம் மாடுலோ &lt;math&gt;n&lt;/math&gt;' ஒரு [[சமான உறவு (கணிதம்)|சமான உறவு]]. ஏனென்றால்,
 
 * அது ஒரு [[எதிர்வு உறவு]]. அதாவது, &lt;math&gt; a \equiv a&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;)
 * அது ஒரு [[சமச்சீர் உறவு]]. அதாவது, &lt;math&gt; a \equiv b&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;) &lt;math&gt;\Rightarrow  b \equiv a&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;)
 * அது ஒரு [[கடப்பு உறவு]]. அதாவது, &lt;math&gt;a \equiv b&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;) மற்றும் &lt;math&gt;b \equiv c&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;) &lt;math&gt;\Rightarrow  a \equiv c&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;)
 
 == எடுத்துக்காட்டுகள் ==
 
 * &lt;math&gt;17 \equiv 5&lt;/math&gt; (mod 12) ஏனென்றால், 17 - 5 = 12
 * &lt;math&gt;365 \equiv 1&lt;/math&gt; (mod 7) ஏனென்றால், 365 - 1 = 364; இது 7 ஆல் சரியாக வகுபடுகிறது.
 * &lt;math&gt;27 \equiv 0&lt;/math&gt;(mod 3) ஏனென்றால், 27 - 0 =27; இது 3 ஆல் சரியாக வகுபடுகிறது.
 * &lt;math&gt;100 \equiv 34&lt;/math&gt; (mod 6) ஏனென்றால், 100 - 34 = 66; இது 6 ஆல் சரியாக வகுபடுகிறது.
 * &lt;math&gt;-13 \equiv 2&lt;/math&gt; (mod 5) ஏனென்றால் -13 -2 = -15; இது 5 ஆல் சரியாக வகுபடுகிறது
 
 முதல் மூன்று எடுத்துக்காட்டுகளை வேறுவிதமாகவும் பார்க்கலாம். 
  
 :17 ஐ 12 ஆல் வகுத்தால் [[மீதி (கணிதம்)|மீதி]] 5; அல்லது, 17ம் 5ம் 12 ஆல் வகுபடும்போது ஒரே மீதியை அளிக்கின்றன
 :365 ஐ 7 ஆல் வகுத்தால் மீதி 1; அல்லது, 365ம் 1ம் 7ஆல் வகுபடும்போது ஒரே மீதியை அளிக்கின்றன.
 :27 ஐ 3 ஆல் வகுத்தால் மீதி 0; அல்லது 27ம் 0வும் 3 ஆல் வகுபடும்போது ஒரே மீதியை அளிக்கின்றன.
 
 :100 ஐ 6 ஆல் வகுத்தால் 34 மீதி வராது. ஆனாலும், 100, 34 இரண்டும் 6 ஆல் வகுபடும்போது ஒரே மீதியை அளிக்கின்றன.
 இந்த இரண்டாவது பண்பைக்கொண்டு சமானம் மாடுலோ n க்கு இப்படியும் இலக்கணம் வரையலாம்:
 n ஒரு நேர்ம முழுஎண்ணாகவும், a, b இரண்டும் எதிர்ம எண்களாக இல்லாமலும் இருந்தால் &lt;math&gt;a \equiv b&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;) க்கு இன்னொரு இலக்கணம்:
 ::* &lt;math&gt;a&lt;/math&gt; யும் &lt;math&gt;b&lt;/math&gt; யும் &lt;math&gt;n&lt;/math&gt; ஆல் வகுபடும்போது ஒரே மீதியை அளிக்கும்.
 எனினும் a, n ஆல் வகுபடும்போது b மீதமாக வராத பட்சத்தில், இந்தச் சமானத்தை கணினிப் பொறியாளர்கள்
 
 &lt;math&gt;a \equiv b&lt;/math&gt; (modulo &lt;math&gt;n&lt;/math&gt;) என்று எழுதுகிறார்கள். ஆக &lt;math&gt;100 \equiv 34&lt;/math&gt; (modulo 6)
 
 மேலும், &lt;math&gt;a \equiv 0&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;) என்று சொல்வதற்குப் பொருள்: a என்ற எண், n ஆல் சரியாக வகுபடுகிறது.
 
 எல்லாப்பட்சத்திலும் &lt;math&gt; a \equiv b&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;) &lt;math&gt;\Longleftrightarrow   \exists&lt;/math&gt; முழு எண் &lt;math&gt;q \ni a = nq + b&lt;/math&gt;
 
 == மற்ற விளைவுகள் ==
 
 * &lt;math&gt;a \equiv b&lt;/math&gt;(mod &lt;math&gt;n&lt;/math&gt;), மற்றும் &lt;math&gt;c \equiv d&lt;/math&gt;(mod &lt;math&gt;n&lt;/math&gt;) என்றால் 
 : &lt;math&gt;a + c \equiv (b + d)&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;)
 :&lt;math&gt; a - c \equiv (b-d)&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;)
 : &lt;math&gt;k&lt;/math&gt; ஒரு முழு எண்ணானால், &lt;math&gt;ka \equiv kb&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;) 
 : &lt;math&gt;ac \equiv bd&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;)
 : &lt;math&gt;m&lt;/math&gt; ஒரு நேர்ம முழு எண்ணானால், &lt;math&gt;a^m   \equiv  b^m&lt;/math&gt; (mod &lt;math&gt;n&lt;/math&gt;)
 
 இவ்விளைவுகளெல்லாம் சேர்ந்ததுதான் '''மாடுலோ எண் கணிதம்''' (modular arithmetic) எனப்படும்.
 
 == எச்சத் தொகுதிகள் ==
 மட்டு ''n'' இன் ஒவ்வொரு எச்சத் தொகுதியையும் அத்தொகுதிக்குரிய எந்தவொரு உறுப்பைக் கொண்டும் அடையாளப்படுத்தலாம். எனினும் அத்தொகுதிக்குரிய மிகச்சிறிய எதிர்மமில்லா முழுஎண்ணே அத்தொகுதியைக் குறிக்கப் பயன்படுத்தப்படுகிறது. மட்டு ''n'' இன் இரு வெவ்வேறு எச்சத் தொகுதியின் உறுப்புகள் மட்டு ''n'' ஐப் பொறுத்து சமானமானதாக இருக்காது. மேலும், ஒவ்வொரு முழுஎண்ணும் மட்டு ''n'' இன் ஏதாவது ஒரேயொரு எச்சத் தொகுதியின் உறுப்பாக மட்டுமே இருக்கும்.&lt;ref&gt;{{harvtxt|Pettofrezzo|Byrkit|1970|p=90}}&lt;/ref&gt;
 
 {0, 1, 2, ..., ''n''−1} என்ற முழுஎண் கணம், மட்டு '''''n''''' இன் ”மீச்சிறு எச்சத் தொகுதி” எனவும், மட்டு ''n'' ஐப் பொறுத்து ஒன்றுக்கொன்று சமானமாக இல்லாத ''n'' முழுஎண்களின் கணம், மட்டு '''''n''''' இன் ”முழுமையான எச்சத் தொகுதி” எனவும் அழைக்கப்படும்..
 
 மீச்சிறு எச்சத் தொகுதியானது முழுமையான எச்சத்தொகுதியாகவும் இருக்கும். மட்டு ''n'' இன் எச்சத் தொகுதிகள் ஒவ்வொன்றிலிருந்தும் ஒரு உறுப்பைக் கொண்டதாக முழுமையான எச்சத் தொகுதி அமையும்.&lt;ref&gt;{{harvtxt|Long|1972|p=78}}&lt;/ref&gt;
 
 :மட்டு 4 இன் மீச்சிறு எச்சத் தொகுதி:  {0, 1, 2, 3}.  
 :மட்டு 4 இன் முழுமையான எச்சத் தொகுதிகளில் சில:
 *{1, 2, 3, 4}
 *{13, 14, 15, 16}
 *{−2, −1 ,0, 1}
 *{−13, 4, 17, 18}
 *{−5, 0, 6, 21}
 *{27, 32, 37, 42}
 
 :மட்டு 4 இன் முழுமையற்ற எச்சத் தொகுதிகளில் சில:
 
 *{−5, 0, 6, 22}  (மட்டு 4 ஐப் பொறுத்து 6, 22 க்குச் சமானம் இல்லை)
 *{5, 15}  (மட்டு 4 இன் எச்சத்தொகுதிகள் ஒவ்வொன்றுக்கும் ஒரு உறுப்பு என ஒரு மட்டு 4 இன் ஒரு முழுமையான எச்சத் தொகுதி 4 உறுப்புகளைக் கொண்டிருக்க வேண்டும்)
 
 ==முற்றிசைவுப் பகுதிகள்==
 சமானம் மட்டு ''n'' ஒரு [[சமான உறவு (கணிதம்)|சமான உறவாகும்]]. ஏதேனுமொரு முழு எண்  ''a'' க்குரிய [[சமானப் பகுதி]] 
 :&lt;math&gt;\overline{a}_n = \left\{\ldots, a - 2n, a - n, a, a + n, a + 2n, \ldots \right\}&lt;/math&gt;.
 
 இது மட்டு ''n'' ஐப் பொறுத்து  ''a'' க்குச் சமானமாக உள்ள முழுஎண்களைக் கொண்ட கணமாகும். இக்கணம் &amp;nbsp;மட்டு&amp;nbsp;''n'' இன் ”முற்றிசைவுப் பகுதி” அல்லது ”எச்சப் பகுதி” அல்லது ”மட்டு&amp;nbsp;''n'' க்கான முழுஎண் ''a'' இன் எச்சம்” என அழைக்கப்படுகிறது. ''n'' அறியப்பட்ட நிலையில் இதனைச் சுருக்கமாக, &lt;math&gt;\displaystyle [a]&lt;/math&gt; எனவும் குறிக்கலாம்.
 
 ==முழுஎண்கள் மட்டு ''n''==
 மட்டு ''n'' க்கான a இன் முற்றிசைவுப் பகுதிகள் அனைத்தையும் கொண்ட கணம், ”முழுஎண்கள் மட்டு ''n'' கணம்” என அழைக்கப்படுகிறது. இதன் குறியீடு &lt;math&gt;\mathbb{Z}/n\mathbb{Z}&lt;/math&gt;, &lt;math&gt;\mathbb{Z}/n&lt;/math&gt; அல்லது &lt;math&gt;\mathbb{Z}_n&lt;/math&gt;.
 
 முழுஎண்கள் மட்டு ''n'' கணத்தின் வரையறை:
 
 :&lt;math&gt;\mathbb{Z}/n\mathbb{Z} = \left\{ \overline{a}_n | a \in \mathbb{Z}\right\}. &lt;/math&gt;
 
 {{nowrap|''n''≠0}} எனில், &lt;math&gt;\mathbb{Z}/n\mathbb{Z}&lt;/math&gt; ''n'' உறுப்புகள் கொண்டிருக்கும்:
 
 :&lt;math&gt;\mathbb{Z}/n\mathbb{Z} = \left\{ \overline{0}_n, \overline{1}_n, \overline{2}_n,\ldots, \overline{n-1}_n \right\}.&lt;/math&gt;
 
 When ''n'' = 0 எனில், &lt;math&gt;\overline{a}_0 = \left\{a\right\}&lt;/math&gt; என்பதால் &lt;math&gt;\mathbb{Z}&lt;/math&gt; உடன் சமஅமைவியம் கொண்டதாக &lt;math&gt;\mathbb{Z}/n\mathbb{Z} &lt;/math&gt; இருக்கும்.
 
 &lt;math&gt;\mathbb{Z}/n\mathbb{Z}&lt;/math&gt; இல் கூட்டல், கழித்தல், பெருக்கல் பின்வருமாறு வரையறுக்கப்படுகிறது:
 
 * &lt;math&gt;\overline{a}_n + \overline{b}_n = \overline{(a + b)}_n&lt;/math&gt;
 * &lt;math&gt;\overline{a}_n - \overline{b}_n = \overline{(a - b)}_n&lt;/math&gt;
 * &lt;math&gt;\overline{a}_n \overline{b}_n = \overline{(ab)}_n.&lt;/math&gt;
 
 ==மேற்கோள்கள்==
 {{reflist}}
 
 ==வெளியிணைப்புகள்==
 
 * {{springer|title=Congruence|id=p/c024850}}
 * In this [http://britton.disted.camosun.bc.ca/modart/jbmodart.htm modular art] {{Webarchive|url=https://web.archive.org/web/20060101075602/http://britton.disted.camosun.bc.ca/modart/jbmodart.htm |date=2006-01-01 }} article, one can learn more about applications of modular arithmetic in art.
 * {{MathWorld | urlname=ModularArithmetic | title= Modular Arithmetic}}
 * An [http://mersennewiki.org/index.php/modular_arithmetic article] {{Webarchive|url=https://web.archive.org/web/20160220061222/http://mersennewiki.org/index.php/Modular_arithmetic |date=2016-02-20 }} on modular arithmetic on the GIMPS wiki
 * [http://www.cut-the-knot.org/blue/Modulo.shtml Modular Arithmetic and patterns in addition and multiplication tables]
 * [http://wheelof.com/whitney Whitney Music Box]—an audio/video demonstration of integer modular math
 
 [[பகுப்பு:எண் கோட்பாடு]]