മോഡ്യുലർ അങ്കഗണിതം

പൂർണ്ണസംഖ്യകളിൽ സംക്രിയകൾ ചെയ്യുമ്പോൾ ലഭിക്കുന്ന ഫലം ഒരു നിശ്ചിത വിലയ്ക്കു മുകളിലെത്തിയാൽ അതിനെ പൂജ്യമായി കണക്കാക്കി അതിനു മുകളിലുള്ള വ്യത്യാസം മാത്രമെടുക്കുന്ന അങ്കഗണിത രീതിയാണ് **മോഡ്യുലർ അങ്കഗണിതം** (modular arithmetic). ഈ ഉയർന്ന നിശ്ചിത വിലയെ മാപാങ്കം (modulus) എന്നു വിളിക്കുന്നു. മോഡ്യുലർ അങ്കഗണിതത്തിന്റെ ആധുനികരൂപം വികസിപ്പിച്ചത് 1801-ൽ *[[Disquisitiones Arithmeticae|ഡിസ്ക്വിസിഷനെസ് അരിത്മെറ്റികേ]]* എന്ന ഗ്രന്ഥത്തിൽ കാൾ ഫ്രഡറിക് ഗോസ് ആയിരുന്നു.

സമയവുമായി ബന്ധപ്പെട്ട അങ്കഗണിതത്തിൽ ആറുമണിയോട് എട്ടു മണിക്കൂർ കൂട്ടിയാൽ രണ്ടുമണിയാവുന്നത് സാധാരണ ഗതിയിൽ മാപാങ്കം 12 ആയുള്ള മോഡ്യുലർ അങ്കഗണിതം ചെയ്യുന്നതിനാലാണ് (മാപാങ്കം 24 വരുന്ന രീതിയിലും ചെയ്യാറുണ്ട്). സാധാരണ അങ്കഗണിതത്തിൽ  ആണെങ്കിലും പതിനാലുമണി എന്ന് പറയാത്തത് ഓരോ പന്ത്രണ്ട് മണിക്കൂറീലും സമയത്തിന്റെ വില ചുറ്റി വരുന്നതിനാലാണ് (wrap around). 12 എന്നത് പൂജ്യത്തോടും സർവ്വസമമായതിനാൽ "12:00" എന്ന സമയത്തെ "0:00" എന്നും പറയാം.

## സർവ്വസമതയുടെ നിർവചനം

സങ്കലനം, വ്യവകലനം, ഗുണനം എന്ന സംക്രിയകൾ സാധാരണ പൂർണ്ണസംഖ്യകളെപ്പോലെത്തന്നെ ചെയ്യാവുന്ന രീതിയിൽ ഒരു സർവ്വസമതാ ബന്ധത്തിന്റെ (congruence relation) നിർവചനമാണ് മോഡ്യുലർ അങ്കഗണിതത്തിന് അടിസ്ഥാനം.  ഒരു പൂർണ്ണസംഖ്യയാണെങ്കിൽ ,  എന്ന പൂർണ്ണസംഖ്യകൾ **' ആണെന്നു പറയുന്നത് അവയുടെ വ്യത്യാസമായ  എന്നത്  ന്റെ പൂർണ്ണസംഖ്യാഗുണിതമാവുമ്പോഴാണ്. അതായത്,  എന്ന സമവാക്യമനുസരിക്കുന്ന  എന്ന പൂർണ്ണസംഖ്യയുണ്ടാകണം.  യും  യും പൂർണ്ണസംഖ്യകളാകുമ്പോഴാണ് ഈ സർവ്വസമത സാധാരണ ഉപയോഗിക്കാറുള്ളത്, ഇതിനെ
:<math>a \equiv b \pmod n</math>
എന്ന് സൂചിപ്പിക്കുന്നു.  നെ സർവ്വസമതയുടെ **' എന്നു വിളിക്കുന്നു. 

യൂക്ലിഡിയൻ ഹരണവുമായുള്ള ബന്ധം വ്യക്തമാക്കാൻ
:a = kn + b
എന്ന രൂപത്തിലും സർവ്വസമതയെ എഴുതാവുന്നതാണ്. എന്നാൽ  എന്നത്  യെ  കൊണ്ട് ഹരിച്ചാൽ ലഭിക്കുന്ന ശിഷ്ടം തന്നെയായിരിക്കണമെന്ന് നിർബന്ധമില്ല. കൃത്യമായി പറഞ്ഞാൽ,  എന്ന സർവ്വസമത പറയുന്നത്  യെയും  യെയും  കൊണ്ടു ഹരിച്ചാൽ കിട്ടുന്ന ശിഷ്ടങ്ങൾ തുല്യമാണെന്നാണ്. അതായത്,
:a = pn + r,
:b = qn + r,
ഇവിടെ  തുല്യമായ ശിഷ്ടമാണ്. ഈ സമവാക്യങ്ങളുടെ വ്യത്യാസം കണ്ടാൽ നേരത്തെപ്പോലെ:
:a - b = kn,
എന്നു ലഭിക്കുന്നു ().

### ഉദാഹരണം
ഉദാഹരണമായി,
:38 \equiv 14 \pmod {12}\,.
 എന്നത് 12 ന്റെ ഗുണിതമായതിനാലാണിത്. 38 നെയും 14 നെയും 12 കൊണ്ട് ഹരിച്ചാൽ ശിഷ്ടം 2 വരുന്നതിനാലാണ് എന്നും പറയാം.

ന്യൂനസംഖ്യകൾക്കും ഇതേ നിയമം ബാധകമാണ്:

: \begin{align}
-8 &\equiv 7 \pmod 5\\
2 &\equiv -3 \pmod 5\\
 -3 &\equiv -8 \pmod 5.
\end{align}

ഒരേ പ്രശ്നത്തിൽ തന്നെ ഒന്നിലേറെ മാപാങ്കങ്ങൾ പലപ്പോഴും ഉപയോഗിക്കേണ്ടി വരുന്നതിനാൽ ആശയക്കുഴപ്പമൊഴിവാക്കാനാണ് ചിഹ്നത്തിൽ തന്നെ മാപാങ്കം വ്യക്തമാക്കുന്നത്. എന്നിരുന്നാലും ഒരു നിശ്ചിത മാപാങ്കത്തിന് സർവ്വസമത ഒരു ദ്വയാങ്ക ബന്ധമാണ് (ത്രയാങ്ക ബന്ധമായി കണക്കാക്കില്ല)

## സവിശേഷതകൾ
### തുല്യതാബന്ധം
സർവ്വസമതാ ബന്ധം തുല്യതാബന്ധത്തിന്റെ (equivalence relation) എല്ലാ നിയമങ്ങളും പാലിക്കുന്നു:
* പ്രതിസമത:  
* സമമിതി:  ആകുന്നത് കൃത്യം  ആകുന്ന അവസരങ്ങളിലാണ്
* സംക്രമത: ,  എങ്കിൽ 

### അങ്കഗണിതം
,   എന്ന സർവ്വസമതകൾ സാധുവാണെങ്കിൽ താഴെക്കൊടുത്തിരിക്കുന്നവയും സാധുവാകും:
*  ഒരു പൂർണ്ണസംഖ്യയാണെങ്കിൽ  (നീക്കവുമായുള്ള പൊരുത്തം)
*  ഒരു പൂർണ്ണസംഖ്യയാണെങ്കിൽ (scaling ഉമായുള്ള പൊരുത്തം)
*  (സങ്കലനവുമായുള്ള പൊരുത്തം)
*   (വ്യവകലനവുമായുള്ള പൊരുത്തം)
*   (ഗുണനവുമായുള്ള പൊരുത്തം)
*  പൂജ്യത്തിൽ കുറയാത്ത ഒരു പൂർണ്ണസംഖ്യയാണെങ്കിൽ  (ഘാതവുമായുള്ള പൊരുത്തം)
*  പൂർണ്ണസംഖ്യാഗുണോത്തരങ്ങളുള്ള ബഹുപദമാണെങ്കിൽ  (ബഹുപദങ്ങളുടെ മൂല്യനിർണ്ണയത്തിലെ പൊരുത്തം)

### ഘാതം
 ആയതുകൊണ്ടു മാത്രം  ആകണമെന്നില്ല. എന്നാൽ:
*  ആണെങ്കിൽ (ഇവിടെ *φ* ഓയ്‌ലറുടെ ടോഷ്യന്റ് ഫലനമ്മാണ്) ,  എന്നിവ സഹ-അഭാജ്യമാകുമ്പോൾ  എന്നു വരുന്നു.

### Cancellation
പൊതുവായ പദങ്ങളെ ഒഴിവാക്കാനുള്ള നിയമങ്ങൾ:
*  ഒരു പൂർണ്ണസംഖ്യയാണെങ്കിൽ  ആകുമ്പോഴൊക്കെ  ആണ്
* ,  എന്നിവ സഹ-അഭാജ്യമായ പൂർണ്ണസംഖ്യകളാണെങ്കിൽ  ആകുമ്പോഴൊക്കെ  ആണ്

### ഗുണനവിപരീതം
മോഡ്യുലർ ഗുണനവിപരീതത്തിന്റെ നിയമങ്ങൾ:
* അസ്തിത്വം: ,  എന്നിവ സഹ-അഭാജ്യമാവുന്ന അവസരങ്ങളിൽ  എന്ന സർവ്വസമതയനുസരിക്കുന്ന  എന്ന പൂർണ്ണസംഖ്യയുണ്ടാകും.  നെയാണ്  യുടെ മോഡ്യുലോ  ആയുള്ള *മോഡ്യുലർ ഗുണനവിപരീതം* (*modular multiplicative inverse*) എന്നു വിളിക്കുന്നത്.
*  ആവുകയും  ഉണ്ടായിരിക്കുകയും ചെയ്താൽ  (ഗുണനവിപരീതവുമായുള്ള പൊരുത്തം)
*  ആവുകയും ,  എന്നിവ സഹ-അഭാജ്യമായിരിക്കുകയും ചെയ്താൽ ഈ രേഖീയ സർവ്വസമതയുടെ പരിഹാരം  ആണ്.

 ഒരു അഭാജ്യസംഖ്യയും  അതിൽ ചെറിയതും ()  അതിനോട് സഹ-അഭാജ്യവുമായ ഒരു പൂർണ്ണസംഖ്യയുമാണെങ്കിൽ  യ്ക്ക് ഒരു ഗുണനവിപരീതമുണ്ടാകുമെന്ന് ഇതിൽ നിന്നും കാണാം.

## അവലംബം
* John L. Berggren. "modular arithmetic". Encyclopædia Britannica.
* .  See in particular chapters 5 and 6 for a review of basic modular arithmetic.
* Maarten Bullynck "Modular Arithmetic before C.F. Gauss. Systematisations and discussions on remainder problems in 18th-century Germany"
* Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. *[[Introduction to Algorithms]]*, Second Edition. MIT Press and McGraw-Hill, 2001. . Section 31.3: Modular arithmetic, pp.&nbsp;862–868.
* Anthony Gioia, *Number Theory, an Introduction* Reprint (2001) Dover. .
* 
* 
* 

വർഗ്ഗം:സംഖ്യാസിദ്ധാന്തം
വർഗ്ഗം:അങ്കഗണിതം