What Is Congruence Modulo N?

Read · 3 min

সংখ্যাতত্ত্বের অত্যন্ত গুরুত্বপূর্ণ একটি শাখা হলো Modular Arithmatic. বিখ্যাত জার্মান গণিতবিদ কার্ল ফ্রেডরিক গাউস (Carl Friedrich Gauss) এর হাতে এর ব্যুৎপত্তি। পরবর্তীতে ফার্মা (Pierre De Fermat),অয়লার (Leonhard Euler) সহ বিভিন্ন গণিতবিদের হাতে এর উৎকর্ষ সাধন হয়।

ধর, a,b,ma,b,m পূর্ণসংখ্যা এবং m≠0m \neq 0. এখন a−ba-b যদি mm দ্বারা নিঃশেষে বিভাজ্য হয় তাহলে আমরা লিখি a≡ba \equiv b (mod m)\text{(mod m)} এবং একে পড়া হয়: aa and bb are congruent modulo mm.

আর a−ba-b যদি mm দ্বারা নিঃশেষে বিভাজ্য না হয় তাহলে আমরা লিখি a≢ba \not\equiv b (mod m)\text{(mod m)} এবং একে পড়া হয়: aa and bb are not congruent modulo mm.

যেমন: 10≡210 \equiv 2 (mod 8)\text{(mod 8)} কিন্তু 13≢213 \not\equiv 2 (mod 10)\text{(mod 10)}.

এখন,যদি mm, (a−b)(a-b) কে নিঃশেষে ভাগ করে, তাহলে আমরা বলতে পারি, aa কে mm দ্বারা ভাগ করলে bb ভাগশেষ থাকে। যেমন: 77 দ্বারা (17−3)(17-3) নিঃশেষে বিভাজ্য । আবার, 1717 কে 77 দ্বারা ভাগ করলে 33 ভাগশেষ থাকে.

"≡\equiv" দ্বারা চিহ্নিত এই সম্পর্ককে বলা হয় ‘কনগ্রুয়েন্স রিলেশন’ (Congruence Relation)। সংখ্যাতত্ত্বের যে শাখায় এই সম্পর্ক নিয়ে আলোচনা করা হয় তাকেই বলা হয় Modular Arithmatic.

একটা কনগ্রুয়েন্স কে আমরা অনেকভাবেই লিখতে পারি, যেমন: 25≡125 \equiv 1 (mod 8)\text{(mod 8)}, 25≡925 \equiv 9 (mod 8)\text{(mod 8)}, 25≡−725 \equiv -7 (mod 8)\text{(mod 8)}.

এখানে প্রত্যেকক্ষেত্রেই (a−b)(a-b), mm দ্বারা নিঃশেষে বিভাজ্য।

অর্থাৎ আমরা বলতে পারি, a≡ba \equiv b (mod m)\text{(mod m)} হলে, a≡b+mka \equiv b+mk (mod m)\text{(mod m)} যেখানে kk যেকোনো পূর্ণসংখ্যা।

এবার আমরা কনগ্রুয়েন্সের কয়েকটি বৈশিষ্ট্য(Proposition) নিয়ে আলোচনা করব।

(i) a≡aa \equiv a (mod m)\text{(mod m)}

(ii) a≡ba \equiv b (mod m)\text{(mod m)} হলে, b≡ab \equiv a (mod m)\text{(mod m)} হবে।

(iii) যদি a≡ba \equiv b (mod m)\text{(mod m)} হয় এবং b≡cb \equiv c (mod m)\text{(mod m)} হয়, তাহলে a≡ca \equiv c (mod m)\text{(mod m)} হবে।

(iv) a≡ba \equiv b (mod m)\text{(mod m)} এবং c≡dc \equiv d (mod m)\text{(mod m)} হলে, a+c≡b+da+c \equiv b+d (mod m)\text{(mod m)} এবং a−c≡b−da-c \equiv b-d (mod m)\text{(mod m)} হবে।

(v) ধর, a≡ca \equiv c (mod m)\text{(mod m)} এবং b≡db \equiv d (mod m)\text{(mod m)}। তাহলে a≡ba \equiv b (mod m)\text{(mod m)} হবে যদি এবং কেবল যদি c≡dc \equiv d (mod m)\text{(mod m)} হয়।

(vi) যদি a≡ba \equiv b (mod  m)(\mod m) হয়,তাহলে যেকোনো পূর্ণসংখ্যা kk এর জন্য ak≡bkak \equiv bk (mod m)\text{(mod m)} হবে।

(vii) যদি a1≡b1a_{1} \equiv b_{1} (mod m)\text{(mod m)}, a2≡b2a_{2} \equiv b_{2} (mod m)\text{(mod m)},..........., ak≡bka_{k} \equiv b_{k} (mod m)\text{(mod m)} হয়,তাহলে a1×a2×.....×ak≡b1×b2×……×bka_{1} \times a_{2} \times .....\times a_{k} \equiv b_{1} \times b_{2} \times……\times b_{k} (mod m)\text{(mod m)} হবে।

এখান থেকে বলা যায়, a≡ba \equiv b (mod  m)(\mod m) হলে,যেকোনো পূর্ণসংখ্যা kk এর জন্য ak≡bka^{k} \equiv b^{k} (mod m)\text{(mod m)} হবে।

(viii) a≡ba \equiv b (mod  mi)(\mod m_{i}) (যেখানে i=1,2,3,…..,ki=1,2,3,…..,k) হবে যদি এবং কেবল যদি a≡b(mod  lcm(m1,m2,…mk))a\equiv b (\mod lcm(m_1,m_2,\ldots m_k)) হয়।

এখন যদি m1,m2,......mkm_{1},m_{2},......m_{k} এদের সকল জোড়া (mi,mj)(m_{i},m_{j}) এর গ.সা.গু 11 হয়,(যেখানে, 1≤i<j≤n1 \leq i < j \leq n) তাহলে lcm(m1,m2,......mk)=m1×m2×......×mklcm(m_{1},m_{2},......m_{k})=m_{1} \times m_{2} \times......\times m_{k}. অর্থাৎ সেক্ষেত্রে a≡bmod  mi)a\equiv b\mod m_i) (যেখানে i=1,2,3,…..,ki=1,2,3,…..,k) হবে যদি এবং কেবল যদি a≡b(mod  m1m2......mk)a \equiv b (\mod m_1m_2......m_k) হয়।

*lcm(m1,m2,......mk)lcm(m_{1},m_{2},......m_{k}) অর্থ m1,m2,......mkm_{1},m_{2},......m_{k} সংখ্যাগুলোর ল.সা.গু।

এগুলোর প্রমাণ খুবই সহজ। সাধারণ বিভাজ্যতার সূত্র দিয়েই করা যায়। নিজে নিজে করার চেষ্টা কর। আর বৈশিষ্ট্যগুলো অনুভব করার চেষ্টা কর।

বৈশিষ্ট্যগুলোর প্রমাণ :

(i) a−a=0a-a=0 সকল সংখ্যা দ্বারাই বিভাজ্য।

(ii) mm যদি a−ba-b কে নিঃশেষে ভাগ করে, তাহলে −1×(a−b)=b−a-1 \times (a-b)=b-a কেও নিঃশেষে ভাগ করবে।

(iii) mm যদি a−ba-b এবং b−cb-c উভয়কে নিঃশেষে ভাগ করে, তাহলে এদের যোগফল (a−b)+(b−c)=a−c(a-b)+(b-c)=a-c কেও নিঃশেষে ভাগ করবে।

(iv) mm, a−ba-b কে নিঃশেষে ভাগ করে। এখন, a−ba-b কে আমরা a−b+c−c=a+c−b−c=(a+b)−(b−c)a-b+c-c=a+c-b-c=(a+b)-(b-c) আকারে লিখতে পারি।তাহলে a+c≡b+ca+c \equiv b+c (mod m)\text{(mod m)}.একইভাবে, b+c≡b+db+c \equiv b+d (mod m)\text{(mod m)}.

তাহলে (ii) থেকে বলতে পারি, a+c≡b+c≡b+da+c \equiv b+c \equiv b+d (mod m)\text{(mod m)}.

একইভাবে প্রমাণ করতে পারবে যে, a−c≡b−da-c \equiv b-d (mod m)\text{(mod m)}.

(v) (iv) থেকে আমরা জানি, a−b≡c−da-b \equiv c-d (mod m)\text{(mod m)}.সুতরাং, a≡ba \equiv b (mod m)\text{(mod m)} অর্থাৎ a−b≡0a-b \equiv 0 (mod m)\text{(mod m)} হবে যদি এবং কেবল যদি c≡dc \equiv d (mod m)\text{(mod m)} হয়।

(vi) mm যদি a−ba-b কে নিঃশেষে ভাগ করে, তাহলে যেকোনো পূর্ণসংখ্যা kk এর জন্য k(a−b)=ka−kbk(a-b)=ka-kb কেও নিঃশেষে ভাগ করবে।

(vii) a1≡b1a_{1} \equiv b_{1} (mod m)\text{(mod m)}, (v) থেকে লিখতে পারি, a1×a2≡b1×a2a_{1} \times a_{2} \equiv b_{1} \times a_{2} (mod m)\text{(mod m)}.

আবার যেহেতু, a2≡b2a_{2} \equiv b_{2} (mod m)\text{(mod m)}, সুতরাং a2×b1≡b2×b1a_{2} \times b_{1} \equiv b_{2} \times b_{1} (mod m)\text{(mod m)}. অর্থাৎ,

a1×a2≡b1×a2≡b1×b2a_{1} \times a_{2} \equiv b_{1} \times a_{2} \equiv b_{1} \times b_{2} (mod m)\text{(mod m)}.

একইভাবে যেকোনো kk এর জন্যই প্রমাণ করা যায় যে,

a1×a2×.....×ak≡b1×b2×……×bka_{1} \times a_{2} \times .....\times a_{k} \equiv b_{1} \times b_{2} \times……\times b_{k} (mod m)\text{(mod m)}.

এখন যদি a1=a2=………….=aka_{1}=a_{2}=………….=a_{k} এবং b1=b2=………=bkb_{1}=b_{2}=………=b_{k} হয়, তাহলে

a1×a2×.....×ak=(a1)k≡b1×b2×……×bk=(b1)ka_{1} \times a_{2} \times .....\times a_{k}=(a_{1})^{k} \equiv b_{1} \times b_{2} \times……\times b_{k}=(b_{1})^{k} (mod m)\text{(mod m)}.

(viii) a≡b(mod  mi)a\equiv b(\mod m_i) যেখানে i=1,2,………,ki=1,2,………,k.

অর্থাৎ (a−b)(a-b), m1,m2,……..,mkm_{1},m_{2},……..,m_{k} দ্বারা নিঃশেষে বিভাজ্য। সুতরাং, (a−b)(a-b) এদের একটি সাধারণ গুণিতক। তাই এদের ল.সা.গু দ্বারাও (a−b)(a-b) নিঃশেষে বিভাজ্য।

আবার (a−b)(a-b) যদি m1,m2,………,mkm_{1},m_{2},………,m_{k} এর ল.সা.গু দ্বারা নিঃশেষে বিভাজ্য হয়, তাহলে অবশ্যই এদের প্রত্যেকটি দ্বারা আলাদাভাবে নিঃশেষে বিভাজ্য হবে।

উপরে আমরা দেখলাম যে সাধারণ সমীকরণের মতো কনগ্রুয়েন্সেও আমরা উভয় পাশে একই সংখ্যা যোগ,বিয়োগ,গুণ করতে পারি।এখন কথা হচ্ছে ভাগের ক্ষেত্রে কি হবে?

কনগ্রুয়েন্সে আমরা হুটহাট ভাগ দিতে পারি না। যেমন: 21≡1421 \equiv 14 (mod 7)\text{(mod 7)}. এখন উভয়পক্ষকে 77 দ্বারা ভাগ দিয়ে পাই, 3≡23 \equiv 2 (mod 7)\text{(mod 7)} যা সঠিক নয়। আবার, 20≡620 \equiv 6 (mod 7)\text{(mod 7)} এর উভয়পক্ষকে 22 দ্বারা ভাগ দিয়ে পাই, 10≡310 \equiv 3 (mod 7)\text{(mod 7)}, যা সত্য।

দুইবার দুইরকম কেন হল চিন্তা কর।

আসলে, (ix) ac≡bc(mod  m)ac \equiv bc(\mod m) হলে,আমরা বলতে পারি, a≡b(mod  mgcd(c,m))a \equiv b(\mod \dfrac {m} {gcd(c,m)}).

*gcd(x,y)\text{gcd(x,y)} দ্বারা x,yx,y এর গ.সা.গু বোঝানো হয়।

এবার কনগ্রুয়েন্সের একটা অত্যন্ত গুরুত্বপূর্ণ থিওরেম শিখব।

ধর,mm একটি ধনাত্মক পূর্ণসংখ্যা। a,ba,b mm এর সাথে সহমৌলিক দুটি পূর্ণসংখ্যা। যদি x,yx,y দুটি পূর্ণসংখ্যা হয় যেন ax≡bxa^{x} \equiv b^{x} (mod m)\text{(mod m)} এবং ay≡bya^{y} \equiv b^{y} (mod m)\text{(mod m)}, তাহলে

agcd(x,y)≡bgcd(x,y)a^{gcd(x,y)} \equiv b^{gcd(x,y)} (mod m)\text{(mod m)} হবে।

প্রমাণ: Bezout’s Identity থেকে আমরা জানি যে, gcd\text{gcd}(x,y)=ux−vy(x,y)=ux-vy যেখানে u,vu,v অঋণাত্মক পূর্ণসংখ্যা।

(vii) থেকে বলতে পারি, (ax)u=aux≡(bx)u=bux(a^{x})^{u} = a^{ux} \equiv (b^{x})^{u} = b^{ux} (mod m)\text{(mod m)}.

একইভাবে, (ay)v=avy≡(by)v=bvy(a^{y})^{v} = a^{vy} \equiv (b^{y})^{v} = b^{vy} (mod m)\text{(mod m)}

বা bvy≡avyb^{vy} \equiv a^{vy} (mod m)\text{(mod m)}((iii) থেকে)

এখন (vii) প্রয়োগ করে বলতে পারি,

auxbvy≡avybuxa^{ux}b^{vy} \equiv a^{vy}b^{ux} (mod m)\text{(mod m)}.

এখন যেহেতু a,ba,b এর সাথে mm সহমৌলিক,সুতরাং avybvya^{vy}b^{vy} এর সাথেও সহমৌলিক। (ix) ব্যবহার করে উভয়পক্ষকে avybvya^{vy}b^{vy} দ্বারা ভাগ দিয়ে পাই, agcd(x,y)=aux−vy≡bux−vy=bgcd(x,y)a^{gcd(x,y)} = a^{ux-vy} \equiv b^{ux-vy} = b^{gcd(x,y)} (mod m)\text{(mod m)}

এবার কিছু সমস্যা সমাধান করা যাক।

সমস্যা ১: প্রমাণ কর যে,কোনো সংখ্যার অঙ্কগুলোর যোগফল 33 দিয়ে নিঃশেষে বিভাজ্য হলে মূল সংখ্যাটিও 33 দ্বারা নিঃশেষে বিভাজ্য হবে।

সমাধান: কোনো সংখ্যা nn কে আমরা লিখতে পারি,

n=10xax+10x−1ax−1+........+10a1+a0n =10^{x}a_{x}+10^{x-1}a_{x-1}+........+10a_{1}+a_{0}.

10≡110 \equiv 1 (mod 3)\text{(mod 3)} ⇒\Rightarrow 10i≡1i=110^{i} \equiv 1^{i}=1 (mod 3)\text{(mod 3)} ⇒\Rightarrow 10ia≡1×a=a10^{i}a \equiv 1 \times a=a (mod 3)\text{(mod 3)}.

তাহলে , 10xax+10x−1ax−1+........+10a1+a0≡ax+ax−1+………+a1+a010^{x}a_{x}+10^{x-1}a_{x-1}+........+10a_{1}+a_{0} \equiv a_{x}+a_{x-1}+………+a_{1}+a_{0}.

এখান থেকে আমরা বলতে পারি, nn অর্থাৎ 10xax+10x−1ax−1+........+10a1+a010^{x}a_{x}+10^{x-1}a_{x-1}+........+10a_{1}+a_{0}, 33 দ্বারা নিঃশেষে বিভাজ্য হবে যদি এবং কেবল যদি nn এর অঙ্কগুলোর যোগফল অর্থাৎ ax+ax−1+………+a1+a0a_{x}+a_{x-1}+………+a_{1}+a_{0}, 33 দ্বারা নিঃশেষে বিভাজ্য হয়।

একইভাবে বিভাজ্যতার অন্য যেসব সূত্র আছে সেগুলোও Modular Arithmatic ব্যবহার করে সমাধান কর।

সমস্যা ২ : 5105^{10} কে 33 দ্বারা ভাগ করলে কত ভাগশেষ থাকে?

সমাধান : 55 কে 33 দ্বারা ভাগ করলে 22 ভাগশেষ থাকে। অর্থাৎ,

5≡25 \equiv 2 (mod 3)\text{(mod 3)}.

বা, 510≡2105^{10} \equiv 2^{10} (mod 3)\text{(mod 3)}. ((vi) থেকে)

এখন,22≡12^{2} \equiv 1 (mod 3)\text{(mod 3)}.

∴\therefore 210=(22)5≡15=12^{10}=(2^{2})^{5} \equiv 1^{5}=1 (mod 3)\text{(mod 3)}.

তাহলে আমরা পেলাম, 510≡2105^{10} \equiv 2^{10} (mod 3\text{(mod 3} এবং 210≡12^{10} \equiv 1 (mod 3)\text{(mod 3)}.

(iii) থেকে আমরা জানি, যদি a≡ba \equiv b (mod m)\text{(mod m)} হয় এবং b≡cb \equiv c (mod m)\text{(mod m)} হয়,তাহলে a≡ca \equiv c (mod m)\text{(mod m)} হবে।

সুতরাং, 510≡15^{10} \equiv 1 (mod 3)\text{(mod 3)}.

সমস্যা ৩ : 17917^{9} এর শেষ(এককের) অঙ্কটি কত?

এককের অঙ্ক নির্ণয়ের জন্য আমরা কি করতে পারি? কত এর mod নিতে পারি চিন্তা কর।

সমাধান : এককের অঙ্ক নির্ণয়ের ক্ষেত্রে mod 10\text{mod 10} নিতে হবে। কারণ যেকোনো সংখ্যাকে 10x+y10x+y আকারে লেখা যায় যেখানে 0≤y≤90 \leq y \leq 9।

যেমন: 52147836=10×5214783+652147836=10 \times 5214783+6.

এখানে 10×521478310 \times 5214783, 1010 দ্বারা নিঃশেষে বিভাজ্য। তাই 10×5214783+610 \times 5214783+6 কে 1010 দ্বারা ভাগ করলে 66 অবশিষ্ট থাকে যা 5214783652147836 সংখ্যাটির এককের অঙ্ক।

এখন, 17≡717 \equiv 7 (mod 10)\text{(mod 10)} ⇒\Rightarrow 179≡7917^{9} \equiv 7^{9} (mod 10)\text{(mod 10)}.

আবার, 72≡49≡−17^{2} \equiv 49 \equiv -1 (mod 10)\text{(mod 10)} ⇒\Rightarrow 78=(72)4≡(−1)4≡17^{8}=(7^{2})^{4} \equiv (-1)^{4} \equiv 1 (mod 10)\text{(mod 10)}.

এখন, 79=78×7≡1×7≡77^{9}=7^{8} \times 7 \equiv 1 \times 7 \equiv 7 (mod 10)\text{(mod 10)}.

NOTE: একই কারণে শেষ দুটি অঙ্ক (একক ও দশকের অঙ্ক) নির্ণয় করতে বললে mod  100\mod 100, শেষ তিনটি অঙ্ক (একক,দশক ও শতকের অঙ্ক) নির্ণয় করতে বললে mod  1000\mod 1000 নিতে হবে। অর্থাৎ শেষের kk টি অঙ্ক নির্ণয় করতে বললে mod  10k\mod 10^k নিতে হবে।

Preparing for a math contest?

Working through past problems on one idea at a time is one of the most effective ways to prepare. These are real problems from the AMC 8, AMC 10, AMC 12 and AIME, the national math competitions for middle and high school students, each with a worked solution on LIVE by Po-Shen Loh.

Read · 1 min

Definition

Two integers, aa and bb, are congruent modulo nn if and only if they have the same remainder when divided by nn

In other words, for some integer kk (positive or negative):

a=b+kna=b+kn

or

a−b=kna-b=kn

When two numbers are congruent modulo nn, it is denoted by:

a≡b(modn)a \equiv b \pmod n

Manipulations in congreuence modulo nn

**A1: ** Given that a≡b(modn)a\equiv b \pmod n, then a+c≡b+c(modn)a+c\equiv b+c \pmod n

A2 Given that a≡b(modn)a\equiv b \pmod n and c≡d(modn)c\equiv d \pmod n, then a+c≡b+d(modn)a+c\equiv b+d \pmod n

**M1: ** Given that a≡b(modn)a\equiv b \pmod n, then ac≡bc(modn)ac\equiv bc \pmod n

**M2: ** Given that a≡b(modn)a\equiv b \pmod n and c≡d(modn)c\equiv d \pmod n, then ac≡bd(modn)ac\equiv bd \pmod n

**M3: ** Given that a≡b(modn)a\equiv b \pmod n, then ac≡bc(modn)a^c\equiv b^c \pmod n

Interactive · 1 question

This explanation is going to be quite long because it is going to explain the modulus function. Skip through this next part if you like!

There is an equivalence relation called the "modulo nn" equivalence relation that is written like this: a≡bmodc.a \equiv b \hspace{1mm}mod \hspace{1mm}c . a and b are said to be equivalent modulo c if and only if (a−b)c\frac{\left(a-b\right)}{c} is an integer. It should be obvious that a≡amodca \equiv a \hspace{1mm}mod \hspace{1mm}c for any and all integers a and c.

True or false: 3≡18mod4.3 \equiv 18 \hspace{1mm}mod \hspace{1mm}4.

Choose one answer

Read · 1 min

This is a great introduction to modular arithmetic.

Type a concept, like “slope” or “photosynthesis”.

↑ ↓ to choose · Enter to openSearch explanations and problems